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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb
MD5SUM0ab24c5b60e18c0be832cc4080b37d61
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 6523
Biggest coefficient in the objective function 24535000678400
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 1761916844753634
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 4102681610158080
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint 384599747612655519
Number of bits of the biggest sum of numbers59
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.081987
Number of variables8869
Total number of constraints593
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 constraints593
Minimum length of a constraint11
Maximum length of a constraint6849

Trace number 23131

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-22 04:24:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10578 boxname=wulflinc27 idbench=814 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0ab24c5b60e18c0be832cc4080b37d61  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-boeing1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-boeing1.opb
IDLAUNCH: 10578
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        684612 kB
Buffers:         16896 kB
Cached:         309796 kB
SwapCached:        524 kB
Active:          44512 kB
Inactive:       284112 kB
HighTotal:      131008 kB
HighFree:        34048 kB
LowTotal:       903652 kB
LowFree:        650564 kB
SwapTotal:     2097892 kB
SwapFree:      2096420 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            15396 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 04:45:08 (client local time) WITH STATUS 143 IN 1242.59 SECONDS
stats: 10578 7 1242.59 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-boeing1.opb
c reading problem 
c [nbvar=8869]
c [nbconstr=593]
c time 28.34
c #vars     8869
c #clauses  571
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.35 0.74 0.83 2/54 4154
Raw data (stat): 4154 (runsolver) R 4153 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550815919 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): 0.45 0.74 0.83 2/63 4163
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 17982 0 1 0 886 40 0 0 25 0 10 0 550815919 853618688 19165 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208403 19165 13073 16 0 208387 0
vsize: 833612
[startup+20.0011 s]
Raw data (loadavg): 0.53 0.75 0.83 2/63 4163
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 17988 0 1 0 1739 41 0 0 25 0 10 0 550815919 856928256 20853 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209211 20853 13073 16 0 209195 0
vsize: 836844
[startup+30.0281 s]
Raw data (loadavg): 0.60 0.76 0.83 3/63 4163
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18012 0 1 0 2608 43 0 0 25 0 10 0 550815919 856895488 22294 4294967295 134512640 134569956 3221224400 3221214744 1131260101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209203 22294 13073 16 0 209187 0
vsize: 836812
[startup+40.0292 s]
Raw data (loadavg): 0.66 0.77 0.83 3/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18057 0 1 0 3540 43 0 0 25 0 11 0 550815919 858906624 24427 4294967295 134512640 134569956 3221224400 3221214396 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 24427 13073 16 0 209678 0
vsize: 838776
[startup+50.0467 s]
Raw data (loadavg): 0.71 0.77 0.83 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18058 0 1 0 4516 43 0 0 25 0 11 0 550815919 858025984 24363 4294967295 134512640 134569956 3221224400 3221214688 1131260646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24363 13073 16 0 209463 0
vsize: 837916
[startup+60.048 s]
Raw data (loadavg): 0.76 0.78 0.83 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18059 0 1 0 5502 44 0 0 25 0 11 0 550815919 858025984 24372 4294967295 134512640 134569956 3221224400 3221214688 1131260481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24372 13073 16 0 209463 0
vsize: 837916
[startup+70.0483 s]
Raw data (loadavg): 0.79 0.79 0.83 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18059 0 1 0 6492 44 0 0 25 0 11 0 550815919 858025984 24382 4294967295 134512640 134569956 3221224400 3221214688 1131260324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24382 13073 16 0 209463 0
vsize: 837916
[startup+80.0481 s]
Raw data (loadavg): 0.83 0.79 0.83 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18059 0 1 0 7485 44 0 0 25 0 11 0 550815919 858025984 24398 4294967295 134512640 134569956 3221224400 3221214688 1131260069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24398 13073 16 0 209463 0
vsize: 837916
[startup+90.0484 s]
Raw data (loadavg): 0.85 0.80 0.84 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18059 0 1 0 8477 44 0 0 25 0 11 0 550815919 858025984 24409 4294967295 134512640 134569956 3221224400 3221214688 1131260653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24409 13073 16 0 209463 0
vsize: 837916
[startup+100.049 s]
Raw data (loadavg): 0.87 0.81 0.84 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18059 0 1 0 9469 44 0 0 25 0 11 0 550815919 858025984 24414 4294967295 134512640 134569956 3221224400 3221214784 1131377145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24414 13073 16 0 209463 0
vsize: 837916
[startup+110.05 s]
Raw data (loadavg): 0.89 0.81 0.84 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 10462 44 0 0 25 0 11 0 550815919 858025984 24428 4294967295 134512640 134569956 3221224400 3221214688 1131260893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24428 13073 16 0 209463 0
vsize: 837916
[startup+120.051 s]
Raw data (loadavg): 0.91 0.82 0.84 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 11456 44 0 0 25 0 11 0 550815919 858025984 24440 4294967295 134512640 134569956 3221224400 3221214688 1131260633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24440 13073 16 0 209463 0
vsize: 837916
[startup+130.05 s]
Raw data (loadavg): 0.92 0.82 0.84 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 12450 44 0 0 25 0 11 0 550815919 858025984 24453 4294967295 134512640 134569956 3221224400 3221214728 1131228864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24453 13073 16 0 209463 0
vsize: 837916
[startup+140.05 s]
Raw data (loadavg): 0.93 0.83 0.84 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 13443 45 0 0 25 0 11 0 550815919 858025984 24455 4294967295 134512640 134569956 3221224400 3221214688 1131261319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24455 13073 16 0 209463 0
vsize: 837916
[startup+150.051 s]
Raw data (loadavg): 0.94 0.83 0.84 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 14438 45 0 0 25 0 11 0 550815919 858025984 24471 4294967295 134512640 134569956 3221224400 3221214688 1131260481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24471 13073 16 0 209463 0
vsize: 837916
[startup+160.052 s]
Raw data (loadavg): 0.95 0.84 0.84 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 15432 45 0 0 25 0 11 0 550815919 858025984 24473 4294967295 134512640 134569956 3221224400 3221214688 1131260481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24473 13073 16 0 209463 0
vsize: 837916
[startup+170.053 s]
Raw data (loadavg): 0.96 0.84 0.84 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 16424 45 0 0 25 0 11 0 550815919 858025984 24475 4294967295 134512640 134569956 3221224400 3221214784 1131376525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24475 13073 16 0 209463 0
vsize: 837916
[startup+180.053 s]
Raw data (loadavg): 0.96 0.85 0.84 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 17417 45 0 0 25 0 11 0 550815919 858025984 24486 4294967295 134512640 134569956 3221224400 3221214784 1131374488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24486 13073 16 0 209463 0
vsize: 837916
[startup+190.053 s]
Raw data (loadavg): 0.97 0.85 0.85 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 18410 45 0 0 25 0 11 0 550815919 858025984 24509 4294967295 134512640 134569956 3221224400 3221214688 1131260076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24509 13073 16 0 209463 0
vsize: 837916
[startup+200.053 s]
Raw data (loadavg): 0.97 0.86 0.85 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 19402 45 0 0 25 0 11 0 550815919 858025984 24514 4294967295 134512640 134569956 3221224400 3221214688 1131260436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24514 13073 16 0 209463 0
vsize: 837916
[startup+210.062 s]
Raw data (loadavg): 0.98 0.86 0.85 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 20395 45 0 0 25 0 11 0 550815919 858025984 24517 4294967295 134512640 134569956 3221224400 3221214688 1131260438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24517 13073 16 0 209463 0
vsize: 837916
[startup+220.099 s]
Raw data (loadavg): 0.98 0.86 0.85 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 21392 45 0 0 25 0 11 0 550815919 858025984 24542 4294967295 134512640 134569956 3221224400 3221214784 1131375506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24542 13073 16 0 209463 0
vsize: 837916
[startup+230.098 s]
Raw data (loadavg): 0.98 0.87 0.85 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 22388 46 0 0 25 0 11 0 550815919 858025984 24548 4294967295 134512640 134569956 3221224400 3221214688 1131260069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24548 13073 16 0 209463 0
vsize: 837916
[startup+240.099 s]
Raw data (loadavg): 0.98 0.87 0.85 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 23382 46 0 0 25 0 11 0 550815919 858025984 24551 4294967295 134512640 134569956 3221224400 3221214688 1131260103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24551 13073 16 0 209463 0
vsize: 837916
[startup+250.1 s]
Raw data (loadavg): 0.99 0.88 0.85 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 24369 46 0 0 25 0 11 0 550815919 858025984 24553 4294967295 134512640 134569956 3221224400 3221214688 1131261312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24553 13073 16 0 209463 0
vsize: 837916
[startup+260.101 s]
Raw data (loadavg): 0.99 0.88 0.85 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 25352 46 0 0 24 0 11 0 550815919 858025984 24573 4294967295 134512640 134569956 3221224400 3221214688 1131260679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24573 13073 16 0 209463 0
vsize: 837916
[startup+270.101 s]
Raw data (loadavg): 0.99 0.88 0.85 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 26337 47 0 0 25 0 11 0 550815919 858025984 24595 4294967295 134512640 134569956 3221224400 3221214784 1131375526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24595 13073 16 0 209463 0
vsize: 837916
[startup+280.101 s]
Raw data (loadavg): 0.99 0.89 0.85 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 27325 47 0 0 25 0 11 0 550815919 858025984 24628 4294967295 134512640 134569956 3221224400 3221214688 1131260481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24628 13073 16 0 209463 0
vsize: 837916
[startup+290.102 s]
Raw data (loadavg): 0.99 0.89 0.86 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 28315 48 0 0 25 0 11 0 550815919 858025984 24651 4294967295 134512640 134569956 3221224400 3221214784 1131374521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24651 13073 16 0 209463 0
vsize: 837916
[startup+300.103 s]
Raw data (loadavg): 0.99 0.89 0.86 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 29310 48 0 0 25 0 11 0 550815919 858025984 24666 4294967295 134512640 134569956 3221224400 3221214784 1131376525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24666 13073 16 0 209463 0
vsize: 837916
[startup+310.103 s]
Raw data (loadavg): 0.99 0.90 0.86 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 30300 48 0 0 25 0 11 0 550815919 858025984 24668 4294967295 134512640 134569956 3221224400 3221214688 1131260069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24668 13073 16 0 209463 0
vsize: 837916
[startup+320.104 s]
Raw data (loadavg): 0.99 0.90 0.86 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 31288 48 0 0 25 0 11 0 550815919 858025984 24693 4294967295 134512640 134569956 3221224400 3221214784 1131376525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24693 13073 16 0 209463 0
vsize: 837916
[startup+330.104 s]
Raw data (loadavg): 0.99 0.90 0.86 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 32275 48 0 0 25 0 11 0 550815919 858025984 24713 4294967295 134512640 134569956 3221224400 3221214688 1131260633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24713 13073 16 0 209463 0
vsize: 837916
[startup+340.109 s]
Raw data (loadavg): 0.99 0.90 0.86 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 33264 49 0 0 25 0 11 0 550815919 858025984 24738 4294967295 134512640 134569956 3221224400 3221214688 1131260532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24738 13073 16 0 209463 0
vsize: 837916
[startup+350.108 s]
Raw data (loadavg): 0.99 0.91 0.86 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 34254 49 0 0 25 0 11 0 550815919 858025984 24750 4294967295 134512640 134569956 3221224400 3221214640 1131260076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24750 13073 16 0 209463 0
vsize: 837916
[startup+360.11 s]
Raw data (loadavg): 0.99 0.91 0.86 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 35243 49 0 0 25 0 11 0 550815919 858025984 24768 4294967295 134512640 134569956 3221224400 3221214640 1131260481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24768 13073 16 0 209463 0
vsize: 837916
[startup+370.11 s]
Raw data (loadavg): 0.99 0.91 0.86 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 36232 49 0 0 25 0 11 0 550815919 858025984 24782 4294967295 134512640 134569956 3221224400 3221214736 1131374449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24782 13073 16 0 209463 0
vsize: 837916
[startup+380.11 s]
Raw data (loadavg): 0.99 0.91 0.86 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18060 0 1 0 37221 50 0 0 25 0 11 0 550815919 858025984 24803 4294967295 134512640 134569956 3221224400 3221214736 1131376525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24803 13073 16 0 209463 0
vsize: 837916
[startup+390.111 s]
Raw data (loadavg): 0.99 0.92 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 38210 50 0 0 25 0 11 0 550815919 858025984 24826 4294967295 134512640 134569956 3221224400 3221214736 1131375599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24826 13073 16 0 209463 0
vsize: 837916
[startup+400.128 s]
Raw data (loadavg): 0.99 0.92 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 39186 50 0 0 25 0 11 0 550815919 858025984 24840 4294967295 134512640 134569956 3221224400 3221214644 1131527683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 24840 13073 16 0 209463 0
vsize: 837916
[startup+410.128 s]
Raw data (loadavg): 0.99 0.92 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 40182 50 0 0 25 0 11 0 550815919 858025984 24841 4294967295 134512640 134569956 3221224400 3221214416 1131336903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209479 24841 13073 16 0 209463 0
vsize: 837916
[startup+420.128 s]
Raw data (loadavg): 0.99 0.92 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 41175 51 0 0 25 0 11 0 550815919 859070464 25080 4294967295 134512640 134569956 3221224400 3221214712 1131489419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25080 13073 16 0 209718 0
vsize: 838936
[startup+430.135 s]
Raw data (loadavg): 0.99 0.92 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 42170 51 0 0 25 0 11 0 550815919 859070464 25084 4294967295 134512640 134569956 3221224400 3221214664 1131626707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25084 13073 16 0 209718 0
vsize: 838936
[startup+440.136 s]
Raw data (loadavg): 0.99 0.93 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 43157 52 0 0 25 0 11 0 550815919 859070464 25085 4294967295 134512640 134569956 3221224400 3221214664 1131626714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25085 13073 16 0 209718 0
vsize: 838936
[startup+450.136 s]
Raw data (loadavg): 0.99 0.93 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 44144 52 0 0 25 0 11 0 550815919 859070464 25092 4294967295 134512640 134569956 3221224400 3221214656 1131626856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25092 13073 16 0 209718 0
vsize: 838936
[startup+460.137 s]
Raw data (loadavg): 0.99 0.93 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 45132 52 0 0 25 0 11 0 550815919 859070464 25114 4294967295 134512640 134569956 3221224400 3221214576 1131621860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25114 13073 16 0 209718 0
vsize: 838936
[startup+470.137 s]
Raw data (loadavg): 0.99 0.93 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 46118 52 0 0 25 0 11 0 550815919 859070464 25129 4294967295 134512640 134569956 3221224400 3221214656 1131626849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25129 13073 16 0 209718 0
vsize: 838936
[startup+480.137 s]
Raw data (loadavg): 0.99 0.93 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 47100 52 0 0 25 0 11 0 550815919 859070464 25148 4294967295 134512640 134569956 3221224400 3221214552 1131556278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25148 13073 16 0 209718 0
vsize: 838936
[startup+490.138 s]
Raw data (loadavg): 0.99 0.94 0.87 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 48079 53 0 0 25 0 11 0 550815919 859070464 25166 4294967295 134512640 134569956 3221224400 3221214600 1131260657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25166 13073 16 0 209718 0
vsize: 838936
[startup+500.139 s]
Raw data (loadavg): 0.99 0.94 0.88 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 49055 53 0 0 25 0 11 0 550815919 859070464 25196 4294967295 134512640 134569956 3221224400 3221214548 1131593139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25196 13073 16 0 209718 0
vsize: 838936
[startup+510.14 s]
Raw data (loadavg): 0.99 0.94 0.88 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 50028 54 0 0 25 0 11 0 550815919 859070464 25214 4294967295 134512640 134569956 3221224400 3221214728 1131444533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25214 13073 16 0 209718 0
vsize: 838936
[startup+520.141 s]
Raw data (loadavg): 0.99 0.94 0.88 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 50996 54 0 0 25 0 11 0 550815919 859070464 25305 4294967295 134512640 134569956 3221224400 3221214552 1131557830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209734 25305 13073 16 0 209718 0
vsize: 838936
[startup+530.141 s]
Raw data (loadavg): 0.99 0.94 0.88 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 51965 54 0 0 25 0 11 0 550815919 859066368 25349 4294967295 134512640 134569956 3221224400 3221214656 1131626696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 25349 13073 16 0 209717 0
vsize: 838932
[startup+540.142 s]
Raw data (loadavg): 0.99 0.94 0.88 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 52933 54 0 0 25 0 11 0 550815919 859066368 25432 4294967295 134512640 134569956 3221224400 3221214656 1131626718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 25432 13073 16 0 209717 0
vsize: 838932
[startup+550.142 s]
Raw data (loadavg): 0.99 0.94 0.88 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 53900 55 0 0 25 0 11 0 550815919 859066368 25511 4294967295 134512640 134569956 3221224400 3221214656 1131626707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 25511 13073 16 0 209717 0
vsize: 838932
[startup+560.143 s]
Raw data (loadavg): 0.99 0.95 0.88 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 54867 55 0 0 24 0 11 0 550815919 859066368 25619 4294967295 134512640 134569956 3221224400 3221214656 1131626700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 25619 13073 16 0 209717 0
vsize: 838932
[startup+570.143 s]
Raw data (loadavg): 0.99 0.95 0.88 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 55843 56 0 0 25 0 11 0 550815919 859066368 25692 4294967295 134512640 134569956 3221224400 3221214768 1131453863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 25692 13073 16 0 209717 0
vsize: 838932
[startup+580.144 s]
Raw data (loadavg): 0.99 0.95 0.88 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 56810 56 0 0 25 0 11 0 550815919 859066368 25797 4294967295 134512640 134569956 3221224400 3221214656 1131626704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 25797 13073 16 0 209717 0
vsize: 838932
[startup+590.144 s]
Raw data (loadavg): 0.99 0.95 0.88 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 57777 56 0 0 25 0 11 0 550815919 859066368 25903 4294967295 134512640 134569956 3221224400 3221214656 1131626700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 25903 13073 16 0 209717 0
vsize: 838932
[startup+600.144 s]
Raw data (loadavg): 0.99 0.95 0.89 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 58743 56 0 0 25 0 11 0 550815919 859066368 26021 4294967295 134512640 134569956 3221224400 3221214656 1131626704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 26021 13073 16 0 209717 0
vsize: 838932
[startup+610.145 s]
Raw data (loadavg): 0.99 0.95 0.89 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 59710 57 0 0 25 0 11 0 550815919 859066368 26119 4294967295 134512640 134569956 3221224400 3221214808 1131538791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 26119 13073 16 0 209717 0
vsize: 838932
[startup+620.146 s]
Raw data (loadavg): 0.99 0.95 0.89 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 60675 57 0 0 25 0 11 0 550815919 859066368 26225 4294967295 134512640 134569956 3221224400 3221214632 1131260641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 26225 13073 16 0 209717 0
vsize: 838932
[startup+630.145 s]
Raw data (loadavg): 0.99 0.95 0.89 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 61596 58 0 0 25 0 11 0 550815919 859066368 26479 4294967295 134512640 134569956 3221224400 3221214632 1131260986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 26479 13073 16 0 209717 0
vsize: 838932
[startup+640.147 s]
Raw data (loadavg): 0.99 0.95 0.89 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 62550 58 0 0 25 0 11 0 550815919 859066368 26746 4294967295 134512640 134569956 3221224400 3221214552 1131555288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 26746 13073 16 0 209717 0
vsize: 838932
[startup+650.147 s]
Raw data (loadavg): 0.99 0.95 0.89 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 63528 59 0 0 25 0 11 0 550815919 859066368 26979 4294967295 134512640 134569956 3221224400 3221214656 1131626849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 26979 13073 16 0 209717 0
vsize: 838932
[startup+660.148 s]
Raw data (loadavg): 0.99 0.96 0.89 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 64519 59 0 0 25 0 11 0 550815919 859066368 27061 4294967295 134512640 134569956 3221224400 3221214464 1131336201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27061 13073 16 0 209717 0
vsize: 838932
[startup+670.148 s]
Raw data (loadavg): 0.99 0.96 0.89 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 65510 59 0 0 25 0 11 0 550815919 859066368 27072 4294967295 134512640 134569956 3221224400 3221214632 1131260481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27072 13073 16 0 209717 0
vsize: 838932
[startup+680.149 s]
Raw data (loadavg): 0.99 0.96 0.89 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 66502 60 0 0 25 0 11 0 550815919 859066368 27087 4294967295 134512640 134569956 3221224400 3221214632 1131260481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27087 13073 16 0 209717 0
vsize: 838932
[startup+690.149 s]
Raw data (loadavg): 0.99 0.96 0.89 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 67495 60 0 0 25 0 11 0 550815919 859066368 27105 4294967295 134512640 134569956 3221224400 3221214656 1131626704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27105 13073 16 0 209717 0
vsize: 838932
[startup+700.15 s]
Raw data (loadavg): 0.99 0.96 0.90 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 68486 60 0 0 25 0 11 0 550815919 859066368 27136 4294967295 134512640 134569956 3221224400 3221214432 1131585993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27136 13073 16 0 209717 0
vsize: 838932
[startup+710.151 s]
Raw data (loadavg): 0.99 0.96 0.90 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 69479 61 0 0 25 0 11 0 550815919 859066368 27154 4294967295 134512640 134569956 3221224400 3221214552 1131557727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27154 13073 16 0 209717 0
vsize: 838932
[startup+720.151 s]
Raw data (loadavg): 0.99 0.96 0.90 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 70468 61 0 0 25 0 11 0 550815919 859066368 27176 4294967295 134512640 134569956 3221224400 3221214656 1131626714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27176 13073 16 0 209717 0
vsize: 838932
[startup+730.151 s]
Raw data (loadavg): 0.99 0.96 0.90 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 71460 61 0 0 25 0 11 0 550815919 859066368 27191 4294967295 134512640 134569956 3221224400 3221214656 1131626707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27191 13073 16 0 209717 0
vsize: 838932
[startup+740.151 s]
Raw data (loadavg): 0.99 0.96 0.90 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 72447 62 0 0 25 0 11 0 550815919 859066368 27225 4294967295 134512640 134569956 3221224400 3221214656 1131626856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27225 13073 16 0 209717 0
vsize: 838932
[startup+750.152 s]
Raw data (loadavg): 0.99 0.96 0.90 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 73435 62 0 0 25 0 11 0 550815919 859066368 27275 4294967295 134512640 134569956 3221224400 3221214464 1131335171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27275 13073 16 0 209717 0
vsize: 838932
[startup+760.154 s]
Raw data (loadavg): 0.99 0.97 0.90 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 74419 62 0 0 25 0 11 0 550815919 859066368 27312 4294967295 134512640 134569956 3221224400 3221214632 1131260481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27312 13073 16 0 209717 0
vsize: 838932
[startup+770.154 s]
Raw data (loadavg): 0.99 0.97 0.90 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 75410 62 0 0 25 0 11 0 550815919 859066368 27335 4294967295 134512640 134569956 3221224400 3221214464 1131591215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27335 13073 16 0 209717 0
vsize: 838932
[startup+780.154 s]
Raw data (loadavg): 0.99 0.97 0.90 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 76405 63 0 0 25 0 11 0 550815919 859066368 27353 4294967295 134512640 134569956 3221224400 3221214656 1131626849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27353 13073 16 0 209717 0
vsize: 838932
[startup+790.155 s]
Raw data (loadavg): 0.99 0.97 0.90 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 77400 63 0 0 25 0 11 0 550815919 859066368 27370 4294967295 134512640 134569956 3221224400 3221214656 1131626802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27370 13073 16 0 209717 0
vsize: 838932
[startup+800.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 78396 63 0 0 25 0 11 0 550815919 859066368 27378 4294967295 134512640 134569956 3221224400 3221214440 1131609459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27378 13073 16 0 209717 0
vsize: 838932
[startup+810.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 79385 64 0 0 25 0 11 0 550815919 859066368 27431 4294967295 134512640 134569956 3221224400 3221214728 1131375371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27431 13073 16 0 209717 0
vsize: 838932
[startup+820.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 80377 64 0 0 25 0 11 0 550815919 859066368 27451 4294967295 134512640 134569956 3221224400 3221214728 1131375510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27451 13073 16 0 209717 0
vsize: 838932
[startup+830.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 81372 64 0 0 25 0 11 0 550815919 859066368 27451 4294967295 134512640 134569956 3221224400 3221214552 1131556154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27451 13073 16 0 209717 0
vsize: 838932
[startup+840.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 82360 65 0 0 25 0 11 0 550815919 859066368 27467 4294967295 134512640 134569956 3221224400 3221214464 1131335333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27467 13073 16 0 209717 0
vsize: 838932
[startup+850.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 83352 65 0 0 25 0 11 0 550815919 859066368 27490 4294967295 134512640 134569956 3221224400 3221214632 1131260069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27490 13073 16 0 209717 0
vsize: 838932
[startup+860.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 84344 65 0 0 25 0 11 0 550815919 859066368 27509 4294967295 134512640 134569956 3221224400 3221214632 1131260069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27509 13073 16 0 209717 0
vsize: 838932
[startup+870.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 85336 66 0 0 25 0 11 0 550815919 859066368 27591 4294967295 134512640 134569956 3221224400 3221214656 1131626688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27591 13073 16 0 209717 0
vsize: 838932
[startup+880.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 86329 66 0 0 25 0 11 0 550815919 859066368 27635 4294967295 134512640 134569956 3221224400 3221214464 1131335889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27635 13073 16 0 209717 0
vsize: 838932
[startup+890.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 87323 66 0 0 25 0 11 0 550815919 859066368 27665 4294967295 134512640 134569956 3221224400 3221214656 1131626707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27665 13073 16 0 209717 0
vsize: 838932
[startup+900.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 88316 67 0 0 25 0 11 0 550815919 859066368 27684 4294967295 134512640 134569956 3221224400 3221214656 1131626688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27684 13073 16 0 209717 0
vsize: 838932
[startup+910.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 89311 67 0 0 25 0 11 0 550815919 859066368 27694 4294967295 134512640 134569956 3221224400 3221214656 1131626707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27694 13073 16 0 209717 0
vsize: 838932
[startup+920.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 90305 67 0 0 25 0 11 0 550815919 859066368 27695 4294967295 134512640 134569956 3221224400 3221214656 1131626718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209733 27695 13073 16 0 209717 0
vsize: 838932
[startup+930.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 91297 67 0 0 25 0 11 0 550815919 859066368 27711 4294967295 134512640 134569956 3221224400 3221214696 1131416895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27711 13073 16 0 209717 0
vsize: 838932
[startup+940.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 92289 68 0 0 25 0 11 0 550815919 859066368 27724 4294967295 134512640 134569956 3221224400 3221214656 1131626856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27724 13073 16 0 209717 0
vsize: 838932
[startup+950.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 93279 68 0 0 25 0 11 0 550815919 859066368 27736 4294967295 134512640 134569956 3221224400 3221214656 1131626849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27736 13073 16 0 209717 0
vsize: 838932
[startup+960.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 94270 68 0 0 25 0 11 0 550815919 859066368 27746 4294967295 134512640 134569956 3221224400 3221214224 1080216962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27746 13073 16 0 209717 0
vsize: 838932
[startup+970.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 95259 68 0 0 25 0 11 0 550815919 859066368 27765 4294967295 134512640 134569956 3221224400 3221214728 1131374456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27765 13073 16 0 209717 0
vsize: 838932
[startup+980.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 96244 69 0 0 25 0 11 0 550815919 859066368 27791 4294967295 134512640 134569956 3221224400 3221214728 1131375683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27791 13073 16 0 209717 0
vsize: 838932
[startup+990.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 97232 69 0 0 25 0 11 0 550815919 859066368 27817 4294967295 134512640 134569956 3221224400 3221214656 1131629447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27817 13073 16 0 209717 0
vsize: 838932
[startup+1000.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) S 4153 18865 18864 0 -1 0 18061 0 1 0 98219 69 0 0 25 0 11 0 550815919 859066368 27842 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27842 13073 16 0 209717 0
vsize: 838932
[startup+1010.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 99204 70 0 0 25 0 11 0 550815919 859066368 27873 4294967295 134512640 134569956 3221224400 3221214656 1131626704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27873 13073 16 0 209717 0
vsize: 838932
[startup+1020.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 100188 70 0 0 25 0 11 0 550815919 859066368 27925 4294967295 134512640 134569956 3221224400 3221214656 1131626707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27925 13073 16 0 209717 0
vsize: 838932
[startup+1030.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 101167 70 0 0 25 0 11 0 550815919 859066368 27967 4294967295 134512640 134569956 3221224400 3221214656 1131626714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 27967 13073 16 0 209717 0
vsize: 838932
[startup+1040.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 102148 70 0 0 25 0 11 0 550815919 859066368 28025 4294967295 134512640 134569956 3221224400 3221214520 1131510444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28025 13073 16 0 209717 0
vsize: 838932
[startup+1050.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 103125 71 0 0 25 0 11 0 550815919 859066368 28072 4294967295 134512640 134569956 3221224400 3221214632 1131260481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28072 13073 16 0 209717 0
vsize: 838932
[startup+1060.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 104104 71 0 0 25 0 11 0 550815919 859066368 28175 4294967295 134512640 134569956 3221224400 3221214456 1131260937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28175 13073 16 0 209717 0
vsize: 838932
[startup+1070.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 105082 72 0 0 25 0 11 0 550815919 859066368 28294 4294967295 134512640 134569956 3221224400 3221214728 1131375584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28294 13073 16 0 209717 0
vsize: 838932
[startup+1080.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 106062 72 0 0 25 0 11 0 550815919 859066368 28367 4294967295 134512640 134569956 3221224400 3221214656 1131626730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28367 13073 16 0 209717 0
vsize: 838932
[startup+1090.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 107036 72 0 0 25 0 11 0 550815919 859066368 28467 4294967295 134512640 134569956 3221224400 3221214552 1131554946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28467 13073 16 0 209717 0
vsize: 838932
[startup+1100.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 108014 73 0 0 24 0 11 0 550815919 859066368 28550 4294967295 134512640 134569956 3221224400 3221214632 1131260195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28550 13073 16 0 209717 0
vsize: 838932
[startup+1110.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 109001 74 0 0 25 0 11 0 550815919 859066368 28625 4294967295 134512640 134569956 3221224400 3221214728 1131375489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28625 13073 16 0 209717 0
vsize: 838932
[startup+1120.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 109992 74 0 0 25 0 11 0 550815919 859066368 28682 4294967295 134512640 134569956 3221224400 3221214632 1131260566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28682 13073 16 0 209717 0
vsize: 838932
[startup+1130.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 110985 74 0 0 25 0 11 0 550815919 859066368 28696 4294967295 134512640 134569956 3221224400 3221214728 1131374521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28696 13073 16 0 209717 0
vsize: 838932
[startup+1140.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 111974 75 0 0 25 0 11 0 550815919 859066368 28708 4294967295 134512640 134569956 3221224400 3221214464 1131336773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28708 13073 16 0 209717 0
vsize: 838932
[startup+1150.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 112964 75 0 0 25 0 11 0 550815919 859066368 28721 4294967295 134512640 134569956 3221224400 3221214728 1131375443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28721 13073 16 0 209717 0
vsize: 838932
[startup+1160.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 113953 76 0 0 25 0 11 0 550815919 859066368 28741 4294967295 134512640 134569956 3221224400 3221214632 1131260717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28741 13073 16 0 209717 0
vsize: 838932
[startup+1170.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 114940 76 0 0 25 0 11 0 550815919 859066368 28768 4294967295 134512640 134569956 3221224400 3221214624 1131582723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28768 13073 16 0 209717 0
vsize: 838932
[startup+1180.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 115925 77 0 0 25 0 11 0 550815919 859066368 28780 4294967295 134512640 134569956 3221224400 3221214728 1131374273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28780 13073 16 0 209717 0
vsize: 838932
[startup+1190.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 116907 78 0 0 25 0 11 0 550815919 859066368 28794 4294967295 134512640 134569956 3221224400 3221214632 1131260584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28794 13073 16 0 209717 0
vsize: 838932
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 117889 78 0 0 25 0 11 0 550815919 859066368 28836 4294967295 134512640 134569956 3221224400 3221214656 1131626849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28836 13073 16 0 209717 0
vsize: 838932
[startup+1210.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 118871 78 0 0 25 0 11 0 550815919 859066368 28854 4294967295 134512640 134569956 3221224400 3221214464 1131335243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28854 13073 16 0 209717 0
vsize: 838932
[startup+1220.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 119850 78 0 0 25 0 11 0 550815919 859066368 28918 4294967295 134512640 134569956 3221224400 3221214724 1131260044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28918 13073 16 0 209717 0
vsize: 838932
[startup+1230.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 4164
Raw data (stat): 4154 (java) R 4153 18865 18864 0 -1 0 18061 0 1 0 120832 78 0 0 25 0 11 0 550815919 859066368 28972 4294967295 134512640 134569956 3221224400 3221214648 1131582495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209733 28972 13073 16 0 209717 0
vsize: 838932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.29 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4166
Raw data (stat): 4154 (java) Z 4153 18865 18864 0 -1 1036 18061 13680 1 0 120837 83 3292 45 25 0 1 0 550815919 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.29
CPU time (s): 1242.59
CPU user time (s): 1241.3
CPU system time (s): 1.2958
CPU usage (%): 101
Max. virtual memory (Kb): 838936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####