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/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm1.opb
MD5SUM9724b70be00612c57ff3bed741e4e1b9
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 460
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 137363325
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 52428800000
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 319170501375
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.357944
Number of variables9140
Total number of constraints330
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints330
Minimum length of a constraint20
Maximum length of a constraint1140

Trace number 19821

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-21 19:37:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16207 boxname=wulflinc15 idbench=1247 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9724b70be00612c57ff3bed741e4e1b9  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-scfxm1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-scfxm1.opb
IDLAUNCH: 16207
/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:        520928 kB
Buffers:         33612 kB
Cached:         457656 kB
SwapCached:        440 kB
Active:         100036 kB
Inactive:       393360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        520676 kB
SwapTotal:     2097136 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            14476 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 19:58:05 (client local time) WITH STATUS 143 IN 1251.01 SECONDS
stats: 16207 7 1251.01 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-scfxm1.opb
c reading problem 
c [nbvar=9140]
c [nbconstr=330]
c time 31.916
c #vars     9140
c #clauses  513
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
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.72 0.89 0.89 2/54 14905
Raw data (stat): 14905 (runsolver) R 14904 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489430119 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0015 s]
Raw data (loadavg): 0.76 0.89 0.89 2/63 14914
Raw data (stat): 14905 (java) S 14904 29151 29150 0 -1 0 18000 0 1 0 763 40 0 0 25 0 10 0 489430119 856506368 20708 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209108 20709 13073 16 0 209092 0
vsize: 836432
[startup+20.0024 s]
Raw data (loadavg): 0.80 0.89 0.89 2/63 14914
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18000 0 1 0 1629 41 0 0 25 0 10 0 489430119 855592960 21181 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208885 21181 13073 16 0 208869 0
vsize: 835540
[startup+30.0038 s]
Raw data (loadavg): 0.83 0.90 0.89 2/63 14914
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18000 0 1 0 2503 41 0 0 25 0 10 0 489430119 855592960 21607 4294967295 134512640 134569956 3221224400 3221214540 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208885 21607 13073 16 0 208869 0
vsize: 835540
[startup+40.0041 s]
Raw data (loadavg): 1.02 0.93 0.90 2/64 14915
Raw data (stat): 14905 (java) S 14904 29151 29150 0 -1 0 18091 0 1 0 3335 42 0 0 25 0 11 0 489430119 862851072 23623 4294967295 134512640 134569956 3221224400 3221213120 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210657 23623 13073 16 0 210641 0
vsize: 842628
[startup+50.0057 s]
Raw data (loadavg): 1.01 0.93 0.90 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 4237 43 0 0 25 0 11 0 489430119 860061696 23182 4294967295 134512640 134569956 3221224400 3221214768 1131343639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 23182 13073 16 0 209960 0
vsize: 839904
[startup+60.0061 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 5157 43 0 0 25 0 11 0 489430119 860061696 23317 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 23317 13073 16 0 209960 0
vsize: 839904
[startup+70.0064 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 6084 43 0 0 25 0 11 0 489430119 860061696 23567 4294967295 134512640 134569956 3221224400 3221214608 1131413228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 23567 13073 16 0 209960 0
vsize: 839904
[startup+80.0072 s]
Raw data (loadavg): 1.01 0.94 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 7046 44 0 0 25 0 11 0 489430119 860061696 24026 4294967295 134512640 134569956 3221224400 3221214768 1131340902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24026 13073 16 0 209960 0
vsize: 839904
[startup+90.0076 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 8027 44 0 0 25 0 11 0 489430119 860061696 24109 4294967295 134512640 134569956 3221224400 3221214768 1131343696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24109 13073 16 0 209960 0
vsize: 839904
[startup+100.009 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 9012 45 0 0 25 0 11 0 489430119 860061696 24135 4294967295 134512640 134569956 3221224400 3221214680 1131233709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24135 13073 16 0 209960 0
vsize: 839904
[startup+110.01 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 9997 45 0 0 25 0 11 0 489430119 860061696 24191 4294967295 134512640 134569956 3221224400 3221214768 1131340894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24191 13073 16 0 209960 0
vsize: 839904
[startup+120.01 s]
Raw data (loadavg): 1.00 0.94 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 10981 45 0 0 25 0 11 0 489430119 860061696 24252 4294967295 134512640 134569956 3221224400 3221214768 1131339812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24252 13073 16 0 209960 0
vsize: 839904
[startup+130.011 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 11964 45 0 0 25 0 11 0 489430119 860061696 24351 4294967295 134512640 134569956 3221224400 3221214680 1131234099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24351 13073 16 0 209960 0
vsize: 839904
[startup+140.012 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 12948 46 0 0 25 0 11 0 489430119 860061696 24416 4294967295 134512640 134569956 3221224400 3221214764 1131232588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24416 13073 16 0 209960 0
vsize: 839904
[startup+150.013 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 13930 46 0 0 25 0 11 0 489430119 860061696 24501 4294967295 134512640 134569956 3221224400 3221214768 1131343660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24501 13073 16 0 209960 0
vsize: 839904
[startup+160.013 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 14910 47 0 0 25 0 11 0 489430119 860061696 24617 4294967295 134512640 134569956 3221224400 3221214768 1131339812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24617 13073 16 0 209960 0
vsize: 839904
[startup+170.013 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 15892 47 0 0 25 0 11 0 489430119 860061696 24722 4294967295 134512640 134569956 3221224400 3221214600 1078032289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24722 13073 16 0 209960 0
vsize: 839904
[startup+180.014 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 16871 48 0 0 25 0 11 0 489430119 860061696 24853 4294967295 134512640 134569956 3221224400 3221214680 1131234099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24853 13073 16 0 209960 0
vsize: 839904
[startup+190.014 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 17853 48 0 0 25 0 11 0 489430119 860061696 24972 4294967295 134512640 134569956 3221224400 3221214768 1131340921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 24972 13073 16 0 209960 0
vsize: 839904
[startup+200.014 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 18831 49 0 0 25 0 11 0 489430119 860061696 25112 4294967295 134512640 134569956 3221224400 3221214680 1131232645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 25112 13073 16 0 209960 0
vsize: 839904
[startup+210.014 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 19814 49 0 0 25 0 11 0 489430119 860061696 25243 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 25243 13073 16 0 209960 0
vsize: 839904
[startup+220.015 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 20796 49 0 0 25 0 11 0 489430119 860061696 25360 4294967295 134512640 134569956 3221224400 3221214688 1131642927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 25360 13073 16 0 209960 0
vsize: 839904
[startup+230.016 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 21779 50 0 0 25 0 11 0 489430119 860061696 25486 4294967295 134512640 134569956 3221224400 3221214800 1131450881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 25486 13073 16 0 209960 0
vsize: 839904
[startup+240.017 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 22763 50 0 0 25 0 11 0 489430119 860061696 25580 4294967295 134512640 134569956 3221224400 3221214680 1131233248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 25580 13073 16 0 209960 0
vsize: 839904
[startup+250.017 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 23746 50 0 0 25 0 11 0 489430119 860061696 25687 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 25687 13073 16 0 209960 0
vsize: 839904
[startup+260.018 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 24729 51 0 0 25 0 11 0 489430119 860061696 25793 4294967295 134512640 134569956 3221224400 3221214688 1131643043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 25793 13073 16 0 209960 0
vsize: 839904
[startup+270.018 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 25713 51 0 0 25 0 11 0 489430119 860061696 25883 4294967295 134512640 134569956 3221224400 3221214680 1131232855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 25883 13073 16 0 209960 0
vsize: 839904
[startup+280.02 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18094 0 1 0 26695 52 0 0 25 0 11 0 489430119 860061696 26015 4294967295 134512640 134569956 3221224400 3221214768 1131344890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 26015 13073 16 0 209960 0
vsize: 839904
[startup+290.021 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 27671 52 0 0 24 0 11 0 489430119 860061696 26105 4294967295 134512640 134569956 3221224400 3221214680 1131233069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 26105 13073 16 0 209960 0
vsize: 839904
[startup+300.021 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 28652 53 0 0 25 0 11 0 489430119 860061696 26233 4294967295 134512640 134569956 3221224400 3221214816 1131361272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 26233 13073 16 0 209960 0
vsize: 839904
[startup+310.022 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 29631 53 0 0 24 0 11 0 489430119 860061696 26377 4294967295 134512640 134569956 3221224400 3221214768 1131340908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 26377 13073 16 0 209960 0
vsize: 839904
[startup+320.023 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 30613 54 0 0 25 0 11 0 489430119 860061696 26533 4294967295 134512640 134569956 3221224400 3221214840 1131432000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 26533 13073 16 0 209960 0
vsize: 839904
[startup+330.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 31592 54 0 0 25 0 11 0 489430119 860061696 26677 4294967295 134512640 134569956 3221224400 3221214768 1131340906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 26677 13073 16 0 209960 0
vsize: 839904
[startup+340.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 32574 54 0 0 25 0 11 0 489430119 860061696 26783 4294967295 134512640 134569956 3221224400 3221214680 1131233746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 26783 13073 16 0 209960 0
vsize: 839904
[startup+350.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 33551 54 0 0 25 0 11 0 489430119 860061696 26921 4294967295 134512640 134569956 3221224400 3221214680 1131232645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 26921 13073 16 0 209960 0
vsize: 839904
[startup+360.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 34531 55 0 0 25 0 11 0 489430119 860061696 27049 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 27049 13073 16 0 209960 0
vsize: 839904
[startup+370.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 35509 55 0 0 25 0 11 0 489430119 860061696 27232 4294967295 134512640 134569956 3221224400 3221214768 1131344641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 27232 13073 16 0 209960 0
vsize: 839904
[startup+380.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 36489 56 0 0 25 0 11 0 489430119 860061696 27378 4294967295 134512640 134569956 3221224400 3221214680 1131233756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 27378 13073 16 0 209960 0
vsize: 839904
[startup+390.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 37467 56 0 0 25 0 11 0 489430119 860061696 27519 4294967295 134512640 134569956 3221224400 3221214680 1131232647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 27519 13073 16 0 209960 0
vsize: 839904
[startup+400.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 38447 56 0 0 25 0 11 0 489430119 860061696 27662 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 27662 13073 16 0 209960 0
vsize: 839904
[startup+410.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 39424 57 0 0 25 0 11 0 489430119 860061696 27835 4294967295 134512640 134569956 3221224400 3221214680 1131233531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 27835 13073 16 0 209960 0
vsize: 839904
[startup+420.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) S 14904 29151 29150 0 -1 0 18095 0 1 0 40402 58 0 0 25 0 11 0 489430119 860061696 28001 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 28001 13073 16 0 209960 0
vsize: 839904
[startup+430.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 41383 58 0 0 25 0 11 0 489430119 860061696 28156 4294967295 134512640 134569956 3221224400 3221214768 1131344641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 28156 13073 16 0 209960 0
vsize: 839904
[startup+440.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 42364 58 0 0 25 0 11 0 489430119 860061696 28300 4294967295 134512640 134569956 3221224400 3221214768 1131343603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 28300 13073 16 0 209960 0
vsize: 839904
[startup+450.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 43345 58 0 0 25 0 11 0 489430119 860061696 28428 4294967295 134512640 134569956 3221224400 3221214720 1131158115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 28428 13073 16 0 209960 0
vsize: 839904
[startup+460.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 44324 58 0 0 25 0 11 0 489430119 860061696 28547 4294967295 134512640 134569956 3221224400 3221214768 1131339812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 28547 13073 16 0 209960 0
vsize: 839904
[startup+470.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 45301 59 0 0 24 0 11 0 489430119 860061696 28697 4294967295 134512640 134569956 3221224400 3221214680 1131233377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 28697 13073 16 0 209960 0
vsize: 839904
[startup+480.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 46280 59 0 0 25 0 11 0 489430119 860061696 28837 4294967295 134512640 134569956 3221224400 3221214768 1131339609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 28837 13073 16 0 209960 0
vsize: 839904
[startup+490.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 47257 60 0 0 24 0 11 0 489430119 860061696 28997 4294967295 134512640 134569956 3221224400 3221214680 1131232874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 28997 13073 16 0 209960 0
vsize: 839904
[startup+500.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 48239 60 0 0 25 0 11 0 489430119 860061696 29134 4294967295 134512640 134569956 3221224400 3221214768 1131344572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 29134 13073 16 0 209960 0
vsize: 839904
[startup+510.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 49219 60 0 0 25 0 11 0 489430119 860061696 29265 4294967295 134512640 134569956 3221224400 3221214680 1131233218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 29265 13073 16 0 209960 0
vsize: 839904
[startup+520.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 50201 61 0 0 25 0 11 0 489430119 860061696 29385 4294967295 134512640 134569956 3221224400 3221214768 1131339805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 29385 13073 16 0 209960 0
vsize: 839904
[startup+530.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 51184 61 0 0 25 0 11 0 489430119 860061696 29506 4294967295 134512640 134569956 3221224400 3221214680 1131232645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 29506 13073 16 0 209960 0
vsize: 839904
[startup+540.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 52164 62 0 0 25 0 11 0 489430119 860061696 29625 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 29625 13073 16 0 209960 0
vsize: 839904
[startup+550.077 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 53144 63 0 0 25 0 11 0 489430119 860061696 29748 4294967295 134512640 134569956 3221224400 3221214680 1131232975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 29748 13073 16 0 209960 0
vsize: 839904
[startup+560.085 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 54123 63 0 0 25 0 11 0 489430119 860061696 29891 4294967295 134512640 134569956 3221224400 3221214680 1131234079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 29891 13073 16 0 209960 0
vsize: 839904
[startup+570.086 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 55103 63 0 0 25 0 11 0 489430119 860061696 30037 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 30037 13073 16 0 209960 0
vsize: 839904
[startup+580.086 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 56085 63 0 0 25 0 11 0 489430119 860061696 30161 4294967295 134512640 134569956 3221224400 3221214680 1131232613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 30161 13073 16 0 209960 0
vsize: 839904
[startup+590.087 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 57066 64 0 0 25 0 11 0 489430119 860061696 30262 4294967295 134512640 134569956 3221224400 3221214768 1131340894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 30262 13073 16 0 209960 0
vsize: 839904
[startup+600.087 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 58046 64 0 0 24 0 11 0 489430119 860061696 30390 4294967295 134512640 134569956 3221224400 3221214816 1131361070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 30390 13073 16 0 209960 0
vsize: 839904
[startup+610.087 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 59028 65 0 0 25 0 11 0 489430119 860061696 30508 4294967295 134512640 134569956 3221224400 3221214680 1131232834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 30508 13073 16 0 209960 0
vsize: 839904
[startup+620.088 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 60009 65 0 0 25 0 11 0 489430119 860061696 30617 4294967295 134512640 134569956 3221224400 3221214832 1131377419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 30617 13073 16 0 209960 0
vsize: 839904
[startup+630.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 60990 66 0 0 24 0 11 0 489430119 860061696 30740 4294967295 134512640 134569956 3221224400 3221214680 1131232645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 30740 13073 16 0 209960 0
vsize: 839904
[startup+640.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 61972 66 0 0 25 0 11 0 489430119 860061696 30848 4294967295 134512640 134569956 3221224400 3221214768 1131340876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 30848 13073 16 0 209960 0
vsize: 839904
[startup+650.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 62953 66 0 0 25 0 11 0 489430119 860061696 30956 4294967295 134512640 134569956 3221224400 3221214680 1131232851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 30956 13073 16 0 209960 0
vsize: 839904
[startup+660.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 63934 67 0 0 25 0 11 0 489430119 860061696 31064 4294967295 134512640 134569956 3221224400 3221214768 1131343622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 31064 13073 16 0 209960 0
vsize: 839904
[startup+670.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 64916 67 0 0 25 0 11 0 489430119 860061696 31161 4294967295 134512640 134569956 3221224400 3221214680 1131233043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 31161 13073 16 0 209960 0
vsize: 839904
[startup+680.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 65897 68 0 0 25 0 11 0 489430119 860061696 31283 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 31283 13073 16 0 209960 0
vsize: 839904
[startup+690.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 66877 68 0 0 25 0 11 0 489430119 860061696 31401 4294967295 134512640 134569956 3221224400 3221214680 1131232975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 31401 13073 16 0 209960 0
vsize: 839904
[startup+700.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 67859 69 0 0 25 0 11 0 489430119 860061696 31498 4294967295 134512640 134569956 3221224400 3221214240 1131658360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 31498 13073 16 0 209960 0
vsize: 839904
[startup+710.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 68840 69 0 0 25 0 11 0 489430119 860061696 31619 4294967295 134512640 134569956 3221224400 3221214768 1131343622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 31619 13073 16 0 209960 0
vsize: 839904
[startup+720.094 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 69819 69 0 0 25 0 11 0 489430119 860061696 31715 4294967295 134512640 134569956 3221224400 3221214768 1131343703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 31715 13073 16 0 209960 0
vsize: 839904
[startup+730.094 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 70799 70 0 0 24 0 11 0 489430119 860061696 31872 4294967295 134512640 134569956 3221224400 3221214680 1131232609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 31872 13073 16 0 209960 0
vsize: 839904
[startup+740.096 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 71781 70 0 0 25 0 11 0 489430119 860061696 31957 4294967295 134512640 134569956 3221224400 3221214768 1131339812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 31957 13073 16 0 209960 0
vsize: 839904
[startup+750.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 72761 70 0 0 25 0 11 0 489430119 860061696 32090 4294967295 134512640 134569956 3221224400 3221214768 1131339812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 32090 13073 16 0 209960 0
vsize: 839904
[startup+760.096 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 73741 71 0 0 25 0 11 0 489430119 860061696 32223 4294967295 134512640 134569956 3221224400 3221214680 1131234079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 32223 13073 16 0 209960 0
vsize: 839904
[startup+770.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 74723 72 0 0 25 0 11 0 489430119 860061696 32308 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 32308 13073 16 0 209960 0
vsize: 839904
[startup+780.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 75702 72 0 0 25 0 11 0 489430119 860061696 32422 4294967295 134512640 134569956 3221224400 3221214768 1131343407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 32422 13073 16 0 209960 0
vsize: 839904
[startup+790.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 76683 73 0 0 25 0 11 0 489430119 860061696 32567 4294967295 134512640 134569956 3221224400 3221214680 1131233254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 32567 13073 16 0 209960 0
vsize: 839904
[startup+800.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 77662 73 0 0 24 0 11 0 489430119 860061696 32670 4294967295 134512640 134569956 3221224400 3221214680 1131233147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 32670 13073 16 0 209960 0
vsize: 839904
[startup+810.117 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 78642 73 0 0 25 0 11 0 489430119 860061696 32784 4294967295 134512640 134569956 3221224400 3221214768 1131339877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 32784 13073 16 0 209960 0
vsize: 839904
[startup+820.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 79618 74 0 0 25 0 11 0 489430119 860061696 32929 4294967295 134512640 134569956 3221224400 3221214768 1131339812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 32929 13073 16 0 209960 0
vsize: 839904
[startup+830.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 80595 74 0 0 25 0 11 0 489430119 860061696 33073 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 33073 13073 16 0 209960 0
vsize: 839904
[startup+840.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 81572 74 0 0 25 0 11 0 489430119 860061696 33223 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 33223 13073 16 0 209960 0
vsize: 839904
[startup+850.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 82545 75 0 0 25 0 11 0 489430119 860061696 33369 4294967295 134512640 134569956 3221224400 3221214768 1131343754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 33369 13073 16 0 209960 0
vsize: 839904
[startup+860.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 83517 75 0 0 24 0 11 0 489430119 860061696 33513 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 33513 13073 16 0 209960 0
vsize: 839904
[startup+870.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 84495 76 0 0 25 0 11 0 489430119 860061696 33734 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 33734 13073 16 0 209960 0
vsize: 839904
[startup+880.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 85472 76 0 0 25 0 11 0 489430119 860061696 33951 4294967295 134512640 134569956 3221224400 3221214680 1131233345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 33951 13073 16 0 209960 0
vsize: 839904
[startup+890.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 86449 77 0 0 25 0 11 0 489430119 860061696 34096 4294967295 134512640 134569956 3221224400 3221214768 1131340856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 34096 13073 16 0 209960 0
vsize: 839904
[startup+900.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 87429 77 0 0 25 0 11 0 489430119 860061696 34240 4294967295 134512640 134569956 3221224400 3221214680 1131234039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 34240 13073 16 0 209960 0
vsize: 839904
[startup+910.145 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 88407 78 0 0 25 0 11 0 489430119 860061696 34384 4294967295 134512640 134569956 3221224400 3221214680 1131232645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 34384 13073 16 0 209960 0
vsize: 839904
[startup+920.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 89385 78 0 0 25 0 11 0 489430119 860061696 34520 4294967295 134512640 134569956 3221224400 3221214768 1131340830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 34520 13073 16 0 209960 0
vsize: 839904
[startup+930.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 90364 78 0 0 25 0 11 0 489430119 860061696 34650 4294967295 134512640 134569956 3221224400 3221214688 1131642924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 34650 13073 16 0 209960 0
vsize: 839904
[startup+940.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 91342 78 0 0 25 0 11 0 489430119 860061696 34746 4294967295 134512640 134569956 3221224400 3221214768 1131339812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 34746 13073 16 0 209960 0
vsize: 839904
[startup+950.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 92316 79 0 0 25 0 11 0 489430119 860061696 34916 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 34916 13073 16 0 209960 0
vsize: 839904
[startup+960.172 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 93291 79 0 0 24 0 11 0 489430119 860061696 35060 4294967295 134512640 134569956 3221224400 3221214680 1131233377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 35060 13073 16 0 209960 0
vsize: 839904
[startup+970.184 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 94269 79 0 0 25 0 11 0 489430119 860061696 35248 4294967295 134512640 134569956 3221224400 3221214680 1131233147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 35248 13073 16 0 209960 0
vsize: 839904
[startup+980.192 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 95245 79 0 0 25 0 11 0 489430119 860061696 35423 4294967295 134512640 134569956 3221224400 3221214768 1131343407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 35423 13073 16 0 209960 0
vsize: 839904
[startup+990.197 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 96220 80 0 0 24 0 11 0 489430119 860061696 35614 4294967295 134512640 134569956 3221224400 3221214680 1131233691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 35614 13073 16 0 209960 0
vsize: 839904
[startup+1000.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 97197 80 0 0 25 0 11 0 489430119 860061696 35734 4294967295 134512640 134569956 3221224400 3221214680 1131233302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 35734 13073 16 0 209960 0
vsize: 839904
[startup+1010.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 98170 80 0 0 25 0 11 0 489430119 860061696 35926 4294967295 134512640 134569956 3221224400 3221214768 1131339896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 35926 13073 16 0 209960 0
vsize: 839904
[startup+1020.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 99144 80 0 0 25 0 11 0 489430119 860061696 36133 4294967295 134512640 134569956 3221224400 3221214680 1131233138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 36133 13073 16 0 209960 0
vsize: 839904
[startup+1030.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 100120 80 0 0 25 0 11 0 489430119 860061696 36264 4294967295 134512640 134569956 3221224400 3221214680 1131234177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 36264 13073 16 0 209960 0
vsize: 839904
[startup+1040.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 101095 80 0 0 25 0 11 0 489430119 860061696 36433 4294967295 134512640 134569956 3221224400 3221214768 1131343703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 36433 13073 16 0 209960 0
vsize: 839904
[startup+1050.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 102068 80 0 0 25 0 11 0 489430119 860061696 36625 4294967295 134512640 134569956 3221224400 3221214680 1131232851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 36625 13073 16 0 209960 0
vsize: 839904
[startup+1060.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 103042 80 0 0 24 0 11 0 489430119 860061696 36807 4294967295 134512640 134569956 3221224400 3221214768 1131339785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 36807 13073 16 0 209960 0
vsize: 839904
[startup+1070.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 104018 80 0 0 25 0 11 0 489430119 860061696 36931 4294967295 134512640 134569956 3221224400 3221214680 1131233449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209976 36931 13073 16 0 209960 0
vsize: 839904
[startup+1080.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 104993 81 0 0 25 0 11 0 489430119 860061696 37129 4294967295 134512640 134569956 3221224400 3221214720 1131158082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 37129 13073 16 0 209960 0
vsize: 839904
[startup+1090.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 105962 81 0 0 25 0 11 0 489430119 860061696 37283 4294967295 134512640 134569956 3221224400 3221214680 1131234134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 37283 13073 16 0 209960 0
vsize: 839904
[startup+1100.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 106932 81 0 0 25 0 11 0 489430119 860061696 37516 4294967295 134512640 134569956 3221224400 3221214680 1131234054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 37516 13073 16 0 209960 0
vsize: 839904
[startup+1110.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 107905 82 0 0 25 0 11 0 489430119 860061696 37638 4294967295 134512640 134569956 3221224400 3221214680 1131233201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 37638 13073 16 0 209960 0
vsize: 839904
[startup+1120.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 108878 82 0 0 25 0 11 0 489430119 860061696 37858 4294967295 134512640 134569956 3221224400 3221214680 1131232609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 37858 13073 16 0 209960 0
vsize: 839904
[startup+1130.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 109851 82 0 0 24 0 11 0 489430119 860061696 38036 4294967295 134512640 134569956 3221224400 3221214768 1131340906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 38036 13073 16 0 209960 0
vsize: 839904
[startup+1140.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 110825 82 0 0 25 0 11 0 489430119 860061696 38156 4294967295 134512640 134569956 3221224400 3221214680 1131232622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 38156 13073 16 0 209960 0
vsize: 839904
[startup+1150.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 111796 83 0 0 25 0 11 0 489430119 860061696 38332 4294967295 134512640 134569956 3221224400 3221214764 1131232588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 38332 13073 16 0 209960 0
vsize: 839904
[startup+1160.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 112768 83 0 0 25 0 11 0 489430119 860061696 38505 4294967295 134512640 134569956 3221224400 3221214768 1131339805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 38505 13073 16 0 209960 0
vsize: 839904
[startup+1170.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 113738 83 0 0 25 0 11 0 489430119 860061696 38719 4294967295 134512640 134569956 3221224400 3221214680 1131233259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 38719 13073 16 0 209960 0
vsize: 839904
[startup+1180.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 114711 83 0 0 25 0 11 0 489430119 860061696 38870 4294967295 134512640 134569956 3221224400 3221214688 1131643043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 38870 13073 16 0 209960 0
vsize: 839904
[startup+1190.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 115682 83 0 0 25 0 11 0 489430119 860061696 39067 4294967295 134512640 134569956 3221224400 3221214680 1131233145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 39067 13073 16 0 209960 0
vsize: 839904
[startup+1200.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 116656 84 0 0 25 0 11 0 489430119 860061696 39248 4294967295 134512640 134569956 3221224400 3221214576 1131501480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 39248 13073 16 0 209960 0
vsize: 839904
[startup+1210.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 117628 84 0 0 25 0 11 0 489430119 860061696 39392 4294967295 134512640 134569956 3221224400 3221214680 1131233097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 39392 13073 16 0 209960 0
vsize: 839904
[startup+1220.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 118603 84 0 0 25 0 11 0 489430119 860061696 39555 4294967295 134512640 134569956 3221224400 3221214680 1131233727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 39555 13073 16 0 209960 0
vsize: 839904
[startup+1230.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 119578 85 0 0 25 0 11 0 489430119 860061696 39702 4294967295 134512640 134569956 3221224400 3221214768 1131344572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 39702 13073 16 0 209960 0
vsize: 839904
[startup+1240.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14915
Raw data (stat): 14905 (java) R 14904 29151 29150 0 -1 0 18095 0 1 0 120551 85 0 0 25 0 11 0 489430119 860061696 39873 4294967295 134512640 134569956 3221224400 3221214768 1131341724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209976 39873 13073 16 0 209960 0
vsize: 839904
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.31 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 14917
Raw data (stat): 14905 (java) Z 14904 29151 29150 0 -1 1036 18095 26619 1 0 120553 93 4378 74 25 0 1 0 489430119 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): 1240.31
CPU time (s): 1251.01
CPU user time (s): 1249.33
CPU system time (s): 1.68074
CPU usage (%): 100.863
Max. virtual memory (Kb): 842628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####