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-ii8e2.opb
MD5SUM66ef5c48f4a7492e24281157b7778ffb
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 514
Optimality of the best value was proved NO
Number of terms in the objective function 1740
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 1740
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 1740
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.04884
Number of variables1740
Total number of constraints6991
Number of constraints which are clauses6991
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 constraint10

Trace number 4368

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-13 16:37:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1584 boxname=wulflinc13 idbench=176 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  66ef5c48f4a7492e24281157b7778ffb  /oldhome/oroussel/tmp/wulflinc13/normalized-ii8e2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-ii8e2.opb
IDLAUNCH: 1584
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        935828 kB
Buffers:         32640 kB
Cached:          46528 kB
SwapCached:        392 kB
Active:          43868 kB
Inactive:        38452 kB
HighTotal:      131008 kB
HighFree:        80696 kB
LowTotal:       903652 kB
LowFree:        855132 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10964 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:58:26 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1584 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-ii8e2.opb
c reading problem 
c [nbvar=1740]
c [nbconstr=6991]
c time 5.204
c #vars     1740
c #clauses  6991
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=819
c Current CPU time (ms) : 13.953
c starts	: 1
c conflicts	: 61
c decisions	: 335
c propagations	: 10963
c inspects	: 31172
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 61
c root simplifications	: 1
c 
c CURRENT OPTIMUM=757
c Current CPU time (ms) : 15.277
c starts	: 2
c conflicts	: 61
c decisions	: 660
c propagations	: 12703
c inspects	: 36636
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 61
c root simplifications	: 2
c 
c CURRENT OPTIMUM=745
c Current CPU time (ms) : 25.821
c starts	: 3
c conflicts	: 78
c decisions	: 1244
c propagations	: 15543
c inspects	: 48708
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 78
c root simplifications	: 3
c 
c CURRENT OPTIMUM=501
c Current CPU time (ms) : 33.538
c starts	: 4
c conflicts	: 83
c decisions	: 2182
c propagations	: 18092
c inspects	: 62424
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 83
c root simplifications	: 4
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.90 2/54 31626
Raw data (stat): 31626 (runsolver) R 31625 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419230954 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.0004 s]
Raw data (loadavg): 1.24 1.05 0.93 4/64 31636
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18097 0 1 0 855 46 0 0 25 0 11 0 419230954 866062336 21384 4294967295 134512640 134569956 3221224416 3221214704 1130912105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211441 21384 13073 16 0 211425 0
vsize: 845764
[startup+20.0015 s]
Raw data (loadavg): 1.20 1.05 0.93 2/64 31638
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 1713 46 0 0 25 0 11 0 419230954 871354368 24576 4294967295 134512640 134569956 3221224416 3221214744 1131443302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212733 24576 13073 16 0 212717 0
vsize: 850932
[startup+30.0021 s]
Raw data (loadavg): 1.17 1.05 0.93 2/64 31639
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 2629 46 0 0 25 0 11 0 419230954 871321600 25084 4294967295 134512640 134569956 3221224416 3221214696 1131223452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212725 25084 13073 16 0 212709 0
vsize: 850900
[startup+40.0012 s]
Raw data (loadavg): 1.14 1.04 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 3556 46 0 0 25 0 11 0 419230954 869036032 24553 4294967295 134512640 134569956 3221224416 3221214792 1131368155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 24553 13073 16 0 212151 0
vsize: 848668
[startup+50.0024 s]
Raw data (loadavg): 1.12 1.04 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 4466 46 0 0 25 0 11 0 419230954 869036032 24553 4294967295 134512640 134569956 3221224416 3221214696 1131364116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 24553 13073 16 0 212151 0
vsize: 848668
[startup+60.0031 s]
Raw data (loadavg): 1.10 1.04 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 5381 47 0 0 25 0 11 0 419230954 869036032 25182 4294967295 134512640 134569956 3221224416 3221214744 1131443473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25182 13073 16 0 212151 0
vsize: 848668
[startup+70.0043 s]
Raw data (loadavg): 1.09 1.04 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 6348 47 0 0 25 0 11 0 419230954 869036032 25343 4294967295 134512640 134569956 3221224416 3221214744 1131443894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25343 13073 16 0 212151 0
vsize: 848668
[startup+80.0054 s]
Raw data (loadavg): 1.07 1.04 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 7328 47 0 0 25 0 11 0 419230954 869036032 25381 4294967295 134512640 134569956 3221224416 3221214792 1131369215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25381 13073 16 0 212151 0
vsize: 848668
[startup+90.0051 s]
Raw data (loadavg): 1.06 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 8296 48 0 0 25 0 11 0 419230954 869036032 25388 4294967295 134512640 134569956 3221224416 3221214624 1131400701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25388 13073 16 0 212151 0
vsize: 848668
[startup+100.005 s]
Raw data (loadavg): 1.05 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 9259 48 0 0 25 0 11 0 419230954 869036032 25411 4294967295 134512640 134569956 3221224416 3221214624 1131396394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25411 13073 16 0 212151 0
vsize: 848668
[startup+110.006 s]
Raw data (loadavg): 1.04 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 10236 49 0 0 25 0 11 0 419230954 869036032 25555 4294967295 134512640 134569956 3221224416 3221214744 1131447839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25555 13073 16 0 212151 0
vsize: 848668
[startup+120.008 s]
Raw data (loadavg): 1.04 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 11219 49 0 0 25 0 11 0 419230954 869036032 25578 4294967295 134512640 134569956 3221224416 3221214744 1131445208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25578 13073 16 0 212151 0
vsize: 848668
[startup+130.008 s]
Raw data (loadavg): 1.03 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18116 4 1 0 12202 49 0 0 25 0 11 0 419230954 869036032 25620 4294967295 134512640 134569956 3221224416 3221214600 1131661619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25620 13073 16 0 212151 0
vsize: 848668
[startup+140.008 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 13189 50 0 0 25 0 11 0 419230954 869036032 25635 4294967295 134512640 134569956 3221224416 3221214512 1131300504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25635 13073 16 0 212151 0
vsize: 848668
[startup+150.009 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 14169 50 0 0 25 0 11 0 419230954 869036032 25668 4294967295 134512640 134569956 3221224416 3221214560 1131486132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212167 25668 13073 16 0 212151 0
vsize: 848668
[startup+160.008 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 15147 50 0 0 25 0 11 0 419230954 869036032 25686 4294967295 134512640 134569956 3221224416 3221214792 1131372420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25686 13073 16 0 212151 0
vsize: 848668
[startup+170.009 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 16127 51 0 0 24 0 11 0 419230954 869036032 25744 4294967295 134512640 134569956 3221224416 3221214504 1131564048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25744 13073 16 0 212151 0
vsize: 848668
[startup+180.01 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 17107 51 0 0 25 0 11 0 419230954 869036032 25774 4294967295 134512640 134569956 3221224416 3221214704 1131678575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25774 13073 16 0 212151 0
vsize: 848668
[startup+190.01 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 18094 51 0 0 25 0 11 0 419230954 869036032 25774 4294967295 134512640 134569956 3221224416 3221214600 1131300365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25774 13073 16 0 212151 0
vsize: 848668
[startup+200.011 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 19074 52 0 0 25 0 11 0 419230954 869036032 25863 4294967295 134512640 134569956 3221224416 3221214744 1131445036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25863 13073 16 0 212151 0
vsize: 848668
[startup+210.012 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 20062 52 0 0 25 0 11 0 419230954 869036032 25863 4294967295 134512640 134569956 3221224416 3221214600 1131300273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25863 13073 16 0 212151 0
vsize: 848668
[startup+220.013 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 21041 52 0 0 24 0 11 0 419230954 869036032 25923 4294967295 134512640 134569956 3221224416 3221214648 1131175124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25923 13073 16 0 212151 0
vsize: 848668
[startup+230.013 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 22029 53 0 0 25 0 11 0 419230954 869036032 25923 4294967295 134512640 134569956 3221224416 3221214704 1131678575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25923 13073 16 0 212151 0
vsize: 848668
[startup+240.013 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 23014 53 0 0 25 0 11 0 419230954 869036032 25939 4294967295 134512640 134569956 3221224416 3221214600 1131661539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25939 13073 16 0 212151 0
vsize: 848668
[startup+250.013 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 24002 53 0 0 25 0 11 0 419230954 869036032 25982 4294967295 134512640 134569956 3221224416 3221214612 1080203708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 25982 13073 16 0 212151 0
vsize: 848668
[startup+260.014 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 24985 54 0 0 25 0 11 0 419230954 869036032 26002 4294967295 134512640 134569956 3221224416 3221214744 1131447071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26002 13073 16 0 212151 0
vsize: 848668
[startup+270.015 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 25969 54 0 0 25 0 11 0 419230954 869036032 26034 4294967295 134512640 134569956 3221224416 3221214624 1131396873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26034 13073 16 0 212151 0
vsize: 848668
[startup+280.015 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 26950 54 0 0 25 0 11 0 419230954 869036032 26053 4294967295 134512640 134569956 3221224416 3221214732 1080204298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26053 13073 16 0 212151 0
vsize: 848668
[startup+290.016 s]
Raw data (loadavg): 1.07 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 27920 55 0 0 25 0 11 0 419230954 869036032 26083 4294967295 134512640 134569956 3221224416 3221214744 1131449062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26083 13073 16 0 212151 0
vsize: 848668
[startup+300.017 s]
Raw data (loadavg): 1.06 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 28892 55 0 0 25 0 11 0 419230954 869036032 26125 4294967295 134512640 134569956 3221224416 3221214636 1080204298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26125 13073 16 0 212151 0
vsize: 848668
[startup+310.017 s]
Raw data (loadavg): 1.05 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 29858 55 0 0 25 0 11 0 419230954 869036032 26203 4294967295 134512640 134569956 3221224416 3221214600 1131661947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26203 13073 16 0 212151 0
vsize: 848668
[startup+320.018 s]
Raw data (loadavg): 1.04 1.03 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 30831 56 0 0 25 0 11 0 419230954 869036032 26270 4294967295 134512640 134569956 3221224416 3221214792 1131369113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26270 13073 16 0 212151 0
vsize: 848668
[startup+330.019 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 31802 56 0 0 25 0 11 0 419230954 869036032 26387 4294967295 134512640 134569956 3221224416 3221214600 1131300365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26387 13073 16 0 212151 0
vsize: 848668
[startup+340.018 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 32778 56 0 0 25 0 11 0 419230954 869036032 26390 4294967295 134512640 134569956 3221224416 3221214600 1131663679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26390 13073 16 0 212151 0
vsize: 848668
[startup+350.018 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 33754 57 0 0 25 0 11 0 419230954 869036032 26451 4294967295 134512640 134569956 3221224416 3221214848 1131326075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26451 13073 16 0 212151 0
vsize: 848668
[startup+360.019 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 34733 57 0 0 25 0 11 0 419230954 869036032 26515 4294967295 134512640 134569956 3221224416 3221214600 1131300642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26515 13073 16 0 212151 0
vsize: 848668
[startup+370.019 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 35710 57 0 0 25 0 11 0 419230954 869036032 26546 4294967295 134512640 134569956 3221224416 3221214624 1131400878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26546 13073 16 0 212151 0
vsize: 848668
[startup+380.019 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 36694 58 0 0 25 0 11 0 419230954 869036032 26618 4294967295 134512640 134569956 3221224416 3221214600 1131664919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26618 13073 16 0 212151 0
vsize: 848668
[startup+390.019 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 37681 58 0 0 25 0 11 0 419230954 869036032 26619 4294967295 134512640 134569956 3221224416 3221214600 1131300793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26619 13073 16 0 212151 0
vsize: 848668
[startup+400.019 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 38667 59 0 0 25 0 11 0 419230954 869036032 26656 4294967295 134512640 134569956 3221224416 3221214600 1131300579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26656 13073 16 0 212151 0
vsize: 848668
[startup+410.019 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 39648 59 0 0 25 0 11 0 419230954 869036032 26656 4294967295 134512640 134569956 3221224416 3221214744 1131444684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26656 13073 16 0 212151 0
vsize: 848668
[startup+420.02 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 40630 60 0 0 25 0 11 0 419230954 869036032 26675 4294967295 134512640 134569956 3221224416 3221214600 1131300529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26675 13073 16 0 212151 0
vsize: 848668
[startup+430.021 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 41614 60 0 0 25 0 11 0 419230954 869036032 26711 4294967295 134512640 134569956 3221224416 3221214600 1131300602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26711 13073 16 0 212151 0
vsize: 848668
[startup+440.021 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 42602 61 0 0 25 0 11 0 419230954 869036032 26757 4294967295 134512640 134569956 3221224416 3221214600 1131300507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26757 13073 16 0 212151 0
vsize: 848668
[startup+450.021 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 43591 61 0 0 25 0 11 0 419230954 869036032 26757 4294967295 134512640 134569956 3221224416 3221214600 1131300579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26757 13073 16 0 212151 0
vsize: 848668
[startup+460.022 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 44579 61 0 0 25 0 11 0 419230954 869036032 26787 4294967295 134512640 134569956 3221224416 3221214600 1131300504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26787 13073 16 0 212151 0
vsize: 848668
[startup+470.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 45568 61 0 0 25 0 11 0 419230954 869036032 26787 4294967295 134512640 134569956 3221224416 3221214704 1131680099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26787 13073 16 0 212151 0
vsize: 848668
[startup+480.024 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) S 31625 30701 30700 0 -1 0 18117 4 1 0 46556 62 0 0 25 0 11 0 419230954 869036032 26787 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26787 13073 16 0 212151 0
vsize: 848668
[startup+490.024 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 47540 63 0 0 25 0 11 0 419230954 869036032 26816 4294967295 134512640 134569956 3221224416 3221214600 1131661953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26816 13073 16 0 212151 0
vsize: 848668
[startup+500.025 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 48528 63 0 0 25 0 11 0 419230954 869036032 26817 4294967295 134512640 134569956 3221224416 3221214624 1131400884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26817 13073 16 0 212151 0
vsize: 848668
[startup+510.025 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 49513 63 0 0 25 0 11 0 419230954 869036032 26855 4294967295 134512640 134569956 3221224416 3221214704 1131678583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26855 13073 16 0 212151 0
vsize: 848668
[startup+520.026 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 50499 64 0 0 25 0 11 0 419230954 869036032 26855 4294967295 134512640 134569956 3221224416 3221214600 1131300736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26855 13073 16 0 212151 0
vsize: 848668
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 51485 64 0 0 25 0 11 0 419230954 869036032 26891 4294967295 134512640 134569956 3221224416 3221214600 1131300504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26891 13073 16 0 212151 0
vsize: 848668
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 52474 65 0 0 25 0 11 0 419230954 869036032 26891 4294967295 134512640 134569956 3221224416 3221214600 1131300579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26891 13073 16 0 212151 0
vsize: 848668
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 53465 65 0 0 25 0 11 0 419230954 869036032 26923 4294967295 134512640 134569956 3221224416 3221214632 1131548095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26923 13073 16 0 212151 0
vsize: 848668
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 54458 65 0 0 25 0 11 0 419230954 869036032 26923 4294967295 134512640 134569956 3221224416 3221214744 1131447814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26923 13073 16 0 212151 0
vsize: 848668
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 55445 66 0 0 25 0 11 0 419230954 869036032 26941 4294967295 134512640 134569956 3221224416 3221214704 1131678575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26941 13073 16 0 212151 0
vsize: 848668
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 56435 66 0 0 25 0 11 0 419230954 869036032 26942 4294967295 134512640 134569956 3221224416 3221214600 1131300365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26942 13073 16 0 212151 0
vsize: 848668
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 57425 66 0 0 25 0 11 0 419230954 869036032 26949 4294967295 134512640 134569956 3221224416 3221214744 1131444239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26949 13073 16 0 212151 0
vsize: 848668
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 58410 67 0 0 25 0 11 0 419230954 869036032 26949 4294967295 134512640 134569956 3221224416 3221214668 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26949 13073 16 0 212151 0
vsize: 848668
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 59389 67 0 0 25 0 11 0 419230954 869036032 26949 4294967295 134512640 134569956 3221224416 3221214744 1131443325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26949 13073 16 0 212151 0
vsize: 848668
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 60373 67 0 0 25 0 11 0 419230954 869036032 26985 4294967295 134512640 134569956 3221224416 3221214600 1131661978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 26985 13073 16 0 212151 0
vsize: 848668
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 61358 68 0 0 25 0 11 0 419230954 869036032 27009 4294967295 134512640 134569956 3221224416 3221214600 1131300504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27009 13073 16 0 212151 0
vsize: 848668
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 62345 69 0 0 25 0 11 0 419230954 869036032 27062 4294967295 134512640 134569956 3221224416 3221214704 1131678575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27062 13073 16 0 212151 0
vsize: 848668
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 63332 69 0 0 25 0 11 0 419230954 869036032 27063 4294967295 134512640 134569956 3221224416 3221214668 1080203730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27063 13073 16 0 212151 0
vsize: 848668
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 64320 70 0 0 25 0 11 0 419230954 869036032 27077 4294967295 134512640 134569956 3221224416 3221214600 1131300579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27077 13073 16 0 212151 0
vsize: 848668
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 65308 70 0 0 25 0 11 0 419230954 869036032 27077 4294967295 134512640 134569956 3221224416 3221214624 1131397185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27077 13073 16 0 212151 0
vsize: 848668
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 66297 71 0 0 25 0 11 0 419230954 869036032 27102 4294967295 134512640 134569956 3221224416 3221214744 1131447061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27102 13073 16 0 212151 0
vsize: 848668
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 67286 71 0 0 25 0 11 0 419230954 869036032 27102 4294967295 134512640 134569956 3221224416 3221214600 1131300504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27102 13073 16 0 212151 0
vsize: 848668
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 68272 72 0 0 25 0 11 0 419230954 869036032 27102 4294967295 134512640 134569956 3221224416 3221214600 1131300579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27102 13073 16 0 212151 0
vsize: 848668
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 69257 72 0 0 24 0 11 0 419230954 869036032 27136 4294967295 134512640 134569956 3221224416 3221214600 1131300365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27136 13073 16 0 212151 0
vsize: 848668
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 70239 72 0 0 24 0 11 0 419230954 869036032 27136 4294967295 134512640 134569956 3221224416 3221214744 1131443306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27136 13073 16 0 212151 0
vsize: 848668
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 71222 73 0 0 25 0 11 0 419230954 869036032 27165 4294967295 134512640 134569956 3221224416 3221214600 1131300504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27165 13073 16 0 212151 0
vsize: 848668
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 72206 73 0 0 25 0 11 0 419230954 869036032 27198 4294967295 134512640 134569956 3221224416 3221214704 1131678583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27198 13073 16 0 212151 0
vsize: 848668
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 73191 74 0 0 25 0 11 0 419230954 869036032 27233 4294967295 134512640 134569956 3221224416 3221214704 1131680163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27233 13073 16 0 212151 0
vsize: 848668
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 74177 74 0 0 25 0 11 0 419230954 869036032 27233 4294967295 134512640 134569956 3221224416 3221214624 1131397129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212167 27233 13073 16 0 212151 0
vsize: 848668
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 75158 74 0 0 25 0 11 0 419230954 869036032 27250 4294967295 134512640 134569956 3221224416 3221214704 1131678575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27250 13073 16 0 212151 0
vsize: 848668
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 76139 75 0 0 24 0 11 0 419230954 869036032 27297 4294967295 134512640 134569956 3221224416 3221214624 1131397356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27297 13073 16 0 212151 0
vsize: 848668
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 77124 75 0 0 25 0 11 0 419230954 869036032 27298 4294967295 134512640 134569956 3221224416 3221214600 1131300504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27298 13073 16 0 212151 0
vsize: 848668
[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 78112 76 0 0 25 0 11 0 419230954 869036032 27332 4294967295 134512640 134569956 3221224416 3221214600 1131661881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27332 13073 16 0 212151 0
vsize: 848668
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 79102 76 0 0 25 0 11 0 419230954 869036032 27366 4294967295 134512640 134569956 3221224416 3221214504 1131690371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27366 13073 16 0 212151 0
vsize: 848668
[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 80098 76 0 0 25 0 11 0 419230954 869036032 27367 4294967295 134512640 134569956 3221224416 3221214600 1131300841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27367 13073 16 0 212151 0
vsize: 848668
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 81086 77 0 0 25 0 11 0 419230954 869036032 27368 4294967295 134512640 134569956 3221224416 3221214624 1131396442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27368 13073 16 0 212151 0
vsize: 848668
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 82070 77 0 0 24 0 11 0 419230954 869036032 27386 4294967295 134512640 134569956 3221224416 3221214680 1131427534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27386 13073 16 0 212151 0
vsize: 848668
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 83054 77 0 0 24 0 11 0 419230954 869036032 27386 4294967295 134512640 134569956 3221224416 3221214744 1131443487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27386 13073 16 0 212151 0
vsize: 848668
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 84041 78 0 0 25 0 11 0 419230954 869036032 27427 4294967295 134512640 134569956 3221224416 3221214600 1131300422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27427 13073 16 0 212151 0
vsize: 848668
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 85026 78 0 0 25 0 11 0 419230954 869036032 27427 4294967295 134512640 134569956 3221224416 3221214624 1131396442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27427 13073 16 0 212151 0
vsize: 848668
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 86008 79 0 0 24 0 11 0 419230954 869036032 27457 4294967295 134512640 134569956 3221224416 3221214744 1131443991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27457 13073 16 0 212151 0
vsize: 848668
[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 86986 79 0 0 25 0 11 0 419230954 869036032 27457 4294967295 134512640 134569956 3221224416 3221214600 1131662776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27457 13073 16 0 212151 0
vsize: 848668
[startup+900.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 87969 80 0 0 25 0 11 0 419230954 869036032 27520 4294967295 134512640 134569956 3221224416 3221214744 1131447061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27520 13073 16 0 212151 0
vsize: 848668
[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 88949 81 0 0 25 0 11 0 419230954 869036032 27554 4294967295 134512640 134569956 3221224416 3221214744 1131447696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27554 13073 16 0 212151 0
vsize: 848668
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 89928 81 0 0 25 0 11 0 419230954 869036032 27554 4294967295 134512640 134569956 3221224416 3221214792 1131369174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27554 13073 16 0 212151 0
vsize: 848668
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 90908 81 0 0 25 0 11 0 419230954 869036032 27614 4294967295 134512640 134569956 3221224416 3221214600 1131300801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27614 13073 16 0 212151 0
vsize: 848668
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 91889 82 0 0 25 0 11 0 419230954 869036032 27647 4294967295 134512640 134569956 3221224416 3221214744 1131446399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27647 13073 16 0 212151 0
vsize: 848668
[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 92872 82 0 0 25 0 11 0 419230954 869036032 27647 4294967295 134512640 134569956 3221224416 3221214744 1131333241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27647 13073 16 0 212151 0
vsize: 848668
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 93839 82 0 0 25 0 11 0 419230954 869036032 27682 4294967295 134512640 134569956 3221224416 3221214624 1131397180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27682 13073 16 0 212151 0
vsize: 848668
[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 94802 83 0 0 25 0 11 0 419230954 869036032 27715 4294967295 134512640 134569956 3221224416 3221214744 1131445073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27715 13073 16 0 212151 0
vsize: 848668
[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 95768 83 0 0 25 0 11 0 419230954 869036032 27892 4294967295 134512640 134569956 3221224416 3221214668 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27892 13073 16 0 212151 0
vsize: 848668
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 96754 83 0 0 25 0 11 0 419230954 869036032 27947 4294967295 134512640 134569956 3221224416 3221214472 1131670484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27947 13073 16 0 212151 0
vsize: 848668
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 97738 84 0 0 25 0 11 0 419230954 869036032 27985 4294967295 134512640 134569956 3221224416 3221214704 1131680148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27985 13073 16 0 212151 0
vsize: 848668
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 98724 84 0 0 25 0 11 0 419230954 869036032 27985 4294967295 134512640 134569956 3221224416 3221214696 1131223365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27985 13073 16 0 212151 0
vsize: 848668
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 99704 85 0 0 25 0 11 0 419230954 869036032 27985 4294967295 134512640 134569956 3221224416 3221214680 1131427561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 27985 13073 16 0 212151 0
vsize: 848668
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 100687 85 0 0 25 0 11 0 419230954 869036032 28022 4294967295 134512640 134569956 3221224416 3221214848 1131326423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28022 13073 16 0 212151 0
vsize: 848668
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 101669 86 0 0 25 0 11 0 419230954 869036032 28023 4294967295 134512640 134569956 3221224416 3221214600 1131300478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28023 13073 16 0 212151 0
vsize: 848668
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 102655 86 0 0 25 0 11 0 419230954 869036032 28065 4294967295 134512640 134569956 3221224416 3221214704 1131678673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28065 13073 16 0 212151 0
vsize: 848668
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 103639 87 0 0 25 0 11 0 419230954 869036032 28099 4294967295 134512640 134569956 3221224416 3221214624 1131400912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28099 13073 16 0 212151 0
vsize: 848668
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 104622 87 0 0 25 0 11 0 419230954 869036032 28099 4294967295 134512640 134569956 3221224416 3221214600 1131661772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28099 13073 16 0 212151 0
vsize: 848668
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18117 4 1 0 105607 87 0 0 25 0 11 0 419230954 869036032 28136 4294967295 134512640 134569956 3221224416 3221214704 1131678603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28136 13073 16 0 212151 0
vsize: 848668
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 106591 88 0 0 25 0 11 0 419230954 869036032 28172 4294967295 134512640 134569956 3221224416 3221214600 1131661953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28172 13073 16 0 212151 0
vsize: 848668
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 107582 88 0 0 25 0 11 0 419230954 869036032 28172 4294967295 134512640 134569956 3221224416 3221214696 1131223397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28172 13073 16 0 212151 0
vsize: 848668
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 108566 89 0 0 25 0 11 0 419230954 869036032 28172 4294967295 134512640 134569956 3221224416 3221214792 1131367909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28172 13073 16 0 212151 0
vsize: 848668
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) S 31625 30701 30700 0 -1 0 18118 4 1 0 109543 89 0 0 25 0 11 0 419230954 869036032 28172 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28172 13073 16 0 212151 0
vsize: 848668
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 110518 89 0 0 25 0 11 0 419230954 869036032 28208 4294967295 134512640 134569956 3221224416 3221214792 1131368126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28208 13073 16 0 212151 0
vsize: 848668
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 111491 90 0 0 25 0 11 0 419230954 869036032 28290 4294967295 134512640 134569956 3221224416 3221214696 1131223706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28290 13073 16 0 212151 0
vsize: 848668
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 112468 90 0 0 25 0 11 0 419230954 869036032 28321 4294967295 134512640 134569956 3221224416 3221214792 1131369052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28321 13073 16 0 212151 0
vsize: 848668
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 113447 90 0 0 25 0 11 0 419230954 869036032 28335 4294967295 134512640 134569956 3221224416 3221214744 1131443384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28335 13073 16 0 212151 0
vsize: 848668
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 114425 91 0 0 25 0 11 0 419230954 869036032 28345 4294967295 134512640 134569956 3221224416 3221214792 1131368086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28345 13073 16 0 212151 0
vsize: 848668
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 115402 91 0 0 25 0 11 0 419230954 869036032 28424 4294967295 134512640 134569956 3221224416 3221214696 1131223925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28424 13073 16 0 212151 0
vsize: 848668
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 116382 91 0 0 25 0 11 0 419230954 869036032 28465 4294967295 134512640 134569956 3221224416 3221214504 1131563857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28465 13073 16 0 212151 0
vsize: 848668
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 117359 92 0 0 25 0 11 0 419230954 869036032 28484 4294967295 134512640 134569956 3221224416 3221214624 1131397690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28484 13073 16 0 212151 0
vsize: 848668
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 118348 93 0 0 25 0 11 0 419230954 869036032 28524 4294967295 134512640 134569956 3221224416 3221214696 1131364502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28524 13073 16 0 212151 0
vsize: 848668
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 119332 93 0 0 25 0 11 0 419230954 869036032 28533 4294967295 134512640 134569956 3221224416 3221214728 1131325377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28533 13073 16 0 212151 0
vsize: 848668
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 31640
Raw data (stat): 31626 (java) R 31625 30701 30700 0 -1 0 18118 4 1 0 120316 93 0 0 25 0 11 0 419230954 869036032 28533 4294967295 134512640 134569956 3221224416 3221214744 1131447783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212167 28533 13073 16 0 212151 0
vsize: 848668
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 31642
Raw data (stat): 31626 (java) Z 31625 30701 30700 0 -1 1036 18118 6523 1 0 120319 93 2378 28 25 0 1 0 419230954 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.14
CPU time (s): 1228.21
CPU user time (s): 1226.98
CPU system time (s): 1.22581
CPU usage (%): 99.8428
Max. virtual memory (Kb): 850932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####