Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/submitted/een/normalized-nw04.opb
MD5SUMc4c13764e2ea959929790d6ef6d0273c
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 87482
Biggest coefficient in the objective function 5220
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 120189580
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 42031
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 120189580
Number of bits of the biggest sum of numbers27
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.0483
Number of variables87482
Total number of constraints72
Number of constraints which are clauses36
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint599
Maximum length of a constraint42032

Trace number 7060

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-14 21:06:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5092 boxname=wulflinc10 idbench=392 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c4c13764e2ea959929790d6ef6d0273c  /oldhome/oroussel/tmp/wulflinc10/normalized-nw04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-nw04.opb
IDLAUNCH: 5092
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        815908 kB
Buffers:         35944 kB
Cached:         161908 kB
SwapCached:        164 kB
Active:          85972 kB
Inactive:       114928 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        815656 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            12152 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 21:28:20 (client local time) WITH STATUS 143 IN 1309.7 SECONDS
stats: 5092 7 1309.7 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-nw04.opb
c reading problem 
c [nbvar=87482]
c [nbconstr=72]
#### 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.80 0.95 0.88 2/54 5727
Raw data (stat): 5727 (runsolver) R 5726 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 429487160 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.83 0.95 0.88 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17977 0 1 0 883 41 0 0 25 0 10 0 429487160 853692416 19164 4294967295 134512640 134569956 3221224416 3221214536 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 19164 13073 16 0 208405 0
vsize: 833684
[startup+20.0012 s]
Raw data (loadavg): 0.86 0.95 0.88 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 1774 41 0 0 25 0 10 0 429487160 853856256 19667 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 19667 13073 16 0 208445 0
vsize: 833844
[startup+30.0066 s]
Raw data (loadavg): 0.88 0.95 0.89 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 2681 41 0 0 25 0 10 0 429487160 853856256 20082 4294967295 134512640 134569956 3221224416 3221214828 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 20082 13073 16 0 208445 0
vsize: 833844
[startup+40.0063 s]
Raw data (loadavg): 0.90 0.96 0.89 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 3608 42 0 0 24 0 10 0 429487160 853856256 20309 4294967295 134512640 134569956 3221224416 3221214208 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 20309 13073 16 0 208445 0
vsize: 833844
[startup+50.0069 s]
Raw data (loadavg): 0.91 0.96 0.89 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 4541 42 0 0 25 0 10 0 429487160 853856256 20417 4294967295 134512640 134569956 3221224416 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 20417 13073 16 0 208445 0
vsize: 833844
[startup+60.0081 s]
Raw data (loadavg): 0.92 0.96 0.89 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 5471 43 0 0 25 0 10 0 429487160 853856256 20514 4294967295 134512640 134569956 3221224416 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 20514 13073 16 0 208445 0
vsize: 833844
[startup+70.0083 s]
Raw data (loadavg): 0.94 0.96 0.89 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 6417 43 0 0 25 0 10 0 429487160 853856256 20721 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 20721 13073 16 0 208445 0
vsize: 833844
[startup+80.0098 s]
Raw data (loadavg): 0.94 0.96 0.89 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 7363 43 0 0 25 0 10 0 429487160 853856256 20798 4294967295 134512640 134569956 3221224416 3221214828 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 20798 13073 16 0 208445 0
vsize: 833844
[startup+90.0138 s]
Raw data (loadavg): 0.95 0.96 0.89 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 8312 44 0 0 25 0 10 0 429487160 853856256 20866 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 20866 13073 16 0 208445 0
vsize: 833844
[startup+100.013 s]
Raw data (loadavg): 0.96 0.96 0.89 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 9260 44 0 0 25 0 10 0 429487160 853856256 20930 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 20930 13073 16 0 208445 0
vsize: 833844
[startup+110.013 s]
Raw data (loadavg): 0.97 0.96 0.89 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 10207 45 0 0 24 0 10 0 429487160 853856256 20991 4294967295 134512640 134569956 3221224416 3221214280 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 20991 13073 16 0 208445 0
vsize: 833844
[startup+120.014 s]
Raw data (loadavg): 0.97 0.96 0.89 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 11157 45 0 0 25 0 10 0 429487160 853856256 21045 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21045 13073 16 0 208445 0
vsize: 833844
[startup+130.014 s]
Raw data (loadavg): 0.97 0.96 0.89 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 12105 45 0 0 25 0 10 0 429487160 853856256 21100 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21100 13073 16 0 208445 0
vsize: 833844
[startup+140.014 s]
Raw data (loadavg): 0.98 0.97 0.90 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 13055 46 0 0 25 0 10 0 429487160 853856256 21150 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21150 13073 16 0 208445 0
vsize: 833844
[startup+150.014 s]
Raw data (loadavg): 0.98 0.97 0.90 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 14002 46 0 0 25 0 10 0 429487160 853856256 21200 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21200 13073 16 0 208445 0
vsize: 833844
[startup+160.014 s]
Raw data (loadavg): 0.98 0.97 0.90 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 14951 46 0 0 25 0 10 0 429487160 853856256 21246 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21246 13073 16 0 208445 0
vsize: 833844
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.90 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 15885 47 0 0 25 0 10 0 429487160 853856256 21294 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21294 13073 16 0 208445 0
vsize: 833844
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.90 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 16812 48 0 0 25 0 10 0 429487160 853856256 21340 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21340 13073 16 0 208445 0
vsize: 833844
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.90 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 17749 48 0 0 25 0 10 0 429487160 853856256 21637 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21637 13073 16 0 208445 0
vsize: 833844
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.90 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 18693 48 0 0 25 0 10 0 429487160 853856256 21680 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21680 13073 16 0 208445 0
vsize: 833844
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.90 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 19638 49 0 0 25 0 10 0 429487160 853856256 21719 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21719 13073 16 0 208445 0
vsize: 833844
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.90 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 20580 49 0 0 25 0 10 0 429487160 853856256 21759 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21759 13073 16 0 208445 0
vsize: 833844
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.90 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 21525 49 0 0 25 0 10 0 429487160 853856256 21797 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21797 13073 16 0 208445 0
vsize: 833844
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 22466 50 0 0 25 0 10 0 429487160 853856256 21836 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21836 13073 16 0 208445 0
vsize: 833844
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 23409 50 0 0 25 0 10 0 429487160 853856256 21871 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21871 13073 16 0 208445 0
vsize: 833844
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 24349 50 0 0 24 0 10 0 429487160 853856256 21908 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21908 13073 16 0 208445 0
vsize: 833844
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 25293 51 0 0 25 0 10 0 429487160 853856256 21941 4294967295 134512640 134569956 3221224416 3221214200 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21941 13073 16 0 208445 0
vsize: 833844
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 26235 51 0 0 25 0 10 0 429487160 853856256 21975 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 21975 13073 16 0 208445 0
vsize: 833844
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 27174 51 0 0 25 0 10 0 429487160 853856256 22009 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22009 13073 16 0 208445 0
vsize: 833844
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 28116 52 0 0 25 0 10 0 429487160 853856256 22041 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22041 13073 16 0 208445 0
vsize: 833844
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 29053 52 0 0 24 0 10 0 429487160 853856256 22074 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22074 13073 16 0 208445 0
vsize: 833844
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 29994 53 0 0 25 0 10 0 429487160 853856256 22105 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22105 13073 16 0 208445 0
vsize: 833844
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 30934 53 0 0 25 0 10 0 429487160 853856256 22136 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22136 13073 16 0 208445 0
vsize: 833844
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 31871 54 0 0 25 0 10 0 429487160 853856256 22167 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22167 13073 16 0 208445 0
vsize: 833844
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 32810 54 0 0 25 0 10 0 429487160 853856256 22197 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22197 13073 16 0 208445 0
vsize: 833844
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 33749 54 0 0 25 0 10 0 429487160 853856256 22226 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22226 13073 16 0 208445 0
vsize: 833844
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 34684 55 0 0 25 0 10 0 429487160 853856256 22256 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22256 13073 16 0 208445 0
vsize: 833844
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 35622 55 0 0 25 0 10 0 429487160 853856256 22284 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22284 13073 16 0 208445 0
vsize: 833844
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 36560 56 0 0 25 0 10 0 429487160 853856256 22313 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22313 13073 16 0 208445 0
vsize: 833844
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 37493 57 0 0 24 0 10 0 429487160 853856256 22342 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22342 13073 16 0 208445 0
vsize: 833844
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 38429 57 0 0 25 0 10 0 429487160 853856256 22369 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22369 13073 16 0 208445 0
vsize: 833844
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 39365 57 0 0 25 0 10 0 429487160 853856256 22395 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22395 13073 16 0 208445 0
vsize: 833844
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 40300 58 0 0 25 0 10 0 429487160 853856256 22422 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22422 13073 16 0 208445 0
vsize: 833844
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 41232 58 0 0 25 0 10 0 429487160 853856256 22449 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22449 13073 16 0 208445 0
vsize: 833844
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 42168 58 0 0 25 0 10 0 429487160 853856256 22475 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22475 13073 16 0 208445 0
vsize: 833844
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 43102 59 0 0 25 0 10 0 429487160 853856256 22501 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22501 13073 16 0 208445 0
vsize: 833844
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 44036 60 0 0 25 0 10 0 429487160 853856256 22526 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22526 13073 16 0 208445 0
vsize: 833844
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 44969 60 0 0 25 0 10 0 429487160 853856256 22551 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22551 13073 16 0 208445 0
vsize: 833844
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 45898 60 0 0 25 0 10 0 429487160 853856256 22577 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22577 13073 16 0 208445 0
vsize: 833844
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 46831 61 0 0 25 0 10 0 429487160 853856256 22601 4294967295 134512640 134569956 3221224416 3221214828 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22601 13073 16 0 208445 0
vsize: 833844
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 47763 62 0 0 25 0 10 0 429487160 853856256 22625 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22625 13073 16 0 208445 0
vsize: 833844
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 48695 62 0 0 25 0 10 0 429487160 853856256 22649 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22649 13073 16 0 208445 0
vsize: 833844
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 49627 62 0 0 25 0 10 0 429487160 853856256 22672 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22672 13073 16 0 208445 0
vsize: 833844
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 50555 62 0 0 25 0 10 0 429487160 853856256 22696 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22696 13073 16 0 208445 0
vsize: 833844
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 51484 63 0 0 25 0 10 0 429487160 853856256 22720 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22720 13073 16 0 208445 0
vsize: 833844
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 52414 63 0 0 25 0 10 0 429487160 853856256 22743 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22743 13073 16 0 208445 0
vsize: 833844
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 53344 64 0 0 25 0 10 0 429487160 853856256 22766 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22766 13073 16 0 208445 0
vsize: 833844
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 54273 64 0 0 25 0 10 0 429487160 853856256 22789 4294967295 134512640 134569956 3221224416 3221214296 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22789 13073 16 0 208445 0
vsize: 833844
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 55203 65 0 0 25 0 10 0 429487160 853856256 22812 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22812 13073 16 0 208445 0
vsize: 833844
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 56130 65 0 0 25 0 10 0 429487160 853856256 22834 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22834 13073 16 0 208445 0
vsize: 833844
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 57059 65 0 0 25 0 10 0 429487160 853856256 22856 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22856 13073 16 0 208445 0
vsize: 833844
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 57987 66 0 0 25 0 10 0 429487160 853856256 22878 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22878 13073 16 0 208445 0
vsize: 833844
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 58914 66 0 0 25 0 10 0 429487160 853856256 22900 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22900 13073 16 0 208445 0
vsize: 833844
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 59842 67 0 0 25 0 10 0 429487160 853856256 22924 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22924 13073 16 0 208445 0
vsize: 833844
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 60768 67 0 0 25 0 10 0 429487160 853856256 22950 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22950 13073 16 0 208445 0
vsize: 833844
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 61695 68 0 0 25 0 10 0 429487160 853856256 22976 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 22976 13073 16 0 208445 0
vsize: 833844
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 62615 68 0 0 25 0 10 0 429487160 853856256 24012 4294967295 134512640 134569956 3221224416 3221214200 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24012 13073 16 0 208445 0
vsize: 833844
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 63538 69 0 0 25 0 10 0 429487160 853856256 24012 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24012 13073 16 0 208445 0
vsize: 833844
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 64454 69 0 0 25 0 10 0 429487160 853856256 24043 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24043 13073 16 0 208445 0
vsize: 833844
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 65370 70 0 0 22 0 10 0 429487160 853856256 24067 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24067 13073 16 0 208445 0
vsize: 833844
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 66285 70 0 0 25 0 10 0 429487160 853856256 24093 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24093 13073 16 0 208445 0
vsize: 833844
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 67200 71 0 0 24 0 10 0 429487160 853856256 24115 4294967295 134512640 134569956 3221224416 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24115 13073 16 0 208445 0
vsize: 833844
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 68117 71 0 0 25 0 10 0 429487160 853856256 24139 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24139 13073 16 0 208445 0
vsize: 833844
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 69035 71 0 0 25 0 10 0 429487160 853856256 24160 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24160 13073 16 0 208445 0
vsize: 833844
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 69949 72 0 0 25 0 10 0 429487160 853856256 24180 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24180 13073 16 0 208445 0
vsize: 833844
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 70862 73 0 0 25 0 10 0 429487160 853856256 24211 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24211 13073 16 0 208445 0
vsize: 833844
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 71776 73 0 0 25 0 10 0 429487160 853856256 24234 4294967295 134512640 134569956 3221224416 3221214280 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24234 13073 16 0 208445 0
vsize: 833844
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 72690 73 0 0 25 0 10 0 429487160 853856256 24255 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24255 13073 16 0 208445 0
vsize: 833844
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 73609 74 0 0 25 0 10 0 429487160 853856256 24273 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24273 13073 16 0 208445 0
vsize: 833844
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 74522 74 0 0 25 0 10 0 429487160 853856256 24304 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24304 13073 16 0 208445 0
vsize: 833844
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 75435 75 0 0 25 0 10 0 429487160 853856256 24328 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24328 13073 16 0 208445 0
vsize: 833844
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 76349 75 0 0 25 0 10 0 429487160 853856256 24347 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24347 13073 16 0 208445 0
vsize: 833844
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 77261 76 0 0 24 0 10 0 429487160 853856256 24373 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24373 13073 16 0 208445 0
vsize: 833844
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 78178 76 0 0 25 0 10 0 429487160 853856256 24395 4294967295 134512640 134569956 3221224416 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24395 13073 16 0 208445 0
vsize: 833844
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 79089 76 0 0 25 0 10 0 429487160 853856256 24414 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24414 13073 16 0 208445 0
vsize: 833844
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 80001 76 0 0 25 0 10 0 429487160 853856256 24437 4294967295 134512640 134569956 3221224416 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24437 13073 16 0 208445 0
vsize: 833844
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 80914 77 0 0 25 0 10 0 429487160 853856256 24455 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24455 13073 16 0 208445 0
vsize: 833844
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 81828 77 0 0 25 0 10 0 429487160 853856256 24484 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24484 13073 16 0 208445 0
vsize: 833844
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 82737 77 0 0 25 0 10 0 429487160 853856256 24504 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24504 13073 16 0 208445 0
vsize: 833844
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 83647 78 0 0 24 0 10 0 429487160 853856256 24528 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24528 13073 16 0 208445 0
vsize: 833844
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 84562 79 0 0 25 0 10 0 429487160 853856256 24549 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24549 13073 16 0 208445 0
vsize: 833844
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 85472 79 0 0 25 0 10 0 429487160 853856256 24568 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24568 13073 16 0 208445 0
vsize: 833844
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 86380 79 0 0 20 0 10 0 429487160 853856256 24591 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24591 13073 16 0 208445 0
vsize: 833844
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 87294 80 0 0 25 0 10 0 429487160 853856256 24608 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24608 13073 16 0 208445 0
vsize: 833844
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 88202 80 0 0 25 0 10 0 429487160 853856256 24633 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208461 24633 13073 16 0 208445 0
vsize: 833844
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 89111 80 0 0 25 0 10 0 429487160 853856256 24654 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24654 13073 16 0 208445 0
vsize: 833844
[startup+970.032 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 90022 81 0 0 25 0 10 0 429487160 853856256 24674 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24674 13073 16 0 208445 0
vsize: 833844
[startup+980.034 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 90929 81 0 0 25 0 10 0 429487160 853856256 24695 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24695 13073 16 0 208445 0
vsize: 833844
[startup+990.034 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 91842 81 0 0 25 0 10 0 429487160 853856256 24713 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24713 13073 16 0 208445 0
vsize: 833844
[startup+1000.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 92750 81 0 0 25 0 10 0 429487160 853856256 24737 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24737 13073 16 0 208445 0
vsize: 833844
[startup+1010.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 93656 82 0 0 24 0 10 0 429487160 853856256 24755 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24755 13073 16 0 208445 0
vsize: 833844
[startup+1020.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 94568 82 0 0 25 0 10 0 429487160 853856256 24771 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24771 13073 16 0 208445 0
vsize: 833844
[startup+1030.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 95474 83 0 0 19 0 10 0 429487160 853856256 24796 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24796 13073 16 0 208445 0
vsize: 833844
[startup+1040.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 96379 83 0 0 19 0 10 0 429487160 853856256 24816 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24816 13073 16 0 208445 0
vsize: 833844
[startup+1050.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 97291 83 0 0 22 0 10 0 429487160 853856256 24832 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24832 13073 16 0 208445 0
vsize: 833844
[startup+1060.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 98196 84 0 0 21 0 10 0 429487160 853856256 24856 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24856 13073 16 0 208445 0
vsize: 833844
[startup+1070.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 99105 84 0 0 23 0 10 0 429487160 853856256 24876 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24876 13073 16 0 208445 0
vsize: 833844
[startup+1080.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 100008 84 0 0 20 0 10 0 429487160 853856256 24896 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24896 13073 16 0 208445 0
vsize: 833844
[startup+1090.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 100912 85 0 0 19 0 10 0 429487160 853856256 24913 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24913 13073 16 0 208445 0
vsize: 833844
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 101821 85 0 0 22 0 10 0 429487160 853856256 24934 4294967295 134512640 134569956 3221224416 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24934 13073 16 0 208445 0
vsize: 833844
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 102724 86 0 0 19 0 10 0 429487160 853856256 24954 4294967295 134512640 134569956 3221224416 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24954 13073 16 0 208445 0
vsize: 833844
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 103632 86 0 0 23 0 10 0 429487160 853856256 24973 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24973 13073 16 0 208445 0
vsize: 833844
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 104534 87 0 0 19 0 10 0 429487160 853856256 24992 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 24992 13073 16 0 208445 0
vsize: 833844
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 105442 87 0 0 23 0 10 0 429487160 853856256 25012 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25012 13073 16 0 208445 0
vsize: 833844
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 106345 88 0 0 21 0 10 0 429487160 853856256 25029 4294967295 134512640 134569956 3221224416 3221214820 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25029 13073 16 0 208445 0
vsize: 833844
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 107252 88 0 0 24 0 10 0 429487160 853856256 25050 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25050 13073 16 0 208445 0
vsize: 833844
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 108155 89 0 0 21 0 10 0 429487160 853856256 25067 4294967295 134512640 134569956 3221224416 3221214392 1079668463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25067 13073 16 0 208445 0
vsize: 833844
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 109059 90 0 0 23 0 10 0 429487160 853856256 25085 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25085 13073 16 0 208445 0
vsize: 833844
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 109964 90 0 0 21 0 10 0 429487160 853856256 25107 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25107 13073 16 0 208445 0
vsize: 833844
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 110864 90 0 0 23 0 10 0 429487160 853856256 25125 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25125 13073 16 0 208445 0
vsize: 833844
[startup+1210.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 111769 90 0 0 21 0 10 0 429487160 853856256 25143 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25143 13073 16 0 208445 0
vsize: 833844
[startup+1220.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 112674 90 0 0 24 0 10 0 429487160 853856256 25160 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25160 13073 16 0 208445 0
vsize: 833844
[startup+1230.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 113575 90 0 0 21 0 10 0 429487160 853856256 25178 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25178 13073 16 0 208445 0
vsize: 833844
[startup+1240.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) S 5726 25347 25346 0 -1 0 17978 0 1 0 114480 91 0 0 24 0 10 0 429487160 853856256 25192 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25192 13073 16 0 208445 0
vsize: 833844
[startup+1250.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 115380 91 0 0 20 0 10 0 429487160 853856256 25207 4294967295 134512640 134569956 3221224416 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25207 13073 16 0 208445 0
vsize: 833844
[startup+1260.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 116286 91 0 0 23 0 10 0 429487160 853856256 25234 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25234 13073 16 0 208445 0
vsize: 833844
[startup+1270.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 117185 91 0 0 19 0 10 0 429487160 853856256 25251 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25251 13073 16 0 208445 0
vsize: 833844
[startup+1280.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 118089 91 0 0 22 0 10 0 429487160 853856256 25271 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25271 13073 16 0 208445 0
vsize: 833844
[startup+1290.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 118988 91 0 0 19 0 10 0 429487160 853856256 25288 4294967295 134512640 134569956 3221224416 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25288 13073 16 0 208445 0
vsize: 833844
[startup+1300.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 119893 92 0 0 21 0 10 0 429487160 853856256 25305 4294967295 134512640 134569956 3221224416 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25305 13073 16 0 208445 0
vsize: 833844
[startup+1310.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5736
Raw data (stat): 5727 (java) R 5726 25347 25346 0 -1 0 17978 0 1 0 120793 92 0 0 18 0 10 0 429487160 853856256 25331 4294967295 134512640 134569956 3221224416 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208461 25331 13073 16 0 208445 0
vsize: 833844
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.11 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 5737
Raw data (stat): 5727 (java) Z 5726 25347 25346 0 -1 1036 17978 6984 1 0 120794 92 10044 38 19 0 1 0 429487160 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): 1310.11
CPU time (s): 1309.7
CPU user time (s): 1308.39
CPU system time (s): 1.3078
CPU usage (%): 99.9684
Max. virtual memory (Kb): 833844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####