PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb
MD5SUM	3acb5fc9a1a51b5b0d62841ba7c01d77
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	3930
Biggest coefficient in the objective function	5373004087296
Number of bits for the biggest coefficient in the objective function	43
Sum of the numbers in the objective function	556141355997381
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	22763326668800000
Number of bits of the biggest number in a constraint	55
Biggest sum of numbers in a constraint	46271983665442689
Number of bits of the biggest sum of numbers	56
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.043992
Number of variables	4890
Total number of constraints	441
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	441
Minimum length of a constraint	30
Maximum length of a constraint	540
Trace number 29422

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 07:28:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20820 boxname=wulflinc31 idbench=808 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  3acb5fc9a1a51b5b0d62841ba7c01d77  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-agg.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-agg.opb
IDLAUNCH: 20820
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        485464 kB
Buffers:         18604 kB
Cached:         499792 kB
SwapCached:       1056 kB
Active:          57408 kB
Inactive:       463200 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        485212 kB
SwapTotal:     2097892 kB
SwapFree:      2095960 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            22796 kB
Committed_AS:    63812 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:48:57 (client local time) WITH STATUS 143 IN 1217.63 SECONDS
stats: 20820 7 1217.63 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-agg.opb
c reading problem ... done. Time 12.117 ms.
c #vars     4890
c #constraints  393
c starts	: 2
c conflicts	: 175
c decisions	: 4667
c propagations	: 23072
c inspects	: 1423719
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 175
c root simplifications	: 176
s UNKNOWN
c Total CPU time (ms) : 1219.125
#### 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.92 0.98 0.99 2/55 12133
Raw data (stat): 12133 (runsolver) R 12132 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837061446 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 1.17 1.03 1.01 4/64 12142
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18029 0 1 0 789 40 0 0 25 0 10 0 837061446 858550272 20644 4294967295 134512640 134569956 3221224368 3221214172 1130863124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209607 20644 13086 16 0 209591 0
vsize: 838428
[startup+20.0024 s]
Raw data (loadavg): 1.14 1.03 1.01 3/65 12145
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18068 0 1 0 1662 41 0 0 25 0 11 0 837061446 860524544 22461 4294967295 134512640 134569956 3221224368 3221214464 1131340939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210089 22461 13086 16 0 210073 0
vsize: 840356
[startup+30.0029 s]
Raw data (loadavg): 1.12 1.03 1.01 2/65 12145
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18070 0 1 0 2546 41 0 0 25 0 11 0 837061446 858046464 21907 4294967295 134512640 134569956 3221224368 3221214716 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 21907 13086 16 0 209468 0
vsize: 837936
[startup+40.0028 s]
Raw data (loadavg): 1.10 1.03 1.01 2/65 12145
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18071 0 1 0 3467 42 0 0 25 0 11 0 837061446 858046464 21957 4294967295 134512640 134569956 3221224368 3221214680 1131425348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 21957 13086 16 0 209468 0
vsize: 837936
[startup+50.0035 s]
Raw data (loadavg): 1.08 1.03 1.01 2/65 12145
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18071 0 1 0 4381 42 0 0 25 0 11 0 837061446 858046464 22027 4294967295 134512640 134569956 3221224368 3221214676 1131340864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22027 13086 16 0 209468 0
vsize: 837936
[startup+60.0037 s]
Raw data (loadavg): 1.07 1.03 1.01 2/65 12145
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18071 0 1 0 5338 42 0 0 25 0 11 0 837061446 858046464 22805 4294967295 134512640 134569956 3221224368 3221214680 1131429630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22805 13086 16 0 209468 0
vsize: 837936
[startup+70.0046 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 12145
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 6327 43 0 0 25 0 11 0 837061446 858046464 22848 4294967295 134512640 134569956 3221224368 3221214680 1131425348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22848 13086 16 0 209468 0
vsize: 837936
[startup+80.0061 s]
Raw data (loadavg): 1.05 1.02 1.00 2/65 12147
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 7319 44 0 0 25 0 11 0 837061446 858046464 22873 4294967295 134512640 134569956 3221224368 3221214520 1131454992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22873 13086 16 0 209468 0
vsize: 837936
[startup+90.0066 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 12147
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 8311 44 0 0 25 0 11 0 837061446 858046464 22903 4294967295 134512640 134569956 3221224368 3221214676 1131217575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22903 13086 16 0 209468 0
vsize: 837936
[startup+100.006 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 12147
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 9304 45 0 0 25 0 11 0 837061446 858046464 22926 4294967295 134512640 134569956 3221224368 3221214680 1131425542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22926 13086 16 0 209468 0
vsize: 837936
[startup+110.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 12147
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 10297 45 0 0 25 0 11 0 837061446 858046464 22939 4294967295 134512640 134569956 3221224368 3221214680 1131429784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22939 13086 16 0 209468 0
vsize: 837936
[startup+120.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12147
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 11291 45 0 0 25 0 11 0 837061446 858046464 22957 4294967295 134512640 134569956 3221224368 3221214680 1131425888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22957 13086 16 0 209468 0
vsize: 837936
[startup+130.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12147
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 12277 46 0 0 25 0 11 0 837061446 858046464 22972 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22972 13086 16 0 209468 0
vsize: 837936
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12149
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 13269 46 0 0 25 0 11 0 837061446 858046464 22985 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22985 13086 16 0 209468 0
vsize: 837936
[startup+150.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12149
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 14262 47 0 0 25 0 11 0 837061446 858046464 22998 4294967295 134512640 134569956 3221224368 3221214592 1131341126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 22998 13086 16 0 209468 0
vsize: 837936
[startup+160.009 s]
Raw data (loadavg): 1.08 1.03 1.00 2/65 12149
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 15254 47 0 0 25 0 11 0 837061446 858046464 23013 4294967295 134512640 134569956 3221224368 3221214592 1131341791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23013 13086 16 0 209468 0
vsize: 837936
[startup+170.01 s]
Raw data (loadavg): 1.07 1.03 1.00 2/65 12149
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 16248 48 0 0 25 0 11 0 837061446 858046464 23046 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23046 13086 16 0 209468 0
vsize: 837936
[startup+180.011 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 12149
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 17241 48 0 0 25 0 11 0 837061446 858046464 23055 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23055 13086 16 0 209468 0
vsize: 837936
[startup+190.012 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 12149
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 18236 48 0 0 25 0 11 0 837061446 858046464 23064 4294967295 134512640 134569956 3221224368 3221214680 1131429077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23064 13086 16 0 209468 0
vsize: 837936
[startup+200.012 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 12151
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 19230 49 0 0 25 0 11 0 837061446 858046464 23071 4294967295 134512640 134569956 3221224368 3221214592 1131341284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23071 13086 16 0 209468 0
vsize: 837936
[startup+210.013 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 12151
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 20225 49 0 0 25 0 11 0 837061446 858046464 23087 4294967295 134512640 134569956 3221224368 3221214680 1131429190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23087 13086 16 0 209468 0
vsize: 837936
[startup+220.014 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 12151
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 21219 50 0 0 25 0 11 0 837061446 858046464 23096 4294967295 134512640 134569956 3221224368 3221214680 1131425900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23096 13086 16 0 209468 0
vsize: 837936
[startup+230.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12151
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 22214 50 0 0 25 0 11 0 837061446 858046464 23103 4294967295 134512640 134569956 3221224368 3221214592 1131341233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23103 13086 16 0 209468 0
vsize: 837936
[startup+240.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12151
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 23208 51 0 0 25 0 11 0 837061446 858046464 23112 4294967295 134512640 134569956 3221224368 3221214520 1131455821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23112 13086 16 0 209468 0
vsize: 837936
[startup+250.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 12151
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 24203 51 0 0 25 0 11 0 837061446 858046464 23120 4294967295 134512640 134569956 3221224368 3221214592 1131341681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23120 13086 16 0 209468 0
vsize: 837936
[startup+260.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12153
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 25197 52 0 0 25 0 11 0 837061446 858046464 23124 4294967295 134512640 134569956 3221224368 3221214592 1131340987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23124 13086 16 0 209468 0
vsize: 837936
[startup+270.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12153
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 26192 52 0 0 25 0 11 0 837061446 858046464 23133 4294967295 134512640 134569956 3221224368 3221214592 1131341221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23133 13086 16 0 209468 0
vsize: 837936
[startup+280.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12153
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 27187 53 0 0 25 0 11 0 837061446 858046464 23140 4294967295 134512640 134569956 3221224368 3221214592 1131216501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23140 13086 16 0 209468 0
vsize: 837936
[startup+290.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12153
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 28182 53 0 0 25 0 11 0 837061446 858046464 23149 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23149 13086 16 0 209468 0
vsize: 837936
[startup+300.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12153
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 29177 53 0 0 25 0 11 0 837061446 858046464 23153 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23153 13086 16 0 209468 0
vsize: 837936
[startup+310.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12153
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 30172 53 0 0 25 0 11 0 837061446 858046464 23162 4294967295 134512640 134569956 3221224368 3221214592 1131341010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23162 13086 16 0 209468 0
vsize: 837936
[startup+320.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12155
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 31168 53 0 0 25 0 11 0 837061446 858046464 23170 4294967295 134512640 134569956 3221224368 3221214680 1131430014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23170 13086 16 0 209468 0
vsize: 837936
[startup+330.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12155
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 32163 54 0 0 25 0 11 0 837061446 858046464 23174 4294967295 134512640 134569956 3221224368 3221214592 1131341783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23174 13086 16 0 209468 0
vsize: 837936
[startup+340.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12155
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 33158 54 0 0 25 0 11 0 837061446 858046464 23182 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23182 13086 16 0 209468 0
vsize: 837936
[startup+350.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12155
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 34154 54 0 0 25 0 11 0 837061446 858046464 23186 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23186 13086 16 0 209468 0
vsize: 837936
[startup+360.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12155
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 35149 54 0 0 25 0 11 0 837061446 858046464 23195 4294967295 134512640 134569956 3221224368 3221214592 1131341209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23195 13086 16 0 209468 0
vsize: 837936
[startup+370.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12155
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 36144 54 0 0 25 0 11 0 837061446 858046464 23199 4294967295 134512640 134569956 3221224368 3221214680 1131425348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23199 13086 16 0 209468 0
vsize: 837936
[startup+380.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12157
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 37139 54 0 0 25 0 11 0 837061446 858046464 23207 4294967295 134512640 134569956 3221224368 3221214680 1131425882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23207 13086 16 0 209468 0
vsize: 837936
[startup+390.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12157
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 38135 54 0 0 25 0 11 0 837061446 858046464 23212 4294967295 134512640 134569956 3221224368 3221214680 1131429469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23212 13086 16 0 209468 0
vsize: 837936
[startup+400.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12157
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 39130 54 0 0 25 0 11 0 837061446 858046464 23219 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23219 13086 16 0 209468 0
vsize: 837936
[startup+410.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12157
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 40124 54 0 0 25 0 11 0 837061446 858046464 23223 4294967295 134512640 134569956 3221224368 3221214680 1131426905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23223 13086 16 0 209468 0
vsize: 837936
[startup+420.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12157
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 41116 55 0 0 25 0 11 0 837061446 858046464 23229 4294967295 134512640 134569956 3221224368 3221214680 1131429784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23229 13086 16 0 209468 0
vsize: 837936
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12157
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 42107 55 0 0 25 0 11 0 837061446 858046464 23246 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23246 13086 16 0 209468 0
vsize: 837936
[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12159
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 43099 55 0 0 25 0 11 0 837061446 858046464 23260 4294967295 134512640 134569956 3221224368 3221214592 1131341093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23260 13086 16 0 209468 0
vsize: 837936
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12159
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 44092 55 0 0 25 0 11 0 837061446 858046464 23280 4294967295 134512640 134569956 3221224368 3221214720 1131355357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23280 13086 16 0 209468 0
vsize: 837936
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12159
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 45087 55 0 0 25 0 11 0 837061446 858046464 23308 4294967295 134512640 134569956 3221224368 3221214592 1131341221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23308 13086 16 0 209468 0
vsize: 837936
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12159
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 46082 55 0 0 25 0 11 0 837061446 858046464 23312 4294967295 134512640 134569956 3221224368 3221214680 1131429784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23312 13086 16 0 209468 0
vsize: 837936
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12159
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 47076 55 0 0 25 0 11 0 837061446 858046464 23317 4294967295 134512640 134569956 3221224368 3221214592 1131341284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23317 13086 16 0 209468 0
vsize: 837936
[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12159
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 48070 55 0 0 25 0 11 0 837061446 858046464 23325 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23325 13086 16 0 209468 0
vsize: 837936
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12161
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 49065 55 0 0 25 0 11 0 837061446 858046464 23329 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23329 13086 16 0 209468 0
vsize: 837936
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12161
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 50060 55 0 0 25 0 11 0 837061446 858046464 23337 4294967295 134512640 134569956 3221224368 3221214680 1131425326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23337 13086 16 0 209468 0
vsize: 837936
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12161
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 51054 55 0 0 25 0 11 0 837061446 858046464 23341 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23341 13086 16 0 209468 0
vsize: 837936
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12161
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 52049 56 0 0 25 0 11 0 837061446 858046464 23348 4294967295 134512640 134569956 3221224368 3221214680 1131423869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23348 13086 16 0 209468 0
vsize: 837936
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12161
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 53044 56 0 0 25 0 11 0 837061446 858046464 23354 4294967295 134512640 134569956 3221224368 3221214676 1131216480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23354 13086 16 0 209468 0
vsize: 837936
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12161
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 54039 56 0 0 25 0 11 0 837061446 858046464 23357 4294967295 134512640 134569956 3221224368 3221214520 1131223997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23357 13086 16 0 209468 0
vsize: 837936
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12163
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 55034 56 0 0 25 0 11 0 837061446 858046464 23361 4294967295 134512640 134569956 3221224368 3221214592 1131342326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23361 13086 16 0 209468 0
vsize: 837936
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12163
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 56029 56 0 0 25 0 11 0 837061446 858046464 23365 4294967295 134512640 134569956 3221224368 3221214680 1131430014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23365 13086 16 0 209468 0
vsize: 837936
[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12163
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 57023 56 0 0 25 0 11 0 837061446 858046464 23370 4294967295 134512640 134569956 3221224368 3221214680 1131429770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23370 13086 16 0 209468 0
vsize: 837936
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12163
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 58018 57 0 0 25 0 11 0 837061446 858046464 23378 4294967295 134512640 134569956 3221224368 3221214592 1131340987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23378 13086 16 0 209468 0
vsize: 837936
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12163
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 59013 57 0 0 25 0 11 0 837061446 858046464 23382 4294967295 134512640 134569956 3221224368 3221213904 1078831329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23382 13086 16 0 209468 0
vsize: 837936
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12163
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 60008 57 0 0 25 0 11 0 837061446 858046464 23387 4294967295 134512640 134569956 3221224368 3221214592 1131341261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23387 13086 16 0 209468 0
vsize: 837936
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12165
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 61003 57 0 0 25 0 11 0 837061446 858046464 23391 4294967295 134512640 134569956 3221224368 3221214592 1131341980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23391 13086 16 0 209468 0
vsize: 837936
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12165
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 61998 57 0 0 25 0 11 0 837061446 858046464 23395 4294967295 134512640 134569956 3221224368 3221214592 1131340989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23395 13086 16 0 209468 0
vsize: 837936
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12165
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 62993 57 0 0 25 0 11 0 837061446 858046464 23398 4294967295 134512640 134569956 3221224368 3221214676 1131216480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23398 13086 16 0 209468 0
vsize: 837936
[startup+650.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12165
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 63987 57 0 0 25 0 11 0 837061446 858046464 23403 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23403 13086 16 0 209468 0
vsize: 837936
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12165
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 64982 57 0 0 25 0 11 0 837061446 858046464 23407 4294967295 134512640 134569956 3221224368 3221214680 1131425348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23407 13086 16 0 209468 0
vsize: 837936
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12165
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 65977 57 0 0 25 0 11 0 837061446 858046464 23411 4294967295 134512640 134569956 3221224368 3221214592 1131341166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23411 13086 16 0 209468 0
vsize: 837936
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12167
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 66972 57 0 0 25 0 11 0 837061446 858046464 23415 4294967295 134512640 134569956 3221224368 3221214672 1131195068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23415 13086 16 0 209468 0
vsize: 837936
[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12167
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 67967 57 0 0 25 0 11 0 837061446 858046464 23420 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23420 13086 16 0 209468 0
vsize: 837936
[startup+700.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12167
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 68962 57 0 0 25 0 11 0 837061446 858046464 23424 4294967295 134512640 134569956 3221224368 3221214592 1131340989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23424 13086 16 0 209468 0
vsize: 837936
[startup+710.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12167
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 69957 58 0 0 25 0 11 0 837061446 858046464 23428 4294967295 134512640 134569956 3221224368 3221214520 1131225253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23428 13086 16 0 209468 0
vsize: 837936
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12167
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 70952 58 0 0 25 0 11 0 837061446 858046464 23431 4294967295 134512640 134569956 3221224368 3221214592 1131341689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23431 13086 16 0 209468 0
vsize: 837936
[startup+730.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12167
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 71947 58 0 0 25 0 11 0 837061446 858046464 23436 4294967295 134512640 134569956 3221224368 3221214592 1131340919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23436 13086 16 0 209468 0
vsize: 837936
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12169
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 72942 58 0 0 25 0 11 0 837061446 858046464 23440 4294967295 134512640 134569956 3221224368 3221214680 1131424010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23440 13086 16 0 209468 0
vsize: 837936
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12169
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 73937 58 0 0 25 0 11 0 837061446 858046464 23444 4294967295 134512640 134569956 3221224368 3221214592 1131341016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23444 13086 16 0 209468 0
vsize: 837936
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12169
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 74932 58 0 0 25 0 11 0 837061446 858046464 23448 4294967295 134512640 134569956 3221224368 3221214680 1131425348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23448 13086 16 0 209468 0
vsize: 837936
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12169
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 75926 58 0 0 25 0 11 0 837061446 858046464 23453 4294967295 134512640 134569956 3221224368 3221214680 1131429137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23453 13086 16 0 209468 0
vsize: 837936
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12169
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 76921 58 0 0 25 0 11 0 837061446 858046464 23457 4294967295 134512640 134569956 3221224368 3221214680 1131425900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23457 13086 16 0 209468 0
vsize: 837936
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12169
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 77916 58 0 0 25 0 11 0 837061446 858046464 23461 4294967295 134512640 134569956 3221224368 3221214576 1131332075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23461 13086 16 0 209468 0
vsize: 837936
[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12171
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 78911 58 0 0 25 0 11 0 837061446 858046464 23464 4294967295 134512640 134569956 3221224368 3221214680 1131423843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23464 13086 16 0 209468 0
vsize: 837936
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12171
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 79906 58 0 0 25 0 11 0 837061446 858046464 23469 4294967295 134512640 134569956 3221224368 3221214680 1131425900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23469 13086 16 0 209468 0
vsize: 837936
[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12171
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 80901 59 0 0 25 0 11 0 837061446 858046464 23473 4294967295 134512640 134569956 3221224368 3221214680 1131423812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23473 13086 16 0 209468 0
vsize: 837936
[startup+830.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12171
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 81895 59 0 0 25 0 11 0 837061446 858046464 23477 4294967295 134512640 134569956 3221224368 3221214592 1131341290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23477 13086 16 0 209468 0
vsize: 837936
[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12171
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 82889 60 0 0 25 0 11 0 837061446 858046464 23481 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23481 13086 16 0 209468 0
vsize: 837936
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12171
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 83882 60 0 0 25 0 11 0 837061446 858046464 23486 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23486 13086 16 0 209468 0
vsize: 837936
[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12173
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 84876 61 0 0 25 0 11 0 837061446 858046464 23490 4294967295 134512640 134569956 3221224368 3221214680 1131425885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23490 13086 16 0 209468 0
vsize: 837936
[startup+870.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12173
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 85869 61 0 0 25 0 11 0 837061446 858046464 23494 4294967295 134512640 134569956 3221224368 3221214592 1131341140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23494 13086 16 0 209468 0
vsize: 837936
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12173
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 86864 61 0 0 25 0 11 0 837061446 858046464 23498 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23498 13086 16 0 209468 0
vsize: 837936
[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12173
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 87857 61 0 0 25 0 11 0 837061446 858046464 23503 4294967295 134512640 134569956 3221224368 3221214576 1131332068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23503 13086 16 0 209468 0
vsize: 837936
[startup+900.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12173
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 88851 62 0 0 25 0 11 0 837061446 858046464 23503 4294967295 134512640 134569956 3221224368 3221214592 1131342276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23503 13086 16 0 209468 0
vsize: 837936
[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12173
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 89846 62 0 0 25 0 11 0 837061446 858046464 23507 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23507 13086 16 0 209468 0
vsize: 837936
[startup+920.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12175
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 90839 62 0 0 25 0 11 0 837061446 858046464 23511 4294967295 134512640 134569956 3221224368 3221214856 1131504671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23511 13086 16 0 209468 0
vsize: 837936
[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12175
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 91834 63 0 0 25 0 11 0 837061446 858046464 23515 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23515 13086 16 0 209468 0
vsize: 837936
[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12175
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 92828 63 0 0 25 0 11 0 837061446 858046464 23520 4294967295 134512640 134569956 3221224368 3221214680 1131426952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23520 13086 16 0 209468 0
vsize: 837936
[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12175
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 93822 63 0 0 25 0 11 0 837061446 858046464 23524 4294967295 134512640 134569956 3221224368 3221214672 1131225083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23524 13086 16 0 209468 0
vsize: 837936
[startup+960.067 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 12175
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 94816 63 0 0 25 0 11 0 837061446 858046464 23528 4294967295 134512640 134569956 3221224368 3221214592 1131342292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23528 13086 16 0 209468 0
vsize: 837936
[startup+970.067 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 12175
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 95810 64 0 0 25 0 11 0 837061446 858046464 23532 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23532 13086 16 0 209468 0
vsize: 837936
[startup+980.068 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 12177
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 96804 64 0 0 25 0 11 0 837061446 858046464 23532 4294967295 134512640 134569956 3221224368 3221214592 1131341412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23532 13086 16 0 209468 0
vsize: 837936
[startup+990.069 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 12177
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 97798 65 0 0 25 0 11 0 837061446 858046464 23537 4294967295 134512640 134569956 3221224368 3221214592 1131340987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23537 13086 16 0 209468 0
vsize: 837936
[startup+1000.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 12177
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 98792 65 0 0 25 0 11 0 837061446 858046464 23540 4294967295 134512640 134569956 3221224368 3221214592 1131216956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23540 13086 16 0 209468 0
vsize: 837936
[startup+1010.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 12177
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 99786 65 0 0 25 0 11 0 837061446 858046464 23544 4294967295 134512640 134569956 3221224368 3221214680 1131430695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23544 13086 16 0 209468 0
vsize: 837936
[startup+1020.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 12177
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 100780 65 0 0 25 0 11 0 837061446 858046464 23548 4294967295 134512640 134569956 3221224368 3221214680 1131423843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23548 13086 16 0 209468 0
vsize: 837936
[startup+1030.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 12177
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 101775 66 0 0 25 0 11 0 837061446 858046464 23553 4294967295 134512640 134569956 3221224368 3221214680 1131423812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23553 13086 16 0 209468 0
vsize: 837936
[startup+1040.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 12179
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 102768 66 0 0 25 0 11 0 837061446 858046464 23553 4294967295 134512640 134569956 3221224368 3221214680 1131425542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23553 13086 16 0 209468 0
vsize: 837936
[startup+1050.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 12179
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 103762 66 0 0 25 0 11 0 837061446 858046464 23557 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 23557 13086 16 0 209468 0
vsize: 837936
[startup+1060.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 12179
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 104756 67 0 0 25 0 11 0 837061446 858046464 23561 4294967295 134512640 134569956 3221224368 3221214592 1131341054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23561 13086 16 0 209468 0
vsize: 837936
[startup+1070.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 12179
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 105750 67 0 0 25 0 11 0 837061446 858046464 23564 4294967295 134512640 134569956 3221224368 3221214592 1131340955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23564 13086 16 0 209468 0
vsize: 837936
[startup+1080.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 12179
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 106744 67 0 0 25 0 11 0 837061446 858046464 23569 4294967295 134512640 134569956 3221224368 3221214680 1131429612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23569 13086 16 0 209468 0
vsize: 837936
[startup+1090.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 12179
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 107738 68 0 0 25 0 11 0 837061446 858046464 23569 4294967295 134512640 134569956 3221224368 3221214576 1131332161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23569 13086 16 0 209468 0
vsize: 837936
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12181
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 108732 68 0 0 25 0 11 0 837061446 858046464 23573 4294967295 134512640 134569956 3221224368 3221214592 1131341407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23573 13086 16 0 209468 0
vsize: 837936
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12181
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 109725 68 0 0 25 0 11 0 837061446 858046464 23577 4294967295 134512640 134569956 3221224368 3221214576 1131332023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23577 13086 16 0 209468 0
vsize: 837936
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12181
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 110720 69 0 0 25 0 11 0 837061446 858046464 23581 4294967295 134512640 134569956 3221224368 3221214592 1131341209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23581 13086 16 0 209468 0
vsize: 837936
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12181
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 111715 69 0 0 25 0 11 0 837061446 858046464 23586 4294967295 134512640 134569956 3221224368 3221214680 1131429784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23586 13086 16 0 209468 0
vsize: 837936
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12181
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 112709 69 0 0 25 0 11 0 837061446 858046464 23586 4294967295 134512640 134569956 3221224368 3221214680 1131423865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23586 13086 16 0 209468 0
vsize: 837936
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12181
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 113704 70 0 0 25 0 11 0 837061446 858046464 23590 4294967295 134512640 134569956 3221224368 3221214680 1131429157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23590 13086 16 0 209468 0
vsize: 837936
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12183
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 114697 71 0 0 25 0 11 0 837061446 858046464 23595 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23595 13086 16 0 209468 0
vsize: 837936
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12183
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 115691 71 0 0 25 0 11 0 837061446 858046464 23598 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23598 13086 16 0 209468 0
vsize: 837936
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12183
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 116686 71 0 0 25 0 11 0 837061446 858046464 23603 4294967295 134512640 134569956 3221224368 3221214680 1131429204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23603 13086 16 0 209468 0
vsize: 837936
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12183
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 117681 72 0 0 25 0 11 0 837061446 858046464 23603 4294967295 134512640 134569956 3221224368 3221214592 1131341605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23603 13086 16 0 209468 0
vsize: 837936
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12183
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 118676 72 0 0 25 0 11 0 837061446 858046464 23607 4294967295 134512640 134569956 3221224368 3221214592 1131340987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23607 13086 16 0 209468 0
vsize: 837936
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12183
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 119670 72 0 0 25 0 11 0 837061446 858046464 23611 4294967295 134512640 134569956 3221224368 3221214680 1131424989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23611 13086 16 0 209468 0
vsize: 837936
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12185
Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 120665 73 0 0 25 0 11 0 837061446 858046464 23615 4294967295 134512640 134569956 3221224368 3221214680 1131429784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23615 13086 16 0 209468 0
vsize: 837936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 12187
Raw data (stat): 12133 (java) Z 12132 29618 29617 0 -1 1036 18072 4281 1 0 120666 73 1001 21 25 0 1 0 837061446 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.16
CPU time (s): 1217.63
CPU user time (s): 1216.68
CPU system time (s): 0.947855
CPU usage (%): 99.7926
Max. virtual memory (Kb): 840356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####