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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
MD5SUM61549d48f99a5af6fe87bd8bf474bfaf
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9216
Optimality of the best value was proved NO
Number of terms in the objective function 5400
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 193273528140
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 193273528140
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1202.33
Number of variables8600
Total number of constraints3706
Number of constraints which are clauses600
Number of constraints which are cardinality constraints (but not clauses)1020
Number of constraints which are nor clauses,nor cardinality constraints2086
Minimum length of a constraint1
Maximum length of a constraint450

Trace number 13647

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        444648 kB
Buffers:         35592 kB
Cached:         531256 kB
SwapCached:          0 kB
Active:         355528 kB
Inactive:       214124 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        444396 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6812 kB
Slab:            14768 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 21:33:01 (client local time) WITH STATUS 143 IN 1217.64 SECONDS
stats: 14530 7 1217.64 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-neos11.opb
c reading problem 
c [nbvar=8600]
c [nbconstr=3706]
c time 28.053
c #vars     8600
c #clauses  3043
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.81 0.94 0.89 1/54 18170
Raw data (stat): 18170 (runsolver) D 18169 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 481372117 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.92 0.96 0.90 2/63 18179
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 17997 0 1 0 888 39 0 0 25 0 10 0 481372117 854147072 19244 4294967295 134512640 134569956 3221224400 3221214704 1131199722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208532 19244 13073 16 0 208516 0
vsize: 834128
[startup+20.0006 s]
Raw data (loadavg): 1.16 1.01 0.92 2/63 18179
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18012 0 1 0 1718 39 0 0 24 0 10 0 481372117 871620608 24234 4294967295 134512640 134569956 3221224400 3221214728 1131304468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212798 24234 13073 16 0 212782 0
vsize: 851192
[startup+30.0087 s]
Raw data (loadavg): 1.13 1.01 0.92 2/64 18180
Raw data (stat): 18170 (java) S 18169 25347 25346 0 -1 0 18043 0 1 0 2530 41 0 0 25 0 11 0 481372117 862183424 23249 4294967295 134512640 134569956 3221224400 3221213304 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210494 23249 13073 16 0 210478 0
vsize: 841976
[startup+40.0128 s]
Raw data (loadavg): 1.19 1.02 0.92 2/64 18180
Raw data (stat): 18170 (java) S 18169 25347 25346 0 -1 0 18081 0 1 0 3343 41 0 0 25 0 11 0 481372117 862150656 23888 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 23888 13073 16 0 210470 0
vsize: 841944
[startup+50.0124 s]
Raw data (loadavg): 1.16 1.02 0.92 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 4257 41 0 0 24 0 11 0 481372117 862150656 24168 4294967295 134512640 134569956 3221224400 3221214604 1080203714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24168 13073 16 0 210470 0
vsize: 841944
[startup+60.0125 s]
Raw data (loadavg): 1.13 1.02 0.92 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 5180 41 0 0 25 0 11 0 481372117 862150656 24168 4294967295 134512640 134569956 3221224400 3221214680 1131557061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24168 13073 16 0 210470 0
vsize: 841944
[startup+70.0131 s]
Raw data (loadavg): 1.11 1.02 0.92 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 6132 41 0 0 24 0 11 0 481372117 862150656 24838 4294967295 134512640 134569956 3221224400 3221214744 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24838 13073 16 0 210470 0
vsize: 841944
[startup+80.0139 s]
Raw data (loadavg): 1.17 1.04 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 7130 41 0 0 25 0 11 0 481372117 862150656 24838 4294967295 134512640 134569956 3221224400 3221214664 1131522178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24838 13073 16 0 210470 0
vsize: 841944
[startup+90.0139 s]
Raw data (loadavg): 1.15 1.03 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 8128 42 0 0 25 0 11 0 481372117 862150656 24838 4294967295 134512640 134569956 3221224400 3221214680 1131557709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24838 13073 16 0 210470 0
vsize: 841944
[startup+100.014 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 9125 42 0 0 25 0 11 0 481372117 862150656 24838 4294967295 134512640 134569956 3221224400 3221214680 1131557855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 24838 13073 16 0 210470 0
vsize: 841944
[startup+110.014 s]
Raw data (loadavg): 1.10 1.03 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 10122 42 0 0 25 0 11 0 481372117 862150656 24838 4294967295 134512640 134569956 3221224400 3221214680 1131566264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24838 13073 16 0 210470 0
vsize: 841944
[startup+120.014 s]
Raw data (loadavg): 1.09 1.03 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 11119 42 0 0 25 0 11 0 481372117 862150656 24838 4294967295 134512640 134569956 3221224400 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24838 13073 16 0 210470 0
vsize: 841944
[startup+130.014 s]
Raw data (loadavg): 1.07 1.03 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 12116 42 0 0 25 0 11 0 481372117 862150656 24838 4294967295 134512640 134569956 3221224400 3221214688 1131204112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24838 13073 16 0 210470 0
vsize: 841944
[startup+140.014 s]
Raw data (loadavg): 1.06 1.03 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 13115 42 0 0 25 0 11 0 481372117 862150656 24838 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24838 13073 16 0 210470 0
vsize: 841944
[startup+150.014 s]
Raw data (loadavg): 1.05 1.03 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 14111 42 0 0 25 0 11 0 481372117 862150656 24838 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24838 13073 16 0 210470 0
vsize: 841944
[startup+160.015 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18081 0 1 0 15108 42 0 0 25 0 11 0 481372117 862150656 24838 4294967295 134512640 134569956 3221224400 3221214744 1131583468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24838 13073 16 0 210470 0
vsize: 841944
[startup+170.014 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18082 0 1 0 16105 42 0 0 25 0 11 0 481372117 862150656 24844 4294967295 134512640 134569956 3221224400 3221214496 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24844 13073 16 0 210470 0
vsize: 841944
[startup+180.015 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18082 0 1 0 17101 42 0 0 25 0 11 0 481372117 862150656 24844 4294967295 134512640 134569956 3221224400 3221214496 1131251894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 24844 13073 16 0 210470 0
vsize: 841944
[startup+190.016 s]
Raw data (loadavg): 1.10 1.04 0.93 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18082 0 1 0 18099 42 0 0 25 0 11 0 481372117 862150656 24844 4294967295 134512640 134569956 3221224400 3221214600 1131501028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24844 13073 16 0 210470 0
vsize: 841944
[startup+200.015 s]
Raw data (loadavg): 1.16 1.05 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 19094 43 0 0 25 0 11 0 481372117 862150656 24852 4294967295 134512640 134569956 3221224400 3221214496 1131251622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 24852 13073 16 0 210470 0
vsize: 841944
[startup+210.016 s]
Raw data (loadavg): 1.14 1.05 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 20092 43 0 0 25 0 11 0 481372117 862150656 24852 4294967295 134512640 134569956 3221224400 3221214732 1080203678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24852 13073 16 0 210470 0
vsize: 841944
[startup+220.119 s]
Raw data (loadavg): 1.12 1.05 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 21098 43 0 0 25 0 11 0 481372117 862150656 24852 4294967295 134512640 134569956 3221224400 3221214584 1131656158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24852 13073 16 0 210470 0
vsize: 841944
[startup+230.119 s]
Raw data (loadavg): 1.10 1.05 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 22096 43 0 0 25 0 11 0 481372117 862150656 24852 4294967295 134512640 134569956 3221224400 3221214600 1131500912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24852 13073 16 0 210470 0
vsize: 841944
[startup+240.12 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 23094 44 0 0 25 0 11 0 481372117 862150656 24852 4294967295 134512640 134569956 3221224400 3221214496 1131251582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24852 13073 16 0 210470 0
vsize: 841944
[startup+250.126 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 24092 44 0 0 25 0 11 0 481372117 862150656 24853 4294967295 134512640 134569956 3221224400 3221214496 1131251831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 24853 13073 16 0 210470 0
vsize: 841944
[startup+260.13 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 25091 44 0 0 25 0 11 0 481372117 862150656 24859 4294967295 134512640 134569956 3221224400 3221214496 1131251783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24859 13073 16 0 210470 0
vsize: 841944
[startup+270.13 s]
Raw data (loadavg): 1.05 1.04 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 26088 44 0 0 25 0 11 0 481372117 862150656 24861 4294967295 134512640 134569956 3221224400 3221214384 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24861 13073 16 0 210470 0
vsize: 841944
[startup+280.137 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 27086 44 0 0 25 0 11 0 481372117 862150656 24861 4294967295 134512640 134569956 3221224400 3221214496 1131251783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24861 13073 16 0 210470 0
vsize: 841944
[startup+290.144 s]
Raw data (loadavg): 1.03 1.04 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 28086 44 0 0 25 0 11 0 481372117 862150656 24861 4294967295 134512640 134569956 3221224400 3221214496 1131252428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24861 13073 16 0 210470 0
vsize: 841944
[startup+300.143 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 29084 45 0 0 25 0 11 0 481372117 862150656 24861 4294967295 134512640 134569956 3221224400 3221214584 1131654420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24861 13073 16 0 210470 0
vsize: 841944
[startup+310.143 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 30082 45 0 0 25 0 11 0 481372117 862150656 24867 4294967295 134512640 134569956 3221224400 3221214584 1131654071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 24867 13073 16 0 210470 0
vsize: 841944
[startup+320.143 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 31081 45 0 0 25 0 11 0 481372117 862150656 24867 4294967295 134512640 134569956 3221224400 3221214600 1131623392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24867 13073 16 0 210470 0
vsize: 841944
[startup+330.143 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 32079 45 0 0 25 0 11 0 481372117 862150656 24867 4294967295 134512640 134569956 3221224400 3221214744 1131583681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24867 13073 16 0 210470 0
vsize: 841944
[startup+340.148 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 33077 45 0 0 25 0 11 0 481372117 862150656 24867 4294967295 134512640 134569956 3221224400 3221214496 1131251772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24867 13073 16 0 210470 0
vsize: 841944
[startup+350.153 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 34076 45 0 0 25 0 11 0 481372117 862150656 24867 4294967295 134512640 134569956 3221224400 3221214496 1131251799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24867 13073 16 0 210470 0
vsize: 841944
[startup+360.159 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 35075 45 0 0 25 0 11 0 481372117 862150656 24867 4294967295 134512640 134569956 3221224400 3221214600 1131501059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24867 13073 16 0 210470 0
vsize: 841944
[startup+370.159 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 36073 45 0 0 25 0 11 0 481372117 862150656 24872 4294967295 134512640 134569956 3221224400 3221214600 1131501059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24872 13073 16 0 210470 0
vsize: 841944
[startup+380.159 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 37072 45 0 0 25 0 11 0 481372117 862150656 24872 4294967295 134512640 134569956 3221224400 3221214496 1131251864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24872 13073 16 0 210470 0
vsize: 841944
[startup+390.16 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 38063 45 0 0 25 0 11 0 481372117 862150656 24876 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24876 13073 16 0 210470 0
vsize: 841944
[startup+400.16 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 39054 45 0 0 25 0 11 0 481372117 862150656 24876 4294967295 134512640 134569956 3221224400 3221214696 1131677655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24876 13073 16 0 210470 0
vsize: 841944
[startup+410.16 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 40044 45 0 0 25 0 11 0 481372117 862150656 24876 4294967295 134512640 134569956 3221224400 3221214576 1131304430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24876 13073 16 0 210470 0
vsize: 841944
[startup+420.159 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 41035 46 0 0 25 0 11 0 481372117 862150656 24952 4294967295 134512640 134569956 3221224400 3221214696 1131677768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24952 13073 16 0 210470 0
vsize: 841944
[startup+430.174 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 42036 46 0 0 25 0 11 0 481372117 862150656 24958 4294967295 134512640 134569956 3221224400 3221214696 1131677648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 24958 13073 16 0 210470 0
vsize: 841944
[startup+440.174 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 43032 46 0 0 25 0 11 0 481372117 862150656 24958 4294967295 134512640 134569956 3221224400 3221214664 1131522146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24958 13073 16 0 210470 0
vsize: 841944
[startup+450.19 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 44032 46 0 0 25 0 11 0 481372117 862150656 24958 4294967295 134512640 134569956 3221224400 3221214696 1131677655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24958 13073 16 0 210470 0
vsize: 841944
[startup+460.221 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 45033 46 0 0 25 0 11 0 481372117 862150656 24958 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 24958 13073 16 0 210470 0
vsize: 841944
[startup+470.227 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 46030 46 0 0 25 0 11 0 481372117 862150656 24958 4294967295 134512640 134569956 3221224400 3221214592 1131251532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 24958 13073 16 0 210470 0
vsize: 841944
[startup+480.345 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 47041 46 0 0 25 0 11 0 481372117 862150656 24964 4294967295 134512640 134569956 3221224400 3221214696 1131677648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24964 13073 16 0 210470 0
vsize: 841944
[startup+490.368 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 48041 47 0 0 25 0 11 0 481372117 862150656 24964 4294967295 134512640 134569956 3221224400 3221214736 1080203753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24964 13073 16 0 210470 0
vsize: 841944
[startup+500.39 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 49033 47 0 0 24 0 11 0 481372117 862150656 24964 4294967295 134512640 134569956 3221224400 3221214696 1131677655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24964 13073 16 0 210470 0
vsize: 841944
[startup+510.397 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 50024 47 0 0 25 0 11 0 481372117 862150656 24964 4294967295 134512640 134569956 3221224400 3221214584 1131654582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24964 13073 16 0 210470 0
vsize: 841944
[startup+520.403 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 51016 47 0 0 25 0 11 0 481372117 862150656 24964 4294967295 134512640 134569956 3221224400 3221214584 1131656155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 24964 13073 16 0 210470 0
vsize: 841944
[startup+530.407 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 52012 47 0 0 25 0 11 0 481372117 862150656 25050 4294967295 134512640 134569956 3221224400 3221214584 1131654439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25050 13073 16 0 210470 0
vsize: 841944
[startup+540.413 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 53011 47 0 0 25 0 11 0 481372117 862150656 25050 4294967295 134512640 134569956 3221224400 3221214592 1131251736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 25050 13073 16 0 210470 0
vsize: 841944
[startup+550.431 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 54009 47 0 0 25 0 11 0 481372117 862150656 25050 4294967295 134512640 134569956 3221224400 3221214592 1131251783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25050 13073 16 0 210470 0
vsize: 841944
[startup+560.447 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 55009 47 0 0 25 0 11 0 481372117 862150656 25050 4294967295 134512640 134569956 3221224400 3221214592 1131251636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25050 13073 16 0 210470 0
vsize: 841944
[startup+570.462 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 56009 47 0 0 25 0 11 0 481372117 862150656 25050 4294967295 134512640 134569956 3221224400 3221214584 1131654484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25050 13073 16 0 210470 0
vsize: 841944
[startup+580.463 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 57007 47 0 0 25 0 11 0 481372117 862150656 25051 4294967295 134512640 134569956 3221224400 3221214592 1131251831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25051 13073 16 0 210470 0
vsize: 841944
[startup+590.462 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 58006 48 0 0 25 0 11 0 481372117 862150656 25056 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25056 13073 16 0 210470 0
vsize: 841944
[startup+600.462 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 59002 48 0 0 25 0 11 0 481372117 862150656 25056 4294967295 134512640 134569956 3221224400 3221214680 1131558668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25056 13073 16 0 210470 0
vsize: 841944
[startup+610.462 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 59993 48 0 0 25 0 11 0 481372117 862150656 25057 4294967295 134512640 134569956 3221224400 3221214592 1131251736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25057 13073 16 0 210470 0
vsize: 841944
[startup+620.462 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 60983 48 0 0 25 0 11 0 481372117 862150656 25057 4294967295 134512640 134569956 3221224400 3221214592 1131251916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25057 13073 16 0 210470 0
vsize: 841944
[startup+630.463 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 61974 48 0 0 25 0 11 0 481372117 862150656 25057 4294967295 134512640 134569956 3221224400 3221214592 1131251937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25057 13073 16 0 210470 0
vsize: 841944
[startup+640.464 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 62970 48 0 0 25 0 11 0 481372117 862150656 25147 4294967295 134512640 134569956 3221224400 3221214696 1131677655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25147 13073 16 0 210470 0
vsize: 841944
[startup+650.464 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 63968 48 0 0 25 0 11 0 481372117 862150656 25147 4294967295 134512640 134569956 3221224400 3221214584 1131654008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 25147 13073 16 0 210470 0
vsize: 841944
[startup+660.464 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 64966 48 0 0 25 0 11 0 481372117 862150656 25147 4294967295 134512640 134569956 3221224400 3221214744 1131296915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25147 13073 16 0 210470 0
vsize: 841944
[startup+670.464 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 65963 48 0 0 25 0 11 0 481372117 862150656 25147 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25147 13073 16 0 210470 0
vsize: 841944
[startup+680.466 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 66962 48 0 0 25 0 11 0 481372117 862150656 25147 4294967295 134512640 134569956 3221224400 3221214592 1131251831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25147 13073 16 0 210470 0
vsize: 841944
[startup+690.467 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 67960 49 0 0 25 0 11 0 481372117 862150656 25147 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25147 13073 16 0 210470 0
vsize: 841944
[startup+700.467 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 68959 49 0 0 25 0 11 0 481372117 862150656 25152 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25152 13073 16 0 210470 0
vsize: 841944
[startup+710.47 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 69957 49 0 0 25 0 11 0 481372117 862150656 25152 4294967295 134512640 134569956 3221224400 3221214696 1131677652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25152 13073 16 0 210470 0
vsize: 841944
[startup+720.477 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 70947 49 0 0 25 0 11 0 481372117 862150656 25152 4294967295 134512640 134569956 3221224400 3221214592 1131251887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25152 13073 16 0 210470 0
vsize: 841944
[startup+730.478 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 71938 49 0 0 25 0 11 0 481372117 862150656 25152 4294967295 134512640 134569956 3221224400 3221214592 1131252184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25152 13073 16 0 210470 0
vsize: 841944
[startup+740.484 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 72929 49 0 0 25 0 11 0 481372117 862150656 25152 4294967295 134512640 134569956 3221224400 3221214584 1131654394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25152 13073 16 0 210470 0
vsize: 841944
[startup+750.484 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 73924 49 0 0 25 0 11 0 481372117 862150656 25236 4294967295 134512640 134569956 3221224400 3221214696 1131677660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25236 13073 16 0 210470 0
vsize: 841944
[startup+760.484 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 74923 49 0 0 25 0 11 0 481372117 862150656 25242 4294967295 134512640 134569956 3221224400 3221214592 1131251783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25242 13073 16 0 210470 0
vsize: 841944
[startup+770.484 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 75921 49 0 0 25 0 11 0 481372117 862150656 25242 4294967295 134512640 134569956 3221224400 3221214592 1131251562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25242 13073 16 0 210470 0
vsize: 841944
[startup+780.486 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 76919 49 0 0 25 0 11 0 481372117 862150656 25242 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25242 13073 16 0 210470 0
vsize: 841944
[startup+790.485 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 77918 49 0 0 25 0 11 0 481372117 862150656 25242 4294967295 134512640 134569956 3221224400 3221214696 1131677655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25242 13073 16 0 210470 0
vsize: 841944
[startup+800.487 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 78917 49 0 0 25 0 11 0 481372117 862150656 25242 4294967295 134512640 134569956 3221224400 3221214592 1131252421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25242 13073 16 0 210470 0
vsize: 841944
[startup+810.494 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 79916 49 0 0 25 0 11 0 481372117 862150656 25248 4294967295 134512640 134569956 3221224400 3221214696 1131677648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 25248 13073 16 0 210470 0
vsize: 841944
[startup+820.493 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 80914 49 0 0 25 0 11 0 481372117 862150656 25248 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25248 13073 16 0 210470 0
vsize: 841944
[startup+830.494 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 81908 49 0 0 25 0 11 0 481372117 862150656 25248 4294967295 134512640 134569956 3221224400 3221214592 1131251736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25248 13073 16 0 210470 0
vsize: 841944
[startup+840.495 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 82899 49 0 0 25 0 11 0 481372117 862150656 25248 4294967295 134512640 134569956 3221224400 3221214592 1131252168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25248 13073 16 0 210470 0
vsize: 841944
[startup+850.495 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 83890 49 0 0 25 0 11 0 481372117 862150656 25248 4294967295 134512640 134569956 3221224400 3221214584 1131654412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25248 13073 16 0 210470 0
vsize: 841944
[startup+860.495 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 84882 50 0 0 25 0 11 0 481372117 862150656 25248 4294967295 134512640 134569956 3221224400 3221214584 1131654394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25248 13073 16 0 210470 0
vsize: 841944
[startup+870.495 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 85880 50 0 0 25 0 11 0 481372117 862150656 25337 4294967295 134512640 134569956 3221224400 3221214592 1131251937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25337 13073 16 0 210470 0
vsize: 841944
[startup+880.496 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 86878 50 0 0 25 0 11 0 481372117 862150656 25337 4294967295 134512640 134569956 3221224400 3221214744 1131251447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25337 13073 16 0 210470 0
vsize: 841944
[startup+890.496 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 87876 50 0 0 25 0 11 0 481372117 862150656 25337 4294967295 134512640 134569956 3221224400 3221214584 1131654629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25337 13073 16 0 210470 0
vsize: 841944
[startup+900.496 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 88874 50 0 0 25 0 11 0 481372117 862150656 25337 4294967295 134512640 134569956 3221224400 3221214592 1131252041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 25337 13073 16 0 210470 0
vsize: 841944
[startup+910.496 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 89872 50 0 0 25 0 11 0 481372117 862150656 25337 4294967295 134512640 134569956 3221224400 3221214584 1131654034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 25337 13073 16 0 210470 0
vsize: 841944
[startup+920.497 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 90870 50 0 0 25 0 11 0 481372117 862150656 25337 4294967295 134512640 134569956 3221224400 3221214584 1131654405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25337 13073 16 0 210470 0
vsize: 841944
[startup+930.497 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 91868 50 0 0 25 0 11 0 481372117 862150656 25343 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25343 13073 16 0 210470 0
vsize: 841944
[startup+940.497 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 92867 50 0 0 25 0 11 0 481372117 862150656 25343 4294967295 134512640 134569956 3221224400 3221214584 1131654394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25343 13073 16 0 210470 0
vsize: 841944
[startup+950.498 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 93856 50 0 0 25 0 11 0 481372117 862150656 25343 4294967295 134512640 134569956 3221224400 3221214592 1131251537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25343 13073 16 0 210470 0
vsize: 841944
[startup+960.498 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 94847 50 0 0 25 0 11 0 481372117 862150656 25343 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25343 13073 16 0 210470 0
vsize: 841944
[startup+970.498 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 95838 51 0 0 25 0 11 0 481372117 862150656 25343 4294967295 134512640 134569956 3221224400 3221214592 1131251636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25343 13073 16 0 210470 0
vsize: 841944
[startup+980.498 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 96833 51 0 0 25 0 11 0 481372117 862150656 25434 4294967295 134512640 134569956 3221224400 3221214592 1131251783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25434 13073 16 0 210470 0
vsize: 841944
[startup+990.499 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 97832 51 0 0 25 0 11 0 481372117 862150656 25434 4294967295 134512640 134569956 3221224400 3221214584 1131654405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 25434 13073 16 0 210470 0
vsize: 841944
[startup+1000.5 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 98829 51 0 0 25 0 11 0 481372117 862150656 25434 4294967295 134512640 134569956 3221224400 3221214744 1131583119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25434 13073 16 0 210470 0
vsize: 841944
[startup+1010.5 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 99826 51 0 0 25 0 11 0 481372117 862150656 25434 4294967295 134512640 134569956 3221224400 3221214600 1131617718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25434 13073 16 0 210470 0
vsize: 841944
[startup+1020.5 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 100825 51 0 0 25 0 11 0 481372117 862150656 25434 4294967295 134512640 134569956 3221224400 3221214592 1131251602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25434 13073 16 0 210470 0
vsize: 841944
[startup+1030.5 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 101823 51 0 0 25 0 11 0 481372117 862150656 25434 4294967295 134512640 134569956 3221224400 3221214592 1131252459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25434 13073 16 0 210470 0
vsize: 841944
[startup+1040.5 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 102821 51 0 0 25 0 11 0 481372117 862150656 25434 4294967295 134512640 134569956 3221224400 3221214592 1131252053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25434 13073 16 0 210470 0
vsize: 841944
[startup+1050.5 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 103820 51 0 0 25 0 11 0 481372117 862150656 25440 4294967295 134512640 134569956 3221224400 3221214696 1131684096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25440 13073 16 0 210470 0
vsize: 841944
[startup+1060.5 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 104819 51 0 0 25 0 11 0 481372117 862150656 25440 4294967295 134512640 134569956 3221224400 3221214696 1131677759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25440 13073 16 0 210470 0
vsize: 841944
[startup+1070.5 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 105812 51 0 0 25 0 11 0 481372117 862150656 25440 4294967295 134512640 134569956 3221224400 3221214592 1131251622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25440 13073 16 0 210470 0
vsize: 841944
[startup+1080.5 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 106802 51 0 0 25 0 11 0 481372117 862150656 25440 4294967295 134512640 134569956 3221224400 3221214592 1131251734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25440 13073 16 0 210470 0
vsize: 841944
[startup+1090.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) S 18169 25347 25346 0 -1 0 18083 0 1 0 107792 51 0 0 25 0 11 0 481372117 862150656 25440 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25440 13073 16 0 210470 0
vsize: 841944
[startup+1100.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 108784 51 0 0 25 0 11 0 481372117 862150656 25537 4294967295 134512640 134569956 3221224400 3221214592 1131251734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25537 13073 16 0 210470 0
vsize: 841944
[startup+1110.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 109783 51 0 0 25 0 11 0 481372117 862150656 25537 4294967295 134512640 134569956 3221224400 3221214592 1131251998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25537 13073 16 0 210470 0
vsize: 841944
[startup+1120.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 110781 51 0 0 25 0 11 0 481372117 862150656 25537 4294967295 134512640 134569956 3221224400 3221214744 1131296830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 25537 13073 16 0 210470 0
vsize: 841944
[startup+1130.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 111778 51 0 0 25 0 11 0 481372117 862150656 25537 4294967295 134512640 134569956 3221224400 3221214592 1131251736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25537 13073 16 0 210470 0
vsize: 841944
[startup+1140.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 112776 51 0 0 25 0 11 0 481372117 862150656 25537 4294967295 134512640 134569956 3221224400 3221214696 1131677655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25537 13073 16 0 210470 0
vsize: 841944
[startup+1150.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 113774 51 0 0 25 0 11 0 481372117 862150656 25538 4294967295 134512640 134569956 3221224400 3221214584 1131654054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 25538 13073 16 0 210470 0
vsize: 841944
[startup+1160.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 114772 51 0 0 25 0 11 0 481372117 862150656 25538 4294967295 134512640 134569956 3221224400 3221214696 1131677699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25538 13073 16 0 210470 0
vsize: 841944
[startup+1170.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 115770 52 0 0 25 0 11 0 481372117 862150656 25543 4294967295 134512640 134569956 3221224400 3221214592 1131251864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210486 25543 13073 16 0 210470 0
vsize: 841944
[startup+1180.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 116768 52 0 0 25 0 11 0 481372117 862150656 25543 4294967295 134512640 134569956 3221224400 3221214696 1131677652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25543 13073 16 0 210470 0
vsize: 841944
[startup+1190.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 117759 52 0 0 25 0 11 0 481372117 862150656 25543 4294967295 134512640 134569956 3221224400 3221214584 1131656151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25543 13073 16 0 210470 0
vsize: 841944
[startup+1200.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 118750 52 0 0 24 0 11 0 481372117 862150656 25543 4294967295 134512640 134569956 3221224400 3221214584 1131654387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25543 13073 16 0 210470 0
vsize: 841944
[startup+1210.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 119741 52 0 0 25 0 11 0 481372117 862150656 25543 4294967295 134512640 134569956 3221224400 3221214696 1131677694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25543 13073 16 0 210470 0
vsize: 841944
[startup+1220.51 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 18180
Raw data (stat): 18170 (java) R 18169 25347 25346 0 -1 0 18083 0 1 0 120733 52 0 0 25 0 11 0 481372117 862150656 25643 4294967295 134512640 134569956 3221224400 3221214592 1131251668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210486 25643 13073 16 0 210470 0
vsize: 841944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.6 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 18182
Raw data (stat): 18170 (java) Z 18169 25347 25346 0 -1 1036 18083 5177 1 0 120737 52 950 22 25 0 1 0 481372117 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): 1220.6
CPU time (s): 1217.64
CPU user time (s): 1216.88
CPU system time (s): 0.751885
CPU usage (%): 99.7574
Max. virtual memory (Kb): 851192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####