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-hanoi5.opb
MD5SUM430910c9a5d64dfdcfdaccb49935c3d0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1931
Optimality of the best value was proved NO
Number of terms in the objective function 3862
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 3862
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 3862
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 benchmark21.5857
Number of variables3862
Total number of constraints16399
Number of constraints which are clauses16399
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 constraint8

Trace number 4295

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        933736 kB
Buffers:         31264 kB
Cached:          48268 kB
SwapCached:       2272 kB
Active:          42304 kB
Inactive:        42292 kB
HighTotal:      131008 kB
HighFree:        78876 kB
LowTotal:       903652 kB
LowFree:        854860 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            10764 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:35:56 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1215 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-hanoi5.opb
c reading problem 
c [nbvar=3862]
c [nbconstr=16399]
c time 12.32
c #vars     3862
c #clauses  16399
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
#### 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.89 0.94 0.74 1/54 24739
Raw data (stat): 24739 (runsolver) R 24738 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419092525 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0006 s]
Raw data (loadavg): 1.07 0.98 0.75 4/63 24748
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 17993 0 1 0 874 44 0 0 25 0 10 0 419092525 860864512 20666 4294967295 134512640 134569956 3221224416 3221214516 1130863342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210172 20666 13073 16 0 210156 0
vsize: 840688
[startup+20.0008 s]
Raw data (loadavg): 1.22 1.01 0.77 4/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18074 0 1 0 1647 46 0 0 25 0 11 0 419092525 868286464 23448 4294967295 134512640 134569956 3221224416 3221214864 1131404496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211984 23448 13073 16 0 211968 0
vsize: 847936
[startup+30.001 s]
Raw data (loadavg): 1.18 1.01 0.77 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 2618 46 0 0 25 0 11 0 419092525 867872768 24504 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 24504 13073 16 0 211867 0
vsize: 847532
[startup+40.0006 s]
Raw data (loadavg): 1.15 1.01 0.77 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 3594 46 0 0 25 0 11 0 419092525 867872768 24732 4294967295 134512640 134569956 3221224416 3221214872 1131404504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 24732 13073 16 0 211867 0
vsize: 847532
[startup+50.0017 s]
Raw data (loadavg): 1.13 1.01 0.77 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 4579 46 0 0 25 0 11 0 419092525 867872768 24734 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 24734 13073 16 0 211867 0
vsize: 847532
[startup+60.0012 s]
Raw data (loadavg): 1.11 1.00 0.77 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 5555 46 0 0 25 0 11 0 419092525 867872768 24892 4294967295 134512640 134569956 3221224416 3221214872 1131404492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 24892 13073 16 0 211867 0
vsize: 847532
[startup+70.001 s]
Raw data (loadavg): 1.09 1.00 0.78 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 6539 47 0 0 25 0 11 0 419092525 867872768 25195 4294967295 134512640 134569956 3221224416 3221214872 1131404663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 25195 13073 16 0 211867 0
vsize: 847532
[startup+80.0021 s]
Raw data (loadavg): 1.08 1.00 0.78 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 7517 47 0 0 25 0 11 0 419092525 867872768 25271 4294967295 134512640 134569956 3221224416 3221214680 1131442338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 25271 13073 16 0 211867 0
vsize: 847532
[startup+90.0023 s]
Raw data (loadavg): 1.07 1.00 0.78 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 8505 47 0 0 25 0 11 0 419092525 867872768 25311 4294967295 134512640 134569956 3221224416 3221214816 1131472376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 25311 13073 16 0 211867 0
vsize: 847532
[startup+100.003 s]
Raw data (loadavg): 1.06 1.00 0.78 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 9483 47 0 0 25 0 11 0 419092525 867872768 25470 4294967295 134512640 134569956 3221224416 3221214848 1131408683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 25470 13073 16 0 211867 0
vsize: 847532
[startup+110.004 s]
Raw data (loadavg): 1.05 1.00 0.78 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 10471 47 0 0 25 0 11 0 419092525 867872768 25571 4294967295 134512640 134569956 3221224416 3221214712 1131611439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 25571 13073 16 0 211867 0
vsize: 847532
[startup+120.005 s]
Raw data (loadavg): 1.04 1.00 0.79 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 11449 47 0 0 24 0 11 0 419092525 867872768 25731 4294967295 134512640 134569956 3221224416 3221214744 1131416847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 25731 13073 16 0 211867 0
vsize: 847532
[startup+130.005 s]
Raw data (loadavg): 1.03 1.00 0.79 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 12438 47 0 0 25 0 11 0 419092525 867872768 25850 4294967295 134512640 134569956 3221224416 3221214872 1131404417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 25850 13073 16 0 211867 0
vsize: 847532
[startup+140.005 s]
Raw data (loadavg): 1.03 1.00 0.79 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 13428 47 0 0 25 0 11 0 419092525 867872768 25997 4294967295 134512640 134569956 3221224416 3221214744 1131415959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 25997 13073 16 0 211867 0
vsize: 847532
[startup+150.006 s]
Raw data (loadavg): 1.02 1.00 0.79 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 14407 47 0 0 25 0 11 0 419092525 867872768 26118 4294967295 134512640 134569956 3221224416 3221214872 1131404685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 26118 13073 16 0 211867 0
vsize: 847532
[startup+160.006 s]
Raw data (loadavg): 1.02 1.00 0.79 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 15395 47 0 0 25 0 11 0 419092525 867872768 26218 4294967295 134512640 134569956 3221224416 3221214872 1131404384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 26218 13073 16 0 211867 0
vsize: 847532
[startup+170.006 s]
Raw data (loadavg): 1.02 1.00 0.79 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 16372 47 0 0 25 0 11 0 419092525 867872768 26463 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 26463 13073 16 0 211867 0
vsize: 847532
[startup+180.006 s]
Raw data (loadavg): 1.01 1.00 0.80 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 17349 47 0 0 25 0 11 0 419092525 867872768 26720 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 26720 13073 16 0 211867 0
vsize: 847532
[startup+190.006 s]
Raw data (loadavg): 1.01 1.00 0.80 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 18336 47 0 0 25 0 11 0 419092525 867872768 26856 4294967295 134512640 134569956 3221224416 3221214908 1131472602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 26856 13073 16 0 211867 0
vsize: 847532
[startup+200.007 s]
Raw data (loadavg): 1.01 1.00 0.80 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 19312 47 0 0 25 0 11 0 419092525 867872768 27157 4294967295 134512640 134569956 3221224416 3221214704 1131699668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 27157 13073 16 0 211867 0
vsize: 847532
[startup+210.007 s]
Raw data (loadavg): 1.01 1.00 0.80 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 20300 47 0 0 25 0 11 0 419092525 867872768 27391 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 27391 13073 16 0 211867 0
vsize: 847532
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 21279 47 0 0 25 0 11 0 419092525 867872768 27532 4294967295 134512640 134569956 3221224416 3221214872 1131404504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 27532 13073 16 0 211867 0
vsize: 847532
[startup+230.007 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18075 0 1 0 22255 47 0 0 25 0 11 0 419092525 867872768 27833 4294967295 134512640 134569956 3221224416 3221214680 1131265628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 27833 13073 16 0 211867 0
vsize: 847532
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 23244 47 0 0 25 0 11 0 419092525 867872768 27988 4294967295 134512640 134569956 3221224416 3221214860 1131483352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 27988 13073 16 0 211867 0
vsize: 847532
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 24220 47 0 0 25 0 11 0 419092525 867872768 28210 4294967295 134512640 134569956 3221224416 3221214872 1131404500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 28210 13073 16 0 211867 0
vsize: 847532
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 25198 47 0 0 25 0 11 0 419092525 867872768 28632 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 28632 13073 16 0 211867 0
vsize: 847532
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 26188 47 0 0 25 0 11 0 419092525 867872768 28632 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 28632 13073 16 0 211867 0
vsize: 847532
[startup+280.008 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 27166 47 0 0 25 0 11 0 419092525 867872768 28974 4294967295 134512640 134569956 3221224416 3221214744 1131415969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 28974 13073 16 0 211867 0
vsize: 847532
[startup+290.008 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 28147 47 0 0 25 0 11 0 419092525 867872768 29112 4294967295 134512640 134569956 3221224416 3221214704 1131699664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 29112 13073 16 0 211867 0
vsize: 847532
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 29137 47 0 0 25 0 11 0 419092525 867872768 29248 4294967295 134512640 134569956 3221224416 3221214872 1131404504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 29248 13073 16 0 211867 0
vsize: 847532
[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 30118 47 0 0 25 0 11 0 419092525 867872768 29457 4294967295 134512640 134569956 3221224416 3221214744 1131416941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 29457 13073 16 0 211867 0
vsize: 847532
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 31098 47 0 0 25 0 11 0 419092525 867872768 29606 4294967295 134512640 134569956 3221224416 3221214872 1131404401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 29606 13073 16 0 211867 0
vsize: 847532
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 32089 47 0 0 25 0 11 0 419092525 867872768 29705 4294967295 134512640 134569956 3221224416 3221214872 1131404417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 29705 13073 16 0 211867 0
vsize: 847532
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 33067 47 0 0 25 0 11 0 419092525 867872768 29925 4294967295 134512640 134569956 3221224416 3221214872 1131404681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 29925 13073 16 0 211867 0
vsize: 847532
[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 34043 48 0 0 25 0 11 0 419092525 867872768 30257 4294967295 134512640 134569956 3221224416 3221214872 1131404496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 30257 13073 16 0 211867 0
vsize: 847532
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 35019 48 0 0 25 0 11 0 419092525 867872768 30580 4294967295 134512640 134569956 3221224416 3221214872 1131404492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 30580 13073 16 0 211867 0
vsize: 847532
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 35997 48 0 0 25 0 11 0 419092525 867872768 30827 4294967295 134512640 134569956 3221224416 3221214704 1131699676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 30827 13073 16 0 211867 0
vsize: 847532
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 36986 48 0 0 25 0 11 0 419092525 867872768 30958 4294967295 134512640 134569956 3221224416 3221214872 1131404492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 30958 13073 16 0 211867 0
vsize: 847532
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 37962 48 0 0 25 0 11 0 419092525 867872768 31237 4294967295 134512640 134569956 3221224416 3221214784 1131450425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 31237 13073 16 0 211867 0
vsize: 847532
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 38940 48 0 0 25 0 11 0 419092525 867872768 31502 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 31502 13073 16 0 211867 0
vsize: 847532
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 39928 48 0 0 25 0 11 0 419092525 867872768 31611 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 31611 13073 16 0 211867 0
vsize: 847532
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 40905 48 0 0 25 0 11 0 419092525 867872768 31906 4294967295 134512640 134569956 3221224416 3221214680 1131223201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 31906 13073 16 0 211867 0
vsize: 847532
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 41883 48 0 0 25 0 11 0 419092525 867872768 32058 4294967295 134512640 134569956 3221224416 3221214744 1131415959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 32058 13073 16 0 211867 0
vsize: 847532
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 42861 48 0 0 25 0 11 0 419092525 867872768 32290 4294967295 134512640 134569956 3221224416 3221214704 1131699668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 32290 13073 16 0 211867 0
vsize: 847532
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 43842 48 0 0 25 0 11 0 419092525 867872768 32542 4294967295 134512640 134569956 3221224416 3221214744 1131416007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 32542 13073 16 0 211867 0
vsize: 847532
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 44824 48 0 0 25 0 11 0 419092525 867872768 32653 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 32653 13073 16 0 211867 0
vsize: 847532
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 45806 48 0 0 25 0 11 0 419092525 867872768 32875 4294967295 134512640 134569956 3221224416 3221214744 1131416956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 32875 13073 16 0 211867 0
vsize: 847532
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 46787 48 0 0 25 0 11 0 419092525 867872768 32978 4294967295 134512640 134569956 3221224416 3221214784 1131265162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 32978 13073 16 0 211867 0
vsize: 847532
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 47768 48 0 0 24 0 11 0 419092525 867872768 33153 4294967295 134512640 134569956 3221224416 3221214872 1131404504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 33153 13073 16 0 211867 0
vsize: 847532
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 48749 48 0 0 24 0 11 0 419092525 867872768 33341 4294967295 134512640 134569956 3221224416 3221214872 1131404496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 33341 13073 16 0 211867 0
vsize: 847532
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 24749
Raw data (stat): 24739 (java) S 24738 24215 24214 0 -1 0 18076 0 1 0 49738 48 0 0 25 0 11 0 419092525 867872768 33444 4294967295 134512640 134569956 3221224416 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 33444 13073 16 0 211867 0
vsize: 847532
[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 50710 48 0 0 25 0 11 0 419092525 867872768 33749 4294967295 134512640 134569956 3221224416 3221214744 1131414453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 33749 13073 16 0 211867 0
vsize: 847532
[startup+530.02 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 51692 48 0 0 25 0 11 0 419092525 867872768 33926 4294967295 134512640 134569956 3221224416 3221214872 1131404504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 33926 13073 16 0 211867 0
vsize: 847532
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 52671 49 0 0 25 0 11 0 419092525 867872768 34122 4294967295 134512640 134569956 3221224416 3221214680 1131223586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 34122 13073 16 0 211867 0
vsize: 847532
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 53652 49 0 0 25 0 11 0 419092525 867872768 34325 4294967295 134512640 134569956 3221224416 3221214744 1131416011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 34325 13073 16 0 211867 0
vsize: 847532
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 54633 49 0 0 25 0 11 0 419092525 867872768 34508 4294967295 134512640 134569956 3221224416 3221214744 1131416923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 34508 13073 16 0 211867 0
vsize: 847532
[startup+570.022 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 55604 49 0 0 25 0 11 0 419092525 867872768 34774 4294967295 134512640 134569956 3221224416 3221214744 1131415998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 34774 13073 16 0 211867 0
vsize: 847532
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 56585 49 0 0 25 0 11 0 419092525 867872768 34989 4294967295 134512640 134569956 3221224416 3221214872 1131404417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 34989 13073 16 0 211867 0
vsize: 847532
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 57567 49 0 0 25 0 11 0 419092525 867872768 35175 4294967295 134512640 134569956 3221224416 3221214744 1131416011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 35175 13073 16 0 211867 0
vsize: 847532
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 58539 49 0 0 25 0 11 0 419092525 867872768 35377 4294967295 134512640 134569956 3221224416 3221214872 1131404663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 35377 13073 16 0 211867 0
vsize: 847532
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 59519 49 0 0 25 0 11 0 419092525 867872768 35562 4294967295 134512640 134569956 3221224416 3221214872 1131404496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 35562 13073 16 0 211867 0
vsize: 847532
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 60495 49 0 0 25 0 11 0 419092525 867872768 35837 4294967295 134512640 134569956 3221224416 3221214680 1131223237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 35837 13073 16 0 211867 0
vsize: 847532
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 61470 49 0 0 25 0 11 0 419092525 867872768 36069 4294967295 134512640 134569956 3221224416 3221214680 1131223437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 36069 13073 16 0 211867 0
vsize: 847532
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 24749
Raw data (stat): 24739 (java) S 24738 24215 24214 0 -1 0 18076 0 1 0 62458 49 0 0 25 0 11 0 419092525 867872768 36226 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 36226 13073 16 0 211867 0
vsize: 847532
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 63438 49 0 0 25 0 11 0 419092525 867872768 36432 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 36432 13073 16 0 211867 0
vsize: 847532
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 64414 49 0 0 25 0 11 0 419092525 867872768 36658 4294967295 134512640 134569956 3221224416 3221214744 1131415937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 36658 13073 16 0 211867 0
vsize: 847532
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 65380 49 0 0 25 0 11 0 419092525 867872768 36874 4294967295 134512640 134569956 3221224416 3221214704 1131699804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 36874 13073 16 0 211867 0
vsize: 847532
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 66358 49 0 0 25 0 11 0 419092525 867872768 36957 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 36957 13073 16 0 211867 0
vsize: 847532
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 67335 49 0 0 25 0 11 0 419092525 867872768 37124 4294967295 134512640 134569956 3221224416 3221214872 1131404496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 37124 13073 16 0 211867 0
vsize: 847532
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 68310 49 0 0 25 0 11 0 419092525 867872768 37377 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 37377 13073 16 0 211867 0
vsize: 847532
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 69285 49 0 0 25 0 11 0 419092525 867872768 37521 4294967295 134512640 134569956 3221224416 3221214912 1131496869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 37521 13073 16 0 211867 0
vsize: 847532
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 70261 49 0 0 25 0 11 0 419092525 867872768 37798 4294967295 134512640 134569956 3221224416 3221214704 1131699668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 37798 13073 16 0 211867 0
vsize: 847532
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 71237 50 0 0 25 0 11 0 419092525 867872768 38104 4294967295 134512640 134569956 3221224416 3221214872 1131404480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 38104 13073 16 0 211867 0
vsize: 847532
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 72215 50 0 0 25 0 11 0 419092525 867872768 38219 4294967295 134512640 134569956 3221224416 3221214784 1131446809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 38219 13073 16 0 211867 0
vsize: 847532
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 73203 50 0 0 25 0 11 0 419092525 867872768 38370 4294967295 134512640 134569956 3221224416 3221214872 1131404504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 38370 13073 16 0 211867 0
vsize: 847532
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 74180 50 0 0 25 0 11 0 419092525 867872768 38671 4294967295 134512640 134569956 3221224416 3221214872 1131404663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 38671 13073 16 0 211867 0
vsize: 847532
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 75160 50 0 0 25 0 11 0 419092525 867872768 38781 4294967295 134512640 134569956 3221224416 3221214872 1131404496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 38781 13073 16 0 211867 0
vsize: 847532
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 76134 50 0 0 25 0 11 0 419092525 867872768 39214 4294967295 134512640 134569956 3221224416 3221214784 1131447702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 39214 13073 16 0 211867 0
vsize: 847532
[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) S 24738 24215 24214 0 -1 0 18076 0 1 0 77100 50 0 0 25 0 11 0 419092525 867872768 39546 4294967295 134512640 134569956 3221224416 3221213424 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 39546 13073 16 0 211867 0
vsize: 847532
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 78076 50 0 0 25 0 11 0 419092525 867872768 39709 4294967295 134512640 134569956 3221224416 3221214848 1131200601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 39709 13073 16 0 211867 0
vsize: 847532
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 79051 50 0 0 25 0 11 0 419092525 867872768 39859 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 39859 13073 16 0 211867 0
vsize: 847532
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 80026 50 0 0 25 0 11 0 419092525 867872768 40099 4294967295 134512640 134569956 3221224416 3221214744 1131416962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 40099 13073 16 0 211867 0
vsize: 847532
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 81002 50 0 0 25 0 11 0 419092525 867872768 40300 4294967295 134512640 134569956 3221224416 3221214768 1131265527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211883 40300 13073 16 0 211867 0
vsize: 847532
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 81965 50 0 0 25 0 11 0 419092525 867872768 40531 4294967295 134512640 134569956 3221224416 3221214872 1131404685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 40531 13073 16 0 211867 0
vsize: 847532
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 82942 50 0 0 25 0 11 0 419092525 867872768 40794 4294967295 134512640 134569956 3221224416 3221214752 1131442338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 40794 13073 16 0 211867 0
vsize: 847532
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 83920 50 0 0 25 0 11 0 419092525 867872768 40993 4294967295 134512640 134569956 3221224416 3221214872 1131404500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 40993 13073 16 0 211867 0
vsize: 847532
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 84898 50 0 0 25 0 11 0 419092525 867872768 41147 4294967295 134512640 134569956 3221224416 3221214852 1080203733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 41147 13073 16 0 211867 0
vsize: 847532
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 85874 50 0 0 25 0 11 0 419092525 867872768 41354 4294967295 134512640 134569956 3221224416 3221214744 1131415998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 41354 13073 16 0 211867 0
vsize: 847532
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 86849 50 0 0 25 0 11 0 419092525 867872768 41597 4294967295 134512640 134569956 3221224416 3221214680 1131223432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 41597 13073 16 0 211867 0
vsize: 847532
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 87825 50 0 0 25 0 11 0 419092525 867872768 41793 4294967295 134512640 134569956 3221224416 3221214872 1131404689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 41793 13073 16 0 211867 0
vsize: 847532
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 88800 50 0 0 25 0 11 0 419092525 867872768 41983 4294967295 134512640 134569956 3221224416 3221214848 1131200601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 41983 13073 16 0 211867 0
vsize: 847532
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 89762 50 0 0 25 0 11 0 419092525 867872768 42297 4294967295 134512640 134569956 3221224416 3221214744 1131415959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 42297 13073 16 0 211867 0
vsize: 847532
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 90737 50 0 0 25 0 11 0 419092525 867872768 42385 4294967295 134512640 134569956 3221224416 3221214872 1131404685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 42385 13073 16 0 211867 0
vsize: 847532
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 91712 50 0 0 25 0 11 0 419092525 867872768 42644 4294967295 134512640 134569956 3221224416 3221214872 1131404509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 42644 13073 16 0 211867 0
vsize: 847532
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 92686 50 0 0 25 0 11 0 419092525 867872768 42769 4294967295 134512640 134569956 3221224416 3221214872 1131404504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 42769 13073 16 0 211867 0
vsize: 847532
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 93648 50 0 0 25 0 11 0 419092525 867872768 43008 4294967295 134512640 134569956 3221224416 3221214888 1131631747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 43008 13073 16 0 211867 0
vsize: 847532
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 94622 50 0 0 25 0 11 0 419092525 867872768 43240 4294967295 134512640 134569956 3221224416 3221214720 1131200601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 43240 13073 16 0 211867 0
vsize: 847532
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 95598 50 0 0 25 0 11 0 419092525 867872768 43432 4294967295 134512640 134569956 3221224416 3221214872 1131404674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 43432 13073 16 0 211867 0
vsize: 847532
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 96575 50 0 0 25 0 11 0 419092525 867872768 43566 4294967295 134512640 134569956 3221224416 3221214872 1131404504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 43566 13073 16 0 211867 0
vsize: 847532
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 97563 50 0 0 25 0 11 0 419092525 867872768 43644 4294967295 134512640 134569956 3221224416 3221214744 1131415961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 43644 13073 16 0 211867 0
vsize: 847532
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 98528 50 0 0 24 0 11 0 419092525 867872768 44050 4294967295 134512640 134569956 3221224416 3221214744 1131416952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 44050 13073 16 0 211867 0
vsize: 847532
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 99519 50 0 0 25 0 11 0 419092525 867872768 44050 4294967295 134512640 134569956 3221224416 3221214872 1131404681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 44050 13073 16 0 211867 0
vsize: 847532
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 100497 50 0 0 25 0 11 0 419092525 867872768 44235 4294967295 134512640 134569956 3221224416 3221214872 1131404507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 44235 13073 16 0 211867 0
vsize: 847532
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 101475 50 0 0 25 0 11 0 419092525 867872768 44416 4294967295 134512640 134569956 3221224416 3221214744 1131416865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 44416 13073 16 0 211867 0
vsize: 847532
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 102454 50 0 0 25 0 11 0 419092525 867872768 44602 4294967295 134512640 134569956 3221224416 3221214744 1131416821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 44602 13073 16 0 211867 0
vsize: 847532
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 103434 50 0 0 25 0 11 0 419092525 867872768 44704 4294967295 134512640 134569956 3221224416 3221214704 1131699804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 44704 13073 16 0 211867 0
vsize: 847532
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 104413 50 0 0 25 0 11 0 419092525 867872768 44894 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 44894 13073 16 0 211867 0
vsize: 847532
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 105393 50 0 0 25 0 11 0 419092525 867872768 44975 4294967295 134512640 134569956 3221224416 3221214872 1131404504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 44975 13073 16 0 211867 0
vsize: 847532
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 106374 50 0 0 25 0 11 0 419092525 867872768 45110 4294967295 134512640 134569956 3221224416 3221214872 1131404681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 45110 13073 16 0 211867 0
vsize: 847532
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 107364 50 0 0 25 0 11 0 419092525 867872768 45191 4294967295 134512640 134569956 3221224416 3221214744 1131415972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 45191 13073 16 0 211867 0
vsize: 847532
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 108345 50 0 0 25 0 11 0 419092525 867872768 45342 4294967295 134512640 134569956 3221224416 3221214872 1131404681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 45342 13073 16 0 211867 0
vsize: 847532
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 109325 50 0 0 25 0 11 0 419092525 867872768 45503 4294967295 134512640 134569956 3221224416 3221214872 1131404492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 45503 13073 16 0 211867 0
vsize: 847532
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 110306 50 0 0 25 0 11 0 419092525 867872768 45643 4294967295 134512640 134569956 3221224416 3221214872 1131404509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 45643 13073 16 0 211867 0
vsize: 847532
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 111287 50 0 0 25 0 11 0 419092525 867872768 45777 4294967295 134512640 134569956 3221224416 3221214872 1131404396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 45777 13073 16 0 211867 0
vsize: 847532
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 112269 50 0 0 25 0 11 0 419092525 867872768 45989 4294967295 134512640 134569956 3221224416 3221214888 1131200089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 45989 13073 16 0 211867 0
vsize: 847532
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 113250 50 0 0 25 0 11 0 419092525 867872768 46130 4294967295 134512640 134569956 3221224416 3221214872 1131404496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 46130 13073 16 0 211867 0
vsize: 847532
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 114232 50 0 0 25 0 11 0 419092525 867872768 46307 4294967295 134512640 134569956 3221224416 3221214744 1131416956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 46307 13073 16 0 211867 0
vsize: 847532
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 115208 50 0 0 25 0 11 0 419092525 867872768 46526 4294967295 134512640 134569956 3221224416 3221214744 1131415972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 46526 13073 16 0 211867 0
vsize: 847532
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 116181 50 0 0 25 0 11 0 419092525 867872768 46823 4294967295 134512640 134569956 3221224416 3221214704 1131699664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 46823 13073 16 0 211867 0
vsize: 847532
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 117140 50 0 0 25 0 11 0 419092525 867872768 47133 4294967295 134512640 134569956 3221224416 3221214872 1131404496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 47133 13073 16 0 211867 0
vsize: 847532
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 118100 51 0 0 25 0 11 0 419092525 867872768 47443 4294967295 134512640 134569956 3221224416 3221214872 1131404492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 47443 13073 16 0 211867 0
vsize: 847532
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 24749
Raw data (stat): 24739 (java) R 24738 24215 24214 0 -1 0 18076 0 1 0 119075 51 0 0 25 0 11 0 419092525 867872768 47537 4294967295 134512640 134569956 3221224416 3221214744 1131416923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 47537 13073 16 0 211867 0
vsize: 847532
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 24749
Raw data (stat): 24739 (java) S 24738 24215 24214 0 -1 0 18076 0 1 0 120042 51 0 0 25 0 11 0 419092525 867872768 47802 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211883 47802 13073 16 0 211867 0
vsize: 847532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 24751
Raw data (stat): 24739 (java) Z 24738 24215 24214 0 -1 1036 18076 26088 1 0 120043 51 2597 58 24 0 1 0 419092525 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): 1230.22
CPU time (s): 1227.51
CPU user time (s): 1226.41
CPU system time (s): 1.10283
CPU usage (%): 99.7798
Max. virtual memory (Kb): 847936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####