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/MIPLIB/miplib3/normalized-mps-v2-20-10-danoint.opb
MD5SUM	cdd5642b047e784e87a00fe758efc418
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	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	13421772800
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	53690300878
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.01085
Number of variables	13898
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1500
Trace number 29632

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 09:49:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21034 boxname=wulflinc7 idbench=1022 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  cdd5642b047e784e87a00fe758efc418  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-danoint.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-danoint.opb
IDLAUNCH: 21034
/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:        730600 kB
Buffers:         26068 kB
Cached:         257824 kB
SwapCached:        756 kB
Active:          55632 kB
Inactive:       230440 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        730348 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            12332 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:10:28 (client local time) WITH STATUS 143 IN 1280.7 SECONDS
stats: 21034 7 1280.7 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-20-10-danoint.opb
c reading problem ... done. Time 65.098 ms.
c #vars     13898
c #constraints  816
c starts	: 7
c conflicts	: 2106
c decisions	: 4018
c propagations	: 47699
c inspects	: 637892
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2106
c root simplifications	: 15
s UNKNOWN
c Total CPU time (ms) : 1269.068
#### 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.93 0.98 0.99 2/54 7967
Raw data (stat): 7967 (runsolver) R 7966 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779712137 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.0004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7976
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18039 0 1 0 819 43 0 0 25 0 10 0 779712137 854556672 19938 4294967295 134512640 134569956 3221224368 3221214328 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 19938 13086 16 0 208616 0
vsize: 834528
[startup+20.001 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7976
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18039 0 1 0 1691 44 0 0 25 0 10 0 779712137 854147072 20554 4294967295 134512640 134569956 3221224368 3221214744 1131276778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208532 20554 13086 16 0 208516 0
vsize: 834128
[startup+30.0023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7976
Raw data (stat): 7967 (java) S 7966 24300 24299 0 -1 0 18039 0 1 0 2559 44 0 0 25 0 10 0 779712137 854147072 20854 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208532 20854 13086 16 0 208516 0
vsize: 834128
[startup+40.0032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 7976
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18039 0 1 0 3449 45 0 0 24 0 10 0 779712137 854147072 21261 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208532 21261 13086 16 0 208516 0
vsize: 834128
[startup+50.0039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7976
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18039 0 1 0 4360 45 0 0 25 0 10 0 779712137 854147072 21512 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208532 21512 13086 16 0 208516 0
vsize: 834128
[startup+60.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 7976
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18039 0 1 0 5266 45 0 0 25 0 10 0 779712137 854147072 21746 4294967295 134512640 134569956 3221224368 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208532 21746 13086 16 0 208516 0
vsize: 834128
[startup+70.0042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18071 0 1 0 6147 47 0 0 21 0 11 0 779712137 854970368 24287 4294967295 134512640 134569956 3221224368 3221214616 1131311718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208733 24287 13086 16 0 208717 0
vsize: 834932
[startup+80.0048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18071 0 1 0 7106 47 0 0 25 0 11 0 779712137 854970368 24258 4294967295 134512640 134569956 3221224368 3221214728 1131320032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208733 24258 13086 16 0 208717 0
vsize: 834932
[startup+90.0062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18071 0 1 0 8068 48 0 0 25 0 11 0 779712137 854970368 24250 4294967295 134512640 134569956 3221224368 3221214728 1131319585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208733 24250 13086 16 0 208717 0
vsize: 834932
[startup+100.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18071 0 1 0 9029 48 0 0 25 0 11 0 779712137 854970368 24415 4294967295 134512640 134569956 3221224368 3221214728 1131319941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208733 24415 13086 16 0 208717 0
vsize: 834932
[startup+110.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18082 0 1 0 10008 49 0 0 25 0 11 0 779712137 854970368 24505 4294967295 134512640 134569956 3221224368 3221214716 1130917173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208733 24505 13086 16 0 208717 0
vsize: 834932
[startup+120.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18085 0 1 0 10937 49 0 0 25 0 11 0 779712137 860213248 25648 4294967295 134512640 134569956 3221224368 3221214752 1131319025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 25648 13086 16 0 209997 0
vsize: 840052
[startup+130.008 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18085 0 1 0 11910 49 0 0 25 0 11 0 779712137 860213248 25663 4294967295 134512640 134569956 3221224368 3221214792 1131343644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 25663 13086 16 0 209997 0
vsize: 840052
[startup+140.009 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18085 0 1 0 12879 50 0 0 25 0 11 0 779712137 860213248 25679 4294967295 134512640 134569956 3221224368 3221214640 1131310728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 25679 13086 16 0 209997 0
vsize: 840052
[startup+150.01 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18085 0 1 0 13854 50 0 0 25 0 11 0 779712137 860213248 25717 4294967295 134512640 134569956 3221224368 3221214640 1131311031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 25717 13086 16 0 209997 0
vsize: 840052
[startup+160.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18085 0 1 0 14842 50 0 0 25 0 11 0 779712137 860213248 25875 4294967295 134512640 134569956 3221224368 3221214792 1131342965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 25875 13086 16 0 209997 0
vsize: 840052
[startup+170.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18085 0 1 0 15836 50 0 0 25 0 11 0 779712137 860213248 25881 4294967295 134512640 134569956 3221224368 3221214728 1131319618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 25881 13086 16 0 209997 0
vsize: 840052
[startup+180.012 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18085 0 1 0 16827 50 0 0 25 0 11 0 779712137 860213248 25885 4294967295 134512640 134569956 3221224368 3221214792 1131342944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 25885 13086 16 0 209997 0
vsize: 840052
[startup+190.011 s]
Raw data (loadavg): 1.02 1.01 1.00 3/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18086 0 1 0 17822 50 0 0 25 0 11 0 779712137 860213248 25894 4294967295 134512640 134569956 3221224368 3221213652 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 25894 13086 16 0 209997 0
vsize: 840052
[startup+200.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18086 0 1 0 18807 50 0 0 25 0 11 0 779712137 860213248 25897 4294967295 134512640 134569956 3221224368 3221214544 1131406145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 25897 13086 16 0 209997 0
vsize: 840052
[startup+210.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18086 0 1 0 19780 50 0 0 25 0 11 0 779712137 860213248 25899 4294967295 134512640 134569956 3221224368 3221214768 1131319005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 25899 13086 16 0 209997 0
vsize: 840052
[startup+220.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18086 0 1 0 20746 50 0 0 25 0 11 0 779712137 860213248 25906 4294967295 134512640 134569956 3221224368 3221214632 1131203232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 25906 13086 16 0 209997 0
vsize: 840052
[startup+230.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18086 0 1 0 21716 51 0 0 21 0 11 0 779712137 860213248 25911 4294967295 134512640 134569956 3221224368 3221214640 1131310825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 25911 13086 16 0 209997 0
vsize: 840052
[startup+240.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18086 0 1 0 22663 51 0 0 25 0 11 0 779712137 860213248 26081 4294967295 134512640 134569956 3221224368 3221214488 1131304445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 26081 13086 16 0 209997 0
vsize: 840052
[startup+250.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 23633 51 0 0 25 0 11 0 779712137 860213248 26254 4294967295 134512640 134569956 3221224368 3221214496 1131304719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 26254 13086 16 0 209997 0
vsize: 840052
[startup+260.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 24601 51 0 0 25 0 11 0 779712137 860213248 26254 4294967295 134512640 134569956 3221224368 3221214376 1078032372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 26254 13086 16 0 209997 0
vsize: 840052
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 25562 51 0 0 25 0 11 0 779712137 860213248 26315 4294967295 134512640 134569956 3221224368 3221214600 1131397256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 26315 13086 16 0 209997 0
vsize: 840052
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 26519 51 0 0 25 0 11 0 779712137 860213248 26487 4294967295 134512640 134569956 3221224368 3221214488 1131304631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 26487 13086 16 0 209997 0
vsize: 840052
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 27473 51 0 0 25 0 11 0 779712137 860213248 26517 4294967295 134512640 134569956 3221224368 3221214596 1131185056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 26517 13086 16 0 209997 0
vsize: 840052
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 28413 51 0 0 25 0 11 0 779712137 860213248 26731 4294967295 134512640 134569956 3221224368 3221214728 1131319757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 26731 13086 16 0 209997 0
vsize: 840052
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 29341 51 0 0 25 0 11 0 779712137 860213248 26814 4294967295 134512640 134569956 3221224368 3221214512 1131422409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 26814 13086 16 0 209997 0
vsize: 840052
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 30297 52 0 0 25 0 11 0 779712137 860213248 26978 4294967295 134512640 134569956 3221224368 3221214640 1131310781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 26978 13086 16 0 209997 0
vsize: 840052
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 31253 52 0 0 25 0 11 0 779712137 860213248 27164 4294967295 134512640 134569956 3221224368 3221214600 1131397586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 27164 13086 16 0 209997 0
vsize: 840052
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 32208 52 0 0 25 0 11 0 779712137 860213248 27367 4294967295 134512640 134569956 3221224368 3221214512 1131422421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 27367 13086 16 0 209997 0
vsize: 840052
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 33166 52 0 0 25 0 11 0 779712137 860213248 27576 4294967295 134512640 134569956 3221224368 3221214600 1131206180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 27576 13086 16 0 209997 0
vsize: 840052
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 34124 52 0 0 25 0 11 0 779712137 860213248 27620 4294967295 134512640 134569956 3221224368 3221214744 1131163285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 27620 13086 16 0 209997 0
vsize: 840052
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 35072 52 0 0 25 0 11 0 779712137 860213248 27760 4294967295 134512640 134569956 3221224368 3221214592 1131185113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 27760 13086 16 0 209997 0
vsize: 840052
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 36019 52 0 0 25 0 11 0 779712137 860213248 27930 4294967295 134512640 134569956 3221224368 3221214544 1131405867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 27930 13086 16 0 209997 0
vsize: 840052
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) S 7966 24300 24299 0 -1 0 18087 0 1 0 36965 53 0 0 25 0 11 0 779712137 860213248 28082 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 28082 13086 16 0 209997 0
vsize: 840052
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 37905 53 0 0 25 0 11 0 779712137 860213248 28255 4294967295 134512640 134569956 3221224368 3221214728 1131319710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 28255 13086 16 0 209997 0
vsize: 840052
[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 38854 53 0 0 25 0 11 0 779712137 860213248 28412 4294967295 134512640 134569956 3221224368 3221214632 1131202744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 28412 13086 16 0 209997 0
vsize: 840052
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 39778 53 0 0 25 0 11 0 779712137 860213248 28566 4294967295 134512640 134569956 3221224368 3221214640 1131310781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 28566 13086 16 0 209997 0
vsize: 840052
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 40740 54 0 0 25 0 11 0 779712137 860213248 28765 4294967295 134512640 134569956 3221224368 3221214512 1131423314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 28765 13086 16 0 209997 0
vsize: 840052
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 41698 54 0 0 25 0 11 0 779712137 860213248 28962 4294967295 134512640 134569956 3221224368 3221214600 1131397222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 28962 13086 16 0 209997 0
vsize: 840052
[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 42666 54 0 0 25 0 11 0 779712137 860213248 29124 4294967295 134512640 134569956 3221224368 3221214600 1131397586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 29124 13086 16 0 209997 0
vsize: 840052
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 43635 55 0 0 25 0 11 0 779712137 860213248 29267 4294967295 134512640 134569956 3221224368 3221214572 1130885240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 29267 13086 16 0 209997 0
vsize: 840052
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 44597 55 0 0 25 0 11 0 779712137 860213248 29315 4294967295 134512640 134569956 3221224368 3221214728 1131319908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 29315 13086 16 0 209997 0
vsize: 840052
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 45561 56 0 0 25 0 11 0 779712137 860213248 29317 4294967295 134512640 134569956 3221224368 3221214640 1131311017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 29317 13086 16 0 209997 0
vsize: 840052
[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 46523 56 0 0 25 0 11 0 779712137 860213248 29428 4294967295 134512640 134569956 3221224368 3221214600 1131397832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 29428 13086 16 0 209997 0
vsize: 840052
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 47483 56 0 0 25 0 11 0 779712137 860213248 29535 4294967295 134512640 134569956 3221224368 3221214608 1131381825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 29535 13086 16 0 209997 0
vsize: 840052
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 48442 56 0 0 25 0 11 0 779712137 860213248 29635 4294967295 134512640 134569956 3221224368 3221214496 1131310825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 29635 13086 16 0 209997 0
vsize: 840052
[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 49397 57 0 0 25 0 11 0 779712137 860213248 29735 4294967295 134512640 134569956 3221224368 3221214600 1131397350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 29735 13086 16 0 209997 0
vsize: 840052
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 50349 57 0 0 25 0 11 0 779712137 860213248 29849 4294967295 134512640 134569956 3221224368 3221214488 1131304631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 29849 13086 16 0 209997 0
vsize: 840052
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 51285 58 0 0 25 0 11 0 779712137 860213248 30050 4294967295 134512640 134569956 3221224368 3221214744 1131163217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 30050 13086 16 0 209997 0
vsize: 840052
[startup+550.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 52232 58 0 0 25 0 11 0 779712137 860213248 30204 4294967295 134512640 134569956 3221224368 3221214728 1131319671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 30204 13086 16 0 209997 0
vsize: 840052
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 53178 58 0 0 25 0 11 0 779712137 860213248 30381 4294967295 134512640 134569956 3221224368 3221214496 1131304517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 30381 13086 16 0 209997 0
vsize: 840052
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 54126 58 0 0 25 0 11 0 779712137 860213248 30558 4294967295 134512640 134569956 3221224368 3221214572 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 30558 13086 16 0 209997 0
vsize: 840052
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 55075 58 0 0 25 0 11 0 779712137 860213248 30690 4294967295 134512640 134569956 3221224368 3221214496 1131304628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 30690 13086 16 0 209997 0
vsize: 840052
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 56022 58 0 0 25 0 11 0 779712137 860213248 30812 4294967295 134512640 134569956 3221224368 3221214496 1131304631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 30812 13086 16 0 209997 0
vsize: 840052
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 56952 59 0 0 25 0 11 0 779712137 860213248 31014 4294967295 134512640 134569956 3221224368 3221214728 1131319577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31014 13086 16 0 209997 0
vsize: 840052
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 57896 59 0 0 25 0 11 0 779712137 860213248 31241 4294967295 134512640 134569956 3221224368 3221214728 1131319634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31241 13086 16 0 209997 0
vsize: 840052
[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 58850 59 0 0 24 0 11 0 779712137 860213248 31509 4294967295 134512640 134569956 3221224368 3221214792 1131343640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31509 13086 16 0 209997 0
vsize: 840052
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 59819 60 0 0 25 0 11 0 779712137 860213248 31711 4294967295 134512640 134569956 3221224368 3221214744 1131163200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31711 13086 16 0 209997 0
vsize: 840052
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7977
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 60802 60 0 0 25 0 11 0 779712137 860213248 31806 4294967295 134512640 134569956 3221224368 3221214728 1131319796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31806 13086 16 0 209997 0
vsize: 840052
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 1.00 3/67 8013
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 61791 61 0 0 25 0 11 0 779712137 860213248 31918 4294967295 134512640 134569956 3221224368 3221214548 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 31918 13086 16 0 209997 0
vsize: 840052
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8030
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 62771 62 0 0 25 0 11 0 779712137 860213248 31931 4294967295 134512640 134569956 3221224368 3221214464 1131305304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 31931 13086 16 0 209997 0
vsize: 840052
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8030
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 63747 62 0 0 25 0 11 0 779712137 860213248 31941 4294967295 134512640 134569956 3221224368 3221214488 1131422332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31941 13086 16 0 209997 0
vsize: 840052
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8030
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 64714 62 0 0 25 0 11 0 779712137 860213248 31956 4294967295 134512640 134569956 3221224368 3221214464 1131305297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31956 13086 16 0 209997 0
vsize: 840052
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8030
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 65676 63 0 0 25 0 11 0 779712137 860213248 31960 4294967295 134512640 134569956 3221224368 3221214568 1131186087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210013 31960 13086 16 0 209997 0
vsize: 840052
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8030
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 66621 63 0 0 24 0 11 0 779712137 860213248 31966 4294967295 134512640 134569956 3221224368 3221214488 1131422409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 31966 13086 16 0 209997 0
vsize: 840052
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8030
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 67570 63 0 0 25 0 11 0 779712137 860213248 32079 4294967295 134512640 134569956 3221224368 3221214576 1131397320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 32079 13086 16 0 209997 0
vsize: 840052
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8030
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18087 0 1 0 68520 64 0 0 25 0 11 0 779712137 860213248 32233 4294967295 134512640 134569956 3221224368 3221214464 1131304616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 32233 13086 16 0 209997 0
vsize: 840052
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 69470 64 0 0 25 0 11 0 779712137 860213248 32376 4294967295 134512640 134569956 3221224368 3221214472 1131304420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 32376 13086 16 0 209997 0
vsize: 840052
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 70420 64 0 0 25 0 11 0 779712137 860213248 32522 4294967295 134512640 134569956 3221224368 3221214548 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 32522 13086 16 0 209997 0
vsize: 840052
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 71371 64 0 0 25 0 11 0 779712137 860213248 32663 4294967295 134512640 134569956 3221224368 3221214488 1131423281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 32663 13086 16 0 209997 0
vsize: 840052
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 72322 65 0 0 25 0 11 0 779712137 860213248 32805 4294967295 134512640 134569956 3221224368 3221214576 1131397444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 32805 13086 16 0 209997 0
vsize: 840052
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 73274 66 0 0 25 0 11 0 779712137 860213248 32932 4294967295 134512640 134569956 3221224368 3221214576 1131397453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 32932 13086 16 0 209997 0
vsize: 840052
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 74226 66 0 0 25 0 11 0 779712137 860213248 33069 4294967295 134512640 134569956 3221224368 3221214576 1131397967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 33069 13086 16 0 209997 0
vsize: 840052
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 75178 67 0 0 25 0 11 0 779712137 860213248 33209 4294967295 134512640 134569956 3221224368 3221214436 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 33209 13086 16 0 209997 0
vsize: 840052
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 76115 67 0 0 24 0 11 0 779712137 860213248 33405 4294967295 134512640 134569956 3221224368 3221214464 1131304472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 33405 13086 16 0 209997 0
vsize: 840052
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 77064 68 0 0 24 0 11 0 779712137 860213248 33544 4294967295 134512640 134569956 3221224368 3221214464 1131305373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 33544 13086 16 0 209997 0
vsize: 840052
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 78013 68 0 0 25 0 11 0 779712137 860213248 33698 4294967295 134512640 134569956 3221224368 3221214560 1131320275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 33698 13086 16 0 209997 0
vsize: 840052
[startup+830.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 78961 69 0 0 25 0 11 0 779712137 860213248 33862 4294967295 134512640 134569956 3221224368 3221214584 1131381667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 33862 13086 16 0 209997 0
vsize: 840052
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 79910 69 0 0 25 0 11 0 779712137 860213248 33992 4294967295 134512640 134569956 3221224368 3221214576 1131397204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 33992 13086 16 0 209997 0
vsize: 840052
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 80860 70 0 0 25 0 11 0 779712137 860213248 34153 4294967295 134512640 134569956 3221224368 3221214576 1131397350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 34153 13086 16 0 209997 0
vsize: 840052
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 81810 70 0 0 25 0 11 0 779712137 860213248 34303 4294967295 134512640 134569956 3221224368 3221214464 1131304616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 34303 13086 16 0 209997 0
vsize: 840052
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 82760 70 0 0 25 0 11 0 779712137 860213248 34443 4294967295 134512640 134569956 3221224368 3221214488 1131421675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 34443 13086 16 0 209997 0
vsize: 840052
[startup+880.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 83692 70 0 0 25 0 11 0 779712137 860213248 34689 4294967295 134512640 134569956 3221224368 3221214792 1131342877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 34689 13086 16 0 209997 0
vsize: 840052
[startup+890.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 84646 70 0 0 25 0 11 0 779712137 860213248 34845 4294967295 134512640 134569956 3221224368 3221214744 1131163200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 34845 13086 16 0 209997 0
vsize: 840052
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 85610 70 0 0 25 0 11 0 779712137 860213248 34974 4294967295 134512640 134569956 3221224368 3221214472 1131304445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 34974 13086 16 0 209997 0
vsize: 840052
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 86560 71 0 0 25 0 11 0 779712137 860213248 35148 4294967295 134512640 134569956 3221224368 3221214548 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 35148 13086 16 0 209997 0
vsize: 840052
[startup+920.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 87514 71 0 0 25 0 11 0 779712137 860213248 35282 4294967295 134512640 134569956 3221224368 3221214576 1131397827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 35282 13086 16 0 209997 0
vsize: 840052
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 88467 72 0 0 25 0 11 0 779712137 860213248 35399 4294967295 134512640 134569956 3221224368 3221214576 1131397601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 35399 13086 16 0 209997 0
vsize: 840052
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 89415 72 0 0 25 0 11 0 779712137 860213248 35465 4294967295 134512640 134569956 3221224368 3221214744 1131163251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 35465 13086 16 0 209997 0
vsize: 840052
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 90351 73 0 0 24 0 11 0 779712137 860213248 35686 4294967295 134512640 134569956 3221224368 3221214464 1131304631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 35686 13086 16 0 209997 0
vsize: 840052
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 91296 73 0 0 25 0 11 0 779712137 860213248 35869 4294967295 134512640 134569956 3221224368 3221214464 1131304472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 35869 13086 16 0 209997 0
vsize: 840052
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 92240 73 0 0 25 0 11 0 779712137 860213248 36077 4294967295 134512640 134569956 3221224368 3221214488 1131422409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 36077 13086 16 0 209997 0
vsize: 840052
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 93186 73 0 0 25 0 11 0 779712137 860213248 36259 4294967295 134512640 134569956 3221224368 3221214464 1131304269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 36259 13086 16 0 209997 0
vsize: 840052
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 94133 74 0 0 25 0 11 0 779712137 860213248 36403 4294967295 134512640 134569956 3221224368 3221214744 1131163236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 36403 13086 16 0 209997 0
vsize: 840052
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 95078 74 0 0 25 0 11 0 779712137 860213248 36584 4294967295 134512640 134569956 3221224368 3221214464 1131304631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 36584 13086 16 0 209997 0
vsize: 840052
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8032
Raw data (stat): 7967 (java) S 7966 24300 24299 0 -1 0 18088 0 1 0 96020 74 0 0 25 0 11 0 779712137 860213248 36771 4294967295 134512640 134569956 3221224368 3221213176 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 36771 13086 16 0 209997 0
vsize: 840052
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 96950 75 0 0 25 0 11 0 779712137 860213248 36884 4294967295 134512640 134569956 3221224368 3221214768 1131319032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 36884 13086 16 0 209997 0
vsize: 840052
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 97883 75 0 0 25 0 11 0 779712137 860213248 37097 4294967295 134512640 134569956 3221224368 3221214744 1131163265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37097 13086 16 0 209997 0
vsize: 840052
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 98833 76 0 0 25 0 11 0 779712137 860213248 37344 4294967295 134512640 134569956 3221224368 3221213852 1131532752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37344 13086 16 0 209997 0
vsize: 840052
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 99802 76 0 0 25 0 11 0 779712137 860213248 37557 4294967295 134512640 134569956 3221224368 3221214728 1131319947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37557 13086 16 0 209997 0
vsize: 840052
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 100779 77 0 0 25 0 11 0 779712137 860213248 37755 4294967295 134512640 134569956 3221224368 3221214720 1131319025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37755 13086 16 0 209997 0
vsize: 840052
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 101759 77 0 0 25 0 11 0 779712137 860213248 37763 4294967295 134512640 134569956 3221224368 3221214792 1131343146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37763 13086 16 0 209997 0
vsize: 840052
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) S 7966 24300 24299 0 -1 0 18088 0 1 0 102742 77 0 0 25 0 11 0 779712137 860213248 37776 4294967295 134512640 134569956 3221224368 3221213176 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37776 13086 16 0 209997 0
vsize: 840052
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) S 7966 24300 24299 0 -1 0 18088 0 1 0 103724 78 0 0 25 0 11 0 779712137 860213248 37815 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37815 13086 16 0 209997 0
vsize: 840052
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 104701 78 0 0 25 0 11 0 779712137 860213248 37822 4294967295 134512640 134569956 3221224368 3221214376 1131533993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37822 13086 16 0 209997 0
vsize: 840052
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 105666 78 0 0 25 0 11 0 779712137 860213248 37839 4294967295 134512640 134569956 3221224368 3221214472 1131304616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37839 13086 16 0 209997 0
vsize: 840052
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 106621 78 0 0 25 0 11 0 779712137 860213248 37840 4294967295 134512640 134569956 3221224368 3221214488 1131422445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37840 13086 16 0 209997 0
vsize: 840052
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 107567 79 0 0 25 0 11 0 779712137 860213248 37903 4294967295 134512640 134569956 3221224368 3221214464 1131305063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 37903 13086 16 0 209997 0
vsize: 840052
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 108512 79 0 0 25 0 11 0 779712137 860213248 38143 4294967295 134512640 134569956 3221224368 3221214488 1131421675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 38143 13086 16 0 209997 0
vsize: 840052
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) S 7966 24300 24299 0 -1 0 18088 0 1 0 109469 79 0 0 25 0 11 0 779712137 860213248 38299 4294967295 134512640 134569956 3221224368 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 38299 13086 16 0 209997 0
vsize: 840052
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 110415 80 0 0 25 0 11 0 779712137 860213248 38457 4294967295 134512640 134569956 3221224368 3221214472 1131304631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 38457 13086 16 0 209997 0
vsize: 840052
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 111360 80 0 0 25 0 11 0 779712137 860213248 38656 4294967295 134512640 134569956 3221224368 3221214472 1131279873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 38656 13086 16 0 209997 0
vsize: 840052
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 112306 80 0 0 25 0 11 0 779712137 860213248 38853 4294967295 134512640 134569956 3221224368 3221214472 1131304572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 38853 13086 16 0 209997 0
vsize: 840052
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 113249 81 0 0 25 0 11 0 779712137 860213248 39174 4294967295 134512640 134569956 3221224368 3221214576 1131397472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 39174 13086 16 0 209997 0
vsize: 840052
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 114206 81 0 0 25 0 11 0 779712137 860213248 39364 4294967295 134512640 134569956 3221224368 3221214584 1131381685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 39364 13086 16 0 209997 0
vsize: 840052
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 115152 81 0 0 25 0 11 0 779712137 860213248 39549 4294967295 134512640 134569956 3221224368 3221214552 1131185136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 39549 13086 16 0 209997 0
vsize: 840052
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 116099 82 0 0 25 0 11 0 779712137 860213248 39742 4294967295 134512640 134569956 3221224368 3221214472 1131304759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 39742 13086 16 0 209997 0
vsize: 840052
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 117045 82 0 0 25 0 11 0 779712137 860213248 39951 4294967295 134512640 134569956 3221224368 3221214576 1131397984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 39951 13086 16 0 209997 0
vsize: 840052
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 117992 82 0 0 25 0 11 0 779712137 860213248 40121 4294967295 134512640 134569956 3221224368 3221214728 1131319804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 40121 13086 16 0 209997 0
vsize: 840052
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 118930 82 0 0 25 0 11 0 779712137 860213248 40161 4294967295 134512640 134569956 3221224368 3221214744 1131163200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 40161 13086 16 0 209997 0
vsize: 840052
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 119888 83 0 0 25 0 11 0 779712137 860213248 40250 4294967295 134512640 134569956 3221224368 3221214488 1131423320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 40250 13086 16 0 209997 0
vsize: 840052
[startup+1270.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8034
Raw data (stat): 7967 (java) R 7966 24300 24299 0 -1 0 18088 0 1 0 120823 84 0 0 25 0 11 0 779712137 860213248 40523 4294967295 134512640 134569956 3221224368 3221214728 1131319877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210013 40523 13086 16 0 209997 0
vsize: 840052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8036
Raw data (stat): 7967 (java) Z 7966 24300 24299 0 -1 1036 18088 27381 1 0 120826 91 7090 62 25 0 1 0 779712137 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): 1270.23
CPU time (s): 1280.7
CPU user time (s): 1279.16
CPU system time (s): 1.54177
CPU usage (%): 100.824
Max. virtual memory (Kb): 840052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####