Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04l.opb
MD5SUM96cffa4027013d4e1e663a2c8e2c78bc
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 42360
Biggest coefficient in the objective function 1930952704000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 425698145420625
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 1930952704000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 425698145420625
Number of bits of the biggest sum of numbers49
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.365943
Number of variables42360
Total number of constraints352
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 constraints352
Minimum length of a constraint20
Maximum length of a constraint1680

Trace number 19550

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        731856 kB
Buffers:         30948 kB
Cached:         246988 kB
SwapCached:        524 kB
Active:         129524 kB
Inactive:       150332 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        731604 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            17256 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 19:38:42 (client local time) WITH STATUS 143 IN 1261.42 SECONDS
stats: 16402 7 1261.42 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-ship04l.opb
c reading problem 
c [nbvar=42360]
c [nbconstr=352]
c time 510.507
c #vars     42360
c #clauses  606
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.59 0.83 0.86 2/54 14941
Raw data (stat): 14941 (runsolver) R 14940 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547534348 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.65 0.84 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 872 42 0 0 25 0 10 0 547534348 853671936 19307 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 19307 13073 16 0 208400 0
vsize: 833664
[startup+20.0011 s]
Raw data (loadavg): 0.71 0.84 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 1759 42 0 0 25 0 10 0 547534348 854556672 19900 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 19900 13073 16 0 208616 0
vsize: 834528
[startup+30.0014 s]
Raw data (loadavg): 0.75 0.85 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 2661 42 0 0 25 0 10 0 547534348 854556672 20262 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 20262 13073 16 0 208616 0
vsize: 834528
[startup+40.0012 s]
Raw data (loadavg): 0.79 0.85 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 3590 42 0 0 25 0 10 0 547534348 854556672 20496 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 20496 13073 16 0 208616 0
vsize: 834528
[startup+50.0022 s]
Raw data (loadavg): 0.82 0.86 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 4522 42 0 0 25 0 10 0 547534348 854556672 20614 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 20614 13073 16 0 208616 0
vsize: 834528
[startup+60.0025 s]
Raw data (loadavg): 0.85 0.86 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 5455 42 0 0 25 0 10 0 547534348 854556672 20712 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 20712 13073 16 0 208616 0
vsize: 834528
[startup+70.0034 s]
Raw data (loadavg): 0.87 0.86 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 6397 42 0 0 25 0 10 0 547534348 854556672 20952 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 20952 13073 16 0 208616 0
vsize: 834528
[startup+80.0046 s]
Raw data (loadavg): 0.89 0.87 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 7341 43 0 0 24 0 10 0 547534348 854556672 21036 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21036 13073 16 0 208616 0
vsize: 834528
[startup+90.0048 s]
Raw data (loadavg): 0.91 0.87 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 8290 43 0 0 25 0 10 0 547534348 854556672 21107 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21107 13073 16 0 208616 0
vsize: 834528
[startup+100.004 s]
Raw data (loadavg): 0.92 0.88 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 9239 43 0 0 25 0 10 0 547534348 854556672 21174 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21174 13073 16 0 208616 0
vsize: 834528
[startup+110.006 s]
Raw data (loadavg): 0.93 0.88 0.87 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 10188 43 0 0 25 0 10 0 547534348 854556672 21236 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21236 13073 16 0 208616 0
vsize: 834528
[startup+120.006 s]
Raw data (loadavg): 0.94 0.88 0.88 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 11134 43 0 0 25 0 10 0 547534348 854556672 21299 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21299 13073 16 0 208616 0
vsize: 834528
[startup+130.006 s]
Raw data (loadavg): 0.95 0.89 0.88 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 12084 43 0 0 25 0 10 0 547534348 854556672 21355 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21355 13073 16 0 208616 0
vsize: 834528
[startup+140.007 s]
Raw data (loadavg): 0.96 0.89 0.88 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 13033 43 0 0 25 0 10 0 547534348 854556672 21409 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21409 13073 16 0 208616 0
vsize: 834528
[startup+150.007 s]
Raw data (loadavg): 0.96 0.89 0.88 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 13982 43 0 0 25 0 10 0 547534348 854556672 21461 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21461 13073 16 0 208616 0
vsize: 834528
[startup+160.008 s]
Raw data (loadavg): 0.97 0.90 0.88 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 14928 43 0 0 25 0 10 0 547534348 854556672 21514 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21514 13073 16 0 208616 0
vsize: 834528
[startup+170.008 s]
Raw data (loadavg): 0.97 0.90 0.88 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 15872 43 0 0 25 0 10 0 547534348 854556672 21561 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21561 13073 16 0 208616 0
vsize: 834528
[startup+180.008 s]
Raw data (loadavg): 0.98 0.90 0.88 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 16797 44 0 0 25 0 10 0 547534348 854556672 21607 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21607 13073 16 0 208616 0
vsize: 834528
[startup+190.009 s]
Raw data (loadavg): 0.98 0.90 0.88 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 17727 44 0 0 25 0 10 0 547534348 854556672 21908 4294967295 134512640 134569956 3221224400 3221214224 1076461259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21908 13073 16 0 208616 0
vsize: 834528
[startup+200.009 s]
Raw data (loadavg): 0.98 0.91 0.88 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 18672 44 0 0 25 0 10 0 547534348 854556672 21951 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21951 13073 16 0 208616 0
vsize: 834528
[startup+210.009 s]
Raw data (loadavg): 0.98 0.91 0.88 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 19618 44 0 0 25 0 10 0 547534348 854556672 21994 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21994 13073 16 0 208616 0
vsize: 834528
[startup+220.01 s]
Raw data (loadavg): 0.99 0.91 0.89 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 20559 44 0 0 24 0 10 0 547534348 854556672 22038 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22038 13073 16 0 208616 0
vsize: 834528
[startup+230.011 s]
Raw data (loadavg): 0.99 0.91 0.89 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 21503 44 0 0 25 0 10 0 547534348 854556672 22078 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22078 13073 16 0 208616 0
vsize: 834528
[startup+240.012 s]
Raw data (loadavg): 0.99 0.92 0.89 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 22447 44 0 0 25 0 10 0 547534348 854556672 22117 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22117 13073 16 0 208616 0
vsize: 834528
[startup+250.012 s]
Raw data (loadavg): 0.99 0.92 0.89 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 23390 44 0 0 25 0 10 0 547534348 854556672 22155 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22155 13073 16 0 208616 0
vsize: 834528
[startup+260.013 s]
Raw data (loadavg): 0.99 0.92 0.89 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 24333 44 0 0 25 0 10 0 547534348 854556672 22192 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22192 13073 16 0 208616 0
vsize: 834528
[startup+270.014 s]
Raw data (loadavg): 0.99 0.92 0.89 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 25275 44 0 0 25 0 10 0 547534348 854556672 22229 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22229 13073 16 0 208616 0
vsize: 834528
[startup+280.017 s]
Raw data (loadavg): 0.99 0.92 0.89 2/63 14950
Raw data (stat): 14941 (java) S 14940 28546 28545 0 -1 0 17986 0 1 0 26215 44 0 0 25 0 10 0 547534348 854556672 22265 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22265 13073 16 0 208616 0
vsize: 834528
[startup+290.019 s]
Raw data (loadavg): 0.99 0.93 0.89 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 27155 45 0 0 24 0 10 0 547534348 854556672 22302 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22302 13073 16 0 208616 0
vsize: 834528
[startup+300.019 s]
Raw data (loadavg): 0.99 0.93 0.89 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 28096 45 0 0 25 0 10 0 547534348 854556672 22337 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22337 13073 16 0 208616 0
vsize: 834528
[startup+310.019 s]
Raw data (loadavg): 0.99 0.93 0.89 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 29036 45 0 0 25 0 10 0 547534348 854556672 22370 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22370 13073 16 0 208616 0
vsize: 834528
[startup+320.019 s]
Raw data (loadavg): 0.99 0.93 0.90 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 29976 45 0 0 25 0 10 0 547534348 854556672 22404 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22404 13073 16 0 208616 0
vsize: 834528
[startup+330.021 s]
Raw data (loadavg): 0.99 0.93 0.90 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 30915 45 0 0 25 0 10 0 547534348 854556672 22436 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22436 13073 16 0 208616 0
vsize: 834528
[startup+340.021 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 31854 46 0 0 25 0 10 0 547534348 854556672 22469 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22469 13073 16 0 208616 0
vsize: 834528
[startup+350.021 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 32793 46 0 0 25 0 10 0 547534348 854556672 22501 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22501 13073 16 0 208616 0
vsize: 834528
[startup+360.023 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 33731 46 0 0 25 0 10 0 547534348 854556672 22533 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22533 13073 16 0 208616 0
vsize: 834528
[startup+370.023 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 34668 46 0 0 25 0 10 0 547534348 854556672 22563 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22563 13073 16 0 208616 0
vsize: 834528
[startup+380.024 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 35606 47 0 0 25 0 10 0 547534348 854556672 22594 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22594 13073 16 0 208616 0
vsize: 834528
[startup+390.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 36542 47 0 0 25 0 10 0 547534348 854556672 22624 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22624 13073 16 0 208616 0
vsize: 834528
[startup+400.024 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 37478 47 0 0 25 0 10 0 547534348 854556672 22653 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22653 13073 16 0 208616 0
vsize: 834528
[startup+410.025 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 38415 47 0 0 25 0 10 0 547534348 854556672 22682 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22682 13073 16 0 208616 0
vsize: 834528
[startup+420.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 39351 47 0 0 25 0 10 0 547534348 854556672 22711 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22711 13073 16 0 208616 0
vsize: 834528
[startup+430.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 14950
Raw data (stat): 14941 (java) S 14940 28546 28545 0 -1 0 17986 0 1 0 40283 48 0 0 25 0 10 0 547534348 854556672 22740 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22740 13073 16 0 208616 0
vsize: 834528
[startup+440.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 41217 48 0 0 24 0 10 0 547534348 854556672 22769 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22769 13073 16 0 208616 0
vsize: 834528
[startup+450.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 42151 48 0 0 24 0 10 0 547534348 854556672 22797 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22797 13073 16 0 208616 0
vsize: 834528
[startup+460.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 43084 48 0 0 16 0 10 0 547534348 854556672 22825 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22825 13073 16 0 208616 0
vsize: 834528
[startup+470.032 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 44018 48 0 0 24 0 10 0 547534348 854556672 22852 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 22852 13073 16 0 208616 0
vsize: 834528
[startup+480.033 s]
Raw data (loadavg): 1.07 0.97 0.91 2/63 14950
Raw data (stat): 14941 (java) S 14940 28546 28545 0 -1 0 17986 0 1 0 44951 48 0 0 25 0 10 0 547534348 854556672 22877 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22877 13073 16 0 208616 0
vsize: 834528
[startup+490.034 s]
Raw data (loadavg): 1.06 0.97 0.91 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17986 0 1 0 45886 49 0 0 25 0 10 0 547534348 854556672 22903 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 22903 13073 16 0 208616 0
vsize: 834528
[startup+500.034 s]
Raw data (loadavg): 1.05 0.97 0.91 3/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 17994 0 1 0 46809 49 0 0 25 0 10 0 547534348 858828800 23751 4294967295 134512640 134569956 3221224400 3221214312 1130894939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209675 23751 13073 16 0 209659 0
vsize: 838700
[startup+510.034 s]
Raw data (loadavg): 1.27 1.02 0.93 3/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18007 0 1 0 47602 51 0 0 25 0 10 0 547534348 873549824 29776 4294967295 134512640 134569956 3221224400 3221214216 1130918311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29776 13073 16 0 213253 0
vsize: 853076
[startup+520.035 s]
Raw data (loadavg): 1.30 1.04 0.94 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18058 0 1 0 48474 52 0 0 25 0 10 0 547534348 876011520 35059 4294967295 134512640 134569956 3221224400 3221214752 1131320229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213870 35059 13073 16 0 213854 0
vsize: 855480
[startup+530.036 s]
Raw data (loadavg): 1.26 1.03 0.94 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18058 0 1 0 49471 52 0 0 25 0 10 0 547534348 876011520 35061 4294967295 134512640 134569956 3221224400 3221214840 1131398072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213870 35061 13073 16 0 213854 0
vsize: 855480
[startup+540.037 s]
Raw data (loadavg): 1.22 1.03 0.94 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18058 0 1 0 50466 53 0 0 25 0 10 0 547534348 869867520 33585 4294967295 134512640 134569956 3221224400 3221214752 1131320896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212370 33585 13073 16 0 212354 0
vsize: 849480
[startup+550.037 s]
Raw data (loadavg): 1.18 1.03 0.94 2/63 14950
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18058 0 1 0 51462 53 0 0 25 0 10 0 547534348 869867520 33586 4294967295 134512640 134569956 3221224400 3221214824 1131400078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212370 33586 13073 16 0 212354 0
vsize: 849480
[startup+560.036 s]
Raw data (loadavg): 1.23 1.04 0.94 4/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18103 0 1 0 52445 53 0 0 25 0 11 0 547534348 870395904 33678 4294967295 134512640 134569956 3221224400 3221214656 1130893503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212499 33678 13073 16 0 212483 0
vsize: 849996
[startup+570.036 s]
Raw data (loadavg): 1.27 1.06 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18105 0 1 0 53327 53 0 0 25 0 11 0 547534348 880816128 36132 4294967295 134512640 134569956 3221224400 3221214608 1131697840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215043 36132 13073 16 0 215027 0
vsize: 860172
[startup+580.037 s]
Raw data (loadavg): 1.23 1.06 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 54322 54 0 0 25 0 11 0 547534348 870264832 33736 4294967295 134512640 134569956 3221224400 3221214608 1131726721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33736 13073 16 0 212451 0
vsize: 849868
[startup+590.037 s]
Raw data (loadavg): 1.27 1.07 0.95 3/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 55292 54 0 0 25 0 11 0 547534348 870264832 33740 4294967295 134512640 134569956 3221224400 3221214744 1131705582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33740 13073 16 0 212451 0
vsize: 849868
[startup+600.037 s]
Raw data (loadavg): 1.23 1.07 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 56287 54 0 0 25 0 11 0 547534348 870264832 33755 4294967295 134512640 134569956 3221224400 3221214592 1131697840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33755 13073 16 0 212451 0
vsize: 849868
[startup+610.038 s]
Raw data (loadavg): 1.20 1.07 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 57276 54 0 0 25 0 11 0 547534348 870264832 33755 4294967295 134512640 134569956 3221224400 3221214792 1131398800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33755 13073 16 0 212451 0
vsize: 849868
[startup+620.038 s]
Raw data (loadavg): 1.16 1.06 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 58273 54 0 0 25 0 11 0 547534348 870264832 33755 4294967295 134512640 134569956 3221224400 3221214632 1131614428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33755 13073 16 0 212451 0
vsize: 849868
[startup+630.039 s]
Raw data (loadavg): 1.14 1.06 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 59267 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214584 1131291794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+640.039 s]
Raw data (loadavg): 1.12 1.06 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 60262 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214832 1131593330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+650.039 s]
Raw data (loadavg): 1.10 1.06 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 61255 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214728 1131704647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+660.04 s]
Raw data (loadavg): 1.08 1.05 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 62247 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214680 1131910498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+670.04 s]
Raw data (loadavg): 1.07 1.05 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 63244 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+680.041 s]
Raw data (loadavg): 1.06 1.05 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 64240 55 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+690.048 s]
Raw data (loadavg): 1.05 1.05 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 65241 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+700.047 s]
Raw data (loadavg): 1.04 1.05 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 66238 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214840 1131593296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+710.048 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 67235 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+720.048 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 68231 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+730.048 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 69228 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214688 1131910494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+740.049 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 70224 56 0 0 25 0 11 0 547534348 870264832 33756 4294967295 134512640 134569956 3221224400 3221214736 1131704611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33756 13073 16 0 212451 0
vsize: 849868
[startup+750.049 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 71220 56 0 0 25 0 11 0 547534348 870264832 33757 4294967295 134512640 134569956 3221224400 3221214688 1131910498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33757 13073 16 0 212451 0
vsize: 849868
[startup+760.049 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 72216 56 0 0 25 0 11 0 547534348 870264832 33758 4294967295 134512640 134569956 3221224400 3221214688 1131910619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33758 13073 16 0 212451 0
vsize: 849868
[startup+770.05 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 73209 56 0 0 25 0 11 0 547534348 870264832 33762 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33762 13073 16 0 212451 0
vsize: 849868
[startup+780.05 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 74205 56 0 0 25 0 11 0 547534348 870264832 33795 4294967295 134512640 134569956 3221224400 3221214688 1131910625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33795 13073 16 0 212451 0
vsize: 849868
[startup+790.05 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 75201 56 0 0 25 0 11 0 547534348 870264832 33798 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33798 13073 16 0 212451 0
vsize: 849868
[startup+800.05 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 76197 56 0 0 25 0 11 0 547534348 870264832 33798 4294967295 134512640 134569956 3221224400 3221214688 1131910502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33798 13073 16 0 212451 0
vsize: 849868
[startup+810.05 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 77189 56 0 0 25 0 11 0 547534348 870264832 33799 4294967295 134512640 134569956 3221224400 3221214840 1131593568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33799 13073 16 0 212451 0
vsize: 849868
[startup+820.05 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 78185 56 0 0 25 0 11 0 547534348 870264832 33838 4294967295 134512640 134569956 3221224400 3221214840 1131593312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33838 13073 16 0 212451 0
vsize: 849868
[startup+830.05 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 79177 57 0 0 25 0 11 0 547534348 870264832 33846 4294967295 134512640 134569956 3221224400 3221214688 1131910464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33846 13073 16 0 212451 0
vsize: 849868
[startup+840.051 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 80173 57 0 0 25 0 11 0 547534348 870264832 33853 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33853 13073 16 0 212451 0
vsize: 849868
[startup+850.05 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 81165 57 0 0 25 0 11 0 547534348 870264832 33864 4294967295 134512640 134569956 3221224400 3221214688 1131910494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33864 13073 16 0 212451 0
vsize: 849868
[startup+860.05 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 82161 57 0 0 25 0 11 0 547534348 870264832 33866 4294967295 134512640 134569956 3221224400 3221214584 1131291411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33866 13073 16 0 212451 0
vsize: 849868
[startup+870.05 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 83153 57 0 0 25 0 11 0 547534348 870264832 33874 4294967295 134512640 134569956 3221224400 3221214688 1131910640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33874 13073 16 0 212451 0
vsize: 849868
[startup+880.051 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 84149 57 0 0 25 0 11 0 547534348 870264832 33878 4294967295 134512640 134569956 3221224400 3221214688 1131910487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33878 13073 16 0 212451 0
vsize: 849868
[startup+890.051 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 85141 57 0 0 25 0 11 0 547534348 870264832 33884 4294967295 134512640 134569956 3221224400 3221214688 1131910629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 33884 13073 16 0 212451 0
vsize: 849868
[startup+900.052 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 86136 57 0 0 25 0 11 0 547534348 870264832 33888 4294967295 134512640 134569956 3221224400 3221214160 1131989372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33888 13073 16 0 212451 0
vsize: 849868
[startup+910.052 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 87132 57 0 0 25 0 11 0 547534348 870264832 33892 4294967295 134512640 134569956 3221224400 3221214688 1131910640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33892 13073 16 0 212451 0
vsize: 849868
[startup+920.051 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 88123 57 0 0 25 0 11 0 547534348 870264832 33898 4294967295 134512640 134569956 3221224400 3221214688 1131910476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33898 13073 16 0 212451 0
vsize: 849868
[startup+930.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 89119 57 0 0 25 0 11 0 547534348 870264832 33903 4294967295 134512640 134569956 3221224400 3221214688 1131910472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33903 13073 16 0 212451 0
vsize: 849868
[startup+940.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 90109 58 0 0 25 0 11 0 547534348 870264832 33936 4294967295 134512640 134569956 3221224400 3221214840 1131593312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33936 13073 16 0 212451 0
vsize: 849868
[startup+950.052 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 91100 58 0 0 25 0 11 0 547534348 870264832 33975 4294967295 134512640 134569956 3221224400 3221214688 1131910498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33975 13073 16 0 212451 0
vsize: 849868
[startup+960.053 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 92090 58 0 0 25 0 11 0 547534348 870264832 33998 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 33998 13073 16 0 212451 0
vsize: 849868
[startup+970.053 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 93081 58 0 0 25 0 11 0 547534348 870264832 34019 4294967295 134512640 134569956 3221224400 3221214688 1131910476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34019 13073 16 0 212451 0
vsize: 849868
[startup+980.054 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 94068 58 0 0 25 0 11 0 547534348 870264832 34054 4294967295 134512640 134569956 3221224400 3221214688 1131910494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34054 13073 16 0 212451 0
vsize: 849868
[startup+990.055 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 95060 59 0 0 25 0 11 0 547534348 870264832 34082 4294967295 134512640 134569956 3221224400 3221214688 1131910487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34082 13073 16 0 212451 0
vsize: 849868
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 96051 59 0 0 25 0 11 0 547534348 870264832 34106 4294967295 134512640 134569956 3221224400 3221214688 1131910484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34106 13073 16 0 212451 0
vsize: 849868
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 97042 59 0 0 25 0 11 0 547534348 870264832 34119 4294967295 134512640 134569956 3221224400 3221214688 1131910502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34119 13073 16 0 212451 0
vsize: 849868
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 98034 59 0 0 25 0 11 0 547534348 870264832 34142 4294967295 134512640 134569956 3221224400 3221214816 1131740226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34142 13073 16 0 212451 0
vsize: 849868
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 99025 59 0 0 25 0 11 0 547534348 870264832 34159 4294967295 134512640 134569956 3221224400 3221214696 1131320018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34159 13073 16 0 212451 0
vsize: 849868
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 100016 59 0 0 25 0 11 0 547534348 870264832 34175 4294967295 134512640 134569956 3221224400 3221214688 1131910640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34175 13073 16 0 212451 0
vsize: 849868
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 101007 59 0 0 25 0 11 0 547534348 870264832 34195 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34195 13073 16 0 212451 0
vsize: 849868
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 101998 59 0 0 25 0 11 0 547534348 870264832 34250 4294967295 134512640 134569956 3221224400 3221214688 1131910502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34250 13073 16 0 212451 0
vsize: 849868
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 102990 59 0 0 25 0 11 0 547534348 870264832 34273 4294967295 134512640 134569956 3221224400 3221214688 1131910464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34273 13073 16 0 212451 0
vsize: 849868
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 103981 59 0 0 25 0 11 0 547534348 870264832 34290 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34290 13073 16 0 212451 0
vsize: 849868
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) S 14940 28546 28545 0 -1 0 18106 0 1 0 104975 59 0 0 25 0 11 0 547534348 870264832 34391 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34391 13073 16 0 212451 0
vsize: 849868
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 105963 59 0 0 25 0 11 0 547534348 870264832 34435 4294967295 134512640 134569956 3221224400 3221214688 1131910494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34435 13073 16 0 212451 0
vsize: 849868
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 106959 60 0 0 25 0 11 0 547534348 870264832 34477 4294967295 134512640 134569956 3221224400 3221214840 1131593519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34477 13073 16 0 212451 0
vsize: 849868
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 107944 60 0 0 25 0 11 0 547534348 870264832 34514 4294967295 134512640 134569956 3221224400 3221214688 1131910629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34514 13073 16 0 212451 0
vsize: 849868
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 108940 60 0 0 25 0 11 0 547534348 870264832 34523 4294967295 134512640 134569956 3221224400 3221214688 1131910619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34523 13073 16 0 212451 0
vsize: 849868
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 109930 60 0 0 25 0 11 0 547534348 870264832 34549 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34549 13073 16 0 212451 0
vsize: 849868
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 110916 60 0 0 25 0 11 0 547534348 870264832 34603 4294967295 134512640 134569956 3221224400 3221214732 1131353696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34603 13073 16 0 212451 0
vsize: 849868
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 111911 60 0 0 25 0 11 0 547534348 870264832 34618 4294967295 134512640 134569956 3221224400 3221214688 1131910484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34618 13073 16 0 212451 0
vsize: 849868
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 112898 61 0 0 25 0 11 0 547534348 870264832 34672 4294967295 134512640 134569956 3221224400 3221214688 1131910476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34672 13073 16 0 212451 0
vsize: 849868
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 113888 61 0 0 25 0 11 0 547534348 870264832 34682 4294967295 134512640 134569956 3221224400 3221214840 1131593568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34682 13073 16 0 212451 0
vsize: 849868
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 114872 61 0 0 25 0 11 0 547534348 870264832 34721 4294967295 134512640 134569956 3221224400 3221214784 1131398792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 34721 13073 16 0 212451 0
vsize: 849868
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 115856 61 0 0 25 0 11 0 547534348 870264832 34858 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34858 13073 16 0 212451 0
vsize: 849868
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 116840 62 0 0 25 0 11 0 547534348 870264832 34883 4294967295 134512640 134569956 3221224400 3221214688 1131910464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 34883 13073 16 0 212451 0
vsize: 849868
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 117829 62 0 0 25 0 11 0 547534348 870264832 35006 4294967295 134512640 134569956 3221224400 3221214688 1131910464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 35006 13073 16 0 212451 0
vsize: 849868
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 118814 62 0 0 25 0 11 0 547534348 870264832 35020 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 35020 13073 16 0 212451 0
vsize: 849868
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 119798 62 0 0 25 0 11 0 547534348 870264832 35112 4294967295 134512640 134569956 3221224400 3221214688 1131910502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212467 35112 13073 16 0 212451 0
vsize: 849868
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 14951
Raw data (stat): 14941 (java) R 14940 28546 28545 0 -1 0 18106 0 1 0 120788 62 0 0 25 0 11 0 547534348 870264832 35227 4294967295 134512640 134569956 3221224400 3221214688 1131910480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212467 35227 13073 16 0 212451 0
vsize: 849868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 14953
Raw data (stat): 14941 (java) Z 14940 28546 28545 0 -1 1036 18106 22678 1 0 120792 62 5218 68 25 0 1 0 547534348 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): 1250.17
CPU time (s): 1261.42
CPU user time (s): 1260.11
CPU system time (s): 1.3118
CPU usage (%): 100.9
Max. virtual memory (Kb): 860172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####