Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2_o.opb
MD5SUM70d38efa2ca4db2a9200144005e211ed
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 10368
Biggest coefficient in the objective function 418848431931392
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 180197911475330400
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 418848431931392
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 180197911475330400
Number of bits of the biggest sum of numbers58
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.141977
Number of variables16224
Total number of constraints1584
Number of constraints which are clauses192
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1392
Minimum length of a constraint2
Maximum length of a constraint309

Trace number 16452 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-21 07:21:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13412 boxname=wulflinc27 idbench=1032 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  70d38efa2ca4db2a9200144005e211ed  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-gesa2_o.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-gesa2_o.opb
IDLAUNCH: 13412
/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:        770816 kB
Buffers:         27936 kB
Cached:         206808 kB
SwapCached:        604 kB
Active:          52120 kB
Inactive:       184704 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        770564 kB
SwapTotal:     2097892 kB
SwapFree:      2096484 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5236 kB
Slab:            21528 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 07:41:43 (client local time) WITH STATUS 143 IN 1246.24 SECONDS
stats: 13412 7 1246.24 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-gesa2_o.opb
c reading problem 
c [nbvar=16224]
c [nbconstr=1584]
c time 81.063
c #vars     16224
c #clauses  1609
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.50 0.83 0.87 2/54 14677
Raw data (stat): 14677 (runsolver) R 14676 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543233467 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.0022 s]
Raw data (loadavg): 0.58 0.83 0.87 2/63 14686
Raw data (stat): 14677 (java) S 14676 18865 18864 0 -1 0 17976 0 1 0 883 41 0 0 25 0 10 0 543233467 853569536 19180 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208391 19180 13073 16 0 208375 0
vsize: 833564
[startup+20.0034 s]
Raw data (loadavg): 0.64 0.84 0.87 2/63 14686
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 17976 0 1 0 1772 41 0 0 25 0 10 0 543233467 853872640 19789 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208465 19789 13073 16 0 208449 0
vsize: 833860
[startup+30.0042 s]
Raw data (loadavg): 0.70 0.84 0.87 2/63 14686
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 17976 0 1 0 2667 42 0 0 25 0 10 0 543233467 853471232 20147 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208367 20147 13073 16 0 208351 0
vsize: 833468
[startup+40.0046 s]
Raw data (loadavg): 0.89 0.88 0.88 2/63 14686
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 17997 0 1 0 3580 42 0 0 25 0 10 0 543233467 857878528 21397 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 21397 13073 16 0 209427 0
vsize: 837772
[startup+50.0059 s]
Raw data (loadavg): 0.91 0.89 0.88 2/63 14686
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 17997 0 1 0 4456 42 0 0 25 0 10 0 543233467 857878528 21798 4294967295 134512640 134569956 3221224400 3221214776 1131216014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 21798 13073 16 0 209427 0
vsize: 837772
[startup+60.0052 s]
Raw data (loadavg): 0.92 0.89 0.88 2/63 14686
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 17997 0 1 0 5318 43 0 0 25 0 10 0 543233467 857878528 22289 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 22289 13073 16 0 209427 0
vsize: 837772
[startup+70.0061 s]
Raw data (loadavg): 0.93 0.89 0.88 2/63 14686
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 17997 0 1 0 6222 43 0 0 25 0 10 0 543233467 857878528 22580 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 22580 13073 16 0 209427 0
vsize: 837772
[startup+80.0074 s]
Raw data (loadavg): 0.94 0.89 0.89 2/63 14686
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 17997 0 1 0 7134 44 0 0 25 0 10 0 543233467 857878528 22749 4294967295 134512640 134569956 3221224400 3221214888 1130916114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209443 22749 13073 16 0 209427 0
vsize: 837772
[startup+90.0184 s]
Raw data (loadavg): 0.95 0.90 0.89 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18067 0 1 0 7992 46 0 0 25 0 11 0 543233467 860225536 25090 4294967295 134512640 134569956 3221224400 3221214576 1130894840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210016 25090 13073 16 0 210000 0
vsize: 840064
[startup+100.018 s]
Raw data (loadavg): 0.96 0.90 0.89 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18067 0 1 0 8975 46 0 0 25 0 11 0 543233467 858472448 24601 4294967295 134512640 134569956 3221224400 3221214752 1131406613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209588 24601 13073 16 0 209572 0
vsize: 838352
[startup+110.019 s]
Raw data (loadavg): 0.96 0.90 0.89 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18068 0 1 0 9968 46 0 0 25 0 11 0 543233467 858406912 24589 4294967295 134512640 134569956 3221224400 3221214768 1131599828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209572 24589 13073 16 0 209556 0
vsize: 838288
[startup+120.019 s]
Raw data (loadavg): 0.97 0.91 0.89 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18068 0 1 0 10963 47 0 0 25 0 11 0 543233467 858406912 24589 4294967295 134512640 134569956 3221224400 3221214768 1131599840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209572 24589 13073 16 0 209556 0
vsize: 838288
[startup+130.019 s]
Raw data (loadavg): 0.97 0.91 0.89 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18068 0 1 0 11953 47 0 0 25 0 11 0 543233467 858406912 24589 4294967295 134512640 134569956 3221224400 3221214768 1131599834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209572 24589 13073 16 0 209556 0
vsize: 838288
[startup+140.02 s]
Raw data (loadavg): 0.98 0.91 0.89 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18068 0 1 0 12947 47 0 0 25 0 11 0 543233467 860504064 25197 4294967295 134512640 134569956 3221224400 3221214760 1131599831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210084 25197 13073 16 0 210068 0
vsize: 840336
[startup+150.021 s]
Raw data (loadavg): 0.98 0.91 0.89 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18068 0 1 0 13940 48 0 0 25 0 11 0 543233467 860504064 25197 4294967295 134512640 134569956 3221224400 3221214760 1131599838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210084 25197 13073 16 0 210068 0
vsize: 840336
[startup+160.021 s]
Raw data (loadavg): 0.98 0.92 0.89 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18068 0 1 0 14932 48 0 0 25 0 11 0 543233467 860504064 25197 4294967295 134512640 134569956 3221224400 3221214760 1131599840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210084 25197 13073 16 0 210068 0
vsize: 840336
[startup+170.022 s]
Raw data (loadavg): 0.98 0.92 0.89 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18068 0 1 0 15919 48 0 0 24 0 11 0 543233467 860504064 25181 4294967295 134512640 134569956 3221224400 3221214672 1131278130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210084 25181 13073 16 0 210068 0
vsize: 840336
[startup+180.022 s]
Raw data (loadavg): 0.99 0.92 0.90 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18068 0 1 0 16907 48 0 0 25 0 11 0 543233467 859455488 24921 4294967295 134512640 134569956 3221224400 3221214760 1131599945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 24921 13073 16 0 209812 0
vsize: 839312
[startup+190.023 s]
Raw data (loadavg): 0.99 0.92 0.90 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 17879 49 0 0 25 0 11 0 543233467 859455488 24922 4294967295 134512640 134569956 3221224400 3221214760 1131599838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 24922 13073 16 0 209812 0
vsize: 839312
[startup+200.024 s]
Raw data (loadavg): 0.99 0.92 0.90 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 18855 49 0 0 24 0 11 0 543233467 859455488 24922 4294967295 134512640 134569956 3221224400 3221214768 1131366068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 24922 13073 16 0 209812 0
vsize: 839312
[startup+210.029 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 19835 49 0 0 25 0 11 0 543233467 859455488 24925 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 24925 13073 16 0 209812 0
vsize: 839312
[startup+220.03 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 20813 49 0 0 25 0 11 0 543233467 859455488 24989 4294967295 134512640 134569956 3221224400 3221214656 1131270369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 24989 13073 16 0 209812 0
vsize: 839312
[startup+230.031 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 21794 49 0 0 25 0 11 0 543233467 859455488 25088 4294967295 134512640 134569956 3221224400 3221214672 1131278043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 25088 13073 16 0 209812 0
vsize: 839312
[startup+240.031 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 22773 50 0 0 25 0 11 0 543233467 859455488 25117 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 25117 13073 16 0 209812 0
vsize: 839312
[startup+250.031 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 23754 50 0 0 25 0 11 0 543233467 859455488 25176 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 25176 13073 16 0 209812 0
vsize: 839312
[startup+260.031 s]
Raw data (loadavg): 0.99 0.94 0.90 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 24734 50 0 0 25 0 11 0 543233467 859455488 25258 4294967295 134512640 134569956 3221224400 3221214760 1131599831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 25258 13073 16 0 209812 0
vsize: 839312
[startup+270.032 s]
Raw data (loadavg): 0.99 0.94 0.90 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 25715 50 0 0 25 0 11 0 543233467 859455488 25351 4294967295 134512640 134569956 3221224400 3221214760 1131599808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 25351 13073 16 0 209812 0
vsize: 839312
[startup+280.031 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 26691 51 0 0 25 0 11 0 543233467 859455488 25440 4294967295 134512640 134569956 3221224400 3221214840 1131436835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 25440 13073 16 0 209812 0
vsize: 839312
[startup+290.033 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 27673 51 0 0 25 0 11 0 543233467 859455488 25452 4294967295 134512640 134569956 3221224400 3221214760 1131599828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 25452 13073 16 0 209812 0
vsize: 839312
[startup+300.033 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 28628 52 0 0 25 0 11 0 543233467 859455488 25558 4294967295 134512640 134569956 3221224400 3221214768 1131365971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 25558 13073 16 0 209812 0
vsize: 839312
[startup+310.033 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 29572 52 0 0 25 0 11 0 543233467 859455488 25778 4294967295 134512640 134569956 3221224400 3221214768 1131367911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 25778 13073 16 0 209812 0
vsize: 839312
[startup+320.034 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 30542 52 0 0 25 0 11 0 543233467 859455488 25979 4294967295 134512640 134569956 3221224400 3221214672 1131277795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 25979 13073 16 0 209812 0
vsize: 839312
[startup+330.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 31527 53 0 0 25 0 11 0 543233467 859455488 26115 4294967295 134512640 134569956 3221224400 3221214672 1131277548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26115 13073 16 0 209812 0
vsize: 839312
[startup+340.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 32515 53 0 0 25 0 11 0 543233467 859455488 26145 4294967295 134512640 134569956 3221224400 3221214672 1131278736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26145 13073 16 0 209812 0
vsize: 839312
[startup+350.036 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 33494 53 0 0 25 0 11 0 543233467 859455488 26183 4294967295 134512640 134569956 3221224400 3221214672 1131278019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26183 13073 16 0 209812 0
vsize: 839312
[startup+360.037 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 34481 54 0 0 25 0 11 0 543233467 859455488 26219 4294967295 134512640 134569956 3221224400 3221214840 1131284548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26219 13073 16 0 209812 0
vsize: 839312
[startup+370.037 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 35466 54 0 0 25 0 11 0 543233467 859455488 26264 4294967295 134512640 134569956 3221224400 3221214656 1131270535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26264 13073 16 0 209812 0
vsize: 839312
[startup+380.037 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 36451 54 0 0 25 0 11 0 543233467 859455488 26320 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26320 13073 16 0 209812 0
vsize: 839312
[startup+390.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 37436 54 0 0 25 0 11 0 543233467 859455488 26345 4294967295 134512640 134569956 3221224400 3221214656 1131270435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26345 13073 16 0 209812 0
vsize: 839312
[startup+400.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 38422 55 0 0 25 0 11 0 543233467 859455488 26405 4294967295 134512640 134569956 3221224400 3221214764 1131277516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26405 13073 16 0 209812 0
vsize: 839312
[startup+410.039 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 39401 55 0 0 25 0 11 0 543233467 859455488 26496 4294967295 134512640 134569956 3221224400 3221214760 1131599955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26496 13073 16 0 209812 0
vsize: 839312
[startup+420.044 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 40387 55 0 0 25 0 11 0 543233467 859455488 26537 4294967295 134512640 134569956 3221224400 3221214800 1131419122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26537 13073 16 0 209812 0
vsize: 839312
[startup+430.05 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 41368 56 0 0 25 0 11 0 543233467 859455488 26583 4294967295 134512640 134569956 3221224400 3221214656 1131270867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26583 13073 16 0 209812 0
vsize: 839312
[startup+440.072 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 42351 56 0 0 25 0 11 0 543233467 859455488 26633 4294967295 134512640 134569956 3221224400 3221214760 1131599945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26633 13073 16 0 209812 0
vsize: 839312
[startup+450.112 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 43335 56 0 0 25 0 11 0 543233467 859455488 26681 4294967295 134512640 134569956 3221224400 3221214720 1131241248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26681 13073 16 0 209812 0
vsize: 839312
[startup+460.132 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 44317 57 0 0 25 0 11 0 543233467 859455488 26780 4294967295 134512640 134569956 3221224400 3221214672 1131277533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26780 13073 16 0 209812 0
vsize: 839312
[startup+470.133 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 45300 57 0 0 25 0 11 0 543233467 859455488 26847 4294967295 134512640 134569956 3221224400 3221214760 1131599831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26847 13073 16 0 209812 0
vsize: 839312
[startup+480.134 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 46280 58 0 0 25 0 11 0 543233467 859455488 26920 4294967295 134512640 134569956 3221224400 3221214672 1131277957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 26920 13073 16 0 209812 0
vsize: 839312
[startup+490.135 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 47256 58 0 0 25 0 11 0 543233467 859455488 27026 4294967295 134512640 134569956 3221224400 3221214760 1131599840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27026 13073 16 0 209812 0
vsize: 839312
[startup+500.135 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 48239 58 0 0 25 0 11 0 543233467 859455488 27091 4294967295 134512640 134569956 3221224400 3221214952 1131335182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27091 13073 16 0 209812 0
vsize: 839312
[startup+510.135 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 49220 58 0 0 25 0 11 0 543233467 859455488 27160 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27160 13073 16 0 209812 0
vsize: 839312
[startup+520.135 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 50198 59 0 0 25 0 11 0 543233467 859455488 27232 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27232 13073 16 0 209812 0
vsize: 839312
[startup+530.136 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 51173 59 0 0 25 0 11 0 543233467 859455488 27317 4294967295 134512640 134569956 3221224400 3221214768 1131366026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27317 13073 16 0 209812 0
vsize: 839312
[startup+540.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 52138 60 0 0 25 0 11 0 543233467 859455488 27428 4294967295 134512640 134569956 3221224400 3221214672 1131277573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27428 13073 16 0 209812 0
vsize: 839312
[startup+550.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 53103 60 0 0 25 0 11 0 543233467 859455488 27546 4294967295 134512640 134569956 3221224400 3221214656 1131270569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27546 13073 16 0 209812 0
vsize: 839312
[startup+560.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 54078 61 0 0 25 0 11 0 543233467 859455488 27695 4294967295 134512640 134569956 3221224400 3221214768 1131368509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27695 13073 16 0 209812 0
vsize: 839312
[startup+570.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 55057 61 0 0 25 0 11 0 543233467 859455488 27798 4294967295 134512640 134569956 3221224400 3221214672 1131278420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27798 13073 16 0 209812 0
vsize: 839312
[startup+580.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 56042 61 0 0 25 0 11 0 543233467 859455488 27821 4294967295 134512640 134569956 3221224400 3221214672 1131278373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27821 13073 16 0 209812 0
vsize: 839312
[startup+590.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 57022 62 0 0 25 0 11 0 543233467 859455488 27851 4294967295 134512640 134569956 3221224400 3221214768 1131366160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27851 13073 16 0 209812 0
vsize: 839312
[startup+600.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 58003 62 0 0 25 0 11 0 543233467 859455488 27931 4294967295 134512640 134569956 3221224400 3221214720 1131241244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27931 13073 16 0 209812 0
vsize: 839312
[startup+610.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 58983 62 0 0 25 0 11 0 543233467 859455488 27968 4294967295 134512640 134569956 3221224400 3221214768 1131367204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 27968 13073 16 0 209812 0
vsize: 839312
[startup+620.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 59964 62 0 0 25 0 11 0 543233467 859455488 28045 4294967295 134512640 134569956 3221224400 3221214672 1131278059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28045 13073 16 0 209812 0
vsize: 839312
[startup+630.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 60943 63 0 0 25 0 11 0 543233467 859455488 28131 4294967295 134512640 134569956 3221224400 3221214672 1131277795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28131 13073 16 0 209812 0
vsize: 839312
[startup+640.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 61920 63 0 0 25 0 11 0 543233467 859455488 28231 4294967295 134512640 134569956 3221224400 3221214768 1131367003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28231 13073 16 0 209812 0
vsize: 839312
[startup+650.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 62895 63 0 0 25 0 11 0 543233467 859455488 28287 4294967295 134512640 134569956 3221224400 3221214672 1131278820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28287 13073 16 0 209812 0
vsize: 839312
[startup+660.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 63869 63 0 0 25 0 11 0 543233467 859455488 28331 4294967295 134512640 134569956 3221224400 3221214672 1131277628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28331 13073 16 0 209812 0
vsize: 839312
[startup+670.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 64842 64 0 0 25 0 11 0 543233467 859455488 28410 4294967295 134512640 134569956 3221224400 3221214744 1131449129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28410 13073 16 0 209812 0
vsize: 839312
[startup+680.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 65819 64 0 0 25 0 11 0 543233467 859455488 28548 4294967295 134512640 134569956 3221224400 3221214768 1131368901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209828 28548 13073 16 0 209812 0
vsize: 839312
[startup+690.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 66794 64 0 0 25 0 11 0 543233467 859455488 28653 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28653 13073 16 0 209812 0
vsize: 839312
[startup+700.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 67770 65 0 0 25 0 11 0 543233467 859455488 28725 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28725 13073 16 0 209812 0
vsize: 839312
[startup+710.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 68749 65 0 0 25 0 11 0 543233467 859455488 28776 4294967295 134512640 134569956 3221224400 3221214672 1131277817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28776 13073 16 0 209812 0
vsize: 839312
[startup+720.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 69725 65 0 0 25 0 11 0 543233467 859455488 28840 4294967295 134512640 134569956 3221224400 3221214672 1131278164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28840 13073 16 0 209812 0
vsize: 839312
[startup+730.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 70699 65 0 0 25 0 11 0 543233467 859455488 28909 4294967295 134512640 134569956 3221224400 3221214656 1131271337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28909 13073 16 0 209812 0
vsize: 839312
[startup+740.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 71671 66 0 0 25 0 11 0 543233467 859455488 28966 4294967295 134512640 134569956 3221224400 3221214672 1131278420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 28966 13073 16 0 209812 0
vsize: 839312
[startup+750.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 72645 66 0 0 25 0 11 0 543233467 859455488 29027 4294967295 134512640 134569956 3221224400 3221214768 1131368792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29027 13073 16 0 209812 0
vsize: 839312
[startup+760.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 73615 66 0 0 25 0 11 0 543233467 859455488 29112 4294967295 134512640 134569956 3221224400 3221214760 1131599957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29112 13073 16 0 209812 0
vsize: 839312
[startup+770.151 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 74585 67 0 0 25 0 11 0 543233467 859455488 29213 4294967295 134512640 134569956 3221224400 3221214760 1131599963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29213 13073 16 0 209812 0
vsize: 839312
[startup+780.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 75555 67 0 0 25 0 11 0 543233467 859455488 29298 4294967295 134512640 134569956 3221224400 3221214712 1131470529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29298 13073 16 0 209812 0
vsize: 839312
[startup+790.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 76531 67 0 0 25 0 11 0 543233467 859455488 29485 4294967295 134512640 134569956 3221224400 3221214760 1131599945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29485 13073 16 0 209812 0
vsize: 839312
[startup+800.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 77504 67 0 0 25 0 11 0 543233467 859455488 29598 4294967295 134512640 134569956 3221224400 3221214760 1131599831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29598 13073 16 0 209812 0
vsize: 839312
[startup+810.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 78481 68 0 0 25 0 11 0 543233467 859455488 29652 4294967295 134512640 134569956 3221224400 3221214672 1131278065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29652 13073 16 0 209812 0
vsize: 839312
[startup+820.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 79453 68 0 0 25 0 11 0 543233467 859455488 29728 4294967295 134512640 134569956 3221224400 3221214672 1131277914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29728 13073 16 0 209812 0
vsize: 839312
[startup+830.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 80429 68 0 0 25 0 11 0 543233467 859455488 29789 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29789 13073 16 0 209812 0
vsize: 839312
[startup+840.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 81402 69 0 0 25 0 11 0 543233467 859455488 29891 4294967295 134512640 134569956 3221224400 3221214656 1131270827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29891 13073 16 0 209812 0
vsize: 839312
[startup+850.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 82377 69 0 0 25 0 11 0 543233467 859455488 29988 4294967295 134512640 134569956 3221224400 3221214672 1131278186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 29988 13073 16 0 209812 0
vsize: 839312
[startup+860.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 83328 70 0 0 25 0 11 0 543233467 859455488 30128 4294967295 134512640 134569956 3221224400 3221214768 1131367342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30128 13073 16 0 209812 0
vsize: 839312
[startup+870.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 84297 70 0 0 25 0 11 0 543233467 859455488 30215 4294967295 134512640 134569956 3221224400 3221214672 1131278823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30215 13073 16 0 209812 0
vsize: 839312
[startup+880.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 85266 70 0 0 25 0 11 0 543233467 859455488 30402 4294967295 134512640 134569956 3221224400 3221214768 1131368698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30402 13073 16 0 209812 0
vsize: 839312
[startup+890.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 86253 70 0 0 25 0 11 0 543233467 859455488 30422 4294967295 134512640 134569956 3221224400 3221214800 1131418523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30422 13073 16 0 209812 0
vsize: 839312
[startup+900.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 87233 71 0 0 25 0 11 0 543233467 859455488 30445 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30445 13073 16 0 209812 0
vsize: 839312
[startup+910.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 88217 72 0 0 25 0 11 0 543233467 859455488 30449 4294967295 134512640 134569956 3221224400 3221214760 1131599828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30449 13073 16 0 209812 0
vsize: 839312
[startup+920.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 89194 72 0 0 25 0 11 0 543233467 859455488 30505 4294967295 134512640 134569956 3221224400 3221214656 1131270792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30505 13073 16 0 209812 0
vsize: 839312
[startup+930.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 90172 72 0 0 25 0 11 0 543233467 859455488 30562 4294967295 134512640 134569956 3221224400 3221214720 1131607139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30562 13073 16 0 209812 0
vsize: 839312
[startup+940.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 91149 73 0 0 25 0 11 0 543233467 859455488 30587 4294967295 134512640 134569956 3221224400 3221214672 1131278059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30587 13073 16 0 209812 0
vsize: 839312
[startup+950.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 92125 73 0 0 25 0 11 0 543233467 859455488 30658 4294967295 134512640 134569956 3221224400 3221214760 1131599808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30658 13073 16 0 209812 0
vsize: 839312
[startup+960.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 93103 74 0 0 25 0 11 0 543233467 859455488 30753 4294967295 134512640 134569956 3221224400 3221214672 1131278154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30753 13073 16 0 209812 0
vsize: 839312
[startup+970.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 94079 74 0 0 25 0 11 0 543233467 859455488 30800 4294967295 134512640 134569956 3221224400 3221214760 1131599824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30800 13073 16 0 209812 0
vsize: 839312
[startup+980.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 95054 74 0 0 25 0 11 0 543233467 859455488 30878 4294967295 134512640 134569956 3221224400 3221214760 1131599840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30878 13073 16 0 209812 0
vsize: 839312
[startup+990.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 96028 74 0 0 25 0 11 0 543233467 859455488 30917 4294967295 134512640 134569956 3221224400 3221214760 1131599955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 30917 13073 16 0 209812 0
vsize: 839312
[startup+1000.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 97001 75 0 0 25 0 11 0 543233467 859455488 31003 4294967295 134512640 134569956 3221224400 3221214672 1131278190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 31003 13073 16 0 209812 0
vsize: 839312
[startup+1010.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 97975 75 0 0 24 0 11 0 543233467 859455488 31203 4294967295 134512640 134569956 3221224400 3221214672 1131277573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 31203 13073 16 0 209812 0
vsize: 839312
[startup+1020.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 98950 75 0 0 25 0 11 0 543233467 859455488 31268 4294967295 134512640 134569956 3221224400 3221214760 1131599945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 31268 13073 16 0 209812 0
vsize: 839312
[startup+1030.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 99924 76 0 0 25 0 11 0 543233467 859455488 31351 4294967295 134512640 134569956 3221224400 3221214672 1131277957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 31351 13073 16 0 209812 0
vsize: 839312
[startup+1040.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 100898 76 0 0 25 0 11 0 543233467 859455488 31442 4294967295 134512640 134569956 3221224400 3221214760 1131599838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 31442 13073 16 0 209812 0
vsize: 839312
[startup+1050.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 101876 76 0 0 25 0 11 0 543233467 859455488 31588 4294967295 134512640 134569956 3221224400 3221214768 1131366133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 31588 13073 16 0 209812 0
vsize: 839312
[startup+1060.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 102847 77 0 0 25 0 11 0 543233467 859455488 31690 4294967295 134512640 134569956 3221224400 3221214768 1131366133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 31690 13073 16 0 209812 0
vsize: 839312
[startup+1070.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 103823 77 0 0 25 0 11 0 543233467 859455488 31807 4294967295 134512640 134569956 3221224400 3221214768 1131366993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 31807 13073 16 0 209812 0
vsize: 839312
[startup+1080.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 104795 78 0 0 25 0 11 0 543233467 859455488 31873 4294967295 134512640 134569956 3221224400 3221214672 1131278246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 31873 13073 16 0 209812 0
vsize: 839312
[startup+1090.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 105766 78 0 0 25 0 11 0 543233467 859455488 32047 4294967295 134512640 134569956 3221224400 3221214672 1131277702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 32047 13073 16 0 209812 0
vsize: 839312
[startup+1100.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 106738 78 0 0 25 0 11 0 543233467 859455488 32115 4294967295 134512640 134569956 3221224400 3221214672 1131277957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 32115 13073 16 0 209812 0
vsize: 839312
[startup+1110.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 107706 79 0 0 25 0 11 0 543233467 859455488 32260 4294967295 134512640 134569956 3221224400 3221214760 1131599945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 32260 13073 16 0 209812 0
vsize: 839312
[startup+1120.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 108684 79 0 0 25 0 11 0 543233467 859455488 32437 4294967295 134512640 134569956 3221224400 3221214720 1131241216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 32437 13073 16 0 209812 0
vsize: 839312
[startup+1130.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 109658 79 0 0 25 0 11 0 543233467 859455488 32529 4294967295 134512640 134569956 3221224400 3221214760 1131599816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 32529 13073 16 0 209812 0
vsize: 839312
[startup+1140.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 110630 80 0 0 25 0 11 0 543233467 859455488 32630 4294967295 134512640 134569956 3221224400 3221214760 1131599963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 32630 13073 16 0 209812 0
vsize: 839312
[startup+1150.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 111602 80 0 0 25 0 11 0 543233467 859455488 32707 4294967295 134512640 134569956 3221224400 3221214760 1131599838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 32707 13073 16 0 209812 0
vsize: 839312
[startup+1160.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 112572 80 0 0 25 0 11 0 543233467 859455488 32784 4294967295 134512640 134569956 3221224400 3221214760 1131599820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 32784 13073 16 0 209812 0
vsize: 839312
[startup+1170.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 113543 81 0 0 25 0 11 0 543233467 859455488 32898 4294967295 134512640 134569956 3221224400 3221214720 1131241267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 32898 13073 16 0 209812 0
vsize: 839312
[startup+1180.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 114517 81 0 0 25 0 11 0 543233467 859455488 33004 4294967295 134512640 134569956 3221224400 3221214672 1131277541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 33004 13073 16 0 209812 0
vsize: 839312
[startup+1190.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 115493 81 0 0 25 0 11 0 543233467 859455488 33056 4294967295 134512640 134569956 3221224400 3221214672 1131278440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 33056 13073 16 0 209812 0
vsize: 839312
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 116471 82 0 0 25 0 11 0 543233467 859455488 33133 4294967295 134512640 134569956 3221224400 3221214768 1131368695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 33133 13073 16 0 209812 0
vsize: 839312
[startup+1210.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 117440 82 0 0 25 0 11 0 543233467 859455488 33215 4294967295 134512640 134569956 3221224400 3221214672 1131277619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 33215 13073 16 0 209812 0
vsize: 839312
[startup+1220.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 118399 82 0 0 25 0 11 0 543233467 859455488 33322 4294967295 134512640 134569956 3221224400 3221214720 1131241213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 33322 13073 16 0 209812 0
vsize: 839312
[startup+1230.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 119366 83 0 0 25 0 11 0 543233467 859455488 33387 4294967295 134512640 134569956 3221224400 3221214672 1131277597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209828 33387 13073 16 0 209812 0
vsize: 839312
[startup+1240.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 14687
Raw data (stat): 14677 (java) R 14676 18865 18864 0 -1 0 18069 0 1 0 120356 83 0 0 25 0 11 0 543233467 859455488 33492 4294967295 134512640 134569956 3221224400 3221214152 1131682044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209828 33492 13073 16 0 209812 0
vsize: 839312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.28 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14689
Raw data (stat): 14677 (java) Z 14676 18865 18864 0 -1 1036 18069 17088 1 0 120357 83 4133 49 25 0 1 0 543233467 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.28
CPU time (s): 1246.24
CPU user time (s): 1244.91
CPU system time (s): 1.3258
CPU usage (%): 100.48
Max. virtual memory (Kb): 840336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####