PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-tuff.opb
MD5SUM	1a92e09c7ec9849a6357a8d28097331d
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	90
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	3221225469
Number of bits of the sum of numbers in the objective function	32
Biggest number in a constraint	6170044790734848
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	1104744513968841438
Number of bits of the biggest sum of numbers	60
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.486925
Number of variables	17153
Total number of constraints	320
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	320
Minimum length of a constraint	11
Maximum length of a constraint	3360
Trace number 29502

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 08:23:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20902 boxname=wulflinc24 idbench=890 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  1a92e09c7ec9849a6357a8d28097331d  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-tuff.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-tuff.opb
IDLAUNCH: 20902
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        658580 kB
Buffers:         24472 kB
Cached:         329284 kB
SwapCached:        524 kB
Active:         154908 kB
Inactive:       201188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        658328 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14388 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:43:35 (client local time) WITH STATUS 143 IN 1242.31 SECONDS
stats: 20902 7 1242.31 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/wulflinc24/normalized-mps-v2-20-10-tuff.opb
c reading problem ... done. Time 103.007 ms.
c #vars     17153
c #constraints  567
c starts	: 2
c conflicts	: 248
c decisions	: 336
c propagations	: 25034
c inspects	: 139494
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 248
c root simplifications	: 2
s UNKNOWN
c Total CPU time (ms) : 1229.123
#### 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): 1.06 1.02 1.00 2/54 19958
Raw data (stat): 19958 (runsolver) R 19957 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837405709 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.29 1.07 1.02 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18024 0 1 0 839 37 0 0 25 0 10 0 837405709 858390528 20585 4294967295 134512640 134569956 3221224368 3221214400 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209568 20585 13086 16 0 209552 0
vsize: 838272
[startup+20.0012 s]
Raw data (loadavg): 1.24 1.07 1.02 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18024 0 1 0 1727 37 0 0 25 0 10 0 837405709 856182784 20693 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209029 20693 13086 16 0 209013 0
vsize: 836116
[startup+30.0019 s]
Raw data (loadavg): 1.20 1.06 1.02 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18024 0 1 0 2600 38 0 0 25 0 10 0 837405709 856182784 21140 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209029 21140 13086 16 0 209013 0
vsize: 836116
[startup+40.0032 s]
Raw data (loadavg): 1.17 1.06 1.02 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18025 0 1 0 3496 38 0 0 25 0 10 0 837405709 856182784 21489 4294967295 134512640 134569956 3221224368 3221214660 1130916339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209029 21489 13086 16 0 209013 0
vsize: 836116
[startup+50.0042 s]
Raw data (loadavg): 1.14 1.06 1.02 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18025 0 1 0 4392 38 0 0 25 0 10 0 837405709 856182784 21669 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209029 21669 13086 16 0 209013 0
vsize: 836116
[startup+60.0069 s]
Raw data (loadavg): 1.12 1.06 1.01 2/63 19967
Raw data (stat): 19958 (java) S 19957 4613 4612 0 -1 0 18025 0 1 0 5264 38 0 0 25 0 10 0 837405709 856182784 22067 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209029 22067 13086 16 0 209013 0
vsize: 836116
[startup+70.0081 s]
Raw data (loadavg): 1.10 1.05 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18025 0 1 0 6144 39 0 0 25 0 10 0 837405709 856182784 22417 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209029 22417 13086 16 0 209013 0
vsize: 836116
[startup+80.0084 s]
Raw data (loadavg): 1.09 1.05 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18025 0 1 0 7018 39 0 0 25 0 10 0 837405709 856182784 22573 4294967295 134512640 134569956 3221224368 3221214660 1130894840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209029 22573 13086 16 0 209013 0
vsize: 836116
[startup+90.0091 s]
Raw data (loadavg): 1.07 1.05 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18025 0 1 0 7885 39 0 0 25 0 10 0 837405709 856182784 22996 4294967295 134512640 134569956 3221224368 3221214452 1130863901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209029 22996 13086 16 0 209013 0
vsize: 836116
[startup+100.009 s]
Raw data (loadavg): 1.06 1.05 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18025 0 1 0 8733 40 0 0 25 0 10 0 837405709 856182784 25602 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209029 25602 13086 16 0 209013 0
vsize: 836116
[startup+110.009 s]
Raw data (loadavg): 1.05 1.05 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18046 0 1 0 9632 41 0 0 25 0 10 0 837405709 856879104 26920 4294967295 134512640 134569956 3221224368 3221214632 1131328500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209199 26920 13086 16 0 209183 0
vsize: 836796
[startup+120.01 s]
Raw data (loadavg): 1.04 1.04 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18046 0 1 0 10535 41 0 0 25 0 10 0 837405709 856879104 26920 4294967295 134512640 134569956 3221224368 3221214728 1131351480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209199 26920 13086 16 0 209183 0
vsize: 836796
[startup+130.01 s]
Raw data (loadavg): 1.04 1.04 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18046 0 1 0 11426 41 0 0 25 0 10 0 837405709 856879104 26920 4294967295 134512640 134569956 3221224368 3221214728 1131350278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209199 26920 13086 16 0 209183 0
vsize: 836796
[startup+140.011 s]
Raw data (loadavg): 1.03 1.04 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18046 0 1 0 12344 41 0 0 25 0 10 0 837405709 856879104 27717 4294967295 134512640 134569956 3221224368 3221214632 1131328439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209199 27717 13086 16 0 209183 0
vsize: 836796
[startup+150.011 s]
Raw data (loadavg): 1.02 1.04 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18046 0 1 0 13323 42 0 0 25 0 10 0 837405709 856879104 27819 4294967295 134512640 134569956 3221224368 3221214728 1131350306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209199 27819 13086 16 0 209183 0
vsize: 836796
[startup+160.011 s]
Raw data (loadavg): 1.02 1.04 1.00 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18046 0 1 0 14308 42 0 0 25 0 10 0 837405709 856879104 27834 4294967295 134512640 134569956 3221224368 3221214632 1131328184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209199 27834 13086 16 0 209183 0
vsize: 836796
[startup+170.012 s]
Raw data (loadavg): 1.09 1.05 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18046 0 1 0 15296 42 0 0 25 0 10 0 837405709 856281088 27749 4294967295 134512640 134569956 3221224368 3221214616 1131328228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 27749 13086 16 0 209037 0
vsize: 836212
[startup+180.011 s]
Raw data (loadavg): 1.08 1.05 1.01 2/63 19967
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18046 0 1 0 16283 42 0 0 25 0 10 0 837405709 856281088 27759 4294967295 134512640 134569956 3221224368 3221214616 1131328456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 27759 13086 16 0 209037 0
vsize: 836212
[startup+190.013 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 17261 42 0 0 25 0 11 0 837405709 856809472 27781 4294967295 134512640 134569956 3221224368 3221214584 1131328044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27781 13086 16 0 209166 0
vsize: 836728
[startup+200.013 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 18248 42 0 0 25 0 11 0 837405709 856809472 27800 4294967295 134512640 134569956 3221224368 3221214680 1131350210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27800 13086 16 0 209166 0
vsize: 836728
[startup+210.012 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 19236 42 0 0 25 0 11 0 837405709 856809472 27828 4294967295 134512640 134569956 3221224368 3221214584 1131328044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27828 13086 16 0 209166 0
vsize: 836728
[startup+220.014 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 20230 42 0 0 25 0 11 0 837405709 856809472 27833 4294967295 134512640 134569956 3221224368 3221214584 1131329284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27833 13086 16 0 209166 0
vsize: 836728
[startup+230.014 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 21225 42 0 0 25 0 11 0 837405709 856809472 27836 4294967295 134512640 134569956 3221224368 3221214680 1131349152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27836 13086 16 0 209166 0
vsize: 836728
[startup+240.015 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 22220 42 0 0 22 0 11 0 837405709 856809472 27838 4294967295 134512640 134569956 3221224368 3221214584 1131328640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27838 13086 16 0 209166 0
vsize: 836728
[startup+250.015 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 23215 42 0 0 25 0 11 0 837405709 856809472 27841 4294967295 134512640 134569956 3221224368 3221214584 1131328757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27841 13086 16 0 209166 0
vsize: 836728
[startup+260.015 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 24210 42 0 0 25 0 11 0 837405709 856809472 27844 4294967295 134512640 134569956 3221224368 3221214584 1131328044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27844 13086 16 0 209166 0
vsize: 836728
[startup+270.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 25204 42 0 0 25 0 11 0 837405709 856809472 27847 4294967295 134512640 134569956 3221224368 3221214680 1131351546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27847 13086 16 0 209166 0
vsize: 836728
[startup+280.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 26197 42 0 0 25 0 11 0 837405709 856809472 27850 4294967295 134512640 134569956 3221224368 3221214584 1131328671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27850 13086 16 0 209166 0
vsize: 836728
[startup+290.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 27191 42 0 0 25 0 11 0 837405709 856809472 27853 4294967295 134512640 134569956 3221224368 3221214580 1131201184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27853 13086 16 0 209166 0
vsize: 836728
[startup+300.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 28185 43 0 0 25 0 11 0 837405709 856809472 27856 4294967295 134512640 134569956 3221224368 3221214680 1131349163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27856 13086 16 0 209166 0
vsize: 836728
[startup+310.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 29179 43 0 0 25 0 11 0 837405709 856809472 27859 4294967295 134512640 134569956 3221224368 3221214584 1131328788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27859 13086 16 0 209166 0
vsize: 836728
[startup+320.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 30173 43 0 0 25 0 11 0 837405709 856809472 27861 4294967295 134512640 134569956 3221224368 3221214584 1131328127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27861 13086 16 0 209166 0
vsize: 836728
[startup+330.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 31166 43 0 0 25 0 11 0 837405709 856809472 27864 4294967295 134512640 134569956 3221224368 3221214584 1131328508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27864 13086 16 0 209166 0
vsize: 836728
[startup+340.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 32159 43 0 0 25 0 11 0 837405709 856809472 27867 4294967295 134512640 134569956 3221224368 3221214584 1131328044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27867 13086 16 0 209166 0
vsize: 836728
[startup+350.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 33152 44 0 0 25 0 11 0 837405709 856809472 27870 4294967295 134512640 134569956 3221224368 3221214584 1131328515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27870 13086 16 0 209166 0
vsize: 836728
[startup+360.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 34147 44 0 0 25 0 11 0 837405709 856809472 27872 4294967295 134512640 134569956 3221224368 3221214584 1131328398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27872 13086 16 0 209166 0
vsize: 836728
[startup+370.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 35140 44 0 0 25 0 11 0 837405709 856809472 27875 4294967295 134512640 134569956 3221224368 3221214584 1131328649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27875 13086 16 0 209166 0
vsize: 836728
[startup+380.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 36134 44 0 0 25 0 11 0 837405709 856809472 27879 4294967295 134512640 134569956 3221224368 3221214584 1131328256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27879 13086 16 0 209166 0
vsize: 836728
[startup+390.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 37128 44 0 0 25 0 11 0 837405709 856809472 27882 4294967295 134512640 134569956 3221224368 3221214584 1131329028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27882 13086 16 0 209166 0
vsize: 836728
[startup+400.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 38122 44 0 0 25 0 11 0 837405709 856809472 27885 4294967295 134512640 134569956 3221224368 3221214488 1131202291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209182 27885 13086 16 0 209166 0
vsize: 836728
[startup+410.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 39115 45 0 0 25 0 11 0 837405709 856809472 27889 4294967295 134512640 134569956 3221224368 3221214584 1131328033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27889 13086 16 0 209166 0
vsize: 836728
[startup+420.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 40107 46 0 0 25 0 11 0 837405709 856809472 27893 4294967295 134512640 134569956 3221224368 3221214584 1131328515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27893 13086 16 0 209166 0
vsize: 836728
[startup+430.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18053 0 1 0 41102 46 0 0 25 0 11 0 837405709 856809472 27896 4294967295 134512640 134569956 3221224368 3221214680 1131351125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27896 13086 16 0 209166 0
vsize: 836728
[startup+440.024 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18063 0 1 0 42092 46 0 0 25 0 11 0 837405709 856809472 27914 4294967295 134512640 134569956 3221224368 3221214744 1131382963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27914 13086 16 0 209166 0
vsize: 836728
[startup+450.023 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18063 0 1 0 43079 47 0 0 25 0 11 0 837405709 856809472 27919 4294967295 134512640 134569956 3221224368 3221214740 1131197926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27919 13086 16 0 209166 0
vsize: 836728
[startup+460.023 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18063 0 1 0 44065 47 0 0 25 0 11 0 837405709 856809472 27921 4294967295 134512640 134569956 3221224368 3221214744 1131382523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27921 13086 16 0 209166 0
vsize: 836728
[startup+470.024 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18063 0 1 0 45054 48 0 0 25 0 11 0 837405709 856809472 27922 4294967295 134512640 134569956 3221224368 3221214744 1131381922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27922 13086 16 0 209166 0
vsize: 836728
[startup+480.024 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18063 0 1 0 46041 48 0 0 25 0 11 0 837405709 856809472 27923 4294967295 134512640 134569956 3221224368 3221214640 1131294343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27923 13086 16 0 209166 0
vsize: 836728
[startup+490.025 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18064 0 1 0 47031 48 0 0 25 0 11 0 837405709 856809472 27926 4294967295 134512640 134569956 3221224368 3221214648 1131328515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27926 13086 16 0 209166 0
vsize: 836728
[startup+500.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18065 0 1 0 48015 49 0 0 25 0 11 0 837405709 856809472 27928 4294967295 134512640 134569956 3221224368 3221214640 1131294525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27928 13086 16 0 209166 0
vsize: 836728
[startup+510.025 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18065 0 1 0 48997 49 0 0 25 0 11 0 837405709 856809472 27966 4294967295 134512640 134569956 3221224368 3221214744 1131382645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 27966 13086 16 0 209166 0
vsize: 836728
[startup+520.027 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18065 0 1 0 49984 49 0 0 25 0 11 0 837405709 856809472 28015 4294967295 134512640 134569956 3221224368 3221214740 1131346432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 28015 13086 16 0 209166 0
vsize: 836728
[startup+530.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18065 0 1 0 50969 49 0 0 25 0 11 0 837405709 856809472 28015 4294967295 134512640 134569956 3221224368 3221214744 1131383174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 28015 13086 16 0 209166 0
vsize: 836728
[startup+540.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18065 0 1 0 51955 50 0 0 25 0 11 0 837405709 856809472 28015 4294967295 134512640 134569956 3221224368 3221214744 1131382538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 28015 13086 16 0 209166 0
vsize: 836728
[startup+550.029 s]
Raw data (loadavg): 1.01 1.02 1.00 3/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18065 0 1 0 52945 50 0 0 25 0 11 0 837405709 856809472 28022 4294967295 134512640 134569956 3221224368 3221214584 1131329003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 28022 13086 16 0 209166 0
vsize: 836728
[startup+560.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18065 0 1 0 53874 50 0 0 25 0 11 0 837405709 856809472 28224 4294967295 134512640 134569956 3221224368 3221214584 1131328037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 28224 13086 16 0 209166 0
vsize: 836728
[startup+570.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18065 0 1 0 54801 50 0 0 25 0 11 0 837405709 856809472 28224 4294967295 134512640 134569956 3221224368 3221214680 1131351523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 28224 13086 16 0 209166 0
vsize: 836728
[startup+580.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18066 0 1 0 55727 51 0 0 25 0 11 0 837405709 856809472 28108 4294967295 134512640 134569956 3221224368 3221214424 1131294497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209182 28108 13086 16 0 209166 0
vsize: 836728
[startup+590.03 s]
Raw data (loadavg): 1.00 1.02 1.00 3/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 56695 51 0 0 25 0 11 0 837405709 857481216 28555 4294967295 134512640 134569956 3221224368 3221214448 1131442655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 28556 13086 16 0 209330 0
vsize: 837384
[startup+600.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 57683 51 0 0 25 0 11 0 837405709 859267072 29187 4294967295 134512640 134569956 3221224368 3221214448 1131443291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209782 29187 13086 16 0 209766 0
vsize: 839128
[startup+610.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 58679 51 0 0 25 0 11 0 837405709 859267072 29188 4294967295 134512640 134569956 3221224368 3221214528 1131407959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209782 29188 13086 16 0 209766 0
vsize: 839128
[startup+620.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 59677 51 0 0 25 0 11 0 837405709 859267072 29188 4294967295 134512640 134569956 3221224368 3221214448 1131441897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209782 29188 13086 16 0 209766 0
vsize: 839128
[startup+630.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 60675 51 0 0 25 0 11 0 837405709 859267072 29213 4294967295 134512640 134569956 3221224368 3221214448 1131441879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209782 29213 13086 16 0 209766 0
vsize: 839128
[startup+640.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 61674 51 0 0 25 0 11 0 837405709 859267072 29215 4294967295 134512640 134569956 3221224368 3221214424 1131294340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209782 29215 13086 16 0 209766 0
vsize: 839128
[startup+650.031 s]
Raw data (loadavg): 1.08 1.03 1.01 3/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 62672 51 0 0 25 0 11 0 837405709 864694272 30391 4294967295 134512640 134569956 3221224368 3221214528 1131407911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211107 30391 13086 16 0 211091 0
vsize: 844428
[startup+660.031 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 63671 52 0 0 25 0 11 0 837405709 862924800 30108 4294967295 134512640 134569956 3221224368 3221214528 1131408057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30108 13086 16 0 210659 0
vsize: 842700
[startup+670.032 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 64666 52 0 0 25 0 11 0 837405709 862924800 30108 4294967295 134512640 134569956 3221224368 3221214584 1131328114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30108 13086 16 0 210659 0
vsize: 842700
[startup+680.032 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 65658 52 0 0 25 0 11 0 837405709 862924800 30108 4294967295 134512640 134569956 3221224368 3221214680 1131350128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30108 13086 16 0 210659 0
vsize: 842700
[startup+690.033 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 66650 52 0 0 25 0 11 0 837405709 862924800 30108 4294967295 134512640 134569956 3221224368 3221214680 1131351666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210675 30108 13086 16 0 210659 0
vsize: 842700
[startup+700.033 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 67642 53 0 0 25 0 11 0 837405709 862924800 30128 4294967295 134512640 134569956 3221224368 3221214584 1131328110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30128 13086 16 0 210659 0
vsize: 842700
[startup+710.033 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 68638 53 0 0 25 0 11 0 837405709 862924800 30131 4294967295 134512640 134569956 3221224368 3221214488 1131201257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30131 13086 16 0 210659 0
vsize: 842700
[startup+720.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 69633 54 0 0 25 0 11 0 837405709 862924800 30134 4294967295 134512640 134569956 3221224368 3221214584 1131328515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210675 30134 13086 16 0 210659 0
vsize: 842700
[startup+730.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 70628 54 0 0 25 0 11 0 837405709 862924800 30136 4294967295 134512640 134569956 3221224368 3221214680 1131350314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30136 13086 16 0 210659 0
vsize: 842700
[startup+740.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 71623 54 0 0 25 0 11 0 837405709 862924800 30139 4294967295 134512640 134569956 3221224368 3221214680 1131350222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30139 13086 16 0 210659 0
vsize: 842700
[startup+750.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 72618 54 0 0 25 0 11 0 837405709 862924800 30142 4294967295 134512640 134569956 3221224368 3221214584 1131328515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30142 13086 16 0 210659 0
vsize: 842700
[startup+760.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 73613 55 0 0 25 0 11 0 837405709 862924800 30144 4294967295 134512640 134569956 3221224368 3221214584 1131328515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30144 13086 16 0 210659 0
vsize: 842700
[startup+770.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 74608 55 0 0 25 0 11 0 837405709 862924800 30144 4294967295 134512640 134569956 3221224368 3221214584 1131328816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30144 13086 16 0 210659 0
vsize: 842700
[startup+780.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 75603 55 0 0 25 0 11 0 837405709 862924800 30147 4294967295 134512640 134569956 3221224368 3221214584 1131329112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30147 13086 16 0 210659 0
vsize: 842700
[startup+790.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 76599 55 0 0 25 0 11 0 837405709 862924800 30152 4294967295 134512640 134569956 3221224368 3221214584 1131328133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30152 13086 16 0 210659 0
vsize: 842700
[startup+800.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 77593 56 0 0 25 0 11 0 837405709 862924800 30156 4294967295 134512640 134569956 3221224368 3221214584 1131328604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30156 13086 16 0 210659 0
vsize: 842700
[startup+810.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 78588 57 0 0 25 0 11 0 837405709 862924800 30156 4294967295 134512640 134569956 3221224368 3221214584 1131328515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30156 13086 16 0 210659 0
vsize: 842700
[startup+820.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 79584 57 0 0 25 0 11 0 837405709 862924800 30159 4294967295 134512640 134569956 3221224368 3221214680 1131350240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30159 13086 16 0 210659 0
vsize: 842700
[startup+830.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 80580 57 0 0 25 0 11 0 837405709 862924800 30164 4294967295 134512640 134569956 3221224368 3221214488 1131201265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30164 13086 16 0 210659 0
vsize: 842700
[startup+840.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 81575 58 0 0 25 0 11 0 837405709 862924800 30167 4294967295 134512640 134569956 3221224368 3221214584 1131328044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210675 30167 13086 16 0 210659 0
vsize: 842700
[startup+850.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 82571 58 0 0 25 0 11 0 837405709 862924800 30167 4294967295 134512640 134569956 3221224368 3221214680 1131349087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30167 13086 16 0 210659 0
vsize: 842700
[startup+860.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 83566 58 0 0 25 0 11 0 837405709 862924800 30170 4294967295 134512640 134569956 3221224368 3221214584 1131328125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30170 13086 16 0 210659 0
vsize: 842700
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 84562 58 0 0 25 0 11 0 837405709 862924800 30172 4294967295 134512640 134569956 3221224368 3221214680 1131350240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30172 13086 16 0 210659 0
vsize: 842700
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 85558 59 0 0 25 0 11 0 837405709 862924800 30175 4294967295 134512640 134569956 3221224368 3221214584 1131328044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30175 13086 16 0 210659 0
vsize: 842700
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18067 0 1 0 86553 59 0 0 25 0 11 0 837405709 862924800 30177 4294967295 134512640 134569956 3221224368 3221214584 1131329115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30177 13086 16 0 210659 0
vsize: 842700
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 87548 60 0 0 25 0 11 0 837405709 862924800 30181 4294967295 134512640 134569956 3221224368 3221214584 1131328037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30181 13086 16 0 210659 0
vsize: 842700
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 88541 60 0 0 25 0 11 0 837405709 862924800 30184 4294967295 134512640 134569956 3221224368 3221214584 1131328515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30184 13086 16 0 210659 0
vsize: 842700
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 89534 60 0 0 25 0 11 0 837405709 862924800 30184 4294967295 134512640 134569956 3221224368 3221214584 1131328741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30184 13086 16 0 210659 0
vsize: 842700
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 90528 61 0 0 25 0 11 0 837405709 862924800 30206 4294967295 134512640 134569956 3221224368 3221214680 1131349087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30206 13086 16 0 210659 0
vsize: 842700
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 91522 61 0 0 25 0 11 0 837405709 862924800 30216 4294967295 134512640 134569956 3221224368 3221214584 1131328610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30216 13086 16 0 210659 0
vsize: 842700
[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 92516 62 0 0 25 0 11 0 837405709 862924800 30216 4294967295 134512640 134569956 3221224368 3221214680 1131350237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30216 13086 16 0 210659 0
vsize: 842700
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 93510 62 0 0 25 0 11 0 837405709 862924800 30225 4294967295 134512640 134569956 3221224368 3221214680 1131349152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30225 13086 16 0 210659 0
vsize: 842700
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 94505 63 0 0 25 0 11 0 837405709 862924800 30232 4294967295 134512640 134569956 3221224368 3221214584 1131328037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30232 13086 16 0 210659 0
vsize: 842700
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 95499 63 0 0 25 0 11 0 837405709 862924800 30236 4294967295 134512640 134569956 3221224368 3221214584 1131328234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30236 13086 16 0 210659 0
vsize: 842700
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 96493 63 0 0 25 0 11 0 837405709 862924800 30241 4294967295 134512640 134569956 3221224368 3221214680 1131349087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30241 13086 16 0 210659 0
vsize: 842700
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 97487 63 0 0 25 0 11 0 837405709 862924800 30247 4294967295 134512640 134569956 3221224368 3221214680 1131350222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30247 13086 16 0 210659 0
vsize: 842700
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 98480 64 0 0 25 0 11 0 837405709 862924800 30256 4294967295 134512640 134569956 3221224368 3221214680 1131350240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30256 13086 16 0 210659 0
vsize: 842700
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 99474 64 0 0 25 0 11 0 837405709 862924800 30260 4294967295 134512640 134569956 3221224368 3221214584 1131328347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30260 13086 16 0 210659 0
vsize: 842700
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 100467 65 0 0 25 0 11 0 837405709 862924800 30266 4294967295 134512640 134569956 3221224368 3221214584 1131328449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30266 13086 16 0 210659 0
vsize: 842700
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 101460 65 0 0 25 0 11 0 837405709 862924800 30280 4294967295 134512640 134569956 3221224368 3221214680 1131350203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30280 13086 16 0 210659 0
vsize: 842700
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 102454 65 0 0 25 0 11 0 837405709 862924800 30291 4294967295 134512640 134569956 3221224368 3221214584 1131328824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30291 13086 16 0 210659 0
vsize: 842700
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 103449 66 0 0 25 0 11 0 837405709 862924800 30296 4294967295 134512640 134569956 3221224368 3221214616 1130883540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30296 13086 16 0 210659 0
vsize: 842700
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 104443 66 0 0 25 0 11 0 837405709 862924800 30306 4294967295 134512640 134569956 3221224368 3221214680 1131350366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30306 13086 16 0 210659 0
vsize: 842700
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 105437 66 0 0 25 0 11 0 837405709 862924800 30309 4294967295 134512640 134569956 3221224368 3221214584 1131328066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30309 13086 16 0 210659 0
vsize: 842700
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 106430 67 0 0 25 0 11 0 837405709 862924800 30320 4294967295 134512640 134569956 3221224368 3221214584 1131328044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30320 13086 16 0 210659 0
vsize: 842700
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 107422 67 0 0 25 0 11 0 837405709 862924800 30331 4294967295 134512640 134569956 3221224368 3221214488 1131201223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30331 13086 16 0 210659 0
vsize: 842700
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 108415 67 0 0 25 0 11 0 837405709 862924800 30341 4294967295 134512640 134569956 3221224368 3221214584 1131329115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30341 13086 16 0 210659 0
vsize: 842700
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 109408 68 0 0 25 0 11 0 837405709 862924800 30347 4294967295 134512640 134569956 3221224368 3221214680 1131349087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30347 13086 16 0 210659 0
vsize: 842700
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 110402 68 0 0 25 0 11 0 837405709 862924800 30359 4294967295 134512640 134569956 3221224368 3221214584 1131328246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30359 13086 16 0 210659 0
vsize: 842700
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 111394 69 0 0 25 0 11 0 837405709 862924800 30370 4294967295 134512640 134569956 3221224368 3221214584 1131329025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30370 13086 16 0 210659 0
vsize: 842700
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 112388 69 0 0 25 0 11 0 837405709 862924800 30381 4294967295 134512640 134569956 3221224368 3221214584 1131328515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30381 13086 16 0 210659 0
vsize: 842700
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 113381 69 0 0 25 0 11 0 837405709 862924800 30394 4294967295 134512640 134569956 3221224368 3221214584 1131328515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30394 13086 16 0 210659 0
vsize: 842700
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 114375 70 0 0 25 0 11 0 837405709 862924800 30398 4294967295 134512640 134569956 3221224368 3221214680 1131349080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30398 13086 16 0 210659 0
vsize: 842700
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 115368 70 0 0 25 0 11 0 837405709 862924800 30401 4294967295 134512640 134569956 3221224368 3221214584 1131328449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30401 13086 16 0 210659 0
vsize: 842700
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 116360 71 0 0 25 0 11 0 837405709 862924800 30413 4294967295 134512640 134569956 3221224368 3221214680 1131350203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30413 13086 16 0 210659 0
vsize: 842700
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 117354 71 0 0 25 0 11 0 837405709 862924800 30426 4294967295 134512640 134569956 3221224368 3221214680 1131351465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30426 13086 16 0 210659 0
vsize: 842700
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 118347 72 0 0 25 0 11 0 837405709 862924800 30437 4294967295 134512640 134569956 3221224368 3221214584 1131328044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30437 13086 16 0 210659 0
vsize: 842700
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 119340 72 0 0 25 0 11 0 837405709 862924800 30450 4294967295 134512640 134569956 3221224368 3221214680 1131349087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30450 13086 16 0 210659 0
vsize: 842700
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19968
Raw data (stat): 19958 (java) R 19957 4613 4612 0 -1 0 18068 0 1 0 120335 72 0 0 25 0 11 0 837405709 862924800 30457 4294967295 134512640 134569956 3221224368 3221214584 1131328044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210675 30457 13086 16 0 210659 0
vsize: 842700
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 19970
Raw data (stat): 19958 (java) Z 19957 4613 4612 0 -1 1036 18068 19894 1 0 120339 78 3755 57 25 0 1 0 837405709 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): 1230.15
CPU time (s): 1242.31
CPU user time (s): 1240.96
CPU system time (s): 1.35579
CPU usage (%): 100.989
Max. virtual memory (Kb): 844428
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####