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-f1000.opb
MD5SUM3b740c03d309134e8e181ea08fc4a1e3
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2000
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 2000
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2000
Total number of constraints5250
Number of constraints which are clauses5250
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 constraint2
Maximum length of a constraint3

Trace number 29136

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        514620 kB
Buffers:         31332 kB
Cached:         467080 kB
SwapCached:        640 kB
Active:          71660 kB
Inactive:       429216 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        514368 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13532 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:25:09 (client local time) WITH STATUS 143 IN 1227.35 SECONDS
stats: 20537 7 1227.35 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-f1000.opb
c reading problem ... done. Time 4.903 ms.
c #vars     2000
c #constraints  5250
c starts	: 10
c conflicts	: 10885
c decisions	: 17897
c propagations	: 2468535
c inspects	: 12248303
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 25
c learned clauses	: 10885
c root simplifications	: 10
s UNKNOWN
c Total CPU time (ms) : 1229.075
#### 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.72 0.89 0.89 2/54 15083
Raw data (stat): 15083 (runsolver) R 15082 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836211771 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0001 s]
Raw data (loadavg): 0.76 0.89 0.89 2/64 15093
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18077 0 1 0 720 41 0 0 25 0 11 0 836211771 856682496 20139 4294967295 134512640 134569956 3221224384 3221214716 1130885150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209151 20139 13086 16 0 209135 0
vsize: 836604
[startup+20.0014 s]
Raw data (loadavg): 0.80 0.89 0.89 2/64 15093
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18077 0 1 0 1643 41 0 0 25 0 11 0 836211771 856453120 21660 4294967295 134512640 134569956 3221224384 3221214768 1131410027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 21660 13086 16 0 209079 0
vsize: 836380
[startup+30.0023 s]
Raw data (loadavg): 0.83 0.89 0.89 2/64 15093
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18077 0 1 0 2610 41 0 0 25 0 11 0 836211771 856453120 21660 4294967295 134512640 134569956 3221224384 3221214736 1131203512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 21660 13086 16 0 209079 0
vsize: 836380
[startup+40.0016 s]
Raw data (loadavg): 0.85 0.90 0.89 2/64 15093
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18078 0 1 0 3554 41 0 0 25 0 11 0 836211771 856453120 21911 4294967295 134512640 134569956 3221224384 3221214688 1131216774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 21911 13086 16 0 209079 0
vsize: 836380
[startup+50.0029 s]
Raw data (loadavg): 0.88 0.90 0.89 2/64 15093
Raw data (stat): 15083 (java) S 15082 3394 3393 0 -1 0 18078 0 1 0 4496 41 0 0 25 0 11 0 836211771 856453120 22222 4294967295 134512640 134569956 3221224384 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 22222 13086 16 0 209079 0
vsize: 836380
[startup+60.0037 s]
Raw data (loadavg): 0.89 0.90 0.89 2/64 15093
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18078 0 1 0 5441 42 0 0 25 0 11 0 836211771 856453120 22690 4294967295 134512640 134569956 3221224384 3221214796 1131418223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 22690 13086 16 0 209079 0
vsize: 836380
[startup+70.0041 s]
Raw data (loadavg): 0.91 0.91 0.89 2/64 15093
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18078 0 1 0 6381 42 0 0 25 0 11 0 836211771 856453120 23068 4294967295 134512640 134569956 3221224384 3221214808 1131373136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 23068 13086 16 0 209079 0
vsize: 836380
[startup+80.0053 s]
Raw data (loadavg): 0.92 0.91 0.90 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18078 0 1 0 7332 42 0 0 25 0 11 0 836211771 856453120 23312 4294967295 134512640 134569956 3221224384 3221214608 1131282409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 23312 13086 16 0 209079 0
vsize: 836380
[startup+90.0054 s]
Raw data (loadavg): 0.93 0.91 0.90 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18078 0 1 0 8271 42 0 0 25 0 11 0 836211771 856453120 23694 4294967295 134512640 134569956 3221224384 3221214664 1131216768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 23694 13086 16 0 209079 0
vsize: 836380
[startup+100.006 s]
Raw data (loadavg): 0.94 0.91 0.90 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18078 0 1 0 9209 42 0 0 25 0 11 0 836211771 856453120 23940 4294967295 134512640 134569956 3221224384 3221214640 1131200375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 23940 13086 16 0 209079 0
vsize: 836380
[startup+110.006 s]
Raw data (loadavg): 0.95 0.92 0.90 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18078 0 1 0 10156 42 0 0 25 0 11 0 836211771 856453120 24232 4294967295 134512640 134569956 3221224384 3221214748 1131224450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 24232 13086 16 0 209079 0
vsize: 836380
[startup+120.007 s]
Raw data (loadavg): 0.96 0.92 0.90 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18078 0 1 0 11093 43 0 0 25 0 11 0 836211771 856453120 24562 4294967295 134512640 134569956 3221224384 3221214788 1131416739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 24562 13086 16 0 209079 0
vsize: 836380
[startup+130.007 s]
Raw data (loadavg): 0.96 0.92 0.90 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18078 0 1 0 12027 43 0 0 25 0 11 0 836211771 856453120 24966 4294967295 134512640 134569956 3221224384 3221214696 1131435494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 24966 13086 16 0 209079 0
vsize: 836380
[startup+140.007 s]
Raw data (loadavg): 0.97 0.92 0.90 2/64 15095
Raw data (stat): 15083 (java) S 15082 3394 3393 0 -1 0 18078 0 1 0 12971 43 0 0 25 0 11 0 836211771 856453120 25220 4294967295 134512640 134569956 3221224384 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 25220 13086 16 0 209079 0
vsize: 836380
[startup+150.008 s]
Raw data (loadavg): 0.97 0.92 0.90 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18078 0 1 0 13908 44 0 0 25 0 11 0 836211771 856453120 25569 4294967295 134512640 134569956 3221224384 3221214752 1131384912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 25569 13086 16 0 209079 0
vsize: 836380
[startup+160.008 s]
Raw data (loadavg): 0.98 0.93 0.90 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 14865 44 0 0 25 0 11 0 836211771 856453120 25798 4294967295 134512640 134569956 3221224384 3221214648 1131325119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 25798 13086 16 0 209079 0
vsize: 836380
[startup+170.009 s]
Raw data (loadavg): 0.98 0.93 0.90 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 15852 44 0 0 25 0 11 0 836211771 856453120 25867 4294967295 134512640 134569956 3221224384 3221213868 1131439628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 25867 13086 16 0 209079 0
vsize: 836380
[startup+180.009 s]
Raw data (loadavg): 0.98 0.93 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 16840 44 0 0 25 0 11 0 836211771 856453120 25931 4294967295 134512640 134569956 3221224384 3221213840 1131566474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 25931 13086 16 0 209079 0
vsize: 836380
[startup+190.009 s]
Raw data (loadavg): 0.98 0.93 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 17826 45 0 0 25 0 11 0 836211771 856453120 26006 4294967295 134512640 134569956 3221224384 3221214016 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26006 13086 16 0 209079 0
vsize: 836380
[startup+200.01 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 18811 45 0 0 25 0 11 0 836211771 856453120 26078 4294967295 134512640 134569956 3221224384 3221213544 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26078 13086 16 0 209079 0
vsize: 836380
[startup+210.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 19799 45 0 0 25 0 11 0 836211771 856453120 26143 4294967295 134512640 134569956 3221224384 3221214016 1131566560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26143 13086 16 0 209079 0
vsize: 836380
[startup+220.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 20786 45 0 0 25 0 11 0 836211771 856453120 26212 4294967295 134512640 134569956 3221224384 3221214072 1085632281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 26212 13086 16 0 209079 0
vsize: 836380
[startup+230.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 21773 46 0 0 25 0 11 0 836211771 856453120 26283 4294967295 134512640 134569956 3221224384 3221214160 1131440376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26283 13086 16 0 209079 0
vsize: 836380
[startup+240.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 22759 46 0 0 25 0 11 0 836211771 856453120 26357 4294967295 134512640 134569956 3221224384 3221213632 1131440279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26357 13086 16 0 209079 0
vsize: 836380
[startup+250.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 23747 46 0 0 25 0 11 0 836211771 856453120 26425 4294967295 134512640 134569956 3221224384 3221214184 1131566412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26425 13086 16 0 209079 0
vsize: 836380
[startup+260.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 24735 47 0 0 25 0 11 0 836211771 856453120 26425 4294967295 134512640 134569956 3221224384 3221213848 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26425 13086 16 0 209079 0
vsize: 836380
[startup+270.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 25721 47 0 0 25 0 11 0 836211771 856453120 26499 4294967295 134512640 134569956 3221224384 3221214696 1131282366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26499 13086 16 0 209079 0
vsize: 836380
[startup+280.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 26721 47 0 0 25 0 11 0 836211771 856453120 26499 4294967295 134512640 134569956 3221224384 3221213768 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26499 13086 16 0 209079 0
vsize: 836380
[startup+290.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 27708 47 0 0 25 0 11 0 836211771 856453120 26560 4294967295 134512640 134569956 3221224384 3221213576 1131440407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 26560 13086 16 0 209079 0
vsize: 836380
[startup+300.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 28694 47 0 0 25 0 11 0 836211771 856453120 26634 4294967295 134512640 134569956 3221224384 3221214072 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 26634 13086 16 0 209079 0
vsize: 836380
[startup+310.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 29680 48 0 0 25 0 11 0 836211771 856453120 26698 4294967295 134512640 134569956 3221224384 3221213960 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26698 13086 16 0 209079 0
vsize: 836380
[startup+320.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 30666 48 0 0 25 0 11 0 836211771 856453120 26769 4294967295 134512640 134569956 3221224384 3221214752 1131388608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 26769 13086 16 0 209079 0
vsize: 836380
[startup+330.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 31652 48 0 0 25 0 11 0 836211771 856453120 26837 4294967295 134512640 134569956 3221224384 3221214352 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 26837 13086 16 0 209079 0
vsize: 836380
[startup+340.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 32639 48 0 0 25 0 11 0 836211771 856453120 26896 4294967295 134512640 134569956 3221224384 3221214480 1131439637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 26896 13086 16 0 209079 0
vsize: 836380
[startup+350.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 33624 49 0 0 25 0 11 0 836211771 856453120 27008 4294967295 134512640 134569956 3221224384 3221214184 1085679372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 27008 13086 16 0 209079 0
vsize: 836380
[startup+360.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 34610 49 0 0 25 0 11 0 836211771 856453120 27089 4294967295 134512640 134569956 3221224384 3221213844 1131439628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 27089 13086 16 0 209079 0
vsize: 836380
[startup+370.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 35597 49 0 0 25 0 11 0 836211771 856453120 27157 4294967295 134512640 134569956 3221224384 3221213856 1131440401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 27157 13086 16 0 209079 0
vsize: 836380
[startup+380.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 36584 49 0 0 25 0 11 0 836211771 856453120 27210 4294967295 134512640 134569956 3221224384 3221213628 1131440400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 27210 13086 16 0 209079 0
vsize: 836380
[startup+390.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 37570 49 0 0 25 0 11 0 836211771 856453120 27337 4294967295 134512640 134569956 3221224384 3221214752 1131384259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 27337 13086 16 0 209079 0
vsize: 836380
[startup+400.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 38556 50 0 0 25 0 11 0 836211771 856453120 27405 4294967295 134512640 134569956 3221224384 3221213428 1131440400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 27405 13086 16 0 209079 0
vsize: 836380
[startup+410.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 39543 50 0 0 25 0 11 0 836211771 856453120 27471 4294967295 134512640 134569956 3221224384 3221214072 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 27471 13086 16 0 209079 0
vsize: 836380
[startup+420.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 40529 50 0 0 25 0 11 0 836211771 856453120 27548 4294967295 134512640 134569956 3221224384 3221214080 1131563023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 27548 13086 16 0 209079 0
vsize: 836380
[startup+430.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 41516 50 0 0 25 0 11 0 836211771 856453120 27609 4294967295 134512640 134569956 3221224384 3221213616 1131566480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 27609 13086 16 0 209079 0
vsize: 836380
[startup+440.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 42516 51 0 0 25 0 11 0 836211771 856453120 27609 4294967295 134512640 134569956 3221224384 3221214320 1131342963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 27609 13086 16 0 209079 0
vsize: 836380
[startup+450.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 43502 51 0 0 25 0 11 0 836211771 856453120 27756 4294967295 134512640 134569956 3221224384 3221213988 1131440400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 27756 13086 16 0 209079 0
vsize: 836380
[startup+460.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 44489 51 0 0 25 0 11 0 836211771 856453120 27838 4294967295 134512640 134569956 3221224384 3221214100 1131440400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 27838 13086 16 0 209079 0
vsize: 836380
[startup+470.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 45488 51 0 0 25 0 11 0 836211771 856453120 27838 4294967295 134512640 134569956 3221224384 3221213792 1131566516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 27838 13086 16 0 209079 0
vsize: 836380
[startup+480.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 46476 52 0 0 25 0 11 0 836211771 856453120 27915 4294967295 134512640 134569956 3221224384 3221213880 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 27915 13086 16 0 209079 0
vsize: 836380
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 47462 52 0 0 25 0 11 0 836211771 856453120 27986 4294967295 134512640 134569956 3221224384 3221213620 1131439616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 27986 13086 16 0 209079 0
vsize: 836380
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 48449 53 0 0 25 0 11 0 836211771 856453120 28067 4294967295 134512640 134569956 3221224384 3221214488 1131343017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 28067 13086 16 0 209079 0
vsize: 836380
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 49449 53 0 0 25 0 11 0 836211771 856453120 28067 4294967295 134512640 134569956 3221224384 3221213992 1131440401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28067 13086 16 0 209079 0
vsize: 836380
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 50436 53 0 0 25 0 11 0 836211771 856453120 28157 4294967295 134512640 134569956 3221224384 3221214752 1131384036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28157 13086 16 0 209079 0
vsize: 836380
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 51423 53 0 0 25 0 11 0 836211771 856453120 28157 4294967295 134512640 134569956 3221224384 3221214144 1131343176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28157 13086 16 0 209079 0
vsize: 836380
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 52410 53 0 0 25 0 11 0 836211771 856453120 28229 4294967295 134512640 134569956 3221224384 3221213788 1131439625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 28229 13086 16 0 209079 0
vsize: 836380
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 53410 54 0 0 25 0 11 0 836211771 856453120 28229 4294967295 134512640 134569956 3221224384 3221214328 1131440428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28229 13086 16 0 209079 0
vsize: 836380
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 54396 54 0 0 25 0 11 0 836211771 856453120 28311 4294967295 134512640 134569956 3221224384 3221214216 1131440332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 28311 13086 16 0 209079 0
vsize: 836380
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 55383 54 0 0 25 0 11 0 836211771 856453120 28311 4294967295 134512640 134569956 3221224384 3221213992 1131440401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28311 13086 16 0 209079 0
vsize: 836380
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 56383 54 0 0 25 0 11 0 836211771 856453120 28311 4294967295 134512640 134569956 3221224384 3221213960 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28311 13086 16 0 209079 0
vsize: 836380
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 57369 54 0 0 25 0 11 0 836211771 856453120 28382 4294967295 134512640 134569956 3221224384 3221214352 1085679449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28382 13086 16 0 209079 0
vsize: 836380
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 58355 54 0 0 25 0 11 0 836211771 856453120 28462 4294967295 134512640 134569956 3221224384 3221214656 1131325217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28462 13086 16 0 209079 0
vsize: 836380
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 59342 54 0 0 25 0 11 0 836211771 856453120 28540 4294967295 134512640 134569956 3221224384 3221213568 1085679296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 28540 13086 16 0 209079 0
vsize: 836380
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 60328 55 0 0 25 0 11 0 836211771 856453120 28641 4294967295 134512640 134569956 3221224384 3221214360 1078022250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28641 13086 16 0 209079 0
vsize: 836380
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 61328 55 0 0 25 0 11 0 836211771 856453120 28641 4294967295 134512640 134569956 3221224384 3221214768 1131368617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28641 13086 16 0 209079 0
vsize: 836380
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 62314 55 0 0 25 0 11 0 836211771 856453120 28642 4294967295 134512640 134569956 3221224384 3221214480 1131439637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 28642 13086 16 0 209079 0
vsize: 836380
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 63300 55 0 0 25 0 11 0 836211771 856453120 28715 4294967295 134512640 134569956 3221224384 3221213792 1085679533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28715 13086 16 0 209079 0
vsize: 836380
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 64287 55 0 0 25 0 11 0 836211771 856453120 28775 4294967295 134512640 134569956 3221224384 3221214744 1131224431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 28775 13086 16 0 209079 0
vsize: 836380
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 65287 55 0 0 25 0 11 0 836211771 856453120 28775 4294967295 134512640 134569956 3221224384 3221213688 1131440340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28775 13086 16 0 209079 0
vsize: 836380
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 66273 55 0 0 25 0 11 0 836211771 856453120 28843 4294967295 134512640 134569956 3221224384 3221214488 1131343118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28843 13086 16 0 209079 0
vsize: 836380
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 67260 55 0 0 25 0 11 0 836211771 856453120 28902 4294967295 134512640 134569956 3221224384 3221214712 1131375452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 28902 13086 16 0 209079 0
vsize: 836380
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 68260 55 0 0 25 0 11 0 836211771 856453120 28902 4294967295 134512640 134569956 3221224384 3221213808 1131569813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 28902 13086 16 0 209079 0
vsize: 836380
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 69246 56 0 0 25 0 11 0 836211771 856453120 29020 4294967295 134512640 134569956 3221224384 3221214216 1131440401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29020 13086 16 0 209079 0
vsize: 836380
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 70233 56 0 0 25 0 11 0 836211771 856453120 29079 4294967295 134512640 134569956 3221224384 3221213936 1131440268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29079 13086 16 0 209079 0
vsize: 836380
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 71220 56 0 0 25 0 11 0 836211771 856453120 29145 4294967295 134512640 134569956 3221224384 3221213904 1131566448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29145 13086 16 0 209079 0
vsize: 836380
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 72207 56 0 0 25 0 11 0 836211771 856453120 29145 4294967295 134512640 134569956 3221224384 3221214712 1131374480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29145 13086 16 0 209079 0
vsize: 836380
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 73207 56 0 0 25 0 11 0 836211771 856453120 29145 4294967295 134512640 134569956 3221224384 3221214376 1131343124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29145 13086 16 0 209079 0
vsize: 836380
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 74193 56 0 0 25 0 11 0 836211771 856453120 29229 4294967295 134512640 134569956 3221224384 3221214272 1131440369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29229 13086 16 0 209079 0
vsize: 836380
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 75180 57 0 0 25 0 11 0 836211771 856453120 29285 4294967295 134512640 134569956 3221224384 3221214288 1085679766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29285 13086 16 0 209079 0
vsize: 836380
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 76167 57 0 0 25 0 11 0 836211771 856453120 29333 4294967295 134512640 134569956 3221224384 3221213680 1131566482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29333 13086 16 0 209079 0
vsize: 836380
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 77154 57 0 0 25 0 11 0 836211771 856453120 29388 4294967295 134512640 134569956 3221224384 3221214440 1131440461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29388 13086 16 0 209079 0
vsize: 836380
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 78153 57 0 0 25 0 11 0 836211771 856453120 29388 4294967295 134512640 134569956 3221224384 3221213848 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29388 13086 16 0 209079 0
vsize: 836380
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 79140 58 0 0 25 0 11 0 836211771 856453120 29457 4294967295 134512640 134569956 3221224384 3221213808 1131343170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29457 13086 16 0 209079 0
vsize: 836380
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 80126 58 0 0 25 0 11 0 836211771 856453120 29519 4294967295 134512640 134569956 3221224384 3221213984 1131343151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29519 13086 16 0 209079 0
vsize: 836380
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 81126 58 0 0 25 0 11 0 836211771 856453120 29519 4294967295 134512640 134569956 3221224384 3221214096 1131343164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29519 13086 16 0 209079 0
vsize: 836380
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 82113 58 0 0 25 0 11 0 836211771 856453120 29581 4294967295 134512640 134569956 3221224384 3221212928 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29581 13086 16 0 209079 0
vsize: 836380
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 83099 58 0 0 25 0 11 0 836211771 856453120 29653 4294967295 134512640 134569956 3221224384 3221214016 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29653 13086 16 0 209079 0
vsize: 836380
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 84086 58 0 0 25 0 11 0 836211771 856453120 29724 4294967295 134512640 134569956 3221224384 3221214488 1131343156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29724 13086 16 0 209079 0
vsize: 836380
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 85073 58 0 0 25 0 11 0 836211771 856453120 29787 4294967295 134512640 134569956 3221224384 3221214436 1131440400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29787 13086 16 0 209079 0
vsize: 836380
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 86059 58 0 0 25 0 11 0 836211771 856453120 29852 4294967295 134512640 134569956 3221224384 3221213920 1131343170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29852 13086 16 0 209079 0
vsize: 836380
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 87059 58 0 0 25 0 11 0 836211771 856453120 29852 4294967295 134512640 134569956 3221224384 3221214640 1131200954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29852 13086 16 0 209079 0
vsize: 836380
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 88045 58 0 0 25 0 11 0 836211771 856453120 29905 4294967295 134512640 134569956 3221224384 3221213840 1131566474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29905 13086 16 0 209079 0
vsize: 836380
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 89044 59 0 0 25 0 11 0 836211771 856453120 29905 4294967295 134512640 134569956 3221224384 3221214320 1131343088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 29905 13086 16 0 209079 0
vsize: 836380
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 90031 60 0 0 25 0 11 0 836211771 856453120 29957 4294967295 134512640 134569956 3221224384 3221214216 1131440340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 29957 13086 16 0 209079 0
vsize: 836380
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 91018 60 0 0 25 0 11 0 836211771 856453120 30015 4294967295 134512640 134569956 3221224384 3221213896 1131566474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30015 13086 16 0 209079 0
vsize: 836380
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 92004 60 0 0 25 0 11 0 836211771 856453120 30075 4294967295 134512640 134569956 3221224384 3221213680 1131566212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30075 13086 16 0 209079 0
vsize: 836380
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 93003 60 0 0 25 0 11 0 836211771 856453120 30075 4294967295 134512640 134569956 3221224384 3221214272 1131440268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30075 13086 16 0 209079 0
vsize: 836380
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 93990 60 0 0 25 0 11 0 836211771 856453120 30129 4294967295 134512640 134569956 3221224384 3221214200 1131343176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 30129 13086 16 0 209079 0
vsize: 836380
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 94976 60 0 0 25 0 11 0 836211771 856453120 30182 4294967295 134512640 134569956 3221224384 3221213456 1131566560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 30182 13086 16 0 209079 0
vsize: 836380
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 95962 61 0 0 25 0 11 0 836211771 856453120 30235 4294967295 134512640 134569956 3221224384 3221213984 1131343209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 30235 13086 16 0 209079 0
vsize: 836380
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 96948 61 0 0 25 0 11 0 836211771 856453120 30295 4294967295 134512640 134569956 3221224384 3221214096 1131343017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 30295 13086 16 0 209079 0
vsize: 836380
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 97934 61 0 0 24 0 11 0 836211771 856453120 30364 4294967295 134512640 134569956 3221224384 3221214104 1131440340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30364 13086 16 0 209079 0
vsize: 836380
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 98934 61 0 0 25 0 11 0 836211771 856453120 30364 4294967295 134512640 134569956 3221224384 3221213880 1131440401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30364 13086 16 0 209079 0
vsize: 836380
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 99920 62 0 0 25 0 11 0 836211771 856453120 30421 4294967295 134512640 134569956 3221224384 3221214384 1131440376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30421 13086 16 0 209079 0
vsize: 836380
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 100905 62 0 0 25 0 11 0 836211771 856453120 30493 4294967295 134512640 134569956 3221224384 3221214432 1131343017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 30493 13086 16 0 209079 0
vsize: 836380
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 101891 62 0 0 25 0 11 0 836211771 856453120 30549 4294967295 134512640 134569956 3221224384 3221214324 1131440400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30549 13086 16 0 209079 0
vsize: 836380
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 102891 62 0 0 25 0 11 0 836211771 856453120 30549 4294967295 134512640 134569956 3221224384 3221214440 1131440348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 30549 13086 16 0 209079 0
vsize: 836380
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 103877 62 0 0 25 0 11 0 836211771 856453120 30609 4294967295 134512640 134569956 3221224384 3221214216 1131440376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 30609 13086 16 0 209079 0
vsize: 836380
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 104863 62 0 0 25 0 11 0 836211771 856453120 30663 4294967295 134512640 134569956 3221224384 3221214384 1131440376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30663 13086 16 0 209079 0
vsize: 836380
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 105849 62 0 0 25 0 11 0 836211771 856453120 30772 4294967295 134512640 134569956 3221224384 3221213872 1131343114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 30772 13086 16 0 209079 0
vsize: 836380
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 106847 63 0 0 25 0 11 0 836211771 856453120 30772 4294967295 134512640 134569956 3221224384 3221214376 1131343151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 30772 13086 16 0 209079 0
vsize: 836380
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 107834 63 0 0 25 0 11 0 836211771 856453120 30847 4294967295 134512640 134569956 3221224384 3221213808 1131343176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30847 13086 16 0 209079 0
vsize: 836380
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 108820 63 0 0 25 0 11 0 836211771 856453120 30847 4294967295 134512640 134569956 3221224384 3221214104 1131440461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30847 13086 16 0 209079 0
vsize: 836380
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 109806 63 0 0 25 0 11 0 836211771 856453120 30956 4294967295 134512640 134569956 3221224384 3221213936 1131440401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30956 13086 16 0 209079 0
vsize: 836380
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 110806 64 0 0 25 0 11 0 836211771 856453120 30956 4294967295 134512640 134569956 3221224384 3221214184 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 30956 13086 16 0 209079 0
vsize: 836380
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 111791 64 0 0 25 0 11 0 836211771 856453120 31016 4294967295 134512640 134569956 3221224384 3221214208 1131343017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 31016 13086 16 0 209079 0
vsize: 836380
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 112778 64 0 0 25 0 11 0 836211771 856453120 31091 4294967295 134512640 134569956 3221224384 3221213936 1131440461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 31091 13086 16 0 209079 0
vsize: 836380
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 113777 64 0 0 25 0 11 0 836211771 856453120 31091 4294967295 134512640 134569956 3221224384 3221214296 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 31091 13086 16 0 209079 0
vsize: 836380
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 114764 64 0 0 25 0 11 0 836211771 856453120 31161 4294967295 134512640 134569956 3221224384 3221213240 1131440401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 31161 13086 16 0 209079 0
vsize: 836380
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 115750 65 0 0 25 0 11 0 836211771 856453120 31222 4294967295 134512640 134569956 3221224384 3221213672 1131566474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 31222 13086 16 0 209079 0
vsize: 836380
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 116737 65 0 0 25 0 11 0 836211771 856453120 31287 4294967295 134512640 134569956 3221224384 3221213744 1131440465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 31287 13086 16 0 209079 0
vsize: 836380
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 117723 65 0 0 25 0 11 0 836211771 856453120 31349 4294967295 134512640 134569956 3221224384 3221213864 1131343170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 31349 13086 16 0 209079 0
vsize: 836380
[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 118708 66 0 0 25 0 11 0 836211771 856453120 31409 4294967295 134512640 134569956 3221224384 3221214352 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 31409 13086 16 0 209079 0
vsize: 836380
[startup+1220.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 119695 66 0 0 25 0 11 0 836211771 856453120 31470 4294967295 134512640 134569956 3221224384 3221214488 1131343197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209095 31470 13086 16 0 209079 0
vsize: 836380
[startup+1230.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 15095
Raw data (stat): 15083 (java) R 15082 3394 3393 0 -1 0 18079 0 1 0 120694 66 0 0 25 0 11 0 836211771 856453120 31470 4294967295 134512640 134569956 3221224384 3221213960 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209095 31470 13086 16 0 209079 0
vsize: 836380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 15097
Raw data (stat): 15083 (java) Z 15082 3394 3393 0 -1 1036 18079 12413 1 0 120697 66 1941 28 25 0 1 0 836211771 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.13
CPU time (s): 1227.35
CPU user time (s): 1226.4
CPU system time (s): 0.949855
CPU usage (%): 99.7735
Max. virtual memory (Kb): 836604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####