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-boeing2.opb
MD5SUM	9d4981de84e8fd488c4493c292301fa3
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	3114
Biggest coefficient in the objective function	40265318400000
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	2533036563346675
Number of bits of the sum of numbers in the objective function	52
Biggest number in a constraint	431563682611200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	17042207919312540
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.033994
Number of variables	3371
Total number of constraints	213
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	213
Minimum length of a constraint	12
Maximum length of a constraint	2370
Trace number 29428

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 07:35:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20827 boxname=wulflinc4 idbench=815 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9d4981de84e8fd488c4493c292301fa3  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-boeing2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-boeing2.opb
IDLAUNCH: 20827
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        714536 kB
Buffers:         34328 kB
Cached:         265292 kB
SwapCached:        600 kB
Active:          64396 kB
Inactive:       237700 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        714284 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            12328 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:56:02 (client local time) WITH STATUS 143 IN 1217.78 SECONDS
stats: 20827 7 1217.78 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/wulflinc4/normalized-mps-v2-20-10-boeing2.opb
c reading problem ... done. Time 7.011 ms.
c #vars     3371
c #constraints  201
c starts	: 2
c conflicts	: 195
c decisions	: 13246
c propagations	: 51733
c inspects	: 671618
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 195
c root simplifications	: 169
s UNKNOWN
c Total CPU time (ms) : 1219.098
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 31989
Raw data (stat): 31989 (runsolver) R 31988 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778893944 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.0004 s]
Raw data (loadavg): 1.16 1.03 1.01 3/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18064 0 1 0 777 38 0 0 25 0 11 0 778893944 858259456 20669 4294967295 134512640 134569956 3221224368 3221214672 1131301245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 20669 13086 16 0 209520 0
vsize: 838144
[startup+20.0011 s]
Raw data (loadavg): 1.28 1.06 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18071 0 1 0 1651 38 0 0 25 0 11 0 778893944 859459584 21378 4294967295 134512640 134569956 3221224368 3221214568 1131301236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209829 21378 13086 16 0 209813 0
vsize: 839316
[startup+30.0009 s]
Raw data (loadavg): 1.24 1.06 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18072 0 1 0 2559 38 0 0 25 0 11 0 778893944 859189248 21395 4294967295 134512640 134569956 3221224368 3221214568 1131300937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 21395 13086 16 0 209747 0
vsize: 839052
[startup+40.0015 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18072 0 1 0 3455 38 0 0 25 0 11 0 778893944 859189248 21682 4294967295 134512640 134569956 3221224368 3221214664 1131397814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 21682 13086 16 0 209747 0
vsize: 839052
[startup+50.0017 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18072 0 1 0 4427 39 0 0 25 0 11 0 778893944 859189248 22222 4294967295 134512640 134569956 3221224368 3221214568 1131301007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22222 13086 16 0 209747 0
vsize: 839052
[startup+60.0025 s]
Raw data (loadavg): 1.14 1.05 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18073 0 1 0 5410 39 0 0 25 0 11 0 778893944 859189248 22287 4294967295 134512640 134569956 3221224368 3221214568 1131300890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22287 13086 16 0 209747 0
vsize: 839052
[startup+70.0025 s]
Raw data (loadavg): 1.12 1.05 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18073 0 1 0 6391 39 0 0 25 0 11 0 778893944 859189248 22321 4294967295 134512640 134569956 3221224368 3221214568 1131300405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22321 13086 16 0 209747 0
vsize: 839052
[startup+80.0023 s]
Raw data (loadavg): 1.18 1.07 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 7367 39 0 0 24 0 11 0 778893944 859189248 22357 4294967295 134512640 134569956 3221224368 3221214584 1131440066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22357 13086 16 0 209747 0
vsize: 839052
[startup+90.0027 s]
Raw data (loadavg): 1.15 1.06 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 8354 39 0 0 25 0 11 0 778893944 859189248 22390 4294967295 134512640 134569956 3221224368 3221214568 1131300773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22390 13086 16 0 209747 0
vsize: 839052
[startup+100.004 s]
Raw data (loadavg): 1.12 1.06 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 9343 39 0 0 25 0 11 0 778893944 859189248 22426 4294967295 134512640 134569956 3221224368 3221214480 1131207991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22426 13086 16 0 209747 0
vsize: 839052
[startup+110.006 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 10335 39 0 0 25 0 11 0 778893944 859189248 22473 4294967295 134512640 134569956 3221224368 3221214664 1131396930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22473 13086 16 0 209747 0
vsize: 839052
[startup+120.007 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 11327 39 0 0 25 0 11 0 778893944 859189248 22487 4294967295 134512640 134569956 3221224368 3221214664 1131396868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22487 13086 16 0 209747 0
vsize: 839052
[startup+130.007 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 12318 39 0 0 25 0 11 0 778893944 859189248 22492 4294967295 134512640 134569956 3221224368 3221214568 1131300773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22492 13086 16 0 209747 0
vsize: 839052
[startup+140.006 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 13308 39 0 0 25 0 11 0 778893944 859189248 22520 4294967295 134512640 134569956 3221224368 3221214568 1131300727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22520 13086 16 0 209747 0
vsize: 839052
[startup+150.008 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 14298 40 0 0 25 0 11 0 778893944 859189248 22530 4294967295 134512640 134569956 3221224368 3221214568 1131300725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22530 13086 16 0 209747 0
vsize: 839052
[startup+160.009 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 15286 40 0 0 25 0 11 0 778893944 859189248 22546 4294967295 134512640 134569956 3221224368 3221214568 1131300697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22546 13086 16 0 209747 0
vsize: 839052
[startup+170.009 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 16274 40 0 0 25 0 11 0 778893944 859189248 22567 4294967295 134512640 134569956 3221224368 3221214568 1131300826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22567 13086 16 0 209747 0
vsize: 839052
[startup+180.009 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 17261 40 0 0 25 0 11 0 778893944 859189248 22597 4294967295 134512640 134569956 3221224368 3221214664 1131400713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22597 13086 16 0 209747 0
vsize: 839052
[startup+190.01 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 18250 40 0 0 25 0 11 0 778893944 859189248 22638 4294967295 134512640 134569956 3221224368 3221214568 1131300773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22638 13086 16 0 209747 0
vsize: 839052
[startup+200.01 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 19240 40 0 0 25 0 11 0 778893944 859189248 22661 4294967295 134512640 134569956 3221224368 3221214568 1131300999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22661 13086 16 0 209747 0
vsize: 839052
[startup+210.011 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 20231 40 0 0 25 0 11 0 778893944 859189248 22679 4294967295 134512640 134569956 3221224368 3221214568 1131300773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22679 13086 16 0 209747 0
vsize: 839052
[startup+220.012 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 21222 40 0 0 25 0 11 0 778893944 859189248 22691 4294967295 134512640 134569956 3221224368 3221214568 1131301005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22691 13086 16 0 209747 0
vsize: 839052
[startup+230.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 22212 41 0 0 25 0 11 0 778893944 859189248 22726 4294967295 134512640 134569956 3221224368 3221214456 1131523295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22726 13086 16 0 209747 0
vsize: 839052
[startup+240.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 23199 41 0 0 25 0 11 0 778893944 859189248 22751 4294967295 134512640 134569956 3221224368 3221214568 1131301005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22751 13086 16 0 209747 0
vsize: 839052
[startup+250.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 24189 41 0 0 25 0 11 0 778893944 859189248 22770 4294967295 134512640 134569956 3221224368 3221214568 1131300773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22770 13086 16 0 209747 0
vsize: 839052
[startup+260.012 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 25180 41 0 0 25 0 11 0 778893944 859189248 22791 4294967295 134512640 134569956 3221224368 3221214664 1131400862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22791 13086 16 0 209747 0
vsize: 839052
[startup+270.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 26171 41 0 0 25 0 11 0 778893944 859189248 22817 4294967295 134512640 134569956 3221224368 3221214568 1131301005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22817 13086 16 0 209747 0
vsize: 839052
[startup+280.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 27161 41 0 0 25 0 11 0 778893944 859189248 22824 4294967295 134512640 134569956 3221224368 3221214664 1131400691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22824 13086 16 0 209747 0
vsize: 839052
[startup+290.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 28152 41 0 0 25 0 11 0 778893944 859189248 22850 4294967295 134512640 134569956 3221224368 3221214568 1131300727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22850 13086 16 0 209747 0
vsize: 839052
[startup+300.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 29144 41 0 0 25 0 11 0 778893944 859189248 22878 4294967295 134512640 134569956 3221224368 3221214568 1131300981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209763 22878 13086 16 0 209747 0
vsize: 839052
[startup+310.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 30136 41 0 0 25 0 11 0 778893944 859189248 22895 4294967295 134512640 134569956 3221224368 3221214664 1131397783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22895 13086 16 0 209747 0
vsize: 839052
[startup+320.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 31127 41 0 0 25 0 11 0 778893944 859189248 22920 4294967295 134512640 134569956 3221224368 3221214496 1131468251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22920 13086 16 0 209747 0
vsize: 839052
[startup+330.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 32118 41 0 0 25 0 11 0 778893944 859189248 22927 4294967295 134512640 134569956 3221224368 3221214304 1131614225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22927 13086 16 0 209747 0
vsize: 839052
[startup+340.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 33110 41 0 0 25 0 11 0 778893944 859189248 22953 4294967295 134512640 134569956 3221224368 3221214568 1131300965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22953 13086 16 0 209747 0
vsize: 839052
[startup+350.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 34101 41 0 0 25 0 11 0 778893944 859189248 22973 4294967295 134512640 134569956 3221224368 3221214568 1131301544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 22973 13086 16 0 209747 0
vsize: 839052
[startup+360.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 35094 42 0 0 25 0 11 0 778893944 859189248 22980 4294967295 134512640 134569956 3221224368 3221214664 1131397814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209763 22980 13086 16 0 209747 0
vsize: 839052
[startup+370.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 36086 42 0 0 25 0 11 0 778893944 859189248 23001 4294967295 134512640 134569956 3221224368 3221214568 1131300921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23001 13086 16 0 209747 0
vsize: 839052
[startup+380.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 37077 42 0 0 25 0 11 0 778893944 859189248 23027 4294967295 134512640 134569956 3221224368 3221214568 1131300317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23027 13086 16 0 209747 0
vsize: 839052
[startup+390.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 38069 42 0 0 25 0 11 0 778893944 859189248 23034 4294967295 134512640 134569956 3221224368 3221214568 1131300995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23034 13086 16 0 209747 0
vsize: 839052
[startup+400.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 39061 42 0 0 25 0 11 0 778893944 859189248 23056 4294967295 134512640 134569956 3221224368 3221214568 1131300773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23056 13086 16 0 209747 0
vsize: 839052
[startup+410.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 40053 42 0 0 25 0 11 0 778893944 859189248 23084 4294967295 134512640 134569956 3221224368 3221214568 1131301299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23084 13086 16 0 209747 0
vsize: 839052
[startup+420.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 41044 42 0 0 25 0 11 0 778893944 859189248 23091 4294967295 134512640 134569956 3221224368 3221214584 1131440488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23091 13086 16 0 209747 0
vsize: 839052
[startup+430.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 42037 42 0 0 25 0 11 0 778893944 859189248 23111 4294967295 134512640 134569956 3221224368 3221214568 1131300510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23111 13086 16 0 209747 0
vsize: 839052
[startup+440.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 43028 42 0 0 25 0 11 0 778893944 859189248 23119 4294967295 134512640 134569956 3221224368 3221214640 1131585233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23119 13086 16 0 209747 0
vsize: 839052
[startup+450.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 44020 42 0 0 25 0 11 0 778893944 859189248 23139 4294967295 134512640 134569956 3221224368 3221214568 1131301352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23139 13086 16 0 209747 0
vsize: 839052
[startup+460.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 45011 42 0 0 25 0 11 0 778893944 859189248 23147 4294967295 134512640 134569956 3221224368 3221214480 1131296565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23147 13086 16 0 209747 0
vsize: 839052
[startup+470.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 46003 43 0 0 25 0 11 0 778893944 859189248 23179 4294967295 134512640 134569956 3221224368 3221214568 1131300898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23179 13086 16 0 209747 0
vsize: 839052
[startup+480.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 46995 43 0 0 25 0 11 0 778893944 859189248 23187 4294967295 134512640 134569956 3221224368 3221214556 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23187 13086 16 0 209747 0
vsize: 839052
[startup+490.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 47988 43 0 0 25 0 11 0 778893944 859189248 23208 4294967295 134512640 134569956 3221224368 3221214568 1131301370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23208 13086 16 0 209747 0
vsize: 839052
[startup+500.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 48980 43 0 0 25 0 11 0 778893944 859189248 23216 4294967295 134512640 134569956 3221224368 3221214584 1131440488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23216 13086 16 0 209747 0
vsize: 839052
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 49973 43 0 0 25 0 11 0 778893944 859189248 23235 4294967295 134512640 134569956 3221224368 3221214568 1131300949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23235 13086 16 0 209747 0
vsize: 839052
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 50966 43 0 0 25 0 11 0 778893944 859189248 23241 4294967295 134512640 134569956 3221224368 3221214568 1131300929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23241 13086 16 0 209747 0
vsize: 839052
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 51959 43 0 0 25 0 11 0 778893944 859189248 23259 4294967295 134512640 134569956 3221224368 3221214568 1131301003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23259 13086 16 0 209747 0
vsize: 839052
[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 52951 43 0 0 25 0 11 0 778893944 859189248 23266 4294967295 134512640 134569956 3221224368 3221214568 1131300773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23266 13086 16 0 209747 0
vsize: 839052
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 53945 43 0 0 25 0 11 0 778893944 859189248 23284 4294967295 134512640 134569956 3221224368 3221214568 1131300890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23284 13086 16 0 209747 0
vsize: 839052
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 54936 43 0 0 25 0 11 0 778893944 859189248 23290 4294967295 134512640 134569956 3221224368 3221214568 1131300715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23290 13086 16 0 209747 0
vsize: 839052
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 55930 43 0 0 25 0 11 0 778893944 859189248 23309 4294967295 134512640 134569956 3221224368 3221214568 1131300917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23309 13086 16 0 209747 0
vsize: 839052
[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 56922 44 0 0 25 0 11 0 778893944 859189248 23316 4294967295 134512640 134569956 3221224368 3221214664 1131400713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23316 13086 16 0 209747 0
vsize: 839052
[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 57914 44 0 0 25 0 11 0 778893944 859189248 23333 4294967295 134512640 134569956 3221224368 3221214568 1131300826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23333 13086 16 0 209747 0
vsize: 839052
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 58907 44 0 0 25 0 11 0 778893944 859189248 23341 4294967295 134512640 134569956 3221224368 3221214568 1131300325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23341 13086 16 0 209747 0
vsize: 839052
[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 59899 44 0 0 25 0 11 0 778893944 859189248 23359 4294967295 134512640 134569956 3221224368 3221214568 1131300837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23359 13086 16 0 209747 0
vsize: 839052
[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 60893 44 0 0 25 0 11 0 778893944 859189248 23360 4294967295 134512640 134569956 3221224368 3221214568 1131300660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23360 13086 16 0 209747 0
vsize: 839052
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 61885 44 0 0 25 0 11 0 778893944 859189248 23367 4294967295 134512640 134569956 3221224368 3221214568 1131300921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23367 13086 16 0 209747 0
vsize: 839052
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 62879 45 0 0 25 0 11 0 778893944 859189248 23384 4294967295 134512640 134569956 3221224368 3221214664 1131400713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23384 13086 16 0 209747 0
vsize: 839052
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 63871 45 0 0 25 0 11 0 778893944 859189248 23391 4294967295 134512640 134569956 3221224368 3221214568 1131300999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23391 13086 16 0 209747 0
vsize: 839052
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 64864 45 0 0 25 0 11 0 778893944 859189248 23409 4294967295 134512640 134569956 3221224368 3221214568 1131300949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23409 13086 16 0 209747 0
vsize: 839052
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 65858 45 0 0 25 0 11 0 778893944 859189248 23409 4294967295 134512640 134569956 3221224368 3221214568 1131300762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23409 13086 16 0 209747 0
vsize: 839052
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 66850 45 0 0 25 0 11 0 778893944 859189248 23418 4294967295 134512640 134569956 3221224368 3221214568 1131300826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23418 13086 16 0 209747 0
vsize: 839052
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 67844 45 0 0 25 0 11 0 778893944 859189248 23435 4294967295 134512640 134569956 3221224368 3221214568 1131301025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23435 13086 16 0 209747 0
vsize: 839052
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 68836 46 0 0 25 0 11 0 778893944 859189248 23441 4294967295 134512640 134569956 3221224368 3221214664 1131396952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23441 13086 16 0 209747 0
vsize: 839052
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 69829 46 0 0 25 0 11 0 778893944 859189248 23459 4294967295 134512640 134569956 3221224368 3221214664 1131395773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23459 13086 16 0 209747 0
vsize: 839052
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 70822 46 0 0 25 0 11 0 778893944 859189248 23459 4294967295 134512640 134569956 3221224368 3221214568 1131300961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23459 13086 16 0 209747 0
vsize: 839052
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 71814 46 0 0 25 0 11 0 778893944 859189248 23466 4294967295 134512640 134569956 3221224368 3221214568 1131300957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23466 13086 16 0 209747 0
vsize: 839052
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 72807 47 0 0 25 0 11 0 778893944 859189248 23487 4294967295 134512640 134569956 3221224368 3221214536 1131296465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23487 13086 16 0 209747 0
vsize: 839052
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 73799 47 0 0 25 0 11 0 778893944 859189248 23493 4294967295 134512640 134569956 3221224368 3221214568 1131300866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209763 23493 13086 16 0 209747 0
vsize: 839052
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 74792 47 0 0 25 0 11 0 778893944 859189248 23513 4294967295 134512640 134569956 3221224368 3221214568 1131300961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209763 23513 13086 16 0 209747 0
vsize: 839052
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 75786 47 0 0 25 0 11 0 778893944 859189248 23513 4294967295 134512640 134569956 3221224368 3221214568 1131300937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23513 13086 16 0 209747 0
vsize: 839052
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 76779 47 0 0 25 0 11 0 778893944 859189248 23522 4294967295 134512640 134569956 3221224368 3221214656 1131506549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23522 13086 16 0 209747 0
vsize: 839052
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 77772 47 0 0 25 0 11 0 778893944 859189248 23539 4294967295 134512640 134569956 3221224368 3221214568 1131300849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23539 13086 16 0 209747 0
vsize: 839052
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 78765 47 0 0 25 0 11 0 778893944 859189248 23539 4294967295 134512640 134569956 3221224368 3221214568 1131300773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23539 13086 16 0 209747 0
vsize: 839052
[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 79758 47 0 0 25 0 11 0 778893944 859189248 23546 4294967295 134512640 134569956 3221224368 3221214568 1131300949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23546 13086 16 0 209747 0
vsize: 839052
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 80750 47 0 0 25 0 11 0 778893944 859189248 23564 4294967295 134512640 134569956 3221224368 3221214664 1131395819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23564 13086 16 0 209747 0
vsize: 839052
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 81743 47 0 0 25 0 11 0 778893944 859189248 23573 4294967295 134512640 134569956 3221224368 3221214480 1131208046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23573 13086 16 0 209747 0
vsize: 839052
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 82736 47 0 0 25 0 11 0 778893944 859189248 23573 4294967295 134512640 134569956 3221224368 3221214568 1131301005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23573 13086 16 0 209747 0
vsize: 839052
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 83729 47 0 0 25 0 11 0 778893944 859189248 23593 4294967295 134512640 134569956 3221224368 3221214568 1131301326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23593 13086 16 0 209747 0
vsize: 839052
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 84722 47 0 0 25 0 11 0 778893944 859189248 23600 4294967295 134512640 134569956 3221224368 3221214568 1131300991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23600 13086 16 0 209747 0
vsize: 839052
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 85715 47 0 0 25 0 11 0 778893944 859189248 23600 4294967295 134512640 134569956 3221224368 3221214568 1131300773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23600 13086 16 0 209747 0
vsize: 839052
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 86707 47 0 0 25 0 11 0 778893944 859189248 23622 4294967295 134512640 134569956 3221224368 3221214568 1131300921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23622 13086 16 0 209747 0
vsize: 839052
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 87700 48 0 0 25 0 11 0 778893944 859189248 23629 4294967295 134512640 134569956 3221224368 3221214664 1131400782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209763 23629 13086 16 0 209747 0
vsize: 839052
[startup+900.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 88691 48 0 0 25 0 11 0 778893944 859189248 23651 4294967295 134512640 134569956 3221224368 3221214664 1131400615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23651 13086 16 0 209747 0
vsize: 839052
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 89685 48 0 0 25 0 11 0 778893944 859189248 23652 4294967295 134512640 134569956 3221224368 3221214568 1131300937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23652 13086 16 0 209747 0
vsize: 839052
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 90678 48 0 0 25 0 11 0 778893944 859189248 23659 4294967295 134512640 134569956 3221224368 3221214568 1131300953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23659 13086 16 0 209747 0
vsize: 839052
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 91670 48 0 0 25 0 11 0 778893944 859189248 23678 4294967295 134512640 134569956 3221224368 3221214568 1131300987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23678 13086 16 0 209747 0
vsize: 839052
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 92663 48 0 0 25 0 11 0 778893944 859189248 23678 4294967295 134512640 134569956 3221224368 3221214568 1131300826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23678 13086 16 0 209747 0
vsize: 839052
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 93657 48 0 0 25 0 11 0 778893944 859189248 23685 4294967295 134512640 134569956 3221224368 3221214568 1131300727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23685 13086 16 0 209747 0
vsize: 839052
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 94649 48 0 0 25 0 11 0 778893944 859189248 23685 4294967295 134512640 134569956 3221224368 3221214568 1131300673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23685 13086 16 0 209747 0
vsize: 839052
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 95642 48 0 0 25 0 11 0 778893944 859189248 23704 4294967295 134512640 134569956 3221224368 3221214568 1131300321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209763 23704 13086 16 0 209747 0
vsize: 839052
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 96634 48 0 0 25 0 11 0 778893944 859189248 23710 4294967295 134512640 134569956 3221224368 3221214664 1131395773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23710 13086 16 0 209747 0
vsize: 839052
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18075 0 1 0 97627 48 0 0 25 0 11 0 778893944 859189248 23711 4294967295 134512640 134569956 3221224368 3221214568 1131301340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23711 13086 16 0 209747 0
vsize: 839052
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 98618 48 0 0 25 0 11 0 778893944 859189248 23733 4294967295 134512640 134569956 3221224368 3221214568 1131300890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23733 13086 16 0 209747 0
vsize: 839052
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) S 31988 21152 21151 0 -1 0 18076 0 1 0 99612 48 0 0 25 0 11 0 778893944 859189248 23733 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23733 13086 16 0 209747 0
vsize: 839052
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 100605 48 0 0 25 0 11 0 778893944 859189248 23740 4294967295 134512640 134569956 3221224368 3221214568 1131301262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23740 13086 16 0 209747 0
vsize: 839052
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 101597 48 0 0 25 0 11 0 778893944 859189248 23762 4294967295 134512640 134569956 3221224368 3221214568 1131300917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23762 13086 16 0 209747 0
vsize: 839052
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 102590 48 0 0 25 0 11 0 778893944 859189248 23762 4294967295 134512640 134569956 3221224368 3221214496 1131468182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23762 13086 16 0 209747 0
vsize: 839052
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 103583 48 0 0 25 0 11 0 778893944 859189248 23769 4294967295 134512640 134569956 3221224368 3221214568 1131300917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23769 13086 16 0 209747 0
vsize: 839052
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 104575 49 0 0 25 0 11 0 778893944 859189248 23790 4294967295 134512640 134569956 3221224368 3221214568 1131300949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23790 13086 16 0 209747 0
vsize: 839052
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 105568 49 0 0 25 0 11 0 778893944 859189248 23790 4294967295 134512640 134569956 3221224368 3221214568 1131300987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23790 13086 16 0 209747 0
vsize: 839052
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 106561 49 0 0 25 0 11 0 778893944 859189248 23797 4294967295 134512640 134569956 3221224368 3221214568 1131300826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23797 13086 16 0 209747 0
vsize: 839052
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 107552 49 0 0 25 0 11 0 778893944 859189248 23817 4294967295 134512640 134569956 3221224368 3221214568 1131300949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23817 13086 16 0 209747 0
vsize: 839052
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 108545 49 0 0 25 0 11 0 778893944 859189248 23817 4294967295 134512640 134569956 3221224368 3221214568 1131300773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23817 13086 16 0 209747 0
vsize: 839052
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 109538 49 0 0 25 0 11 0 778893944 859189248 23826 4294967295 134512640 134569956 3221224368 3221214568 1131300758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23826 13086 16 0 209747 0
vsize: 839052
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 110530 49 0 0 25 0 11 0 778893944 859189248 23826 4294967295 134512640 134569956 3221224368 3221214568 1131300599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23826 13086 16 0 209747 0
vsize: 839052
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 111523 49 0 0 25 0 11 0 778893944 859189248 23846 4294967295 134512640 134569956 3221224368 3221214568 1131301086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23846 13086 16 0 209747 0
vsize: 839052
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 112516 49 0 0 25 0 11 0 778893944 859189248 23847 4294967295 134512640 134569956 3221224368 3221214568 1131301025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23847 13086 16 0 209747 0
vsize: 839052
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 113509 49 0 0 25 0 11 0 778893944 859189248 23853 4294967295 134512640 134569956 3221224368 3221214568 1131300325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23853 13086 16 0 209747 0
vsize: 839052
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 114501 49 0 0 25 0 11 0 778893944 859189248 23872 4294967295 134512640 134569956 3221224368 3221214568 1131300843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23872 13086 16 0 209747 0
vsize: 839052
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 115494 49 0 0 25 0 11 0 778893944 859189248 23872 4294967295 134512640 134569956 3221224368 3221214568 1131300866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23872 13086 16 0 209747 0
vsize: 839052
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 116486 50 0 0 25 0 11 0 778893944 859189248 23879 4294967295 134512640 134569956 3221224368 3221214832 1131224729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23879 13086 16 0 209747 0
vsize: 839052
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 117478 50 0 0 25 0 11 0 778893944 859189248 23879 4294967295 134512640 134569956 3221224368 3221214664 1131400732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23879 13086 16 0 209747 0
vsize: 839052
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 118471 50 0 0 25 0 11 0 778893944 859189248 23896 4294967295 134512640 134569956 3221224368 3221214568 1131300921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23896 13086 16 0 209747 0
vsize: 839052
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 119464 50 0 0 25 0 11 0 778893944 859189248 23896 4294967295 134512640 134569956 3221224368 3221214568 1131301005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23896 13086 16 0 209747 0
vsize: 839052
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31999
Raw data (stat): 31989 (java) R 31988 21152 21151 0 -1 0 18076 0 1 0 120457 50 0 0 25 0 11 0 778893944 859189248 23903 4294967295 134512640 134569956 3221224368 3221214568 1131300967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209763 23903 13086 16 0 209747 0
vsize: 839052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32001
Raw data (stat): 31989 (java) Z 31988 21152 21151 0 -1 1036 18076 4239 1 0 120458 50 1242 26 25 0 1 0 778893944 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.12
CPU time (s): 1217.78
CPU user time (s): 1217.02
CPU system time (s): 0.768883
CPU usage (%): 99.8086
Max. virtual memory (Kb): 839316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####