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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb
MD5SUM438e2455c0b7b4efdea6a7e48ef2555a
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 9
Biggest coefficient in the objective function 9
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 45
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 900207
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 9508275
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.417936
Number of variables100
Total number of constraints121
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)120
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint90

Trace number 21389

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        636836 kB
Buffers:         27956 kB
Cached:         343500 kB
SwapCached:         28 kB
Active:         187816 kB
Inactive:       186404 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        636584 kB
SwapTotal:     2097892 kB
SwapFree:      2097796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6800 kB
Slab:            18056 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 23:57:57 (client local time) WITH STATUS 143 IN 1240.34 SECONDS
stats: 13321 7 1240.34 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-enigma.opb
c reading problem 
c [nbvar=100]
c [nbconstr=121]
c time 0.615
c #vars     100
c #clauses  42
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.84 0.94 0.90 2/54 32324
Raw data (stat): 32324 (runsolver) R 32323 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549092460 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18074 0 1 0 629 38 0 0 25 0 11 0 549092460 861376512 20567 4294967295 134512640 134569956 3221224400 3221214420 1131445683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210297 20567 13073 16 0 210281 0
vsize: 841188
[startup+20.0019 s]
Raw data (loadavg): 1.17 1.01 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 1583 38 0 0 24 0 11 0 549092460 860512256 20810 4294967295 134512640 134569956 3221224400 3221214600 1131318622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 20810 13073 16 0 210070 0
vsize: 840344
[startup+30.0025 s]
Raw data (loadavg): 1.14 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 2555 38 0 0 25 0 11 0 549092460 860512256 21054 4294967295 134512640 134569956 3221224400 3221214672 1131167745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 21054 13073 16 0 210070 0
vsize: 840344
[startup+40.0029 s]
Raw data (loadavg): 1.12 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 3532 39 0 0 25 0 11 0 549092460 860512256 21193 4294967295 134512640 134569956 3221224400 3221214776 1131292068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 21193 13073 16 0 210070 0
vsize: 840344
[startup+50.0042 s]
Raw data (loadavg): 1.10 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 4508 39 0 0 25 0 11 0 549092460 860512256 21362 4294967295 134512640 134569956 3221224400 3221214820 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 21362 13073 16 0 210070 0
vsize: 840344
[startup+60.005 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 5488 39 0 0 25 0 11 0 549092460 860512256 21528 4294967295 134512640 134569956 3221224400 3221214560 1131420130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 21528 13073 16 0 210070 0
vsize: 840344
[startup+70.0053 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 6477 39 0 0 25 0 11 0 549092460 860512256 21577 4294967295 134512640 134569956 3221224400 3221214496 1079721457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 21577 13073 16 0 210070 0
vsize: 840344
[startup+80.0066 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 7458 40 0 0 25 0 11 0 549092460 860512256 21669 4294967295 134512640 134569956 3221224400 3221214496 1131431493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 21669 13073 16 0 210070 0
vsize: 840344
[startup+90.0073 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 8444 40 0 0 25 0 11 0 549092460 860512256 21746 4294967295 134512640 134569956 3221224400 3221214472 1131437704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 21746 13073 16 0 210070 0
vsize: 840344
[startup+100.008 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 9434 40 0 0 25 0 11 0 549092460 860512256 21799 4294967295 134512640 134569956 3221224400 3221214552 1131260132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 21799 13073 16 0 210070 0
vsize: 840344
[startup+110.009 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 10417 40 0 0 25 0 11 0 549092460 860512256 21887 4294967295 134512640 134569956 3221224400 3221214720 1131203648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 21887 13073 16 0 210070 0
vsize: 840344
[startup+120.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 11398 40 0 0 25 0 11 0 549092460 860512256 21958 4294967295 134512640 134569956 3221224400 3221214512 1131203627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 21958 13073 16 0 210070 0
vsize: 840344
[startup+130.009 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 12383 40 0 0 25 0 11 0 549092460 860512256 22030 4294967295 134512640 134569956 3221224400 3221214336 1080217328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22030 13073 16 0 210070 0
vsize: 840344
[startup+140.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 13370 41 0 0 25 0 11 0 549092460 860512256 22062 4294967295 134512640 134569956 3221224400 3221214448 1131495017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22062 13073 16 0 210070 0
vsize: 840344
[startup+150.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 14358 41 0 0 25 0 11 0 549092460 860512256 22116 4294967295 134512640 134569956 3221224400 3221214448 1131494861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22116 13073 16 0 210070 0
vsize: 840344
[startup+160.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 15345 41 0 0 25 0 11 0 549092460 860512256 22227 4294967295 134512640 134569956 3221224400 3221214672 1131168285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22227 13073 16 0 210070 0
vsize: 840344
[startup+170.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 16333 42 0 0 25 0 11 0 549092460 860512256 22298 4294967295 134512640 134569956 3221224400 3221214496 1131431551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22298 13073 16 0 210070 0
vsize: 840344
[startup+180.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 17321 42 0 0 25 0 11 0 549092460 860512256 22357 4294967295 134512640 134569956 3221224400 3221214600 1131420239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22357 13073 16 0 210070 0
vsize: 840344
[startup+190.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 18309 42 0 0 25 0 11 0 549092460 860512256 22493 4294967295 134512640 134569956 3221224400 3221214312 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22493 13073 16 0 210070 0
vsize: 840344
[startup+200.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 19297 42 0 0 25 0 11 0 549092460 860512256 22589 4294967295 134512640 134569956 3221224400 3221214552 1131259646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22589 13073 16 0 210070 0
vsize: 840344
[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 20282 42 0 0 25 0 11 0 549092460 860512256 22677 4294967295 134512640 134569956 3221224400 3221214472 1131437604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22677 13073 16 0 210070 0
vsize: 840344
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 21264 43 0 0 25 0 11 0 549092460 860512256 22785 4294967295 134512640 134569956 3221224400 3221214936 1131341209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210086 22785 13073 16 0 210070 0
vsize: 840344
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 22249 43 0 0 25 0 11 0 549092460 860512256 22872 4294967295 134512640 134569956 3221224400 3221214496 1131431274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22872 13073 16 0 210070 0
vsize: 840344
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 23233 43 0 0 25 0 11 0 549092460 860512256 22928 4294967295 134512640 134569956 3221224400 3221214472 1131437750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 22928 13073 16 0 210070 0
vsize: 840344
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 24214 44 0 0 25 0 11 0 549092460 860512256 23021 4294967295 134512640 134569956 3221224400 3221214472 1131437983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23021 13073 16 0 210070 0
vsize: 840344
[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 25197 44 0 0 25 0 11 0 549092460 860512256 23094 4294967295 134512640 134569956 3221224400 3221214504 1079721468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23094 13073 16 0 210070 0
vsize: 840344
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 26175 45 0 0 25 0 11 0 549092460 860512256 23163 4294967295 134512640 134569956 3221224400 3221214672 1131168308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23163 13073 16 0 210070 0
vsize: 840344
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 27152 45 0 0 25 0 11 0 549092460 860512256 23260 4294967295 134512640 134569956 3221224400 3221214496 1131431428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23260 13073 16 0 210070 0
vsize: 840344
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 28129 45 0 0 25 0 11 0 549092460 860512256 23361 4294967295 134512640 134569956 3221224400 3221214512 1131203119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23361 13073 16 0 210070 0
vsize: 840344
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 29110 45 0 0 25 0 11 0 549092460 860512256 23433 4294967295 134512640 134569956 3221224400 3221214672 1131167745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23433 13073 16 0 210070 0
vsize: 840344
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 30087 46 0 0 25 0 11 0 549092460 860512256 23514 4294967295 134512640 134569956 3221224400 3221214776 1131290105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23514 13073 16 0 210070 0
vsize: 840344
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 31063 46 0 0 25 0 11 0 549092460 860512256 23626 4294967295 134512640 134569956 3221224400 3221214672 1131168364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23626 13073 16 0 210070 0
vsize: 840344
[startup+330.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 32038 46 0 0 25 0 11 0 549092460 860512256 23730 4294967295 134512640 134569956 3221224400 3221214552 1131259475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23730 13073 16 0 210070 0
vsize: 840344
[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 33009 47 0 0 25 0 11 0 549092460 860512256 23854 4294967295 134512640 134569956 3221224400 3221214672 1131168116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23854 13073 16 0 210070 0
vsize: 840344
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 0.92 3/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 33980 47 0 0 25 0 11 0 549092460 860512256 23971 4294967295 134512640 134569956 3221224400 3221214528 1131491276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 23971 13073 16 0 210070 0
vsize: 840344
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 34952 48 0 0 25 0 11 0 549092460 860512256 24087 4294967295 134512640 134569956 3221224400 3221214392 1131429655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 24087 13073 16 0 210070 0
vsize: 840344
[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 35923 48 0 0 25 0 11 0 549092460 860512256 24192 4294967295 134512640 134569956 3221224400 3221214672 1131168374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 24192 13073 16 0 210070 0
vsize: 840344
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 36892 48 0 0 25 0 11 0 549092460 860512256 24305 4294967295 134512640 134569956 3221224400 3221214552 1131260139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 24305 13073 16 0 210070 0
vsize: 840344
[startup+390.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 37862 49 0 0 25 0 11 0 549092460 860512256 24435 4294967295 134512640 134569956 3221224400 3221214672 1131168219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 24435 13073 16 0 210070 0
vsize: 840344
[startup+400.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 38831 49 0 0 25 0 11 0 549092460 860512256 24543 4294967295 134512640 134569956 3221224400 3221214544 1131195119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 24543 13073 16 0 210070 0
vsize: 840344
[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 39800 50 0 0 25 0 11 0 549092460 860512256 24649 4294967295 134512640 134569956 3221224400 3221214480 1131503364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 24649 13073 16 0 210070 0
vsize: 840344
[startup+420.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 40768 51 0 0 25 0 11 0 549092460 860512256 24761 4294967295 134512640 134569956 3221224400 3221214544 1131194881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 24761 13073 16 0 210070 0
vsize: 840344
[startup+430.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18075 0 1 0 41737 51 0 0 25 0 11 0 549092460 860512256 24875 4294967295 134512640 134569956 3221224400 3221214456 1079721536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210086 24875 13073 16 0 210070 0
vsize: 840344
[startup+440.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 42707 51 0 0 25 0 11 0 549092460 860512256 24981 4294967295 134512640 134569956 3221224400 3221214616 1131217987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 24981 13073 16 0 210070 0
vsize: 840344
[startup+450.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 43681 51 0 0 25 0 11 0 549092460 860512256 25084 4294967295 134512640 134569956 3221224400 3221214776 1131290105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 25084 13073 16 0 210070 0
vsize: 840344
[startup+460.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 44647 51 0 0 25 0 11 0 549092460 860512256 25207 4294967295 134512640 134569956 3221224400 3221214520 1131338507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 25207 13073 16 0 210070 0
vsize: 840344
[startup+470.044 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 45616 52 0 0 25 0 11 0 549092460 860512256 25307 4294967295 134512640 134569956 3221224400 3221214776 1131291186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 25307 13073 16 0 210070 0
vsize: 840344
[startup+480.044 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 46583 52 0 0 25 0 11 0 549092460 860512256 25417 4294967295 134512640 134569956 3221224400 3221214672 1131168354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 25417 13073 16 0 210070 0
vsize: 840344
[startup+490.045 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 47550 52 0 0 25 0 11 0 549092460 860512256 25514 4294967295 134512640 134569956 3221224400 3221214876 1130885189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 25514 13073 16 0 210070 0
vsize: 840344
[startup+500.046 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 48516 52 0 0 25 0 11 0 549092460 860512256 25606 4294967295 134512640 134569956 3221224400 3221214672 1131168409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 25606 13073 16 0 210070 0
vsize: 840344
[startup+510.046 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 49488 53 0 0 25 0 11 0 549092460 860512256 25712 4294967295 134512640 134569956 3221224400 3221214312 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 25712 13073 16 0 210070 0
vsize: 840344
[startup+520.047 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 50461 53 0 0 25 0 11 0 549092460 860512256 25795 4294967295 134512640 134569956 3221224400 3221214472 1131437623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 25795 13073 16 0 210070 0
vsize: 840344
[startup+530.047 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 51430 53 0 0 25 0 11 0 549092460 860512256 25913 4294967295 134512640 134569956 3221224400 3221214776 1131290105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 25913 13073 16 0 210070 0
vsize: 840344
[startup+540.048 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 52410 54 0 0 25 0 11 0 549092460 860512256 26001 4294967295 134512640 134569956 3221224400 3221214472 1131437582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26001 13073 16 0 210070 0
vsize: 840344
[startup+550.049 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 53388 54 0 0 25 0 11 0 549092460 860512256 26108 4294967295 134512640 134569956 3221224400 3221214448 1131494774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26108 13073 16 0 210070 0
vsize: 840344
[startup+560.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 54366 54 0 0 25 0 11 0 549092460 860512256 26203 4294967295 134512640 134569956 3221224400 3221214336 1080217364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26203 13073 16 0 210070 0
vsize: 840344
[startup+570.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 55345 55 0 0 25 0 11 0 549092460 860512256 26290 4294967295 134512640 134569956 3221224400 3221214512 1131203119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26290 13073 16 0 210070 0
vsize: 840344
[startup+580.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 56320 55 0 0 25 0 11 0 549092460 860512256 26371 4294967295 134512640 134569956 3221224400 3221214512 1131203235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26371 13073 16 0 210070 0
vsize: 840344
[startup+590.051 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 57299 55 0 0 25 0 11 0 549092460 860512256 26440 4294967295 134512640 134569956 3221224400 3221214488 1131437999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26440 13073 16 0 210070 0
vsize: 840344
[startup+600.052 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 58278 55 0 0 25 0 11 0 549092460 860512256 26530 4294967295 134512640 134569956 3221224400 3221214672 1131168368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26530 13073 16 0 210070 0
vsize: 840344
[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 59256 56 0 0 25 0 11 0 549092460 860512256 26595 4294967295 134512640 134569956 3221224400 3221214448 1131495266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210086 26595 13073 16 0 210070 0
vsize: 840344
[startup+620.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 60229 56 0 0 25 0 11 0 549092460 860512256 26679 4294967295 134512640 134569956 3221224400 3221214672 1131169007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26679 13073 16 0 210070 0
vsize: 840344
[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 61205 56 0 0 25 0 11 0 549092460 860512256 26757 4294967295 134512640 134569956 3221224400 3221214496 1131431404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26757 13073 16 0 210070 0
vsize: 840344
[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 62191 56 0 0 25 0 11 0 549092460 860512256 26801 4294967295 134512640 134569956 3221224400 3221214680 1131176991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26801 13073 16 0 210070 0
vsize: 840344
[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 63163 57 0 0 25 0 11 0 549092460 860512256 26887 4294967295 134512640 134569956 3221224400 3221214488 1131438364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26887 13073 16 0 210070 0
vsize: 840344
[startup+660.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 64143 57 0 0 25 0 11 0 549092460 860512256 26947 4294967295 134512640 134569956 3221224400 3221214476 1080216948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 26947 13073 16 0 210070 0
vsize: 840344
[startup+670.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 65124 57 0 0 25 0 11 0 549092460 860512256 27013 4294967295 134512640 134569956 3221224400 3221214552 1131259534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27013 13073 16 0 210070 0
vsize: 840344
[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 66107 57 0 0 25 0 11 0 549092460 860512256 27092 4294967295 134512640 134569956 3221224400 3221214472 1131437972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27092 13073 16 0 210070 0
vsize: 840344
[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 67085 58 0 0 25 0 11 0 549092460 860512256 27189 4294967295 134512640 134569956 3221224400 3221214672 1131168067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27189 13073 16 0 210070 0
vsize: 840344
[startup+700.055 s]
Raw data (loadavg): 1.00 1.00 0.93 3/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 68073 58 0 0 25 0 11 0 549092460 860512256 27247 4294967295 134512640 134569956 3221224400 3221214552 1131259657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27247 13073 16 0 210070 0
vsize: 840344
[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 69061 59 0 0 25 0 11 0 549092460 860512256 27321 4294967295 134512640 134569956 3221224400 3221214600 1131420169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27321 13073 16 0 210070 0
vsize: 840344
[startup+720.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 70052 59 0 0 25 0 11 0 549092460 860512256 27404 4294967295 134512640 134569956 3221224400 3221214624 1131200654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27404 13073 16 0 210070 0
vsize: 840344
[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 71038 59 0 0 25 0 11 0 549092460 860512256 27473 4294967295 134512640 134569956 3221224400 3221214672 1131168281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27473 13073 16 0 210070 0
vsize: 840344
[startup+740.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 72020 60 0 0 25 0 11 0 549092460 860512256 27545 4294967295 134512640 134569956 3221224400 3221214472 1131438066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27545 13073 16 0 210070 0
vsize: 840344
[startup+750.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 73005 60 0 0 25 0 11 0 549092460 860512256 27606 4294967295 134512640 134569956 3221224400 3221214472 1131437716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27606 13073 16 0 210070 0
vsize: 840344
[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 73990 60 0 0 25 0 11 0 549092460 860512256 27676 4294967295 134512640 134569956 3221224400 3221214672 1131168285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27676 13073 16 0 210070 0
vsize: 840344
[startup+770.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 74968 60 0 0 25 0 11 0 549092460 860512256 27752 4294967295 134512640 134569956 3221224400 3221214568 1131259522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27752 13073 16 0 210070 0
vsize: 840344
[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 75954 61 0 0 25 0 11 0 549092460 860512256 27799 4294967295 134512640 134569956 3221224400 3221214544 1131420189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27799 13073 16 0 210070 0
vsize: 840344
[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 0.93 3/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 76939 61 0 0 25 0 11 0 549092460 860512256 27851 4294967295 134512640 134569956 3221224400 3221214472 1131438047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210086 27851 13073 16 0 210070 0
vsize: 840344
[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 77924 61 0 0 25 0 11 0 549092460 860512256 27885 4294967295 134512640 134569956 3221224400 3221214672 1131168344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27885 13073 16 0 210070 0
vsize: 840344
[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 78908 61 0 0 25 0 11 0 549092460 860512256 27944 4294967295 134512640 134569956 3221224400 3221214472 1131437623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 27944 13073 16 0 210070 0
vsize: 840344
[startup+820.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 79894 62 0 0 24 0 11 0 549092460 860512256 28018 4294967295 134512640 134569956 3221224400 3221214448 1131496107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28018 13073 16 0 210070 0
vsize: 840344
[startup+830.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 80880 62 0 0 25 0 11 0 549092460 860512256 28087 4294967295 134512640 134569956 3221224400 3221214488 1131438364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28087 13073 16 0 210070 0
vsize: 840344
[startup+840.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 81862 62 0 0 25 0 11 0 549092460 860512256 28147 4294967295 134512640 134569956 3221224400 3221214512 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28147 13073 16 0 210070 0
vsize: 840344
[startup+850.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 82839 62 0 0 25 0 11 0 549092460 860512256 28216 4294967295 134512640 134569956 3221224400 3221214672 1131168294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28216 13073 16 0 210070 0
vsize: 840344
[startup+860.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 83820 62 0 0 25 0 11 0 549092460 860512256 28276 4294967295 134512640 134569956 3221224400 3221214640 1131591298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28276 13073 16 0 210070 0
vsize: 840344
[startup+870.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 84800 62 0 0 25 0 11 0 549092460 860512256 28363 4294967295 134512640 134569956 3221224400 3221214468 1079721525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28363 13073 16 0 210070 0
vsize: 840344
[startup+880.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 85774 63 0 0 25 0 11 0 549092460 860512256 28438 4294967295 134512640 134569956 3221224400 3221214672 1131168055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28438 13073 16 0 210070 0
vsize: 840344
[startup+890.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 86757 63 0 0 25 0 11 0 549092460 860512256 28502 4294967295 134512640 134569956 3221224400 3221214672 1131168285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28502 13073 16 0 210070 0
vsize: 840344
[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 87732 63 0 0 25 0 11 0 549092460 860512256 28588 4294967295 134512640 134569956 3221224400 3221214448 1131495086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28588 13073 16 0 210070 0
vsize: 840344
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 88712 64 0 0 25 0 11 0 549092460 860512256 28683 4294967295 134512640 134569956 3221224400 3221214504 1131483176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28683 13073 16 0 210070 0
vsize: 840344
[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 89692 64 0 0 25 0 11 0 549092460 860512256 28740 4294967295 134512640 134569956 3221224400 3221214592 1131139609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28740 13073 16 0 210070 0
vsize: 840344
[startup+930.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 90675 65 0 0 25 0 11 0 549092460 860512256 28815 4294967295 134512640 134569956 3221224400 3221214776 1131293488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28815 13073 16 0 210070 0
vsize: 840344
[startup+940.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 91659 65 0 0 25 0 11 0 549092460 860512256 28881 4294967295 134512640 134569956 3221224400 3221214624 1131201058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28881 13073 16 0 210070 0
vsize: 840344
[startup+950.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 92644 66 0 0 25 0 11 0 549092460 860512256 28930 4294967295 134512640 134569956 3221224400 3221214408 1080217044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28930 13073 16 0 210070 0
vsize: 840344
[startup+960.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 93625 66 0 0 25 0 11 0 549092460 860512256 28983 4294967295 134512640 134569956 3221224400 3221214672 1131168378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 28983 13073 16 0 210070 0
vsize: 840344
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 94600 67 0 0 25 0 11 0 549092460 860512256 29062 4294967295 134512640 134569956 3221224400 3221214776 1131290105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29062 13073 16 0 210070 0
vsize: 840344
[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 95579 67 0 0 25 0 11 0 549092460 860512256 29146 4294967295 134512640 134569956 3221224400 3221214472 1131437993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29146 13073 16 0 210070 0
vsize: 840344
[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 96558 68 0 0 25 0 11 0 549092460 860512256 29219 4294967295 134512640 134569956 3221224400 3221214600 1131418504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29219 13073 16 0 210070 0
vsize: 840344
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 97536 68 0 0 25 0 11 0 549092460 860512256 29298 4294967295 134512640 134569956 3221224400 3221214400 1080217037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29298 13073 16 0 210070 0
vsize: 840344
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 98515 68 0 0 25 0 11 0 549092460 860512256 29379 4294967295 134512640 134569956 3221224400 3221214680 1131176636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29379 13073 16 0 210070 0
vsize: 840344
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 99498 69 0 0 25 0 11 0 549092460 860512256 29441 4294967295 134512640 134569956 3221224400 3221214520 1131338481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29441 13073 16 0 210070 0
vsize: 840344
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 100467 69 0 0 24 0 11 0 549092460 860512256 29535 4294967295 134512640 134569956 3221224400 3221214676 1131284019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29535 13073 16 0 210070 0
vsize: 840344
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 101441 69 0 0 25 0 11 0 549092460 860512256 29641 4294967295 134512640 134569956 3221224400 3221214672 1131168394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29641 13073 16 0 210070 0
vsize: 840344
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 102416 70 0 0 25 0 11 0 549092460 860512256 29733 4294967295 134512640 134569956 3221224400 3221214624 1131200554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29733 13073 16 0 210070 0
vsize: 840344
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 103394 70 0 0 25 0 11 0 549092460 860512256 29828 4294967295 134512640 134569956 3221224400 3221214552 1131259336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29828 13073 16 0 210070 0
vsize: 840344
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) S 32323 11931 11930 0 -1 0 18076 0 1 0 104372 71 0 0 25 0 11 0 549092460 860512256 29893 4294967295 134512640 134569956 3221224400 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29893 13073 16 0 210070 0
vsize: 840344
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 105351 71 0 0 25 0 11 0 549092460 860512256 29963 4294967295 134512640 134569956 3221224400 3221214312 1080217199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 29963 13073 16 0 210070 0
vsize: 840344
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 106326 72 0 0 25 0 11 0 549092460 860512256 30072 4294967295 134512640 134569956 3221224400 3221214384 1131437782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30072 13073 16 0 210070 0
vsize: 840344
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 107305 72 0 0 25 0 11 0 549092460 860512256 30134 4294967295 134512640 134569956 3221224400 3221214672 1131168147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30134 13073 16 0 210070 0
vsize: 840344
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 108284 72 0 0 25 0 11 0 549092460 860512256 30202 4294967295 134512640 134569956 3221224400 3221214680 1131175974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30202 13073 16 0 210070 0
vsize: 840344
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 109264 72 0 0 25 0 11 0 549092460 860512256 30281 4294967295 134512640 134569956 3221224400 3221214592 1131203117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30281 13073 16 0 210070 0
vsize: 840344
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 110237 72 0 0 25 0 11 0 549092460 860512256 30384 4294967295 134512640 134569956 3221224400 3221214344 1080217273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30384 13073 16 0 210070 0
vsize: 840344
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 111218 73 0 0 25 0 11 0 549092460 860512256 30445 4294967295 134512640 134569956 3221224400 3221214980 1130883392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30445 13073 16 0 210070 0
vsize: 840344
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 112207 73 0 0 25 0 11 0 549092460 860512256 30486 4294967295 134512640 134569956 3221224400 3221214504 1131483201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30486 13073 16 0 210070 0
vsize: 840344
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 113187 74 0 0 25 0 11 0 549092460 860512256 30556 4294967295 134512640 134569956 3221224400 3221214448 1131494203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30556 13073 16 0 210070 0
vsize: 840344
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 114173 74 0 0 25 0 11 0 549092460 860512256 30603 4294967295 134512640 134569956 3221224400 3221214672 1131168116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30603 13073 16 0 210070 0
vsize: 840344
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 115153 74 0 0 25 0 11 0 549092460 860512256 30661 4294967295 134512640 134569956 3221224400 3221214496 1131431371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30661 13073 16 0 210070 0
vsize: 840344
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 116138 74 0 0 25 0 11 0 549092460 860512256 30709 4294967295 134512640 134569956 3221224400 3221214312 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30709 13073 16 0 210070 0
vsize: 840344
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 117123 74 0 0 25 0 11 0 549092460 860512256 30749 4294967295 134512640 134569956 3221224400 3221214672 1131168213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30749 13073 16 0 210070 0
vsize: 840344
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 118103 75 0 0 25 0 11 0 549092460 860512256 30805 4294967295 134512640 134569956 3221224400 3221214672 1131168220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30805 13073 16 0 210070 0
vsize: 840344
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 119084 75 0 0 25 0 11 0 549092460 860512256 30858 4294967295 134512640 134569956 3221224400 3221214448 1131495017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30858 13073 16 0 210070 0
vsize: 840344
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32334
Raw data (stat): 32324 (java) R 32323 11931 11930 0 -1 0 18076 0 1 0 120065 75 0 0 25 0 11 0 549092460 860512256 30934 4294967295 134512640 134569956 3221224400 3221214468 1079721525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210086 30934 13073 16 0 210070 0
vsize: 840344
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 32336
Raw data (stat): 32324 (java) Z 32323 11931 11930 0 -1 1036 18076 19299 1 0 120067 81 3834 50 25 0 1 0 549092460 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): 1230.16
CPU time (s): 1240.34
CPU user time (s): 1239.02
CPU system time (s): 1.3228
CPU usage (%): 100.828
Max. virtual memory (Kb): 841188
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####