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-scsd6.opb
MD5SUM0d5445665abfc27d4c2dc0b60a7a20c1
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 27000
Biggest coefficient in the objective function 234468721295360
Number of bits for the biggest coefficient in the objective function 48
Sum of the numbers in the objective function 311706790809100500
Number of bits of the sum of numbers in the objective function 59
Biggest number in a constraint 234468721295360
Number of bits of the biggest number in a constraint 48
Biggest sum of numbers in a constraint 311706790809100500
Number of bits of the biggest sum of numbers59
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.237963
Number of variables27000
Total number of constraints147
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 constraints147
Minimum length of a constraint400
Maximum length of a constraint800

Trace number 19785

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        518400 kB
Buffers:         29212 kB
Cached:         465692 kB
SwapCached:        544 kB
Active:          64004 kB
Inactive:       432876 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        518148 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            13740 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 19:52:48 (client local time) WITH STATUS 143 IN 1246.47 SECONDS
stats: 16285 7 1246.47 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-scsd6.opb
c reading problem 
c [nbvar=27000]
c [nbconstr=147]
c time 207.675
c #vars     27000
c #clauses  295
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.98 0.99 0.92 2/54 23327
Raw data (stat): 23327 (runsolver) R 23326 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489402270 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.98 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) S 23326 29653 29652 0 -1 0 17985 0 1 0 883 40 0 0 22 0 10 0 489402270 852856832 19122 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208217 19122 13073 16 0 208201 0
vsize: 832868
[startup+20.0022 s]
Raw data (loadavg): 0.98 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 1771 40 0 0 19 0 10 0 489402270 853905408 19742 4294967295 134512640 134569956 3221224400 3221214288 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 19742 13073 16 0 208457 0
vsize: 833892
[startup+30.003 s]
Raw data (loadavg): 0.98 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 2669 40 0 0 25 0 10 0 489402270 853905408 20156 4294967295 134512640 134569956 3221224400 3221214824 1131221771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208473 20156 13073 16 0 208457 0
vsize: 833892
[startup+40.0036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 3596 40 0 0 22 0 10 0 489402270 853905408 20397 4294967295 134512640 134569956 3221224400 3221214824 1131220614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208473 20397 13073 16 0 208457 0
vsize: 833892
[startup+50.0075 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 4523 41 0 0 24 0 10 0 489402270 853905408 20521 4294967295 134512640 134569956 3221224400 3221214784 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208473 20521 13073 16 0 208457 0
vsize: 833892
[startup+60.0073 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 5457 41 0 0 19 0 10 0 489402270 853905408 20668 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 20668 13073 16 0 208457 0
vsize: 833892
[startup+70.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) S 23326 29653 29652 0 -1 0 17985 0 1 0 6401 41 0 0 22 0 10 0 489402270 853905408 20885 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 20885 13073 16 0 208457 0
vsize: 833892
[startup+80.0086 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 7347 41 0 0 18 0 10 0 489402270 853905408 20966 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 20966 13073 16 0 208457 0
vsize: 833892
[startup+90.0088 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 8296 42 0 0 21 0 10 0 489402270 853905408 21038 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21038 13073 16 0 208457 0
vsize: 833892
[startup+100.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 9242 43 0 0 18 0 10 0 489402270 853905408 21109 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21109 13073 16 0 208457 0
vsize: 833892
[startup+110.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) S 23326 29653 29652 0 -1 0 17985 0 1 0 10190 43 0 0 21 0 10 0 489402270 853905408 21173 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21173 13073 16 0 208457 0
vsize: 833892
[startup+120.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 11138 44 0 0 18 0 10 0 489402270 853905408 21235 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21235 13073 16 0 208457 0
vsize: 833892
[startup+130.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 12086 44 0 0 16 0 10 0 489402270 853905408 21295 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21295 13073 16 0 208457 0
vsize: 833892
[startup+140.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 13036 45 0 0 19 0 10 0 489402270 853905408 21348 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21348 13073 16 0 208457 0
vsize: 833892
[startup+150.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 13983 45 0 0 17 0 10 0 489402270 853905408 21404 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21404 13073 16 0 208457 0
vsize: 833892
[startup+160.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 14932 46 0 0 19 0 10 0 489402270 853905408 21454 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21454 13073 16 0 208457 0
vsize: 833892
[startup+170.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 15865 46 0 0 16 0 10 0 489402270 853905408 21504 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21504 13073 16 0 208457 0
vsize: 833892
[startup+180.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 16792 47 0 0 20 0 10 0 489402270 853905408 21551 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21551 13073 16 0 208457 0
vsize: 833892
[startup+190.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17985 0 1 0 17730 47 0 0 19 0 10 0 489402270 853905408 21851 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208473 21851 13073 16 0 208457 0
vsize: 833892
[startup+200.054 s]
Raw data (loadavg): 0.99 0.99 0.92 4/63 23336
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 17994 0 1 0 18673 47 0 0 18 0 10 0 489402270 857505792 22651 4294967295 134512640 134569956 3221224400 3221214316 1130883287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209352 22651 13073 16 0 209336 0
vsize: 837408
[startup+210.055 s]
Raw data (loadavg): 1.14 1.02 0.93 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18036 0 1 0 19466 50 0 0 17 0 11 0 489402270 859791360 28808 4294967295 134512640 134569956 3221224400 3221214752 1131421287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209910 28808 13073 16 0 209894 0
vsize: 839640
[startup+220.059 s]
Raw data (loadavg): 1.19 1.03 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 20366 51 0 0 17 0 11 0 489402270 861270016 29383 4294967295 134512640 134569956 3221224400 3221214576 1131347654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210271 29383 13073 16 0 210255 0
vsize: 841084
[startup+230.059 s]
Raw data (loadavg): 1.16 1.03 0.94 3/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 21349 51 0 0 25 0 11 0 489402270 860221440 28949 4294967295 134512640 134569956 3221224400 3221214656 1131444716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 28949 13073 16 0 209999 0
vsize: 840060
[startup+240.06 s]
Raw data (loadavg): 1.14 1.03 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 22331 52 0 0 18 0 11 0 489402270 860221440 28953 4294967295 134512640 134569956 3221224400 3221214656 1131446247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 28953 13073 16 0 209999 0
vsize: 840060
[startup+250.061 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 23313 52 0 0 18 0 11 0 489402270 860221440 28955 4294967295 134512640 134569956 3221224400 3221214768 1131660947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 28955 13073 16 0 209999 0
vsize: 840060
[startup+260.064 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 24299 52 0 0 17 0 11 0 489402270 860221440 28955 4294967295 134512640 134569956 3221224400 3221214656 1131444650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 28955 13073 16 0 209999 0
vsize: 840060
[startup+270.063 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 25283 52 0 0 19 0 11 0 489402270 860221440 28955 4294967295 134512640 134569956 3221224400 3221214768 1131660800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 28955 13073 16 0 209999 0
vsize: 840060
[startup+280.066 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 26269 53 0 0 20 0 11 0 489402270 860221440 28955 4294967295 134512640 134569956 3221224400 3221214768 1131660951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 28955 13073 16 0 209999 0
vsize: 840060
[startup+290.067 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 27253 53 0 0 21 0 11 0 489402270 860221440 28955 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 28955 13073 16 0 209999 0
vsize: 840060
[startup+300.067 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 28227 53 0 0 17 0 11 0 489402270 860221440 28955 4294967295 134512640 134569956 3221224400 3221214768 1131660955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 28955 13073 16 0 209999 0
vsize: 840060
[startup+310.068 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 29209 53 0 0 20 0 11 0 489402270 860221440 28956 4294967295 134512640 134569956 3221224400 3221214688 1131632213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 28956 13073 16 0 209999 0
vsize: 840060
[startup+320.073 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 30179 53 0 0 17 0 11 0 489402270 860221440 29276 4294967295 134512640 134569956 3221224400 3221214768 1131660819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29276 13073 16 0 209999 0
vsize: 840060
[startup+330.073 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 31166 54 0 0 20 0 11 0 489402270 860221440 29276 4294967295 134512640 134569956 3221224400 3221214768 1131660955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29276 13073 16 0 209999 0
vsize: 840060
[startup+340.073 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 32145 54 0 0 17 0 11 0 489402270 860221440 29276 4294967295 134512640 134569956 3221224400 3221214776 1131421147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29276 13073 16 0 209999 0
vsize: 840060
[startup+350.075 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 33117 54 0 0 19 0 11 0 489402270 860221440 29338 4294967295 134512640 134569956 3221224400 3221214768 1131660819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29338 13073 16 0 209999 0
vsize: 840060
[startup+360.076 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 34103 54 0 0 22 0 11 0 489402270 860221440 29396 4294967295 134512640 134569956 3221224400 3221214656 1131445634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 29396 13073 16 0 209999 0
vsize: 840060
[startup+370.076 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 35090 54 0 0 25 0 11 0 489402270 860221440 29434 4294967295 134512640 134569956 3221224400 3221214768 1131660826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29434 13073 16 0 209999 0
vsize: 840060
[startup+380.078 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 36071 54 0 0 19 0 11 0 489402270 860221440 29509 4294967295 134512640 134569956 3221224400 3221214512 1131585774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29509 13073 16 0 209999 0
vsize: 840060
[startup+390.078 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 37058 55 0 0 20 0 11 0 489402270 860221440 29566 4294967295 134512640 134569956 3221224400 3221214656 1131445531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29566 13073 16 0 209999 0
vsize: 840060
[startup+400.079 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 38047 55 0 0 22 0 11 0 489402270 860221440 29597 4294967295 134512640 134569956 3221224400 3221214768 1131660819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29597 13073 16 0 209999 0
vsize: 840060
[startup+410.079 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 39036 55 0 0 25 0 11 0 489402270 860221440 29646 4294967295 134512640 134569956 3221224400 3221214856 1131452279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 29646 13073 16 0 209999 0
vsize: 840060
[startup+420.081 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 40026 55 0 0 25 0 11 0 489402270 860221440 29709 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 29709 13073 16 0 209999 0
vsize: 840060
[startup+430.086 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 41012 55 0 0 17 0 11 0 489402270 860221440 29783 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29783 13073 16 0 209999 0
vsize: 840060
[startup+440.087 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 42004 55 0 0 17 0 11 0 489402270 860221440 29858 4294967295 134512640 134569956 3221224400 3221214768 1131660800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29858 13073 16 0 209999 0
vsize: 840060
[startup+450.087 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 43000 55 0 0 24 0 11 0 489402270 860221440 29886 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29886 13073 16 0 209999 0
vsize: 840060
[startup+460.088 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 43997 55 0 0 25 0 11 0 489402270 860221440 29907 4294967295 134512640 134569956 3221224400 3221214688 1131632213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 29907 13073 16 0 209999 0
vsize: 840060
[startup+470.09 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 44990 56 0 0 17 0 11 0 489402270 860221440 29949 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29949 13073 16 0 209999 0
vsize: 840060
[startup+480.09 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 45984 56 0 0 17 0 11 0 489402270 860221440 29976 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29976 13073 16 0 209999 0
vsize: 840060
[startup+490.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 46981 56 0 0 25 0 11 0 489402270 860221440 29999 4294967295 134512640 134569956 3221224400 3221214768 1131660819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 29999 13073 16 0 209999 0
vsize: 840060
[startup+500.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 47973 56 0 0 22 0 11 0 489402270 860221440 30018 4294967295 134512640 134569956 3221224400 3221214768 1131660947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30018 13073 16 0 209999 0
vsize: 840060
[startup+510.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 48968 56 0 0 21 0 11 0 489402270 860221440 30059 4294967295 134512640 134569956 3221224400 3221214768 1131660955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30059 13073 16 0 209999 0
vsize: 840060
[startup+520.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 49961 56 0 0 18 0 11 0 489402270 860221440 30105 4294967295 134512640 134569956 3221224400 3221214752 1131347286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30105 13073 16 0 209999 0
vsize: 840060
[startup+530.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 50953 56 0 0 18 0 11 0 489402270 860221440 30143 4294967295 134512640 134569956 3221224400 3221214764 1131347052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30143 13073 16 0 209999 0
vsize: 840060
[startup+540.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 51948 57 0 0 17 0 11 0 489402270 860221440 30161 4294967295 134512640 134569956 3221224400 3221214656 1131444370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30161 13073 16 0 209999 0
vsize: 840060
[startup+550.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 52945 57 0 0 20 0 11 0 489402270 860221440 30173 4294967295 134512640 134569956 3221224400 3221214768 1131660951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30173 13073 16 0 209999 0
vsize: 840060
[startup+560.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 53940 57 0 0 19 0 11 0 489402270 860221440 30186 4294967295 134512640 134569956 3221224400 3221214768 1131660819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30186 13073 16 0 209999 0
vsize: 840060
[startup+570.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 54938 57 0 0 25 0 11 0 489402270 860221440 30200 4294967295 134512640 134569956 3221224400 3221214768 1131660960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30200 13073 16 0 209999 0
vsize: 840060
[startup+580.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 55933 57 0 0 21 0 11 0 489402270 860221440 30213 4294967295 134512640 134569956 3221224400 3221214664 1131347571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30213 13073 16 0 209999 0
vsize: 840060
[startup+590.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 56929 58 0 0 18 0 11 0 489402270 860221440 30227 4294967295 134512640 134569956 3221224400 3221214808 1131461645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30227 13073 16 0 209999 0
vsize: 840060
[startup+600.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 57927 58 0 0 22 0 11 0 489402270 860221440 30227 4294967295 134512640 134569956 3221224400 3221214768 1131660921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30227 13073 16 0 209999 0
vsize: 840060
[startup+610.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 58923 58 0 0 23 0 11 0 489402270 860221440 30240 4294967295 134512640 134569956 3221224400 3221214536 1131590342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30240 13073 16 0 209999 0
vsize: 840060
[startup+620.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 59921 58 0 0 25 0 11 0 489402270 860221440 30240 4294967295 134512640 134569956 3221224400 3221214768 1131660808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30240 13073 16 0 209999 0
vsize: 840060
[startup+630.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 60917 58 0 0 22 0 11 0 489402270 860221440 30240 4294967295 134512640 134569956 3221224400 3221214768 1131660819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30240 13073 16 0 209999 0
vsize: 840060
[startup+640.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 61913 58 0 0 23 0 11 0 489402270 860221440 30250 4294967295 134512640 134569956 3221224400 3221214768 1131660826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30250 13073 16 0 209999 0
vsize: 840060
[startup+650.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 62908 59 0 0 25 0 11 0 489402270 860221440 30250 4294967295 134512640 134569956 3221224400 3221214768 1131660819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30250 13073 16 0 209999 0
vsize: 840060
[startup+660.106 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 63900 59 0 0 17 0 11 0 489402270 860221440 30266 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30266 13073 16 0 209999 0
vsize: 840060
[startup+670.106 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 64895 59 0 0 18 0 11 0 489402270 860221440 30289 4294967295 134512640 134569956 3221224400 3221214768 1131647139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30289 13073 16 0 209999 0
vsize: 840060
[startup+680.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 65889 60 0 0 22 0 11 0 489402270 860221440 30325 4294967295 134512640 134569956 3221224400 3221214768 1131660937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30325 13073 16 0 209999 0
vsize: 840060
[startup+690.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 66884 60 0 0 25 0 11 0 489402270 860221440 30364 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30364 13073 16 0 209999 0
vsize: 840060
[startup+700.108 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 67876 60 0 0 19 0 11 0 489402270 860221440 30398 4294967295 134512640 134569956 3221224400 3221214664 1131347600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30398 13073 16 0 209999 0
vsize: 840060
[startup+710.109 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 68871 60 0 0 18 0 11 0 489402270 860221440 30406 4294967295 134512640 134569956 3221224400 3221214768 1131660812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30406 13073 16 0 209999 0
vsize: 840060
[startup+720.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 69868 60 0 0 22 0 11 0 489402270 860221440 30409 4294967295 134512640 134569956 3221224400 3221214768 1131660819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30409 13073 16 0 209999 0
vsize: 840060
[startup+730.111 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 70863 61 0 0 24 0 11 0 489402270 860221440 30409 4294967295 134512640 134569956 3221224400 3221214768 1131660819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30409 13073 16 0 209999 0
vsize: 840060
[startup+740.111 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 71858 61 0 0 22 0 11 0 489402270 860221440 30418 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30418 13073 16 0 209999 0
vsize: 840060
[startup+750.116 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 72853 61 0 0 20 0 11 0 489402270 860221440 30418 4294967295 134512640 134569956 3221224400 3221214768 1131660937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30418 13073 16 0 209999 0
vsize: 840060
[startup+760.117 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18077 0 1 0 73848 61 0 0 21 0 11 0 489402270 860221440 30428 4294967295 134512640 134569956 3221224400 3221214664 1131347582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30428 13073 16 0 209999 0
vsize: 840060
[startup+770.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 74838 61 0 0 17 0 11 0 489402270 860221440 30440 4294967295 134512640 134569956 3221224400 3221214768 1131660821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30440 13073 16 0 209999 0
vsize: 840060
[startup+780.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 75831 61 0 0 20 0 11 0 489402270 860221440 30448 4294967295 134512640 134569956 3221224400 3221214768 1131660947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30448 13073 16 0 209999 0
vsize: 840060
[startup+790.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 76824 61 0 0 21 0 11 0 489402270 860221440 30462 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 30462 13073 16 0 209999 0
vsize: 840060
[startup+800.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 77814 61 0 0 24 0 11 0 489402270 860221440 30488 4294967295 134512640 134569956 3221224400 3221214768 1131660947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30488 13073 16 0 209999 0
vsize: 840060
[startup+810.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 78807 61 0 0 25 0 11 0 489402270 860221440 30512 4294967295 134512640 134569956 3221224400 3221214664 1131347435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30512 13073 16 0 209999 0
vsize: 840060
[startup+820.132 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 79800 61 0 0 25 0 11 0 489402270 860221440 30548 4294967295 134512640 134569956 3221224400 3221214656 1131444018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30548 13073 16 0 209999 0
vsize: 840060
[startup+830.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 80795 61 0 0 25 0 11 0 489402270 860221440 30585 4294967295 134512640 134569956 3221224400 3221214768 1131660812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30585 13073 16 0 209999 0
vsize: 840060
[startup+840.158 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 81790 62 0 0 25 0 11 0 489402270 860221440 30598 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30598 13073 16 0 209999 0
vsize: 840060
[startup+850.158 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 82780 62 0 0 25 0 11 0 489402270 860221440 30624 4294967295 134512640 134569956 3221224400 3221214768 1131660821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30624 13073 16 0 209999 0
vsize: 840060
[startup+860.164 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 83767 62 0 0 23 0 11 0 489402270 860221440 30648 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30648 13073 16 0 209999 0
vsize: 840060
[startup+870.171 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 84757 62 0 0 25 0 11 0 489402270 860221440 30661 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30661 13073 16 0 209999 0
vsize: 840060
[startup+880.171 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 85748 62 0 0 25 0 11 0 489402270 860221440 30675 4294967295 134512640 134569956 3221224400 3221214656 1131444622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30675 13073 16 0 209999 0
vsize: 840060
[startup+890.172 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 86735 62 0 0 25 0 11 0 489402270 860221440 30688 4294967295 134512640 134569956 3221224400 3221214656 1131444633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30688 13073 16 0 209999 0
vsize: 840060
[startup+900.173 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 87725 62 0 0 25 0 11 0 489402270 860221440 30748 4294967295 134512640 134569956 3221224400 3221214608 1131555298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30748 13073 16 0 209999 0
vsize: 840060
[startup+910.174 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 88710 62 0 0 25 0 11 0 489402270 860221440 30790 4294967295 134512640 134569956 3221224400 3221214656 1131444622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30790 13073 16 0 209999 0
vsize: 840060
[startup+920.175 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 89701 62 0 0 25 0 11 0 489402270 860221440 30802 4294967295 134512640 134569956 3221224400 3221214768 1131660819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30802 13073 16 0 209999 0
vsize: 840060
[startup+930.176 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 90680 62 0 0 25 0 11 0 489402270 860221440 30829 4294967295 134512640 134569956 3221224400 3221214768 1131660951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30829 13073 16 0 209999 0
vsize: 840060
[startup+940.176 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 91663 62 0 0 25 0 11 0 489402270 860221440 30856 4294967295 134512640 134569956 3221224400 3221214776 1131423037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30856 13073 16 0 209999 0
vsize: 840060
[startup+950.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 92647 62 0 0 22 0 11 0 489402270 860221440 30910 4294967295 134512640 134569956 3221224400 3221214768 1131660821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30910 13073 16 0 209999 0
vsize: 840060
[startup+960.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 93643 62 0 0 25 0 11 0 489402270 860221440 30922 4294967295 134512640 134569956 3221224400 3221214776 1131421147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30922 13073 16 0 209999 0
vsize: 840060
[startup+970.201 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 94626 62 0 0 25 0 11 0 489402270 860221440 30985 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30985 13073 16 0 209999 0
vsize: 840060
[startup+980.207 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 95615 62 0 0 25 0 11 0 489402270 860221440 30989 4294967295 134512640 134569956 3221224400 3221214664 1131347420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 30989 13073 16 0 209999 0
vsize: 840060
[startup+990.207 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 96602 62 0 0 22 0 11 0 489402270 860221440 31024 4294967295 134512640 134569956 3221224400 3221214768 1131660812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31024 13073 16 0 209999 0
vsize: 840060
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 97589 62 0 0 19 0 11 0 489402270 860221440 31072 4294967295 134512640 134569956 3221224400 3221214768 1131660826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31072 13073 16 0 209999 0
vsize: 840060
[startup+1010.21 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 98583 62 0 0 25 0 11 0 489402270 860221440 31097 4294967295 134512640 134569956 3221224400 3221214768 1131660955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31097 13073 16 0 209999 0
vsize: 840060
[startup+1020.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 99571 62 0 0 25 0 11 0 489402270 860221440 31136 4294967295 134512640 134569956 3221224400 3221214768 1131660937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31136 13073 16 0 209999 0
vsize: 840060
[startup+1030.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 100557 62 0 0 25 0 11 0 489402270 860221440 31184 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31184 13073 16 0 209999 0
vsize: 840060
[startup+1040.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 101544 62 0 0 25 0 11 0 489402270 860221440 31232 4294967295 134512640 134569956 3221224400 3221214768 1131660826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 31232 13073 16 0 209999 0
vsize: 840060
[startup+1050.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 102530 62 0 0 25 0 11 0 489402270 860221440 31269 4294967295 134512640 134569956 3221224400 3221214416 1131622145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31269 13073 16 0 209999 0
vsize: 840060
[startup+1060.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 103516 62 0 0 25 0 11 0 489402270 860221440 31305 4294967295 134512640 134569956 3221224400 3221214768 1131660947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31305 13073 16 0 209999 0
vsize: 840060
[startup+1070.22 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 104502 62 0 0 22 0 11 0 489402270 860221440 31342 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210015 31342 13073 16 0 209999 0
vsize: 840060
[startup+1080.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 105487 63 0 0 21 0 11 0 489402270 860221440 31354 4294967295 134512640 134569956 3221224400 3221214664 1131347689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31354 13073 16 0 209999 0
vsize: 840060
[startup+1090.24 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 106473 63 0 0 21 0 11 0 489402270 860221440 31391 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31391 13073 16 0 209999 0
vsize: 840060
[startup+1100.24 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 107458 63 0 0 21 0 11 0 489402270 860221440 31421 4294967295 134512640 134569956 3221224400 3221214808 1131461572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31421 13073 16 0 209999 0
vsize: 840060
[startup+1110.24 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 108441 63 0 0 20 0 11 0 489402270 860221440 31460 4294967295 134512640 134569956 3221224400 3221214932 1130883836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31460 13073 16 0 209999 0
vsize: 840060
[startup+1120.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 109426 63 0 0 19 0 11 0 489402270 860221440 31485 4294967295 134512640 134569956 3221224400 3221214768 1131660816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31485 13073 16 0 209999 0
vsize: 840060
[startup+1130.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 110411 63 0 0 18 0 11 0 489402270 860221440 31523 4294967295 134512640 134569956 3221224400 3221214808 1131460701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 31523 13073 16 0 209999 0
vsize: 840060
[startup+1140.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 111403 63 0 0 25 0 11 0 489402270 862318592 32160 4294967295 134512640 134569956 3221224400 3221214648 1131444075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210527 32160 13073 16 0 210511 0
vsize: 842108
[startup+1150.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 112388 63 0 0 25 0 11 0 489402270 862318592 32229 4294967295 134512640 134569956 3221224400 3221214760 1131660937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210527 32229 13073 16 0 210511 0
vsize: 842108
[startup+1160.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 113374 63 0 0 24 0 11 0 489402270 862318592 32288 4294967295 134512640 134569956 3221224400 3221214656 1131347592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210527 32288 13073 16 0 210511 0
vsize: 842108
[startup+1170.26 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 114361 64 0 0 21 0 11 0 489402270 862318592 32330 4294967295 134512640 134569956 3221224400 3221214760 1131660819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210527 32330 13073 16 0 210511 0
vsize: 842108
[startup+1180.28 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 115343 64 0 0 17 0 11 0 489402270 862318592 32419 4294967295 134512640 134569956 3221224400 3221214680 1131342431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210527 32419 13073 16 0 210511 0
vsize: 842108
[startup+1190.31 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 116334 65 0 0 21 0 11 0 489402270 862318592 32484 4294967295 134512640 134569956 3221224400 3221214760 1131660947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210527 32484 13073 16 0 210511 0
vsize: 842108
[startup+1200.31 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 117322 65 0 0 18 0 11 0 489402270 862318592 32538 4294967295 134512640 134569956 3221224400 3221214760 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210527 32538 13073 16 0 210511 0
vsize: 842108
[startup+1210.32 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 118312 65 0 0 17 0 11 0 489402270 862318592 32603 4294967295 134512640 134569956 3221224400 3221214760 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210527 32603 13073 16 0 210511 0
vsize: 842108
[startup+1220.33 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 119307 65 0 0 25 0 11 0 489402270 862318592 32619 4294967295 134512640 134569956 3221224400 3221214760 1131660819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210527 32619 13073 16 0 210511 0
vsize: 842108
[startup+1230.33 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 23337
Raw data (stat): 23327 (java) R 23326 29653 29652 0 -1 0 18078 0 1 0 120296 65 0 0 20 0 11 0 489402270 862318592 32668 4294967295 134512640 134569956 3221224400 3221214760 1131660816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210527 32668 13073 16 0 210511 0
vsize: 842108
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.44 s]
Raw data (loadavg): 1.03 1.01 0.94 1/54 23339
Raw data (stat): 23327 (java) Z 23326 29653 29652 0 -1 1036 18078 21396 1 0 120300 71 4219 55 19 0 1 0 489402270 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.44
CPU time (s): 1246.47
CPU user time (s): 1245.2
CPU system time (s): 1.27781
CPU usage (%): 101.303
Max. virtual memory (Kb): 842108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####