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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sierra.opb
MD5SUM	0c242afd458949841d3ea7014466f311
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	31139
Biggest coefficient in the objective function	5007894118400
Number of bits for the biggest coefficient in the objective function	43
Sum of the numbers in the objective function	89107300928876
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	5007894118400
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	89107300928876
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.282956
Number of variables	32607
Total number of constraints	3263
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	3263
Minimum length of a constraint	7
Maximum length of a constraint	426
Trace number 29886

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 12:24:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21280 boxname=wulflinc7 idbench=1268 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  0c242afd458949841d3ea7014466f311  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-sierra.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-sierra.opb
IDLAUNCH: 21280
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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		: 451.050
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:        634608 kB
Buffers:         30480 kB
Cached:         349088 kB
SwapCached:        756 kB
Active:          64072 kB
Inactive:       317720 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        634356 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            12528 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:44:46 (client local time) WITH STATUS 143 IN 1236.88 SECONDS
stats: 21280 7 1236.88 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/wulflinc7/normalized-mps-v2-13-7-sierra.opb
c reading problem ... done. Time 298.047 ms.
c #vars     32607
c #constraints  3791
c starts	: 10
c conflicts	: 11004
c decisions	: 15949
c propagations	: 61204
c inspects	: 3436263
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 11004
c root simplifications	: 10
s UNKNOWN
c Total CPU time (ms) : 1239.079
#### 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.86 0.98 0.99 2/54 9837
Raw data (stat): 9837 (runsolver) R 9836 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780641038 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.88 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18002 0 1 0 882 34 0 0 24 0 10 0 780641038 853237760 19315 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208310 19315 13086 16 0 208294 0
vsize: 833240
[startup+20.0015 s]
Raw data (loadavg): 0.90 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 1778 34 0 0 16 0 10 0 780641038 855396352 20313 4294967295 134512640 134569956 3221224368 3221214648 1131185165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208837 20313 13086 16 0 208821 0
vsize: 835348
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 2677 34 0 0 25 0 10 0 780641038 855396352 20789 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208837 20789 13086 16 0 208821 0
vsize: 835348
[startup+40.0023 s]
Raw data (loadavg): 0.93 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 3592 35 0 0 25 0 10 0 780641038 854560768 20928 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208633 20928 13086 16 0 208617 0
vsize: 834532
[startup+50.0035 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 4513 35 0 0 25 0 10 0 780641038 854560768 21095 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208633 21095 13086 16 0 208617 0
vsize: 834532
[startup+60.003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 5430 35 0 0 25 0 10 0 780641038 854560768 21230 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208633 21230 13086 16 0 208617 0
vsize: 834532
[startup+70.0042 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 6362 35 0 0 25 0 10 0 780641038 855609344 21632 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208889 21632 13086 16 0 208873 0
vsize: 835556
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 7300 35 0 0 25 0 10 0 780641038 855609344 21736 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208889 21736 13086 16 0 208873 0
vsize: 835556
[startup+90.0069 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) S 9836 24300 24299 0 -1 0 18003 0 1 0 8241 36 0 0 25 0 10 0 780641038 855609344 21828 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208889 21828 13086 16 0 208873 0
vsize: 835556
[startup+100.008 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 9184 36 0 0 25 0 10 0 780641038 855609344 21914 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208889 21914 13086 16 0 208873 0
vsize: 835556
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 10126 36 0 0 25 0 10 0 780641038 855609344 21997 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208889 21997 13086 16 0 208873 0
vsize: 835556
[startup+120.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 11071 36 0 0 25 0 10 0 780641038 855609344 22070 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22070 13086 16 0 208873 0
vsize: 835556
[startup+130.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 12012 37 0 0 25 0 10 0 780641038 855609344 22144 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22144 13086 16 0 208873 0
vsize: 835556
[startup+140.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 12952 37 0 0 25 0 10 0 780641038 855609344 22214 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22214 13086 16 0 208873 0
vsize: 835556
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 13892 37 0 0 25 0 10 0 780641038 855609344 22282 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22282 13086 16 0 208873 0
vsize: 835556
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) S 9836 24300 24299 0 -1 0 18003 0 1 0 14835 38 0 0 25 0 10 0 780641038 855609344 22343 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22343 13086 16 0 208873 0
vsize: 835556
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 15773 38 0 0 25 0 10 0 780641038 855609344 22404 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22404 13086 16 0 208873 0
vsize: 835556
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) S 9836 24300 24299 0 -1 0 18003 0 1 0 16685 38 0 0 25 0 10 0 780641038 855609344 22462 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22462 13086 16 0 208873 0
vsize: 835556
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 17606 39 0 0 25 0 10 0 780641038 855609344 22776 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22776 13086 16 0 208873 0
vsize: 835556
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 18543 39 0 0 24 0 10 0 780641038 855609344 22832 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22832 13086 16 0 208873 0
vsize: 835556
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 19484 40 0 0 25 0 10 0 780641038 855609344 22884 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22884 13086 16 0 208873 0
vsize: 835556
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 20422 40 0 0 25 0 10 0 780641038 855609344 22937 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22937 13086 16 0 208873 0
vsize: 835556
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 21359 41 0 0 25 0 10 0 780641038 855609344 22989 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 22989 13086 16 0 208873 0
vsize: 835556
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 22299 41 0 0 25 0 10 0 780641038 855609344 23038 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 23038 13086 16 0 208873 0
vsize: 835556
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 23235 41 0 0 25 0 10 0 780641038 855609344 23087 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 23087 13086 16 0 208873 0
vsize: 835556
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18003 0 1 0 24171 41 0 0 25 0 10 0 780641038 855609344 23136 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 23136 13086 16 0 208873 0
vsize: 835556
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18011 0 1 0 25106 41 0 0 25 0 10 0 780641038 855609344 23195 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 23195 13086 16 0 208873 0
vsize: 835556
[startup+280.013 s]
Raw data (loadavg): 1.07 1.00 0.99 2/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18011 0 1 0 26035 41 0 0 25 0 10 0 780641038 855609344 23168 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208889 23168 13086 16 0 208873 0
vsize: 835556
[startup+290.013 s]
Raw data (loadavg): 1.06 1.00 0.99 3/63 9846
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18013 0 1 0 26958 42 0 0 25 0 10 0 780641038 855609344 23378 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208889 23378 13086 16 0 208873 0
vsize: 835556
[startup+300.021 s]
Raw data (loadavg): 1.05 1.00 0.99 3/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18043 0 1 0 27779 44 0 0 25 0 11 0 780641038 857186304 25946 4294967295 134512640 134569956 3221224368 3221214788 1131157991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209274 25946 13086 16 0 209258 0
vsize: 837096
[startup+310.021 s]
Raw data (loadavg): 1.11 1.01 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18061 0 1 0 28553 44 0 0 25 0 11 0 780641038 862257152 30876 4294967295 134512640 134569956 3221224368 3221214720 1131213249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 30876 13086 16 0 210496 0
vsize: 842048
[startup+320.022 s]
Raw data (loadavg): 1.10 1.01 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18061 0 1 0 29509 44 0 0 25 0 11 0 780641038 862224384 30875 4294967295 134512640 134569956 3221224368 3221214072 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210504 30875 13086 16 0 210488 0
vsize: 842016
[startup+330.026 s]
Raw data (loadavg): 1.08 1.01 1.00 2/64 9847
Raw data (stat): 9837 (java) S 9836 24300 24299 0 -1 0 18061 0 1 0 30447 44 0 0 25 0 11 0 780641038 862158848 31256 4294967295 134512640 134569956 3221224368 3221213304 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 31256 13086 16 0 210472 0
vsize: 841952
[startup+340.026 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18061 0 1 0 31381 45 0 0 25 0 11 0 780641038 862158848 31839 4294967295 134512640 134569956 3221224368 3221214664 1131360715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 31839 13086 16 0 210472 0
vsize: 841952
[startup+350.027 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 32336 45 0 0 25 0 11 0 780641038 862158848 32113 4294967295 134512640 134569956 3221224368 3221214252 1131676043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 32113 13086 16 0 210472 0
vsize: 841952
[startup+360.027 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 33316 45 0 0 25 0 11 0 780641038 862158848 32300 4294967295 134512640 134569956 3221224368 3221214692 1130885240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 32300 13086 16 0 210472 0
vsize: 841952
[startup+370.028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 34296 45 0 0 25 0 11 0 780641038 862158848 32387 4294967295 134512640 134569956 3221224368 3221214416 1131673385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 32387 13086 16 0 210472 0
vsize: 841952
[startup+380.028 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 35277 45 0 0 25 0 11 0 780641038 862158848 32537 4294967295 134512640 134569956 3221224368 3221214764 1131360588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 32537 13086 16 0 210472 0
vsize: 841952
[startup+390.028 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 36268 45 0 0 25 0 11 0 780641038 862158848 32537 4294967295 134512640 134569956 3221224368 3221213728 1131676049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 32537 13086 16 0 210472 0
vsize: 841952
[startup+400.029 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 37258 45 0 0 25 0 11 0 780641038 862158848 32611 4294967295 134512640 134569956 3221224368 3221213888 1131681722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 32611 13086 16 0 210472 0
vsize: 841952
[startup+410.029 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 38247 45 0 0 25 0 11 0 780641038 862158848 32689 4294967295 134512640 134569956 3221224368 3221214664 1131361243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 32689 13086 16 0 210472 0
vsize: 841952
[startup+420.03 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 39227 46 0 0 25 0 11 0 780641038 862158848 32834 4294967295 134512640 134569956 3221224368 3221213972 1131676048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 32834 13086 16 0 210472 0
vsize: 841952
[startup+430.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) S 9836 24300 24299 0 -1 0 18062 0 1 0 40215 46 0 0 25 0 11 0 780641038 862158848 32836 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 32836 13086 16 0 210472 0
vsize: 841952
[startup+440.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 41208 46 0 0 25 0 11 0 780641038 862158848 32907 4294967295 134512640 134569956 3221224368 3221213784 1131676931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 32907 13086 16 0 210472 0
vsize: 841952
[startup+450.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 42197 46 0 0 25 0 11 0 780641038 862158848 32976 4294967295 134512640 134569956 3221224368 3221214088 1131676049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 32976 13086 16 0 210472 0
vsize: 841952
[startup+460.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 43187 46 0 0 25 0 11 0 780641038 862158848 33029 4294967295 134512640 134569956 3221224368 3221214664 1131360680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 33029 13086 16 0 210472 0
vsize: 841952
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 44175 46 0 0 25 0 11 0 780641038 862158848 33149 4294967295 134512640 134569956 3221224368 3221214664 1131360790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 33149 13086 16 0 210472 0
vsize: 841952
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 45165 47 0 0 25 0 11 0 780641038 862158848 33211 4294967295 134512640 134569956 3221224368 3221214224 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 33211 13086 16 0 210472 0
vsize: 841952
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 46154 47 0 0 25 0 11 0 780641038 862158848 33269 4294967295 134512640 134569956 3221224368 3221213780 1131676048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 33269 13086 16 0 210472 0
vsize: 841952
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 47143 47 0 0 25 0 11 0 780641038 862158848 33370 4294967295 134512640 134569956 3221224368 3221213672 1131675976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 33370 13086 16 0 210472 0
vsize: 841952
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 48132 47 0 0 25 0 11 0 780641038 862158848 33435 4294967295 134512640 134569956 3221224368 3221213888 1131681667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 33435 13086 16 0 210472 0
vsize: 841952
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 49122 47 0 0 25 0 11 0 780641038 862158848 33501 4294967295 134512640 134569956 3221224368 3221213528 1085679296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 33501 13086 16 0 210472 0
vsize: 841952
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 50111 48 0 0 25 0 11 0 780641038 862158848 33562 4294967295 134512640 134569956 3221224368 3221213696 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 33562 13086 16 0 210472 0
vsize: 841952
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 51100 48 0 0 25 0 11 0 780641038 862158848 33621 4294967295 134512640 134569956 3221224368 3221214660 1131543077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 33621 13086 16 0 210472 0
vsize: 841952
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 52090 48 0 0 25 0 11 0 780641038 862158848 33671 4294967295 134512640 134569956 3221224368 3221214452 1131673292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 33671 13086 16 0 210472 0
vsize: 841952
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 53068 48 0 0 25 0 11 0 780641038 862158848 33856 4294967295 134512640 134569956 3221224368 3221214000 1085679302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 33856 13086 16 0 210472 0
vsize: 841952
[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 54058 49 0 0 25 0 11 0 780641038 862158848 33856 4294967295 134512640 134569956 3221224368 3221214664 1131361175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 33856 13086 16 0 210472 0
vsize: 841952
[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 55048 49 0 0 25 0 11 0 780641038 862158848 33955 4294967295 134512640 134569956 3221224368 3221214424 1131676028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 33955 13086 16 0 210472 0
vsize: 841952
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 56038 49 0 0 25 0 11 0 780641038 862158848 33955 4294967295 134512640 134569956 3221224368 3221213336 1131675980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 33955 13086 16 0 210472 0
vsize: 841952
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 57028 49 0 0 25 0 11 0 780641038 862158848 34032 4294967295 134512640 134569956 3221224368 3221214712 1131261056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34032 13086 16 0 210472 0
vsize: 841952
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 58007 49 0 0 25 0 11 0 780641038 862158848 34107 4294967295 134512640 134569956 3221224368 3221214720 1131207472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34107 13086 16 0 210472 0
vsize: 841952
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 58997 49 0 0 25 0 11 0 780641038 862158848 34176 4294967295 134512640 134569956 3221224368 3221214016 1131673544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34176 13086 16 0 210472 0
vsize: 841952
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 59987 49 0 0 25 0 11 0 780641038 862158848 34176 4294967295 134512640 134569956 3221224368 3221213448 1131676024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34176 13086 16 0 210472 0
vsize: 841952
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 60977 49 0 0 25 0 11 0 780641038 862158848 34246 4294967295 134512640 134569956 3221224368 3221214664 1131361006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 34246 13086 16 0 210472 0
vsize: 841952
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 61957 50 0 0 25 0 11 0 780641038 862158848 34308 4294967295 134512640 134569956 3221224368 3221213780 1131676048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34308 13086 16 0 210472 0
vsize: 841952
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 62946 50 0 0 25 0 11 0 780641038 862158848 34374 4294967295 134512640 134569956 3221224368 3221213552 1085679429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34374 13086 16 0 210472 0
vsize: 841952
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 63937 50 0 0 25 0 11 0 780641038 862158848 34456 4294967295 134512640 134569956 3221224368 3221214664 1131361161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34456 13086 16 0 210472 0
vsize: 841952
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 64926 50 0 0 25 0 11 0 780641038 862158848 34456 4294967295 134512640 134569956 3221224368 3221213552 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34456 13086 16 0 210472 0
vsize: 841952
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 65916 50 0 0 25 0 11 0 780641038 862158848 34522 4294967295 134512640 134569956 3221224368 3221213840 1131677058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 34522 13086 16 0 210472 0
vsize: 841952
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 66905 51 0 0 25 0 11 0 780641038 862158848 34569 4294967295 134512640 134569956 3221224368 3221214192 1131673385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34569 13086 16 0 210472 0
vsize: 841952
[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 67905 51 0 0 25 0 11 0 780641038 862158848 34569 4294967295 134512640 134569956 3221224368 3221213896 1131676049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 34569 13086 16 0 210472 0
vsize: 841952
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 68894 51 0 0 25 0 11 0 780641038 862158848 34687 4294967295 134512640 134569956 3221224368 3221213720 1131681880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 34687 13086 16 0 210472 0
vsize: 841952
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 69884 51 0 0 25 0 11 0 780641038 862158848 34736 4294967295 134512640 134569956 3221224368 3221214176 1131677144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34736 13086 16 0 210472 0
vsize: 841952
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 70873 51 0 0 25 0 11 0 780641038 862158848 34824 4294967295 134512640 134569956 3221224368 3221214032 1131676012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34824 13086 16 0 210472 0
vsize: 841952
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 71862 51 0 0 25 0 11 0 780641038 862158848 34876 4294967295 134512640 134569956 3221224368 3221214056 1131681590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34876 13086 16 0 210472 0
vsize: 841952
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 72852 52 0 0 25 0 11 0 780641038 862158848 34926 4294967295 134512640 134569956 3221224368 3221213864 1131676024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 34926 13086 16 0 210472 0
vsize: 841952
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 73842 52 0 0 25 0 11 0 780641038 862158848 34970 4294967295 134512640 134569956 3221224368 3221214664 1131361260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 34970 13086 16 0 210472 0
vsize: 841952
[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 74832 52 0 0 25 0 11 0 780641038 862158848 35010 4294967295 134512640 134569956 3221224368 3221214308 1131676048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35010 13086 16 0 210472 0
vsize: 841952
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 75831 52 0 0 25 0 11 0 780641038 862158848 35010 4294967295 134512640 134569956 3221224368 3221214032 1131676049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35010 13086 16 0 210472 0
vsize: 841952
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 76820 52 0 0 25 0 11 0 780641038 862158848 35057 4294967295 134512640 134569956 3221224368 3221213776 1131681852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35057 13086 16 0 210472 0
vsize: 841952
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 77819 52 0 0 25 0 11 0 780641038 862158848 35057 4294967295 134512640 134569956 3221224368 3221214112 1085679526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35057 13086 16 0 210472 0
vsize: 841952
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 78809 52 0 0 25 0 11 0 780641038 862158848 35105 4294967295 134512640 134569956 3221224368 3221213528 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35105 13086 16 0 210472 0
vsize: 841952
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 79799 52 0 0 25 0 11 0 780641038 862158848 35185 4294967295 134512640 134569956 3221224368 3221213912 1131673385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35185 13086 16 0 210472 0
vsize: 841952
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 80799 52 0 0 25 0 11 0 780641038 862158848 35185 4294967295 134512640 134569956 3221224368 3221213688 1131673511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35185 13086 16 0 210472 0
vsize: 841952
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 81788 53 0 0 25 0 11 0 780641038 862158848 35236 4294967295 134512640 134569956 3221224368 3221214248 1131673322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35236 13086 16 0 210472 0
vsize: 841952
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 82777 53 0 0 25 0 11 0 780641038 862158848 35290 4294967295 134512640 134569956 3221224368 3221213828 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35290 13086 16 0 210472 0
vsize: 841952
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 83766 53 0 0 25 0 11 0 780641038 862158848 35335 4294967295 134512640 134569956 3221224368 3221213828 1131653696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35335 13086 16 0 210472 0
vsize: 841952
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 84766 53 0 0 25 0 11 0 780641038 862158848 35335 4294967295 134512640 134569956 3221224368 3221214020 1131673508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35335 13086 16 0 210472 0
vsize: 841952
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 85755 53 0 0 25 0 11 0 780641038 862158848 35378 4294967295 134512640 134569956 3221224368 3221213896 1131676049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35378 13086 16 0 210472 0
vsize: 841952
[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 86744 54 0 0 25 0 11 0 780641038 862158848 35432 4294967295 134512640 134569956 3221224368 3221214472 1131673385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35432 13086 16 0 210472 0
vsize: 841952
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 87733 54 0 0 25 0 11 0 780641038 862158848 35507 4294967295 134512640 134569956 3221224368 3221214408 1131673544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35507 13086 16 0 210472 0
vsize: 841952
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 88733 54 0 0 25 0 11 0 780641038 862158848 35507 4294967295 134512640 134569956 3221224368 3221214704 1131680681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35507 13086 16 0 210472 0
vsize: 841952
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 89722 54 0 0 25 0 11 0 780641038 862158848 35587 4294967295 134512640 134569956 3221224368 3221214336 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35587 13086 16 0 210472 0
vsize: 841952
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 90711 54 0 0 25 0 11 0 780641038 862158848 35642 4294967295 134512640 134569956 3221224368 3221213864 1131676024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35642 13086 16 0 210472 0
vsize: 841952
[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 91710 54 0 0 25 0 11 0 780641038 862158848 35642 4294967295 134512640 134569956 3221224368 3221214256 1131676024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35642 13086 16 0 210472 0
vsize: 841952
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 92700 54 0 0 25 0 11 0 780641038 862158848 35692 4294967295 134512640 134569956 3221224368 3221214080 1131673385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35692 13086 16 0 210472 0
vsize: 841952
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 93689 54 0 0 25 0 11 0 780641038 862158848 35744 4294967295 134512640 134569956 3221224368 3221213888 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35744 13086 16 0 210472 0
vsize: 841952
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 94689 54 0 0 25 0 11 0 780641038 862158848 35744 4294967295 134512640 134569956 3221224368 3221214664 1131361321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35744 13086 16 0 210472 0
vsize: 841952
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 95677 54 0 0 25 0 11 0 780641038 862158848 35833 4294967295 134512640 134569956 3221224368 3221214032 1131676098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35833 13086 16 0 210472 0
vsize: 841952
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 96676 55 0 0 25 0 11 0 780641038 862158848 35833 4294967295 134512640 134569956 3221224368 3221213528 1131676028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35833 13086 16 0 210472 0
vsize: 841952
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 97665 55 0 0 25 0 11 0 780641038 862158848 35909 4294967295 134512640 134569956 3221224368 3221213384 1131681712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 35909 13086 16 0 210472 0
vsize: 841952
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 98654 55 0 0 25 0 11 0 780641038 862158848 35973 4294967295 134512640 134569956 3221224368 3221214256 1131676109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 35973 13086 16 0 210472 0
vsize: 841952
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 99644 55 0 0 25 0 11 0 780641038 862158848 36025 4294967295 134512640 134569956 3221224368 3221213668 1131676048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 36025 13086 16 0 210472 0
vsize: 841952
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 100643 55 0 0 25 0 11 0 780641038 862158848 36025 4294967295 134512640 134569956 3221224368 3221214168 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 36025 13086 16 0 210472 0
vsize: 841952
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 101632 56 0 0 25 0 11 0 780641038 862158848 36085 4294967295 134512640 134569956 3221224368 3221214360 1131673500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36085 13086 16 0 210472 0
vsize: 841952
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 102622 56 0 0 25 0 11 0 780641038 862158848 36146 4294967295 134512640 134569956 3221224368 3221214184 1131673544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36146 13086 16 0 210472 0
vsize: 841952
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 103622 56 0 0 25 0 11 0 780641038 862158848 36146 4294967295 134512640 134569956 3221224368 3221214352 1131653717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36146 13086 16 0 210472 0
vsize: 841952
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 104611 56 0 0 25 0 11 0 780641038 862158848 36200 4294967295 134512640 134569956 3221224368 3221213696 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 36200 13086 16 0 210472 0
vsize: 841952
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 105600 56 0 0 25 0 11 0 780641038 862158848 36261 4294967295 134512640 134569956 3221224368 3221214664 1131361087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 36261 13086 16 0 210472 0
vsize: 841952
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 106600 56 0 0 25 0 11 0 780641038 862158848 36261 4294967295 134512640 134569956 3221224368 3221214412 1131653708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36261 13086 16 0 210472 0
vsize: 841952
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 107590 56 0 0 25 0 11 0 780641038 862158848 36317 4294967295 134512640 134569956 3221224368 3221214336 1085632281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36317 13086 16 0 210472 0
vsize: 841952
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 108579 56 0 0 25 0 11 0 780641038 862158848 36362 4294967295 134512640 134569956 3221224368 3221213384 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36362 13086 16 0 210472 0
vsize: 841952
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 109569 56 0 0 25 0 11 0 780641038 862158848 36439 4294967295 134512640 134569956 3221224368 3221214408 1131653717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 36439 13086 16 0 210472 0
vsize: 841952
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 110569 56 0 0 25 0 11 0 780641038 862158848 36439 4294967295 134512640 134569956 3221224368 3221214472 1131673532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36439 13086 16 0 210472 0
vsize: 841952
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 111559 57 0 0 25 0 11 0 780641038 862158848 36517 4294967295 134512640 134569956 3221224368 3221213832 1085632281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36517 13086 16 0 210472 0
vsize: 841952
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 112549 57 0 0 25 0 11 0 780641038 862158848 36587 4294967295 134512640 134569956 3221224368 3221214392 1131595050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36587 13086 16 0 210472 0
vsize: 841952
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 113539 57 0 0 25 0 11 0 780641038 862158848 36587 4294967295 134512640 134569956 3221224368 3221214664 1131361299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 36587 13086 16 0 210472 0
vsize: 841952
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 114539 57 0 0 25 0 11 0 780641038 862158848 36587 4294967295 134512640 134569956 3221224368 3221214664 1131361198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 36587 13086 16 0 210472 0
vsize: 841952
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 115528 57 0 0 25 0 11 0 780641038 862158848 36655 4294967295 134512640 134569956 3221224368 3221213916 1131675992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36655 13086 16 0 210472 0
vsize: 841952
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 116518 57 0 0 25 0 11 0 780641038 862158848 36719 4294967295 134512640 134569956 3221224368 3221214416 1131673322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36719 13086 16 0 210472 0
vsize: 841952
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 117508 57 0 0 25 0 11 0 780641038 862158848 36781 4294967295 134512640 134569956 3221224368 3221213840 1131676109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210488 36781 13086 16 0 210472 0
vsize: 841952
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 118497 58 0 0 25 0 11 0 780641038 862158848 36836 4294967295 134512640 134569956 3221224368 3221214768 1131485829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36836 13086 16 0 210472 0
vsize: 841952
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 119487 58 0 0 25 0 11 0 780641038 862158848 36895 4294967295 134512640 134569956 3221224368 3221213272 1131681874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36895 13086 16 0 210472 0
vsize: 841952
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 9847
Raw data (stat): 9837 (java) R 9836 24300 24299 0 -1 0 18062 0 1 0 120478 58 0 0 25 0 11 0 780641038 862158848 36895 4294967295 134512640 134569956 3221224368 3221214028 1131676048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210488 36895 13086 16 0 210472 0
vsize: 841952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 9849
Raw data (stat): 9837 (java) Z 9836 24300 24299 0 -1 1036 18062 16601 1 0 120481 58 3108 40 25 0 1 0 780641038 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.13
CPU time (s): 1236.88
CPU user time (s): 1235.89
CPU system time (s): 0.992849
CPU usage (%): 99.7382
Max. virtual memory (Kb): 842048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####