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-scrs8.opb
MD5SUMf909afc4ad4c57b225953e69f0f7b926
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 16500
Biggest coefficient in the objective function 278154827530240000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 7024858555092325200
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 278154827530240000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 7024858555092325200
Number of bits of the biggest sum of numbers63
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.207967
Number of variables23380
Total number of constraints490
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 constraints490
Minimum length of a constraint20
Maximum length of a constraint740

Trace number 16075

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-21 06:12:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16259 boxname=wulflinc5 idbench=1251 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f909afc4ad4c57b225953e69f0f7b926  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-scrs8.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-scrs8.opb
IDLAUNCH: 16259
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        905892 kB
Buffers:         14464 kB
Cached:          91684 kB
SwapCached:          0 kB
Active:          20644 kB
Inactive:        88308 kB
HighTotal:      131008 kB
HighFree:        91364 kB
LowTotal:       903652 kB
LowFree:        814528 kB
SwapTotal:     2097136 kB
SwapFree:      2097044 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            14184 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 06:33:15 (client local time) WITH STATUS 143 IN 1255.13 SECONDS
stats: 16259 7 1255.13 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-scrs8.opb
c reading problem 
c [nbvar=23380]
c [nbconstr=490]
c time 173.458
c #vars     23380
c #clauses  868
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): 1.01 0.98 0.91 2/54 18079
Raw data (stat): 18079 (runsolver) R 18078 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484604335 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.09 1.00 0.92 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 887 46 0 0 25 0 10 0 484604335 853106688 19115 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208278 19115 13073 16 0 208262 0
vsize: 833112
[startup+20.0011 s]
Raw data (loadavg): 1.07 1.00 0.92 2/63 18088
Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 17978 0 1 0 1784 47 0 0 25 0 10 0 484604335 853622784 19672 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208404 19672 13073 16 0 208388 0
vsize: 833616
[startup+30.0018 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 2679 47 0 0 25 0 10 0 484604335 853622784 20108 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208404 20108 13073 16 0 208388 0
vsize: 833616
[startup+40.0031 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 3606 48 0 0 25 0 10 0 484604335 853622784 20342 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208404 20342 13073 16 0 208388 0
vsize: 833616
[startup+50.0033 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 4537 48 0 0 25 0 10 0 484604335 853622784 20465 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208404 20465 13073 16 0 208388 0
vsize: 833616
[startup+60.0031 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 5465 49 0 0 24 0 10 0 484604335 853622784 20567 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208404 20567 13073 16 0 208388 0
vsize: 833616
[startup+70.0078 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 6406 49 0 0 25 0 10 0 484604335 853585920 20811 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208395 20811 13073 16 0 208379 0
vsize: 833580
[startup+80.0121 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 7355 50 0 0 25 0 10 0 484604335 853585920 20888 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208395 20888 13073 16 0 208379 0
vsize: 833580
[startup+90.0113 s]
Raw data (loadavg): 1.09 1.02 0.93 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 8149 50 0 0 17 0 10 0 484604335 865390592 23752 4294967295 134512640 134569956 3221224400 3221214216 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211277 23752 13073 16 0 211261 0
vsize: 845108
[startup+100.014 s]
Raw data (loadavg): 1.08 1.02 0.93 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 9007 50 0 0 15 0 10 0 484604335 865390592 23920 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211277 23920 13073 16 0 211261 0
vsize: 845108
[startup+110.015 s]
Raw data (loadavg): 1.07 1.01 0.93 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 9915 51 0 0 20 0 10 0 484604335 865390592 24365 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211277 24365 13073 16 0 211261 0
vsize: 845108
[startup+120.016 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 10834 51 0 0 25 0 10 0 484604335 865390592 24575 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211277 24575 13073 16 0 211261 0
vsize: 845108
[startup+130.015 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 11745 51 0 0 25 0 10 0 484604335 865390592 24703 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211277 24703 13073 16 0 211261 0
vsize: 845108
[startup+140.017 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 12663 51 0 0 25 0 10 0 484604335 865390592 24835 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211277 24835 13073 16 0 211261 0
vsize: 845108
[startup+150.021 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 18088
Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 18031 0 1 0 13575 52 0 0 25 0 10 0 484604335 865390592 24964 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211277 24964 13073 16 0 211261 0
vsize: 845108
[startup+160.021 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18034 0 1 0 14479 53 0 0 25 0 10 0 484604335 865390592 25084 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211277 25084 13073 16 0 211261 0
vsize: 845108
[startup+170.022 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18034 0 1 0 15353 53 0 0 25 0 10 0 484604335 865390592 25179 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211277 25179 13073 16 0 211261 0
vsize: 845108
[startup+180.022 s]
Raw data (loadavg): 1.09 1.02 0.93 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18055 0 1 0 16250 54 0 0 25 0 10 0 484604335 865390592 27249 4294967295 134512640 134569956 3221224400 3221214744 1131310918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211277 27249 13073 16 0 211261 0
vsize: 845108
[startup+190.022 s]
Raw data (loadavg): 1.08 1.02 0.93 2/63 18088
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18055 0 1 0 17211 55 0 0 25 0 10 0 484604335 865390592 27250 4294967295 134512640 134569956 3221224400 3221214744 1131312158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211277 27250 13073 16 0 211261 0
vsize: 845108
[startup+200.023 s]
Raw data (loadavg): 1.23 1.06 0.94 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18100 0 1 0 18078 56 0 0 25 0 11 0 484604335 865918976 27382 4294967295 134512640 134569956 3221224400 3221214672 1131437683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211406 27382 13073 16 0 211390 0
vsize: 845624
[startup+210.022 s]
Raw data (loadavg): 1.19 1.05 0.94 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18101 0 1 0 19068 56 0 0 25 0 11 0 484604335 865918976 27392 4294967295 134512640 134569956 3221224400 3221214672 1131437566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211406 27392 13073 16 0 211390 0
vsize: 845624
[startup+220.023 s]
Raw data (loadavg): 1.16 1.05 0.94 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18101 0 1 0 20050 56 0 0 25 0 11 0 484604335 865918976 27398 4294967295 134512640 134569956 3221224400 3221214808 1131449604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27398 13073 16 0 211390 0
vsize: 845624
[startup+230.024 s]
Raw data (loadavg): 1.14 1.05 0.94 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18101 0 1 0 21038 56 0 0 25 0 11 0 484604335 865918976 27400 4294967295 134512640 134569956 3221224400 3221214696 1131311227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27400 13073 16 0 211390 0
vsize: 845624
[startup+240.024 s]
Raw data (loadavg): 1.19 1.06 0.95 2/64 18089
Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 18102 0 1 0 22026 57 0 0 25 0 11 0 484604335 869912576 28394 4294967295 134512640 134569956 3221224400 3221213456 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212381 28394 13073 16 0 212365 0
vsize: 849524
[startup+250.024 s]
Raw data (loadavg): 1.16 1.06 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 23010 57 0 0 25 0 11 0 484604335 869027840 28196 4294967295 134512640 134569956 3221224400 3221214752 1131625948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212165 28196 13073 16 0 212149 0
vsize: 848660
[startup+260.025 s]
Raw data (loadavg): 1.14 1.06 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 23995 57 0 0 25 0 11 0 484604335 865918976 27722 4294967295 134512640 134569956 3221224400 3221214880 1131647610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27722 13073 16 0 211390 0
vsize: 845624
[startup+270.026 s]
Raw data (loadavg): 1.12 1.06 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 24988 57 0 0 25 0 11 0 484604335 865918976 27722 4294967295 134512640 134569956 3221224400 3221214752 1131625944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27722 13073 16 0 211390 0
vsize: 845624
[startup+280.026 s]
Raw data (loadavg): 1.10 1.05 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 25978 57 0 0 25 0 11 0 484604335 865918976 27722 4294967295 134512640 134569956 3221224400 3221214696 1131311305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27722 13073 16 0 211390 0
vsize: 845624
[startup+290.026 s]
Raw data (loadavg): 1.08 1.05 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 26970 57 0 0 25 0 11 0 484604335 865918976 27722 4294967295 134512640 134569956 3221224400 3221214752 1131625839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27722 13073 16 0 211390 0
vsize: 845624
[startup+300.026 s]
Raw data (loadavg): 1.07 1.05 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 27957 58 0 0 25 0 11 0 484604335 865918976 27726 4294967295 134512640 134569956 3221224400 3221214656 1131468712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27726 13073 16 0 211390 0
vsize: 845624
[startup+310.027 s]
Raw data (loadavg): 1.06 1.05 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 28944 58 0 0 25 0 11 0 484604335 865918976 27730 4294967295 134512640 134569956 3221224400 3221214696 1131310894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27730 13073 16 0 211390 0
vsize: 845624
[startup+320.028 s]
Raw data (loadavg): 1.05 1.05 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 29931 58 0 0 25 0 11 0 484604335 865918976 27781 4294967295 134512640 134569956 3221224400 3221214752 1131625839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27781 13073 16 0 211390 0
vsize: 845624
[startup+330.028 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 30919 59 0 0 25 0 11 0 484604335 865918976 27811 4294967295 134512640 134569956 3221224400 3221214752 1131625955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27811 13073 16 0 211390 0
vsize: 845624
[startup+340.045 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 31909 59 0 0 25 0 11 0 484604335 865918976 27834 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27834 13073 16 0 211390 0
vsize: 845624
[startup+350.062 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 32897 59 0 0 25 0 11 0 484604335 865918976 27858 4294967295 134512640 134569956 3221224400 3221214752 1131625839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27858 13073 16 0 211390 0
vsize: 845624
[startup+360.061 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 33886 60 0 0 25 0 11 0 484604335 865918976 27887 4294967295 134512640 134569956 3221224400 3221214816 1131332502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27887 13073 16 0 211390 0
vsize: 845624
[startup+370.063 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 34872 60 0 0 25 0 11 0 484604335 865918976 27963 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 27963 13073 16 0 211390 0
vsize: 845624
[startup+380.064 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 35858 60 0 0 25 0 11 0 484604335 865918976 28032 4294967295 134512640 134569956 3221224400 3221214736 1131444503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28032 13073 16 0 211390 0
vsize: 845624
[startup+390.064 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 36847 61 0 0 25 0 11 0 484604335 865918976 28088 4294967295 134512640 134569956 3221224400 3221214840 1131440364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28088 13073 16 0 211390 0
vsize: 845624
[startup+400.064 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 37833 61 0 0 25 0 11 0 484604335 865918976 28145 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28145 13073 16 0 211390 0
vsize: 845624
[startup+410.065 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 38818 61 0 0 25 0 11 0 484604335 865918976 28201 4294967295 134512640 134569956 3221224400 3221214840 1131440367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28201 13073 16 0 211390 0
vsize: 845624
[startup+420.065 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 39800 62 0 0 25 0 11 0 484604335 865918976 28277 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28277 13073 16 0 211390 0
vsize: 845624
[startup+430.065 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 40784 62 0 0 25 0 11 0 484604335 865918976 28344 4294967295 134512640 134569956 3221224400 3221214696 1131310877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28344 13073 16 0 211390 0
vsize: 845624
[startup+440.065 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 41769 62 0 0 25 0 11 0 484604335 865918976 28420 4294967295 134512640 134569956 3221224400 3221214736 1131444518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28420 13073 16 0 211390 0
vsize: 845624
[startup+450.066 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 42753 63 0 0 25 0 11 0 484604335 865918976 28495 4294967295 134512640 134569956 3221224400 3221214696 1131312195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211406 28495 13073 16 0 211390 0
vsize: 845624
[startup+460.066 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 43734 63 0 0 25 0 11 0 484604335 865918976 28585 4294967295 134512640 134569956 3221224400 3221214840 1131440603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28585 13073 16 0 211390 0
vsize: 845624
[startup+470.067 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 44722 63 0 0 25 0 11 0 484604335 865918976 28648 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28648 13073 16 0 211390 0
vsize: 845624
[startup+480.067 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 45705 64 0 0 25 0 11 0 484604335 865918976 28750 4294967295 134512640 134569956 3221224400 3221214696 1131311305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28750 13073 16 0 211390 0
vsize: 845624
[startup+490.068 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 46690 64 0 0 25 0 11 0 484604335 865918976 28869 4294967295 134512640 134569956 3221224400 3221214752 1131625944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28869 13073 16 0 211390 0
vsize: 845624
[startup+500.069 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 47671 64 0 0 24 0 11 0 484604335 865918976 28985 4294967295 134512640 134569956 3221224400 3221214776 1131592977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 28985 13073 16 0 211390 0
vsize: 845624
[startup+510.069 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 48659 64 0 0 25 0 11 0 484604335 865918976 29058 4294967295 134512640 134569956 3221224400 3221214840 1131440432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29058 13073 16 0 211390 0
vsize: 845624
[startup+520.078 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 18103 0 1 0 49643 64 0 0 25 0 11 0 484604335 865918976 29144 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29144 13073 16 0 211390 0
vsize: 845624
[startup+530.079 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 50629 65 0 0 25 0 11 0 484604335 865918976 29216 4294967295 134512640 134569956 3221224400 3221214840 1131440610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29216 13073 16 0 211390 0
vsize: 845624
[startup+540.078 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 51617 65 0 0 25 0 11 0 484604335 865918976 29291 4294967295 134512640 134569956 3221224400 3221214752 1131625933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29291 13073 16 0 211390 0
vsize: 845624
[startup+550.079 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 52604 65 0 0 25 0 11 0 484604335 865918976 29350 4294967295 134512640 134569956 3221224400 3221214696 1131311860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29350 13073 16 0 211390 0
vsize: 845624
[startup+560.079 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 53592 65 0 0 25 0 11 0 484604335 865918976 29432 4294967295 134512640 134569956 3221224400 3221214752 1131625839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29432 13073 16 0 211390 0
vsize: 845624
[startup+570.081 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 54577 65 0 0 25 0 11 0 484604335 865918976 29515 4294967295 134512640 134569956 3221224400 3221214284 1131727308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29515 13073 16 0 211390 0
vsize: 845624
[startup+580.081 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 55565 66 0 0 25 0 11 0 484604335 865918976 29579 4294967295 134512640 134569956 3221224400 3221214752 1131625944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29579 13073 16 0 211390 0
vsize: 845624
[startup+590.081 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 56550 66 0 0 25 0 11 0 484604335 865918976 29656 4294967295 134512640 134569956 3221224400 3221214752 1131617812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29656 13073 16 0 211390 0
vsize: 845624
[startup+600.082 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 57538 66 0 0 25 0 11 0 484604335 865918976 29719 4294967295 134512640 134569956 3221224400 3221214840 1131440364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29719 13073 16 0 211390 0
vsize: 845624
[startup+610.082 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 58523 67 0 0 25 0 11 0 484604335 865918976 29797 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29797 13073 16 0 211390 0
vsize: 845624
[startup+620.084 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 59511 67 0 0 25 0 11 0 484604335 865918976 29848 4294967295 134512640 134569956 3221224400 3221214288 1131729504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29848 13073 16 0 211390 0
vsize: 845624
[startup+630.084 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 60496 67 0 0 25 0 11 0 484604335 865918976 29922 4294967295 134512640 134569956 3221224400 3221214792 1131396095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29922 13073 16 0 211390 0
vsize: 845624
[startup+640.083 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 61484 68 0 0 25 0 11 0 484604335 865918976 29977 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 29977 13073 16 0 211390 0
vsize: 845624
[startup+650.084 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 62466 68 0 0 25 0 11 0 484604335 865918976 30068 4294967295 134512640 134569956 3221224400 3221214728 1131444503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 30068 13073 16 0 211390 0
vsize: 845624
[startup+660.084 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 63454 68 0 0 25 0 11 0 484604335 865918976 30164 4294967295 134512640 134569956 3221224400 3221214744 1131625944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 30164 13073 16 0 211390 0
vsize: 845624
[startup+670.085 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 64437 69 0 0 25 0 11 0 484604335 865918976 30272 4294967295 134512640 134569956 3221224400 3221214672 1131310885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 30272 13073 16 0 211390 0
vsize: 845624
[startup+680.085 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 65419 69 0 0 25 0 11 0 484604335 865918976 30371 4294967295 134512640 134569956 3221224400 3221214672 1131312228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 30371 13073 16 0 211390 0
vsize: 845624
[startup+690.086 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 66399 70 0 0 25 0 11 0 484604335 865918976 30457 4294967295 134512640 134569956 3221224400 3221214672 1131312115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 30457 13073 16 0 211390 0
vsize: 845624
[startup+700.086 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 67382 70 0 0 25 0 11 0 484604335 865918976 30540 4294967295 134512640 134569956 3221224400 3221214672 1131312158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 30540 13073 16 0 211390 0
vsize: 845624
[startup+710.087 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 68359 70 0 0 25 0 11 0 484604335 865918976 30677 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 30677 13073 16 0 211390 0
vsize: 845624
[startup+720.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 69338 70 0 0 25 0 11 0 484604335 865918976 30788 4294967295 134512640 134569956 3221224400 3221214672 1131311466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 30788 13073 16 0 211390 0
vsize: 845624
[startup+730.088 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 70323 71 0 0 25 0 11 0 484604335 865918976 30850 4294967295 134512640 134569956 3221224400 3221214872 1131191079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 30850 13073 16 0 211390 0
vsize: 845624
[startup+740.089 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 71307 71 0 0 25 0 11 0 484604335 865918976 30952 4294967295 134512640 134569956 3221224400 3221214672 1131312102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 30952 13073 16 0 211390 0
vsize: 845624
[startup+750.094 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 72288 71 0 0 25 0 11 0 484604335 865918976 31041 4294967295 134512640 134569956 3221224400 3221214464 1131725487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 31041 13073 16 0 211390 0
vsize: 845624
[startup+760.094 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 73271 71 0 0 25 0 11 0 484604335 865918976 31114 4294967295 134512640 134569956 3221224400 3221214832 1131440440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 31114 13073 16 0 211390 0
vsize: 845624
[startup+770.103 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 74252 71 0 0 25 0 11 0 484604335 865918976 31259 4294967295 134512640 134569956 3221224400 3221214672 1131311474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 31259 13073 16 0 211390 0
vsize: 845624
[startup+780.103 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 75232 72 0 0 25 0 11 0 484604335 865918976 31389 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 31389 13073 16 0 211390 0
vsize: 845624
[startup+790.108 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 18103 0 1 0 76216 72 0 0 25 0 11 0 484604335 865918976 31487 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 31487 13073 16 0 211390 0
vsize: 845624
[startup+800.118 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 77194 73 0 0 25 0 11 0 484604335 865918976 31622 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 31622 13073 16 0 211390 0
vsize: 845624
[startup+810.141 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 78180 73 0 0 25 0 11 0 484604335 865918976 31722 4294967295 134512640 134569956 3221224400 3221214672 1131312102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 31722 13073 16 0 211390 0
vsize: 845624
[startup+820.142 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 79161 73 0 0 25 0 11 0 484604335 865918976 31812 4294967295 134512640 134569956 3221224400 3221214744 1131625836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 31812 13073 16 0 211390 0
vsize: 845624
[startup+830.143 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 80139 74 0 0 25 0 11 0 484604335 865918976 31904 4294967295 134512640 134569956 3221224400 3221214408 1131725479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 31904 13073 16 0 211390 0
vsize: 845624
[startup+840.142 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 81118 74 0 0 25 0 11 0 484604335 865918976 32029 4294967295 134512640 134569956 3221224400 3221214768 1131398848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 32029 13073 16 0 211390 0
vsize: 845624
[startup+850.144 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 82096 75 0 0 25 0 11 0 484604335 865918976 32152 4294967295 134512640 134569956 3221224400 3221214712 1131212347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 32152 13073 16 0 211390 0
vsize: 845624
[startup+860.144 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 83076 75 0 0 25 0 11 0 484604335 865918976 32268 4294967295 134512640 134569956 3221224400 3221214768 1131396194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 32268 13073 16 0 211390 0
vsize: 845624
[startup+870.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 84055 75 0 0 25 0 11 0 484604335 865918976 32415 4294967295 134512640 134569956 3221224400 3221214672 1131311290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 32415 13073 16 0 211390 0
vsize: 845624
[startup+880.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 85035 76 0 0 25 0 11 0 484604335 865918976 32526 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 32526 13073 16 0 211390 0
vsize: 845624
[startup+890.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 86011 76 0 0 25 0 11 0 484604335 865918976 32663 4294967295 134512640 134569956 3221224400 3221214768 1131396259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 32663 13073 16 0 211390 0
vsize: 845624
[startup+900.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 86983 77 0 0 25 0 11 0 484604335 865918976 32816 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 32816 13073 16 0 211390 0
vsize: 845624
[startup+910.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 87957 77 0 0 25 0 11 0 484604335 865918976 32955 4294967295 134512640 134569956 3221224400 3221214768 1131396312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 32955 13073 16 0 211390 0
vsize: 845624
[startup+920.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 88931 77 0 0 25 0 11 0 484604335 865918976 33120 4294967295 134512640 134569956 3221224400 3221214356 1131726544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 33120 13073 16 0 211390 0
vsize: 845624
[startup+930.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 89907 78 0 0 25 0 11 0 484604335 865918976 33268 4294967295 134512640 134569956 3221224400 3221214300 1131726608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 33268 13073 16 0 211390 0
vsize: 845624
[startup+940.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 90886 78 0 0 25 0 11 0 484604335 865918976 33396 4294967295 134512640 134569956 3221224400 3221214792 1131332608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 33396 13073 16 0 211390 0
vsize: 845624
[startup+950.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 91863 78 0 0 25 0 11 0 484604335 865918976 33549 4294967295 134512640 134569956 3221224400 3221214932 1131243555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 33549 13073 16 0 211390 0
vsize: 845624
[startup+960.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 92838 78 0 0 25 0 11 0 484604335 865918976 33682 4294967295 134512640 134569956 3221224400 3221214672 1131311377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 33682 13073 16 0 211390 0
vsize: 845624
[startup+970.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 93812 79 0 0 25 0 11 0 484604335 865918976 33811 4294967295 134512640 134569956 3221224400 3221214672 1131311474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 33811 13073 16 0 211390 0
vsize: 845624
[startup+980.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 94787 79 0 0 25 0 11 0 484604335 865918976 33985 4294967295 134512640 134569956 3221224400 3221214080 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 33985 13073 16 0 211390 0
vsize: 845624
[startup+990.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 95763 79 0 0 25 0 11 0 484604335 865918976 34175 4294967295 134512640 134569956 3221224400 3221214248 1131726519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 34175 13073 16 0 211390 0
vsize: 845624
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 96741 79 0 0 25 0 11 0 484604335 865918976 34353 4294967295 134512640 134569956 3221224400 3221214328 1085632301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 34353 13073 16 0 211390 0
vsize: 845624
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 97719 79 0 0 25 0 11 0 484604335 865918976 34480 4294967295 134512640 134569956 3221224400 3221214672 1131310873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 34480 13073 16 0 211390 0
vsize: 845624
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 98698 80 0 0 25 0 11 0 484604335 865918976 34593 4294967295 134512640 134569956 3221224400 3221214764 1131310860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 34593 13073 16 0 211390 0
vsize: 845624
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 99677 80 0 0 25 0 11 0 484604335 865918976 34745 4294967295 134512640 134569956 3221224400 3221214344 1131725506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 34745 13073 16 0 211390 0
vsize: 845624
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 100657 80 0 0 25 0 11 0 484604335 865918976 34868 4294967295 134512640 134569956 3221224400 3221214792 1131332426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 34868 13073 16 0 211390 0
vsize: 845624
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 101635 81 0 0 25 0 11 0 484604335 865918976 34971 4294967295 134512640 134569956 3221224400 3221214672 1131311474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 34971 13073 16 0 211390 0
vsize: 845624
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 18103 0 1 0 102612 81 0 0 25 0 11 0 484604335 865918976 35060 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 35060 13073 16 0 211390 0
vsize: 845624
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 103589 81 0 0 25 0 11 0 484604335 865918976 35146 4294967295 134512640 134569956 3221224400 3221214744 1131625944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 35146 13073 16 0 211390 0
vsize: 845624
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 104560 81 0 0 25 0 11 0 484604335 865918976 35311 4294967295 134512640 134569956 3221224400 3221214160 1131729628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 35311 13073 16 0 211390 0
vsize: 845624
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 105532 81 0 0 25 0 11 0 484604335 865918976 35490 4294967295 134512640 134569956 3221224400 3221214728 1131444514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 35490 13073 16 0 211390 0
vsize: 845624
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 106504 82 0 0 25 0 11 0 484604335 865918976 35677 4294967295 134512640 134569956 3221224400 3221214768 1131396194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 35677 13073 16 0 211390 0
vsize: 845624
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 107476 82 0 0 25 0 11 0 484604335 865918976 35864 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 35864 13073 16 0 211390 0
vsize: 845624
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 108449 82 0 0 25 0 11 0 484604335 865918976 36054 4294967295 134512640 134569956 3221224400 3221213944 1131726673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 36054 13073 16 0 211390 0
vsize: 845624
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 109423 82 0 0 25 0 11 0 484604335 865918976 36245 4294967295 134512640 134569956 3221224400 3221214672 1131311262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 36245 13073 16 0 211390 0
vsize: 845624
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 110399 83 0 0 24 0 11 0 484604335 865918976 36404 4294967295 134512640 134569956 3221224400 3221214500 1131725248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 36404 13073 16 0 211390 0
vsize: 845624
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 111376 83 0 0 25 0 11 0 484604335 865918976 36579 4294967295 134512640 134569956 3221224400 3221214744 1131625955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 36579 13073 16 0 211390 0
vsize: 845624
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 112350 84 0 0 25 0 11 0 484604335 865918976 36716 4294967295 134512640 134569956 3221224400 3221214672 1131310903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 36716 13073 16 0 211390 0
vsize: 845624
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 113324 84 0 0 25 0 11 0 484604335 865918976 36871 4294967295 134512640 134569956 3221224400 3221214168 1131726453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 36871 13073 16 0 211390 0
vsize: 845624
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 114297 84 0 0 24 0 11 0 484604335 865918976 37020 4294967295 134512640 134569956 3221224400 3221214764 1131310860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 37020 13073 16 0 211390 0
vsize: 845624
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 115269 85 0 0 24 0 11 0 484604335 865918976 37195 4294967295 134512640 134569956 3221224400 3221214912 1131243609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211406 37195 13073 16 0 211390 0
vsize: 845624
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 116242 86 0 0 24 0 11 0 484604335 865918976 37368 4294967295 134512640 134569956 3221224400 3221214672 1131310881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211406 37368 13073 16 0 211390 0
vsize: 845624
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 117220 86 0 0 25 0 11 0 484604335 865918976 37459 4294967295 134512640 134569956 3221224400 3221214768 1131396194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211406 37459 13073 16 0 211390 0
vsize: 845624
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 118197 86 0 0 25 0 11 0 484604335 865918976 37613 4294967295 134512640 134569956 3221224400 3221214672 1131311402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211406 37613 13073 16 0 211390 0
vsize: 845624
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 119179 86 0 0 25 0 11 0 484604335 865918976 37725 4294967295 134512640 134569956 3221224400 3221214672 1131312109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211406 37725 13073 16 0 211390 0
vsize: 845624
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18089
Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 120159 86 0 0 25 0 11 0 484604335 865918976 37783 4294967295 134512640 134569956 3221224400 3221214744 1131625836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211406 37783 13073 16 0 211390 0
vsize: 845624
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.33 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 18091
Raw data (stat): 18079 (java) Z 18078 24215 24214 0 -1 1036 18103 24109 1 0 120164 93 5189 66 24 0 1 0 484604335 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.33
CPU time (s): 1255.13
CPU user time (s): 1253.53
CPU system time (s): 1.60076
CPU usage (%): 101.194
Max. virtual memory (Kb): 849524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####