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:100.opb
MD5SUM76931687067724cc4684adb9e5aff770
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 149
Optimality of the best value was proved NO
Number of terms in the objective function 10976
Biggest coefficient in the objective function 6152
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 31915
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 6152
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 31915
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.29
Number of variables10976
Total number of constraints23502
Number of constraints which are clauses10470
Number of constraints which are cardinality constraints (but not clauses)13032
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint24

Trace number 4537 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-13 18:22:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3357 boxname=wulflinc23 idbench=373 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  76931687067724cc4684adb9e5aff770  /oldhome/oroussel/tmp/wulflinc23/normalized-30:70:4.5:0.95:100.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-30:70:4.5:0.95:100.opb
IDLAUNCH: 3357
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        912364 kB
Buffers:         33232 kB
Cached:          46136 kB
SwapCached:        192 kB
Active:          43352 kB
Inactive:        39072 kB
HighTotal:      131008 kB
HighFree:        81088 kB
LowTotal:       903652 kB
LowFree:        831276 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6908 kB
Slab:            34492 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:42:24 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3357 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-30:70:4.5:0.95:100.opb
c reading problem 
c [nbvar=10976]
c [nbconstr=23502]
c time 54.135
c #vars     10976
c #clauses  12527
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=312
c Current CPU time (ms) : 55.746
c starts	: 1
c conflicts	: 0
c decisions	: 4817
c propagations	: 10976
c inspects	: 20900
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=311
c Current CPU time (ms) : 178.816
c starts	: 2
c conflicts	: 1
c decisions	: 9632
c propagations	: 21957
c inspects	: 36533
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 2
c 
c CURRENT OPTIMUM=155
c Current CPU time (ms) : 630.359
c starts	: 3
c conflicts	: 1
c decisions	: 15914
c propagations	: 32932
c inspects	: 66681
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 3
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 4305
Raw data (stat): 4305 (runsolver) R 4304 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478072392 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.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 4314
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 17980 0 1 0 885 45 0 0 25 0 10 0 478072392 853532672 19074 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208382 19074 13073 16 0 208366 0
vsize: 833528
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 4314
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 17980 0 1 0 1783 46 0 0 25 0 10 0 478072392 853614592 19525 4294967295 134512640 134569956 3221224400 3221214824 1131209797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208402 19525 13073 16 0 208386 0
vsize: 833608
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 4314
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 17980 0 1 0 2675 46 0 0 25 0 10 0 478072392 853614592 19937 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208402 19937 13073 16 0 208386 0
vsize: 833608
[startup+40.0018 s]
Raw data (loadavg): 1.12 1.02 1.01 4/63 4314
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 17996 0 1 0 3590 47 0 0 25 0 10 0 478072392 861421568 21713 4294967295 134512640 134569956 3221224400 3221214856 1130917167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210308 21713 13073 16 0 210292 0
vsize: 841232
[startup+50.0024 s]
Raw data (loadavg): 1.41 1.08 1.03 4/63 4314
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18046 0 1 0 4552 48 0 0 25 0 10 0 478072392 892825600 28924 4294967295 134512640 134569956 3221224400 3221214416 1131243641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217975 28924 13073 16 0 217959 0
vsize: 871900
[startup+60.0035 s]
Raw data (loadavg): 1.49 1.11 1.04 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 5291 48 0 0 25 0 11 0 478072392 887033856 29924 4294967295 134512640 134569956 3221224400 3221214848 1131238720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216561 29924 13073 16 0 216545 0
vsize: 866244
[startup+70.0037 s]
Raw data (loadavg): 1.42 1.11 1.03 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 6233 49 0 0 25 0 11 0 478072392 886693888 29841 4294967295 134512640 134569956 3221224400 3221214888 1131608412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216478 29841 13073 16 0 216462 0
vsize: 865912
[startup+80.0034 s]
Raw data (loadavg): 1.35 1.10 1.03 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 7170 49 0 0 24 0 11 0 478072392 886693888 29841 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216478 29841 13073 16 0 216462 0
vsize: 865912
[startup+90.0045 s]
Raw data (loadavg): 1.30 1.10 1.03 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 8117 49 0 0 25 0 11 0 478072392 886693888 30166 4294967295 134512640 134569956 3221224400 3221214784 1131283229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216478 30166 13073 16 0 216462 0
vsize: 865912
[startup+100.005 s]
Raw data (loadavg): 1.25 1.10 1.03 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 9107 50 0 0 25 0 11 0 478072392 886693888 30176 4294967295 134512640 134569956 3221224400 3221214848 1131238720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216478 30176 13073 16 0 216462 0
vsize: 865912
[startup+110.005 s]
Raw data (loadavg): 1.29 1.11 1.04 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 10096 50 0 0 25 0 11 0 478072392 886693888 30191 4294967295 134512640 134569956 3221224400 3221214848 1131238737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216478 30191 13073 16 0 216462 0
vsize: 865912
[startup+120.005 s]
Raw data (loadavg): 1.25 1.10 1.04 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 11085 50 0 0 25 0 11 0 478072392 886693888 30204 4294967295 134512640 134569956 3221224400 3221214784 1131284136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216478 30204 13073 16 0 216462 0
vsize: 865912
[startup+130.005 s]
Raw data (loadavg): 1.21 1.10 1.03 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 12073 51 0 0 25 0 11 0 478072392 886693888 30217 4294967295 134512640 134569956 3221224400 3221214784 1131284449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216478 30217 13073 16 0 216462 0
vsize: 865912
[startup+140.005 s]
Raw data (loadavg): 1.18 1.10 1.03 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 13062 51 0 0 25 0 11 0 478072392 886693888 30232 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216478 30232 13073 16 0 216462 0
vsize: 865912
[startup+150.006 s]
Raw data (loadavg): 1.15 1.09 1.03 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 14051 51 0 0 25 0 11 0 478072392 886693888 30248 4294967295 134512640 134569956 3221224400 3221214848 1131238717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216478 30248 13073 16 0 216462 0
vsize: 865912
[startup+160.006 s]
Raw data (loadavg): 1.12 1.09 1.03 2/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18075 4 1 0 15039 51 0 0 25 0 11 0 478072392 886693888 30263 4294967295 134512640 134569956 3221224400 3221214784 1131284511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216478 30263 13073 16 0 216462 0
vsize: 865912
[startup+170.006 s]
Raw data (loadavg): 1.11 1.09 1.03 3/64 4316
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18112 4 1 0 16022 52 0 0 25 0 11 0 478072392 886693888 30316 4294967295 134512640 134569956 3221224400 3221214392 1130893495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216478 30316 13073 16 0 216462 0
vsize: 865912
[startup+180.006 s]
Raw data (loadavg): 1.16 1.10 1.03 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 16923 52 0 0 25 0 11 0 478072392 886693888 30371 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216478 30371 13073 16 0 216462 0
vsize: 865912
[startup+190.007 s]
Raw data (loadavg): 1.14 1.09 1.03 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 17867 53 0 0 25 0 11 0 478072392 885645312 30199 4294967295 134512640 134569956 3221224400 3221214784 1131283609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30199 13073 16 0 216206 0
vsize: 864888
[startup+200.007 s]
Raw data (loadavg): 1.12 1.09 1.03 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 18807 53 0 0 25 0 11 0 478072392 885645312 30199 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30199 13073 16 0 216206 0
vsize: 864888
[startup+210.008 s]
Raw data (loadavg): 1.10 1.09 1.03 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 19748 54 0 0 25 0 11 0 478072392 885645312 30205 4294967295 134512640 134569956 3221224400 3221214888 1131608394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30205 13073 16 0 216206 0
vsize: 864888
[startup+220.009 s]
Raw data (loadavg): 1.08 1.08 1.03 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 20724 54 0 0 25 0 11 0 478072392 885645312 30591 4294967295 134512640 134569956 3221224400 3221214784 1131284532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30591 13073 16 0 216206 0
vsize: 864888
[startup+230.009 s]
Raw data (loadavg): 1.07 1.08 1.03 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 21717 54 0 0 25 0 11 0 478072392 885645312 30595 4294967295 134512640 134569956 3221224400 3221214848 1131238717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30595 13073 16 0 216206 0
vsize: 864888
[startup+240.01 s]
Raw data (loadavg): 1.06 1.08 1.03 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 22709 54 0 0 25 0 11 0 478072392 885645312 30601 4294967295 134512640 134569956 3221224400 3221214784 1131283369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30601 13073 16 0 216206 0
vsize: 864888
[startup+250.011 s]
Raw data (loadavg): 1.05 1.08 1.03 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 23703 55 0 0 25 0 11 0 478072392 885645312 30604 4294967295 134512640 134569956 3221224400 3221214784 1131284474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30604 13073 16 0 216206 0
vsize: 864888
[startup+260.012 s]
Raw data (loadavg): 1.04 1.07 1.03 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 24695 55 0 0 25 0 11 0 478072392 885645312 30608 4294967295 134512640 134569956 3221224400 3221214784 1131283244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30608 13073 16 0 216206 0
vsize: 864888
[startup+270.012 s]
Raw data (loadavg): 1.03 1.07 1.03 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 25690 56 0 0 25 0 11 0 478072392 885645312 30615 4294967295 134512640 134569956 3221224400 3221214784 1131284454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30615 13073 16 0 216206 0
vsize: 864888
[startup+280.013 s]
Raw data (loadavg): 1.03 1.07 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 26684 56 0 0 25 0 11 0 478072392 885645312 30618 4294967295 134512640 134569956 3221224400 3221214888 1131607880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30618 13073 16 0 216206 0
vsize: 864888
[startup+290.013 s]
Raw data (loadavg): 1.02 1.06 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 27677 56 0 0 25 0 11 0 478072392 885645312 30623 4294967295 134512640 134569956 3221224400 3221214888 1131608394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30623 13073 16 0 216206 0
vsize: 864888
[startup+300.013 s]
Raw data (loadavg): 1.02 1.06 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 28671 56 0 0 25 0 11 0 478072392 885645312 30626 4294967295 134512640 134569956 3221224400 3221214784 1131283894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30626 13073 16 0 216206 0
vsize: 864888
[startup+310.014 s]
Raw data (loadavg): 1.02 1.06 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 29665 57 0 0 25 0 11 0 478072392 885645312 30633 4294967295 134512640 134569956 3221224400 3221214784 1131283686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30633 13073 16 0 216206 0
vsize: 864888
[startup+320.014 s]
Raw data (loadavg): 1.01 1.06 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 30658 57 0 0 25 0 11 0 478072392 885645312 30638 4294967295 134512640 134569956 3221224400 3221214784 1131283619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30638 13073 16 0 216206 0
vsize: 864888
[startup+330.014 s]
Raw data (loadavg): 1.01 1.05 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 31653 58 0 0 25 0 11 0 478072392 885645312 30642 4294967295 134512640 134569956 3221224400 3221214784 1131283270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30642 13073 16 0 216206 0
vsize: 864888
[startup+340.014 s]
Raw data (loadavg): 1.01 1.05 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 32647 58 0 0 25 0 11 0 478072392 885645312 30645 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30645 13073 16 0 216206 0
vsize: 864888
[startup+350.015 s]
Raw data (loadavg): 1.01 1.05 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 33642 58 0 0 25 0 11 0 478072392 885645312 30648 4294967295 134512640 134569956 3221224400 3221214848 1131238755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30648 13073 16 0 216206 0
vsize: 864888
[startup+360.016 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 34636 59 0 0 25 0 11 0 478072392 885645312 30652 4294967295 134512640 134569956 3221224400 3221214784 1131283270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30652 13073 16 0 216206 0
vsize: 864888
[startup+370.016 s]
Raw data (loadavg): 1.00 1.05 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 35631 59 0 0 25 0 11 0 478072392 885645312 30655 4294967295 134512640 134569956 3221224400 3221214784 1131283780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30655 13073 16 0 216206 0
vsize: 864888
[startup+380.017 s]
Raw data (loadavg): 1.00 1.04 1.02 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 36626 59 0 0 25 0 11 0 478072392 885645312 30658 4294967295 134512640 134569956 3221224400 3221214888 1131607381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30658 13073 16 0 216206 0
vsize: 864888
[startup+390.018 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 37619 60 0 0 25 0 11 0 478072392 885645312 30668 4294967295 134512640 134569956 3221224400 3221214888 1131608394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30668 13073 16 0 216206 0
vsize: 864888
[startup+400.018 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 38613 60 0 0 25 0 11 0 478072392 885645312 30671 4294967295 134512640 134569956 3221224400 3221214784 1131283455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30671 13073 16 0 216206 0
vsize: 864888
[startup+410.019 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 39607 61 0 0 25 0 11 0 478072392 885645312 30675 4294967295 134512640 134569956 3221224400 3221214884 1131604140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30675 13073 16 0 216206 0
vsize: 864888
[startup+420.02 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 40602 61 0 0 25 0 11 0 478072392 885645312 30679 4294967295 134512640 134569956 3221224400 3221214784 1131283244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30679 13073 16 0 216206 0
vsize: 864888
[startup+430.019 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 41596 61 0 0 25 0 11 0 478072392 885645312 30682 4294967295 134512640 134569956 3221224400 3221214784 1131284469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30682 13073 16 0 216206 0
vsize: 864888
[startup+440.019 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 42591 62 0 0 25 0 11 0 478072392 885645312 30685 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30685 13073 16 0 216206 0
vsize: 864888
[startup+450.02 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 43586 62 0 0 25 0 11 0 478072392 885645312 30688 4294967295 134512640 134569956 3221224400 3221214784 1131283244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30688 13073 16 0 216206 0
vsize: 864888
[startup+460.021 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 44581 62 0 0 25 0 11 0 478072392 885645312 30691 4294967295 134512640 134569956 3221224400 3221214784 1131284431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30691 13073 16 0 216206 0
vsize: 864888
[startup+470.021 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 45575 63 0 0 25 0 11 0 478072392 885645312 30694 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30694 13073 16 0 216206 0
vsize: 864888
[startup+480.022 s]
Raw data (loadavg): 1.00 1.03 1.01 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 46571 63 0 0 25 0 11 0 478072392 885645312 30696 4294967295 134512640 134569956 3221224400 3221214784 1131283322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30696 13073 16 0 216206 0
vsize: 864888
[startup+490.023 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 47565 63 0 0 25 0 11 0 478072392 885645312 30700 4294967295 134512640 134569956 3221224400 3221214848 1131238720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30700 13073 16 0 216206 0
vsize: 864888
[startup+500.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 48559 64 0 0 25 0 11 0 478072392 885645312 30703 4294967295 134512640 134569956 3221224400 3221214784 1131283229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30703 13073 16 0 216206 0
vsize: 864888
[startup+510.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 49553 64 0 0 25 0 11 0 478072392 885645312 30706 4294967295 134512640 134569956 3221224400 3221214784 1131283244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30706 13073 16 0 216206 0
vsize: 864888
[startup+520.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 50546 64 0 0 25 0 11 0 478072392 885645312 30710 4294967295 134512640 134569956 3221224400 3221214784 1131283244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30710 13073 16 0 216206 0
vsize: 864888
[startup+530.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 51540 65 0 0 25 0 11 0 478072392 885645312 30713 4294967295 134512640 134569956 3221224400 3221214784 1131283437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30713 13073 16 0 216206 0
vsize: 864888
[startup+540.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 52534 65 0 0 25 0 11 0 478072392 885645312 30729 4294967295 134512640 134569956 3221224400 3221214864 1131604201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30729 13073 16 0 216206 0
vsize: 864888
[startup+550.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 53528 66 0 0 25 0 11 0 478072392 885645312 30743 4294967295 134512640 134569956 3221224400 3221214784 1131284511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30743 13073 16 0 216206 0
vsize: 864888
[startup+560.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 54523 66 0 0 25 0 11 0 478072392 885645312 30747 4294967295 134512640 134569956 3221224400 3221214784 1131283322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30747 13073 16 0 216206 0
vsize: 864888
[startup+570.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 55518 66 0 0 25 0 11 0 478072392 885645312 30750 4294967295 134512640 134569956 3221224400 3221214784 1131283755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30750 13073 16 0 216206 0
vsize: 864888
[startup+580.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 56513 67 0 0 25 0 11 0 478072392 885645312 30753 4294967295 134512640 134569956 3221224400 3221214784 1131284513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30753 13073 16 0 216206 0
vsize: 864888
[startup+590.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 57507 67 0 0 25 0 11 0 478072392 885645312 30757 4294967295 134512640 134569956 3221224400 3221214784 1131284572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30757 13073 16 0 216206 0
vsize: 864888
[startup+600.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 58502 67 0 0 25 0 11 0 478072392 885645312 30761 4294967295 134512640 134569956 3221224400 3221214784 1131283335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30761 13073 16 0 216206 0
vsize: 864888
[startup+610.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 59496 67 0 0 25 0 11 0 478072392 885645312 30764 4294967295 134512640 134569956 3221224400 3221214784 1131283233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30764 13073 16 0 216206 0
vsize: 864888
[startup+620.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 60490 68 0 0 25 0 11 0 478072392 885645312 30767 4294967295 134512640 134569956 3221224400 3221214784 1131283229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30767 13073 16 0 216206 0
vsize: 864888
[startup+630.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4317
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 61484 68 0 0 25 0 11 0 478072392 885645312 30770 4294967295 134512640 134569956 3221224400 3221214848 1131637228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30770 13073 16 0 216206 0
vsize: 864888
[startup+640.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 62420 69 0 0 24 0 11 0 478072392 885645312 30770 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30770 13073 16 0 216206 0
vsize: 864888
[startup+650.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 63357 69 0 0 25 0 11 0 478072392 885645312 30770 4294967295 134512640 134569956 3221224400 3221214888 1131608314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30770 13073 16 0 216206 0
vsize: 864888
[startup+660.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 64288 70 0 0 25 0 11 0 478072392 885645312 30770 4294967295 134512640 134569956 3221224400 3221214888 1131608394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 30770 13073 16 0 216206 0
vsize: 864888
[startup+670.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 65255 70 0 0 25 0 11 0 478072392 885645312 31185 4294967295 134512640 134569956 3221224400 3221214848 1131238741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31185 13073 16 0 216206 0
vsize: 864888
[startup+680.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 66249 71 0 0 25 0 11 0 478072392 885645312 31188 4294967295 134512640 134569956 3221224400 3221214848 1131238762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31188 13073 16 0 216206 0
vsize: 864888
[startup+690.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 67243 71 0 0 25 0 11 0 478072392 885645312 31191 4294967295 134512640 134569956 3221224400 3221214848 1131238755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31191 13073 16 0 216206 0
vsize: 864888
[startup+700.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 68238 71 0 0 25 0 11 0 478072392 885645312 31194 4294967295 134512640 134569956 3221224400 3221214784 1131283333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31194 13073 16 0 216206 0
vsize: 864888
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 69232 72 0 0 25 0 11 0 478072392 885645312 31197 4294967295 134512640 134569956 3221224400 3221214784 1131283233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31197 13073 16 0 216206 0
vsize: 864888
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 70226 72 0 0 25 0 11 0 478072392 885645312 31201 4294967295 134512640 134569956 3221224400 3221214888 1131607381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31201 13073 16 0 216206 0
vsize: 864888
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 71221 72 0 0 25 0 11 0 478072392 885645312 31204 4294967295 134512640 134569956 3221224400 3221214784 1131283244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31204 13073 16 0 216206 0
vsize: 864888
[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 72216 72 0 0 25 0 11 0 478072392 885645312 31207 4294967295 134512640 134569956 3221224400 3221214784 1131284449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31207 13073 16 0 216206 0
vsize: 864888
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 73210 72 0 0 25 0 11 0 478072392 885645312 31210 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31210 13073 16 0 216206 0
vsize: 864888
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 74205 73 0 0 25 0 11 0 478072392 885645312 31213 4294967295 134512640 134569956 3221224400 3221214888 1131607396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31213 13073 16 0 216206 0
vsize: 864888
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 75199 73 0 0 25 0 11 0 478072392 885645312 31217 4294967295 134512640 134569956 3221224400 3221214784 1131283341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31217 13073 16 0 216206 0
vsize: 864888
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 76193 73 0 0 25 0 11 0 478072392 885645312 31221 4294967295 134512640 134569956 3221224400 3221214848 1131238752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31221 13073 16 0 216206 0
vsize: 864888
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 77188 73 0 0 25 0 11 0 478072392 885645312 31224 4294967295 134512640 134569956 3221224400 3221214884 1131283212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31224 13073 16 0 216206 0
vsize: 864888
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 78182 73 0 0 25 0 11 0 478072392 885645312 31227 4294967295 134512640 134569956 3221224400 3221214848 1131238720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31227 13073 16 0 216206 0
vsize: 864888
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 79177 74 0 0 25 0 11 0 478072392 885645312 31230 4294967295 134512640 134569956 3221224400 3221214784 1131283237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216222 31230 13073 16 0 216206 0
vsize: 864888
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 80171 74 0 0 25 0 11 0 478072392 885645312 31233 4294967295 134512640 134569956 3221224400 3221214784 1131283621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31233 13073 16 0 216206 0
vsize: 864888
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 81166 75 0 0 25 0 11 0 478072392 885645312 31236 4294967295 134512640 134569956 3221224400 3221214888 1131607530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31236 13073 16 0 216206 0
vsize: 864888
[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 82161 75 0 0 25 0 11 0 478072392 885645312 31238 4294967295 134512640 134569956 3221224400 3221214784 1131283244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31238 13073 16 0 216206 0
vsize: 864888
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 83155 75 0 0 25 0 11 0 478072392 885645312 31241 4294967295 134512640 134569956 3221224400 3221214784 1131283333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31241 13073 16 0 216206 0
vsize: 864888
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 84150 75 0 0 25 0 11 0 478072392 885645312 31244 4294967295 134512640 134569956 3221224400 3221214888 1131608394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31244 13073 16 0 216206 0
vsize: 864888
[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 85145 76 0 0 25 0 11 0 478072392 885645312 31246 4294967295 134512640 134569956 3221224400 3221214784 1131284136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31246 13073 16 0 216206 0
vsize: 864888
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 86140 76 0 0 25 0 11 0 478072392 885645312 31252 4294967295 134512640 134569956 3221224400 3221214784 1131283621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31252 13073 16 0 216206 0
vsize: 864888
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 87133 76 0 0 25 0 11 0 478072392 885645312 31255 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31255 13073 16 0 216206 0
vsize: 864888
[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 88128 77 0 0 25 0 11 0 478072392 885645312 31258 4294967295 134512640 134569956 3221224400 3221214784 1131283724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31258 13073 16 0 216206 0
vsize: 864888
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 89120 78 0 0 25 0 11 0 478072392 885645312 31261 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31261 13073 16 0 216206 0
vsize: 864888
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 90113 79 0 0 25 0 11 0 478072392 885645312 31264 4294967295 134512640 134569956 3221224400 3221214784 1131284546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31264 13073 16 0 216206 0
vsize: 864888
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 91106 79 0 0 25 0 11 0 478072392 885645312 31291 4294967295 134512640 134569956 3221224400 3221214784 1131283866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31291 13073 16 0 216206 0
vsize: 864888
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 92101 79 0 0 25 0 11 0 478072392 885645312 31294 4294967295 134512640 134569956 3221224400 3221214888 1131608375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31294 13073 16 0 216206 0
vsize: 864888
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 93095 80 0 0 25 0 11 0 478072392 885645312 31297 4294967295 134512640 134569956 3221224400 3221214784 1131283799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31297 13073 16 0 216206 0
vsize: 864888
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 94089 80 0 0 25 0 11 0 478072392 885645312 31300 4294967295 134512640 134569956 3221224400 3221214888 1131607369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31300 13073 16 0 216206 0
vsize: 864888
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 95084 80 0 0 25 0 11 0 478072392 885645312 31303 4294967295 134512640 134569956 3221224400 3221214888 1131608394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31303 13073 16 0 216206 0
vsize: 864888
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 96078 81 0 0 25 0 11 0 478072392 885645312 31306 4294967295 134512640 134569956 3221224400 3221214784 1131283445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31306 13073 16 0 216206 0
vsize: 864888
[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 97072 81 0 0 25 0 11 0 478072392 885645312 31309 4294967295 134512640 134569956 3221224400 3221214848 1131238720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31309 13073 16 0 216206 0
vsize: 864888
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 98066 81 0 0 25 0 11 0 478072392 885645312 31312 4294967295 134512640 134569956 3221224400 3221214784 1131283646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31312 13073 16 0 216206 0
vsize: 864888
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 99061 82 0 0 25 0 11 0 478072392 885645312 31315 4294967295 134512640 134569956 3221224400 3221214888 1131608412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31315 13073 16 0 216206 0
vsize: 864888
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 100054 82 0 0 25 0 11 0 478072392 885645312 31318 4294967295 134512640 134569956 3221224400 3221214888 1131608379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31318 13073 16 0 216206 0
vsize: 864888
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 101048 82 0 0 25 0 11 0 478072392 885645312 31322 4294967295 134512640 134569956 3221224400 3221214784 1131284546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31322 13073 16 0 216206 0
vsize: 864888
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 102043 83 0 0 25 0 11 0 478072392 885645312 31324 4294967295 134512640 134569956 3221224400 3221214848 1131238720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31324 13073 16 0 216206 0
vsize: 864888
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 103036 83 0 0 25 0 11 0 478072392 885645312 31328 4294967295 134512640 134569956 3221224400 3221214888 1131607369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31328 13073 16 0 216206 0
vsize: 864888
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 104028 84 0 0 25 0 11 0 478072392 885645312 31331 4294967295 134512640 134569956 3221224400 3221214848 1131238741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31331 13073 16 0 216206 0
vsize: 864888
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 105021 84 0 0 25 0 11 0 478072392 885645312 31335 4294967295 134512640 134569956 3221224400 3221214784 1131283322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31335 13073 16 0 216206 0
vsize: 864888
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 106014 85 0 0 25 0 11 0 478072392 885645312 31338 4294967295 134512640 134569956 3221224400 3221214888 1131608137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31338 13073 16 0 216206 0
vsize: 864888
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 107008 85 0 0 25 0 11 0 478072392 885645312 31348 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31348 13073 16 0 216206 0
vsize: 864888
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 108003 85 0 0 25 0 11 0 478072392 885645312 31351 4294967295 134512640 134569956 3221224400 3221214784 1131283451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31351 13073 16 0 216206 0
vsize: 864888
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 108997 86 0 0 25 0 11 0 478072392 885645312 31354 4294967295 134512640 134569956 3221224400 3221214884 1131283212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31354 13073 16 0 216206 0
vsize: 864888
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 109991 86 0 0 25 0 11 0 478072392 885645312 31358 4294967295 134512640 134569956 3221224400 3221214784 1131283763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31358 13073 16 0 216206 0
vsize: 864888
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 110986 86 0 0 25 0 11 0 478072392 885645312 31361 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31361 13073 16 0 216206 0
vsize: 864888
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 111980 87 0 0 25 0 11 0 478072392 885645312 31364 4294967295 134512640 134569956 3221224400 3221214784 1131283663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31364 13073 16 0 216206 0
vsize: 864888
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 112974 87 0 0 25 0 11 0 478072392 885645312 31368 4294967295 134512640 134569956 3221224400 3221214784 1131283701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31368 13073 16 0 216206 0
vsize: 864888
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 113967 88 0 0 25 0 11 0 478072392 885645312 31371 4294967295 134512640 134569956 3221224400 3221214784 1131283936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31371 13073 16 0 216206 0
vsize: 864888
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 114960 88 0 0 25 0 11 0 478072392 885645312 31375 4294967295 134512640 134569956 3221224400 3221214784 1131284489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31375 13073 16 0 216206 0
vsize: 864888
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 115954 88 0 0 25 0 11 0 478072392 885645312 31379 4294967295 134512640 134569956 3221224400 3221214784 1131283237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31379 13073 16 0 216206 0
vsize: 864888
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 116948 89 0 0 25 0 11 0 478072392 885645312 31383 4294967295 134512640 134569956 3221224400 3221214888 1131607557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31383 13073 16 0 216206 0
vsize: 864888
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 117941 89 0 0 25 0 11 0 478072392 885645312 31386 4294967295 134512640 134569956 3221224400 3221214848 1131238720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31386 13073 16 0 216206 0
vsize: 864888
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 118934 89 0 0 25 0 11 0 478072392 885645312 31390 4294967295 134512640 134569956 3221224400 3221214848 1131238720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31390 13073 16 0 216206 0
vsize: 864888
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4318
Raw data (stat): 4305 (java) R 4304 3260 3259 0 -1 0 18114 4 1 0 119924 90 0 0 25 0 11 0 478072392 885645312 31394 4294967295 134512640 134569956 3221224400 3221214848 1131238796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 216222 31394 13073 16 0 216206 0
vsize: 864888
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4320
Raw data (stat): 4305 (java) Z 4304 3260 3259 0 -1 1036 18114 29361 1 0 119927 96 4218 80 25 0 1 0 478072392 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): 1220.14
CPU time (s): 1243.23
CPU user time (s): 1241.46
CPU system time (s): 1.76673
CPU usage (%): 101.892
Max. virtual memory (Kb): 871900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####