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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
MD5SUM3db288621acb689294b9e681f0703d64
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 238
Optimality of the best value was proved NO
Number of terms in the objective function 10990
Biggest coefficient in the objective function 5985
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 32029
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5985
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 32029
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.14
Number of variables10990
Total number of constraints23461
Number of constraints which are clauses10469
Number of constraints which are cardinality constraints (but not clauses)12992
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25

Trace number 4540 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-13 18:23:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3384 boxname=wulflinc27 idbench=376 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3db288621acb689294b9e681f0703d64  /oldhome/oroussel/tmp/wulflinc27/normalized-30:70:4.5:0.95:98.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-30:70:4.5:0.95:98.opb
IDLAUNCH: 3384
/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:        883708 kB
Buffers:         32812 kB
Cached:          80920 kB
SwapCached:       3160 kB
Active:          45484 kB
Inactive:        74224 kB
HighTotal:      131008 kB
HighFree:        46648 kB
LowTotal:       903652 kB
LowFree:        837060 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            25684 kB
Committed_AS:    63452 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:44:21 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3384 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-30:70:4.5:0.95:98.opb
c reading problem 
c [nbvar=10990]
c [nbconstr=23461]
c time 52.715
c #vars     10990
c #clauses  12472
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=382
c Current CPU time (ms) : 54.979
c starts	: 1
c conflicts	: 0
c decisions	: 4854
c propagations	: 10990
c inspects	: 20010
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=381
c Current CPU time (ms) : 179.693
c starts	: 2
c conflicts	: 2
c decisions	: 9715
c propagations	: 21996
c inspects	: 35476
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 2
c 
c CURRENT OPTIMUM=221
c Current CPU time (ms) : 767.723
c starts	: 3
c conflicts	: 2
c decisions	: 16203
c propagations	: 32985
c inspects	: 69410
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 3
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.02 1.03 1.00 2/54 20026
Raw data (stat): 20026 (runsolver) R 20025 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478081877 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 20035
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 17980 0 1 0 898 43 0 0 25 0 10 0 478081877 853508096 19082 4294967295 134512640 134569956 3221224400 3221214704 1131174813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208376 19082 13073 16 0 208360 0
vsize: 833504
[startup+20.0017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 20035
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 17980 0 1 0 1795 44 0 0 25 0 10 0 478081877 853610496 19580 4294967295 134512640 134569956 3221224400 3221214824 1131210187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 19580 13073 16 0 208385 0
vsize: 833604
[startup+30.0024 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 20035
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 17980 0 1 0 2696 44 0 0 25 0 10 0 478081877 853610496 19985 4294967295 134512640 134569956 3221224400 3221214824 1131208709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208401 19985 13073 16 0 208385 0
vsize: 833604
[startup+40.0029 s]
Raw data (loadavg): 1.17 1.06 1.01 4/63 20035
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18014 0 1 0 3633 45 0 0 25 0 10 0 478081877 865980416 22805 4294967295 134512640 134569956 3221224400 3221214452 1130917749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211421 22806 13073 16 0 211405 0
vsize: 845684
[startup+50.004 s]
Raw data (loadavg): 1.45 1.12 1.03 4/63 20035
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18061 0 1 0 4246 46 0 0 25 0 10 0 478081877 881901568 27080 4294967295 134512640 134569956 3221224400 3221214352 1131245520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215308 27080 13073 16 0 215292 0
vsize: 861232
[startup+60.0049 s]
Raw data (loadavg): 1.45 1.13 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 5114 46 0 0 25 0 11 0 478081877 878813184 28156 4294967295 134512640 134569956 3221224400 3221214776 1131622075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28156 13073 16 0 214538 0
vsize: 858216
[startup+70.0053 s]
Raw data (loadavg): 1.38 1.13 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 6055 46 0 0 25 0 11 0 478081877 878813184 28156 4294967295 134512640 134569956 3221224400 3221214672 1131308897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28156 13073 16 0 214538 0
vsize: 858216
[startup+80.0065 s]
Raw data (loadavg): 1.32 1.12 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 7002 46 0 0 25 0 11 0 478081877 878813184 28156 4294967295 134512640 134569956 3221224400 3221214672 1131310070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214554 28156 13073 16 0 214538 0
vsize: 858216
[startup+90.0074 s]
Raw data (loadavg): 1.27 1.12 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 7954 47 0 0 25 0 11 0 478081877 878813184 28481 4294967295 134512640 134569956 3221224400 3221214776 1131623976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214554 28481 13073 16 0 214538 0
vsize: 858216
[startup+100.008 s]
Raw data (loadavg): 1.23 1.12 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 8943 47 0 0 25 0 11 0 478081877 878813184 28494 4294967295 134512640 134569956 3221224400 3221214672 1131309398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214554 28494 13073 16 0 214538 0
vsize: 858216
[startup+110.009 s]
Raw data (loadavg): 1.19 1.11 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 9933 47 0 0 25 0 11 0 478081877 878813184 28508 4294967295 134512640 134569956 3221224400 3221214672 1131308930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28508 13073 16 0 214538 0
vsize: 858216
[startup+120.01 s]
Raw data (loadavg): 1.16 1.11 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 10922 47 0 0 25 0 11 0 478081877 878813184 28524 4294967295 134512640 134569956 3221224400 3221214776 1131621908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28524 13073 16 0 214538 0
vsize: 858216
[startup+130.01 s]
Raw data (loadavg): 1.14 1.10 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 11912 48 0 0 25 0 11 0 478081877 878813184 28539 4294967295 134512640 134569956 3221224400 3221214672 1131310182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28539 13073 16 0 214538 0
vsize: 858216
[startup+140.01 s]
Raw data (loadavg): 1.12 1.10 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 12901 48 0 0 25 0 11 0 478081877 878813184 28555 4294967295 134512640 134569956 3221224400 3221214672 1131310098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28555 13073 16 0 214538 0
vsize: 858216
[startup+150.011 s]
Raw data (loadavg): 1.10 1.10 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 13891 48 0 0 25 0 11 0 478081877 878813184 28572 4294967295 134512640 134569956 3221224400 3221214672 1131310147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28572 13073 16 0 214538 0
vsize: 858216
[startup+160.012 s]
Raw data (loadavg): 1.16 1.11 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18089 3 1 0 14881 48 0 0 25 0 11 0 478081877 878813184 28587 4294967295 134512640 134569956 3221224400 3221214672 1131309346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28587 13073 16 0 214538 0
vsize: 858216
[startup+170.012 s]
Raw data (loadavg): 1.21 1.12 1.03 2/64 20037
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 15766 48 0 0 25 0 11 0 478081877 878813184 28705 4294967295 134512640 134569956 3221224400 3221214624 1131832472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214554 28705 13073 16 0 214538 0
vsize: 858216
[startup+180.018 s]
Raw data (loadavg): 1.18 1.12 1.03 2/64 20037
Raw data (stat): 20026 (java) S 20025 18865 18864 0 -1 0 18128 3 1 0 16741 49 0 0 25 0 11 0 478081877 878813184 28718 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28718 13073 16 0 214538 0
vsize: 858216
[startup+190.018 s]
Raw data (loadavg): 1.15 1.11 1.03 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 17655 49 0 0 24 0 11 0 478081877 878813184 28901 4294967295 134512640 134569956 3221224400 3221214776 1131622998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28901 13073 16 0 214538 0
vsize: 858216
[startup+200.019 s]
Raw data (loadavg): 1.13 1.11 1.03 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 18553 49 0 0 25 0 11 0 478081877 878813184 28904 4294967295 134512640 134569956 3221224400 3221214672 1131309066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28904 13073 16 0 214538 0
vsize: 858216
[startup+210.02 s]
Raw data (loadavg): 1.11 1.10 1.03 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 19452 49 0 0 25 0 11 0 478081877 878813184 28911 4294967295 134512640 134569956 3221224400 3221214776 1131626707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 28911 13073 16 0 214538 0
vsize: 858216
[startup+220.02 s]
Raw data (loadavg): 1.09 1.10 1.03 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 20387 49 0 0 25 0 11 0 478081877 878813184 29747 4294967295 134512640 134569956 3221224400 3221214672 1131310189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29747 13073 16 0 214538 0
vsize: 858216
[startup+230.021 s]
Raw data (loadavg): 1.08 1.10 1.03 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 21379 49 0 0 25 0 11 0 478081877 878813184 29760 4294967295 134512640 134569956 3221224400 3221214776 1131626660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29760 13073 16 0 214538 0
vsize: 858216
[startup+240.022 s]
Raw data (loadavg): 1.06 1.09 1.03 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 22372 49 0 0 25 0 11 0 478081877 878813184 29770 4294967295 134512640 134569956 3221224400 3221214776 1131622179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29770 13073 16 0 214538 0
vsize: 858216
[startup+250.022 s]
Raw data (loadavg): 1.05 1.09 1.03 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 23365 49 0 0 25 0 11 0 478081877 878813184 29774 4294967295 134512640 134569956 3221224400 3221214672 1131309598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29774 13073 16 0 214538 0
vsize: 858216
[startup+260.023 s]
Raw data (loadavg): 1.05 1.08 1.03 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 24359 49 0 0 25 0 11 0 478081877 878813184 29778 4294967295 134512640 134569956 3221224400 3221214672 1131308897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29778 13073 16 0 214538 0
vsize: 858216
[startup+270.023 s]
Raw data (loadavg): 1.04 1.08 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 25353 49 0 0 25 0 11 0 478081877 878813184 29783 4294967295 134512640 134569956 3221224400 3221214672 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29783 13073 16 0 214538 0
vsize: 858216
[startup+280.023 s]
Raw data (loadavg): 1.03 1.08 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 26348 49 0 0 25 0 11 0 478081877 878813184 29786 4294967295 134512640 134569956 3221224400 3221214776 1131626864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29786 13073 16 0 214538 0
vsize: 858216
[startup+290.024 s]
Raw data (loadavg): 1.03 1.08 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 27341 49 0 0 25 0 11 0 478081877 878813184 29791 4294967295 134512640 134569956 3221224400 3221214672 1131309579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29791 13073 16 0 214538 0
vsize: 858216
[startup+300.025 s]
Raw data (loadavg): 1.02 1.07 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 28335 50 0 0 25 0 11 0 478081877 878813184 29794 4294967295 134512640 134569956 3221224400 3221214672 1131309346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29794 13073 16 0 214538 0
vsize: 858216
[startup+310.025 s]
Raw data (loadavg): 1.02 1.07 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 29330 50 0 0 25 0 11 0 478081877 878813184 29800 4294967295 134512640 134569956 3221224400 3221214672 1131308908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29800 13073 16 0 214538 0
vsize: 858216
[startup+320.025 s]
Raw data (loadavg): 1.02 1.07 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 30325 50 0 0 25 0 11 0 478081877 878813184 29804 4294967295 134512640 134569956 3221224400 3221214776 1131622107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29804 13073 16 0 214538 0
vsize: 858216
[startup+330.026 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 31320 50 0 0 25 0 11 0 478081877 878813184 29807 4294967295 134512640 134569956 3221224400 3221214776 1131626717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29807 13073 16 0 214538 0
vsize: 858216
[startup+340.026 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 32314 50 0 0 25 0 11 0 478081877 878813184 29814 4294967295 134512640 134569956 3221224400 3221214672 1131309561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29814 13073 16 0 214538 0
vsize: 858216
[startup+350.028 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 33309 50 0 0 25 0 11 0 478081877 878813184 29818 4294967295 134512640 134569956 3221224400 3221214672 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29818 13073 16 0 214538 0
vsize: 858216
[startup+360.028 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 34304 50 0 0 25 0 11 0 478081877 878813184 29822 4294967295 134512640 134569956 3221224400 3221214776 1131623184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29822 13073 16 0 214538 0
vsize: 858216
[startup+370.028 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 35297 51 0 0 25 0 11 0 478081877 878813184 29825 4294967295 134512640 134569956 3221224400 3221214776 1131622075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29825 13073 16 0 214538 0
vsize: 858216
[startup+380.029 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 36291 51 0 0 25 0 11 0 478081877 878813184 29828 4294967295 134512640 134569956 3221224400 3221214672 1131309066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29828 13073 16 0 214538 0
vsize: 858216
[startup+390.03 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 37284 51 0 0 25 0 11 0 478081877 878813184 29832 4294967295 134512640 134569956 3221224400 3221214672 1131309533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29832 13073 16 0 214538 0
vsize: 858216
[startup+400.03 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 38278 51 0 0 25 0 11 0 478081877 878813184 29836 4294967295 134512640 134569956 3221224400 3221214672 1131309832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29836 13073 16 0 214538 0
vsize: 858216
[startup+410.031 s]
Raw data (loadavg): 1.00 1.05 1.01 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 39272 51 0 0 25 0 11 0 478081877 878813184 29840 4294967295 134512640 134569956 3221224400 3221214776 1131624061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29840 13073 16 0 214538 0
vsize: 858216
[startup+420.032 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 40266 51 0 0 25 0 11 0 478081877 878813184 29843 4294967295 134512640 134569956 3221224400 3221214776 1131622075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29843 13073 16 0 214538 0
vsize: 858216
[startup+430.033 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 41260 51 0 0 25 0 11 0 478081877 878813184 29849 4294967295 134512640 134569956 3221224400 3221214776 1131622075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29849 13073 16 0 214538 0
vsize: 858216
[startup+440.033 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 42253 51 0 0 25 0 11 0 478081877 878813184 29852 4294967295 134512640 134569956 3221224400 3221214672 1131308908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29852 13073 16 0 214538 0
vsize: 858216
[startup+450.035 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 43248 51 0 0 25 0 11 0 478081877 878813184 29855 4294967295 134512640 134569956 3221224400 3221214776 1131626688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29855 13073 16 0 214538 0
vsize: 858216
[startup+460.036 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 44242 51 0 0 25 0 11 0 478081877 878813184 29868 4294967295 134512640 134569956 3221224400 3221214672 1131310147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29868 13073 16 0 214538 0
vsize: 858216
[startup+470.035 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 45236 52 0 0 25 0 11 0 478081877 878813184 29871 4294967295 134512640 134569956 3221224400 3221214672 1131308927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29871 13073 16 0 214538 0
vsize: 858216
[startup+480.036 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 46230 52 0 0 25 0 11 0 478081877 878813184 29875 4294967295 134512640 134569956 3221224400 3221214672 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29875 13073 16 0 214538 0
vsize: 858216
[startup+490.037 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 47224 52 0 0 25 0 11 0 478081877 878813184 29878 4294967295 134512640 134569956 3221224400 3221214672 1131309346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29878 13073 16 0 214538 0
vsize: 858216
[startup+500.038 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 48220 52 0 0 25 0 11 0 478081877 878813184 29881 4294967295 134512640 134569956 3221224400 3221214776 1131627597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29881 13073 16 0 214538 0
vsize: 858216
[startup+510.039 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 49214 52 0 0 25 0 11 0 478081877 878813184 29885 4294967295 134512640 134569956 3221224400 3221214672 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29885 13073 16 0 214538 0
vsize: 858216
[startup+520.039 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 50210 52 0 0 25 0 11 0 478081877 878813184 29887 4294967295 134512640 134569956 3221224400 3221214776 1131623144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29887 13073 16 0 214538 0
vsize: 858216
[startup+530.039 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 51205 52 0 0 25 0 11 0 478081877 878813184 29890 4294967295 134512640 134569956 3221224400 3221214672 1131310088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29890 13073 16 0 214538 0
vsize: 858216
[startup+540.039 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 52200 52 0 0 25 0 11 0 478081877 878813184 29893 4294967295 134512640 134569956 3221224400 3221214672 1131309264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29893 13073 16 0 214538 0
vsize: 858216
[startup+550.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 53194 52 0 0 25 0 11 0 478081877 878813184 29896 4294967295 134512640 134569956 3221224400 3221214672 1131309053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29896 13073 16 0 214538 0
vsize: 858216
[startup+560.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 54189 52 0 0 25 0 11 0 478081877 878813184 29899 4294967295 134512640 134569956 3221224400 3221214672 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29899 13073 16 0 214538 0
vsize: 858216
[startup+570.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 55184 52 0 0 25 0 11 0 478081877 878813184 29903 4294967295 134512640 134569956 3221224400 3221214776 1131622068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29903 13073 16 0 214538 0
vsize: 858216
[startup+580.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 56180 52 0 0 25 0 11 0 478081877 878813184 29906 4294967295 134512640 134569956 3221224400 3221214672 1131308980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29906 13073 16 0 214538 0
vsize: 858216
[startup+590.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 57175 52 0 0 25 0 11 0 478081877 878813184 29909 4294967295 134512640 134569956 3221224400 3221214672 1131309803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29909 13073 16 0 214538 0
vsize: 858216
[startup+600.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 58169 52 0 0 25 0 11 0 478081877 878813184 29912 4294967295 134512640 134569956 3221224400 3221214772 1131308883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29912 13073 16 0 214538 0
vsize: 858216
[startup+610.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 59163 52 0 0 25 0 11 0 478081877 878813184 29915 4294967295 134512640 134569956 3221224400 3221214672 1131309346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29915 13073 16 0 214538 0
vsize: 858216
[startup+620.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 60158 52 0 0 25 0 11 0 478081877 878813184 29919 4294967295 134512640 134569956 3221224400 3221214672 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29919 13073 16 0 214538 0
vsize: 858216
[startup+630.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 61152 52 0 0 25 0 11 0 478081877 878813184 29923 4294967295 134512640 134569956 3221224400 3221214776 1131623140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29923 13073 16 0 214538 0
vsize: 858216
[startup+640.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 62146 53 0 0 25 0 11 0 478081877 878813184 29926 4294967295 134512640 134569956 3221224400 3221214672 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29926 13073 16 0 214538 0
vsize: 858216
[startup+650.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 63141 53 0 0 25 0 11 0 478081877 878813184 29929 4294967295 134512640 134569956 3221224400 3221214672 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29929 13073 16 0 214538 0
vsize: 858216
[startup+660.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 64134 53 0 0 25 0 11 0 478081877 878813184 29950 4294967295 134512640 134569956 3221224400 3221214672 1131309803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29950 13073 16 0 214538 0
vsize: 858216
[startup+670.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 65129 53 0 0 25 0 11 0 478081877 878813184 29966 4294967295 134512640 134569956 3221224400 3221214672 1131308901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29966 13073 16 0 214538 0
vsize: 858216
[startup+680.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 66124 53 0 0 25 0 11 0 478081877 878813184 29969 4294967295 134512640 134569956 3221224400 3221214672 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29969 13073 16 0 214538 0
vsize: 858216
[startup+690.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 67120 53 0 0 25 0 11 0 478081877 878813184 29972 4294967295 134512640 134569956 3221224400 3221214672 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29972 13073 16 0 214538 0
vsize: 858216
[startup+700.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 68115 53 0 0 25 0 11 0 478081877 878813184 29976 4294967295 134512640 134569956 3221224400 3221214624 1131309813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29976 13073 16 0 214538 0
vsize: 858216
[startup+710.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 69109 53 0 0 25 0 11 0 478081877 878813184 29979 4294967295 134512640 134569956 3221224400 3221214624 1131309537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29979 13073 16 0 214538 0
vsize: 858216
[startup+720.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 70104 53 0 0 25 0 11 0 478081877 878813184 29983 4294967295 134512640 134569956 3221224400 3221214728 1131623130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29983 13073 16 0 214538 0
vsize: 858216
[startup+730.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 71098 53 0 0 25 0 11 0 478081877 878813184 29986 4294967295 134512640 134569956 3221224400 3221214624 1131309346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29986 13073 16 0 214538 0
vsize: 858216
[startup+740.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 72092 53 0 0 25 0 11 0 478081877 878813184 29990 4294967295 134512640 134569956 3221224400 3221214624 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29990 13073 16 0 214538 0
vsize: 858216
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 73085 53 0 0 25 0 11 0 478081877 878813184 29994 4294967295 134512640 134569956 3221224400 3221214624 1131310067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29994 13073 16 0 214538 0
vsize: 858216
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20038
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 74078 53 0 0 25 0 11 0 478081877 878813184 29998 4294967295 134512640 134569956 3221224400 3221214592 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 29998 13073 16 0 214538 0
vsize: 858216
[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 75062 53 0 0 24 0 11 0 478081877 878813184 30001 4294967295 134512640 134569956 3221224400 3221214624 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30001 13073 16 0 214538 0
vsize: 858216
[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 76011 53 0 0 25 0 11 0 478081877 878813184 30002 4294967295 134512640 134569956 3221224400 3221214624 1131309027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30002 13073 16 0 214538 0
vsize: 858216
[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 76960 53 0 0 25 0 11 0 478081877 878813184 30003 4294967295 134512640 134569956 3221224400 3221214728 1131626713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30003 13073 16 0 214538 0
vsize: 858216
[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 77909 53 0 0 25 0 11 0 478081877 878813184 30299 4294967295 134512640 134569956 3221224400 3221214624 1131308897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30299 13073 16 0 214538 0
vsize: 858216
[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 78905 53 0 0 25 0 11 0 478081877 878813184 30303 4294967295 134512640 134569956 3221224400 3221214728 1131626827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30303 13073 16 0 214538 0
vsize: 858216
[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 79900 53 0 0 25 0 11 0 478081877 878813184 30305 4294967295 134512640 134569956 3221224400 3221214728 1131624061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30305 13073 16 0 214538 0
vsize: 858216
[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 80896 53 0 0 25 0 11 0 478081877 878813184 30308 4294967295 134512640 134569956 3221224400 3221214728 1131623130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30308 13073 16 0 214538 0
vsize: 858216
[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 81892 53 0 0 25 0 11 0 478081877 878813184 30310 4294967295 134512640 134569956 3221224400 3221214728 1131626680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30310 13073 16 0 214538 0
vsize: 858216
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 82887 54 0 0 25 0 11 0 478081877 878813184 30312 4294967295 134512640 134569956 3221224400 3221214624 1131308908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30312 13073 16 0 214538 0
vsize: 858216
[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 83883 54 0 0 25 0 11 0 478081877 878813184 30314 4294967295 134512640 134569956 3221224400 3221214728 1131623130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30314 13073 16 0 214538 0
vsize: 858216
[startup+870.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 84879 54 0 0 25 0 11 0 478081877 878813184 30318 4294967295 134512640 134569956 3221224400 3221214624 1131309346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30318 13073 16 0 214538 0
vsize: 858216
[startup+880.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 85875 54 0 0 25 0 11 0 478081877 878813184 30319 4294967295 134512640 134569956 3221224400 3221214624 1131309375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30319 13073 16 0 214538 0
vsize: 858216
[startup+890.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 86871 54 0 0 25 0 11 0 478081877 878813184 30321 4294967295 134512640 134569956 3221224400 3221214624 1131309337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30321 13073 16 0 214538 0
vsize: 858216
[startup+900.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 87867 54 0 0 25 0 11 0 478081877 878813184 30323 4294967295 134512640 134569956 3221224400 3221214624 1131308908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30323 13073 16 0 214538 0
vsize: 858216
[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 88863 54 0 0 25 0 11 0 478081877 878813184 30325 4294967295 134512640 134569956 3221224400 3221214624 1131310168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30325 13073 16 0 214538 0
vsize: 858216
[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 89859 54 0 0 25 0 11 0 478081877 878813184 30328 4294967295 134512640 134569956 3221224400 3221214624 1131310144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30328 13073 16 0 214538 0
vsize: 858216
[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 90856 54 0 0 25 0 11 0 478081877 878813184 30329 4294967295 134512640 134569956 3221224400 3221214624 1131309235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30329 13073 16 0 214538 0
vsize: 858216
[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 91852 54 0 0 25 0 11 0 478081877 878813184 30332 4294967295 134512640 134569956 3221224400 3221214624 1131309346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30332 13073 16 0 214538 0
vsize: 858216
[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 92848 54 0 0 25 0 11 0 478081877 878813184 30334 4294967295 134512640 134569956 3221224400 3221214624 1131309235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30334 13073 16 0 214538 0
vsize: 858216
[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 93844 54 0 0 25 0 11 0 478081877 878813184 30336 4294967295 134512640 134569956 3221224400 3221214728 1131624061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30336 13073 16 0 214538 0
vsize: 858216
[startup+970.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 94840 54 0 0 25 0 11 0 478081877 878813184 30338 4294967295 134512640 134569956 3221224400 3221214728 1131626717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30338 13073 16 0 214538 0
vsize: 858216
[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 95836 54 0 0 25 0 11 0 478081877 878813184 30340 4294967295 134512640 134569956 3221224400 3221214624 1131309781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30340 13073 16 0 214538 0
vsize: 858216
[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 96832 55 0 0 25 0 11 0 478081877 878813184 30342 4294967295 134512640 134569956 3221224400 3221214624 1131308930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30342 13073 16 0 214538 0
vsize: 858216
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 97827 55 0 0 25 0 11 0 478081877 878813184 30343 4294967295 134512640 134569956 3221224400 3221214624 1131310182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30343 13073 16 0 214538 0
vsize: 858216
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 98823 55 0 0 25 0 11 0 478081877 878813184 30345 4294967295 134512640 134569956 3221224400 3221214624 1131308908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30345 13073 16 0 214538 0
vsize: 858216
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 99818 55 0 0 25 0 11 0 478081877 878813184 30348 4294967295 134512640 134569956 3221224400 3221214728 1131623130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30348 13073 16 0 214538 0
vsize: 858216
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 100813 55 0 0 25 0 11 0 478081877 878813184 30350 4294967295 134512640 134569956 3221224400 3221214728 1131626713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30350 13073 16 0 214538 0
vsize: 858216
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 101809 55 0 0 25 0 11 0 478081877 878813184 30352 4294967295 134512640 134569956 3221224400 3221214728 1131623173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30352 13073 16 0 214538 0
vsize: 858216
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 102804 55 0 0 25 0 11 0 478081877 878813184 30354 4294967295 134512640 134569956 3221224400 3221214624 1131310093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30354 13073 16 0 214538 0
vsize: 858216
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 103800 55 0 0 25 0 11 0 478081877 878813184 30356 4294967295 134512640 134569956 3221224400 3221214624 1131308976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214554 30356 13073 16 0 214538 0
vsize: 858216
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 104796 55 0 0 25 0 11 0 478081877 878813184 30358 4294967295 134512640 134569956 3221224400 3221214624 1131309309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30358 13073 16 0 214538 0
vsize: 858216
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 105792 55 0 0 25 0 11 0 478081877 878813184 30363 4294967295 134512640 134569956 3221224400 3221214728 1131622140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30363 13073 16 0 214538 0
vsize: 858216
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 106787 55 0 0 25 0 11 0 478081877 878813184 30365 4294967295 134512640 134569956 3221224400 3221214624 1131308908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30365 13073 16 0 214538 0
vsize: 858216
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 107783 56 0 0 25 0 11 0 478081877 878813184 30367 4294967295 134512640 134569956 3221224400 3221214624 1131309332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30367 13073 16 0 214538 0
vsize: 858216
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 108779 56 0 0 25 0 11 0 478081877 878813184 30369 4294967295 134512640 134569956 3221224400 3221214728 1131622037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30369 13073 16 0 214538 0
vsize: 858216
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 109774 56 0 0 25 0 11 0 478081877 878813184 30371 4294967295 134512640 134569956 3221224400 3221214728 1131622075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30371 13073 16 0 214538 0
vsize: 858216
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 110770 56 0 0 25 0 11 0 478081877 878813184 30372 4294967295 134512640 134569956 3221224400 3221214624 1131308893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30372 13073 16 0 214538 0
vsize: 858216
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 111765 56 0 0 25 0 11 0 478081877 878813184 30374 4294967295 134512640 134569956 3221224400 3221214624 1131310144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30374 13073 16 0 214538 0
vsize: 858216
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 112759 56 0 0 25 0 11 0 478081877 878813184 30376 4294967295 134512640 134569956 3221224400 3221214624 1131310118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30376 13073 16 0 214538 0
vsize: 858216
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 113755 56 0 0 25 0 11 0 478081877 878813184 30378 4294967295 134512640 134569956 3221224400 3221214624 1131308930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30378 13073 16 0 214538 0
vsize: 858216
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 114751 56 0 0 25 0 11 0 478081877 878813184 30416 4294967295 134512640 134569956 3221224400 3221214624 1131309346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30416 13073 16 0 214538 0
vsize: 858216
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 115747 56 0 0 25 0 11 0 478081877 878813184 30418 4294967295 134512640 134569956 3221224400 3221214624 1131309037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30418 13073 16 0 214538 0
vsize: 858216
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 116743 56 0 0 25 0 11 0 478081877 878813184 30419 4294967295 134512640 134569956 3221224400 3221214624 1131308908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30419 13073 16 0 214538 0
vsize: 858216
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 117740 56 0 0 25 0 11 0 478081877 878813184 30421 4294967295 134512640 134569956 3221224400 3221214624 1131309346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30421 13073 16 0 214538 0
vsize: 858216
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 118736 57 0 0 25 0 11 0 478081877 878813184 30423 4294967295 134512640 134569956 3221224400 3221214728 1131623130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30423 13073 16 0 214538 0
vsize: 858216
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 119731 57 0 0 25 0 11 0 478081877 878813184 30425 4294967295 134512640 134569956 3221224400 3221214624 1131308897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30425 13073 16 0 214538 0
vsize: 858216
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20039
Raw data (stat): 20026 (java) R 20025 18865 18864 0 -1 0 18128 3 1 0 120727 57 0 0 25 0 11 0 478081877 878813184 30427 4294967295 134512640 134569956 3221224400 3221214728 1131622075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214554 30427 13073 16 0 214538 0
vsize: 858216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20041
Raw data (stat): 20026 (java) Z 20025 18865 18864 0 -1 1036 18128 6008 1 0 120732 57 1616 26 25 0 1 0 478081877 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.19
CPU time (s): 1224.33
CPU user time (s): 1223.49
CPU system time (s): 0.835872
CPU usage (%): 99.5234
Max. virtual memory (Kb): 861232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####