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-pilot4.opb
MD5SUM	51b37b22b0e13f30b25801aa060ca6d7
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	120
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	4294967292
Number of bits of the sum of numbers in the objective function	32
Biggest number in a constraint	-3498116692108640256
Number of bits of the biggest number in a constraint	64
Biggest sum of numbers in a constraint	99417465468392882176
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.988849
Number of variables	26494
Total number of constraints	657
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	657
Minimum length of a constraint	10
Maximum length of a constraint	1427
Trace number 29462

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        307800 kB
Buffers:         37628 kB
Cached:         662432 kB
SwapCached:          0 kB
Active:          85292 kB
Inactive:       621680 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        307548 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            14260 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:19:52 (client local time) WITH STATUS 143 IN 1248.73 SECONDS
stats: 20862 7 1248.73 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/wulflinc8/normalized-mps-v2-20-10-pilot4.opb
c reading problem ... done. Time 208.67 ms.
c #vars     26494
c #constraints  935
c starts	: 6
c conflicts	: 1505
c decisions	: 7882
c propagations	: 38821
c inspects	: 1727904
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1505
c root simplifications	: 14
s UNKNOWN
c Total CPU time (ms) : 1249.118
#### 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.85 0.97 0.99 2/54 15863
Raw data (stat): 15863 (runsolver) R 15862 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 765476327 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 15872
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18029 0 1 0 851 38 0 0 25 0 10 0 765476327 853700608 19412 4294967295 134512640 134569956 3221224368 3221214644 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 19412 13086 16 0 208407 0
vsize: 833692
[startup+20.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 15872
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18029 0 1 0 1742 39 0 0 25 0 10 0 765476327 854777856 20230 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 20230 13086 16 0 208670 0
vsize: 834744
[startup+30.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 15872
Raw data (stat): 15863 (java) S 15862 3132 3131 0 -1 0 18029 0 1 0 2606 40 0 0 25 0 10 0 765476327 854777856 20879 4294967295 134512640 134569956 3221224368 3221213780 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 20879 13086 16 0 208670 0
vsize: 834744
[startup+40.0036 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 15872
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 3484 40 0 0 25 0 10 0 765476327 854777856 21344 4294967295 134512640 134569956 3221224368 3221214792 1131171764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 21344 13086 16 0 208670 0
vsize: 834744
[startup+50.0173 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 15872
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 4331 41 0 0 25 0 10 0 765476327 854777856 22239 4294967295 134512640 134569956 3221224368 3221214776 1131335246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208686 22239 13086 16 0 208670 0
vsize: 834744
[startup+60.0177 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 15872
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 5191 41 0 0 25 0 10 0 765476327 854777856 22909 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208686 22909 13086 16 0 208670 0
vsize: 834744
[startup+70.0216 s]
Raw data (loadavg): 1.06 1.00 1.00 2/65 15919
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 6053 43 0 0 25 0 10 0 765476327 854777856 23254 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208686 23254 13086 16 0 208670 0
vsize: 834744
[startup+80.0221 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 15925
Raw data (stat): 15863 (java) S 15862 3132 3131 0 -1 0 18030 0 1 0 6916 43 0 0 25 0 10 0 765476327 854777856 23376 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 23376 13086 16 0 208670 0
vsize: 834744
[startup+90.022 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 15925
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 7830 44 0 0 24 0 10 0 765476327 854777856 23950 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 23950 13086 16 0 208670 0
vsize: 834744
[startup+100.022 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 15925
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 8758 44 0 0 25 0 10 0 765476327 854777856 24065 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 24065 13086 16 0 208670 0
vsize: 834744
[startup+110.023 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 15925
Raw data (stat): 15863 (java) S 15862 3132 3131 0 -1 0 18030 0 1 0 9665 44 0 0 25 0 10 0 765476327 854777856 24171 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 24171 13086 16 0 208670 0
vsize: 834744
[startup+120.023 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 15925
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 10559 45 0 0 25 0 10 0 765476327 854777856 24370 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 24370 13086 16 0 208670 0
vsize: 834744
[startup+130.023 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 15925
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 11462 45 0 0 25 0 10 0 765476327 854777856 24553 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 24553 13086 16 0 208670 0
vsize: 834744
[startup+140.024 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 15925
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 12365 45 0 0 24 0 10 0 765476327 854777856 24738 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 24738 13086 16 0 208670 0
vsize: 834744
[startup+150.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15927
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 13274 46 0 0 25 0 10 0 765476327 854777856 24927 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 24927 13086 16 0 208670 0
vsize: 834744
[startup+160.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15927
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 14179 47 0 0 25 0 10 0 765476327 854777856 25089 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 25089 13086 16 0 208670 0
vsize: 834744
[startup+170.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15927
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 15087 47 0 0 25 0 10 0 765476327 854777856 25253 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 25253 13086 16 0 208670 0
vsize: 834744
[startup+180.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15927
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 15996 47 0 0 25 0 10 0 765476327 854777856 25435 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 25435 13086 16 0 208670 0
vsize: 834744
[startup+190.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 15927
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 16889 48 0 0 25 0 10 0 765476327 854777856 25558 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 25558 13086 16 0 208670 0
vsize: 834744
[startup+200.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 15927
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18030 0 1 0 17775 48 0 0 25 0 10 0 765476327 854777856 25733 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208686 25733 13086 16 0 208670 0
vsize: 834744
[startup+210.027 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 15927
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18052 0 1 0 18684 48 0 0 25 0 10 0 765476327 856264704 26318 4294967295 134512640 134569956 3221224368 3221214868 1130895202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209049 26318 13086 16 0 209033 0
vsize: 836196
[startup+220.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18068 0 1 0 19610 49 0 0 24 0 11 0 765476327 855949312 26330 4294967295 134512640 134569956 3221224368 3221214584 1131242655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208972 26330 13086 16 0 208956 0
vsize: 835888
[startup+230.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18078 0 1 0 20538 49 0 0 25 0 11 0 765476327 855949312 26413 4294967295 134512640 134569956 3221224368 3221214584 1131242391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208972 26413 13086 16 0 208956 0
vsize: 835888
[startup+240.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 21457 49 0 0 25 0 11 0 765476327 859193344 27330 4294967295 134512640 134569956 3221224368 3221214668 1131346016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209764 27330 13086 16 0 209748 0
vsize: 839056
[startup+250.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 22405 49 0 0 25 0 11 0 765476327 858341376 27475 4294967295 134512640 134569956 3221224368 3221214672 1131373539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 27475 13086 16 0 209540 0
vsize: 838224
[startup+260.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 23363 49 0 0 25 0 11 0 765476327 858341376 27499 4294967295 134512640 134569956 3221224368 3221214584 1131242476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 27499 13086 16 0 209540 0
vsize: 838224
[startup+270.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 24311 50 0 0 25 0 11 0 765476327 858341376 27575 4294967295 134512640 134569956 3221224368 3221214716 1131190059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 27575 13086 16 0 209540 0
vsize: 838224
[startup+280.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 25258 50 0 0 25 0 11 0 765476327 858341376 27677 4294967295 134512640 134569956 3221224368 3221214584 1131242825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 27677 13086 16 0 209540 0
vsize: 838224
[startup+290.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 26192 50 0 0 25 0 11 0 765476327 858341376 27866 4294967295 134512640 134569956 3221224368 3221214608 1131367258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 27866 13086 16 0 209540 0
vsize: 838224
[startup+300.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 27129 50 0 0 25 0 11 0 765476327 858341376 27982 4294967295 134512640 134569956 3221224368 3221214672 1131370782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 27982 13086 16 0 209540 0
vsize: 838224
[startup+310.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 28066 50 0 0 25 0 11 0 765476327 858341376 28235 4294967295 134512640 134569956 3221224368 3221214800 1131400341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 28235 13086 16 0 209540 0
vsize: 838224
[startup+320.034 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 29019 51 0 0 25 0 11 0 765476327 858341376 28502 4294967295 134512640 134569956 3221224368 3221214672 1131373535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 28502 13086 16 0 209540 0
vsize: 838224
[startup+330.034 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 29990 51 0 0 25 0 11 0 765476327 858341376 28680 4294967295 134512640 134569956 3221224368 3221214672 1131370720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 28680 13086 16 0 209540 0
vsize: 838224
[startup+340.034 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18080 0 1 0 30961 52 0 0 24 0 11 0 765476327 858341376 28789 4294967295 134512640 134569956 3221224368 3221214520 1131242423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 28789 13086 16 0 209540 0
vsize: 838224
[startup+350.035 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18081 0 1 0 31934 52 0 0 24 0 11 0 765476327 858341376 28873 4294967295 134512640 134569956 3221224368 3221214672 1131370727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209556 28873 13086 16 0 209540 0
vsize: 838224
[startup+360.035 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 32911 52 0 0 25 0 11 0 765476327 859389952 29136 4294967295 134512640 134569956 3221224368 3221214520 1131213102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 29136 13086 16 0 209796 0
vsize: 839248
[startup+370.036 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 33878 53 0 0 25 0 11 0 765476327 859389952 29237 4294967295 134512640 134569956 3221224368 3221214672 1131370727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 29237 13086 16 0 209796 0
vsize: 839248
[startup+380.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15928
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 34830 53 0 0 25 0 11 0 765476327 859389952 29238 4294967295 134512640 134569956 3221224368 3221214520 1131242476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 29238 13086 16 0 209796 0
vsize: 839248
[startup+390.037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 35775 54 0 0 25 0 11 0 765476327 859389952 29280 4294967295 134512640 134569956 3221224368 3221214520 1131213102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 29280 13086 16 0 209796 0
vsize: 839248
[startup+400.037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 36715 55 0 0 25 0 11 0 765476327 859389952 29387 4294967295 134512640 134569956 3221224368 3221214584 1131242476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 29387 13086 16 0 209796 0
vsize: 839248
[startup+410.038 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 37664 55 0 0 25 0 11 0 765476327 859389952 29673 4294967295 134512640 134569956 3221224368 3221213836 1076461603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 29673 13086 16 0 209796 0
vsize: 839248
[startup+420.039 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) S 15862 3132 3131 0 -1 0 18083 0 1 0 38616 55 0 0 25 0 11 0 765476327 859389952 29816 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 29816 13086 16 0 209796 0
vsize: 839248
[startup+430.039 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 39572 55 0 0 25 0 11 0 765476327 859389952 29978 4294967295 134512640 134569956 3221224368 3221214584 1131243262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 29978 13086 16 0 209796 0
vsize: 839248
[startup+440.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 40527 55 0 0 24 0 11 0 765476327 859389952 30146 4294967295 134512640 134569956 3221224368 3221214584 1131404918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30146 13086 16 0 209796 0
vsize: 839248
[startup+450.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 41496 55 0 0 25 0 11 0 765476327 859389952 30274 4294967295 134512640 134569956 3221224368 3221214504 1131232885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30274 13086 16 0 209796 0
vsize: 839248
[startup+460.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 42468 55 0 0 25 0 11 0 765476327 859389952 30436 4294967295 134512640 134569956 3221224368 3221214520 1131242476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30436 13086 16 0 209796 0
vsize: 839248
[startup+470.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 43442 56 0 0 25 0 11 0 765476327 859389952 30466 4294967295 134512640 134569956 3221224368 3221214520 1131242476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30466 13086 16 0 209796 0
vsize: 839248
[startup+480.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 44416 56 0 0 25 0 11 0 765476327 859389952 30540 4294967295 134512640 134569956 3221224368 3221214616 1131392569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30540 13086 16 0 209796 0
vsize: 839248
[startup+490.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 45392 56 0 0 25 0 11 0 765476327 859389952 30615 4294967295 134512640 134569956 3221224368 3221214512 1131434738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30615 13086 16 0 209796 0
vsize: 839248
[startup+500.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 46366 56 0 0 25 0 11 0 765476327 859389952 30691 4294967295 134512640 134569956 3221224368 3221214520 1131242476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30691 13086 16 0 209796 0
vsize: 839248
[startup+510.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 47343 56 0 0 25 0 11 0 765476327 859389952 30753 4294967295 134512640 134569956 3221224368 3221214520 1131242586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30753 13086 16 0 209796 0
vsize: 839248
[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 48320 57 0 0 25 0 11 0 765476327 859389952 30813 4294967295 134512640 134569956 3221224368 3221214616 1131365312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30813 13086 16 0 209796 0
vsize: 839248
[startup+530.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 49299 57 0 0 25 0 11 0 765476327 859389952 30870 4294967295 134512640 134569956 3221224368 3221214608 1131367637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30870 13086 16 0 209796 0
vsize: 839248
[startup+540.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 50277 57 0 0 25 0 11 0 765476327 859389952 30923 4294967295 134512640 134569956 3221224368 3221214520 1131213102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30923 13086 16 0 209796 0
vsize: 839248
[startup+550.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 51253 57 0 0 25 0 11 0 765476327 859389952 30985 4294967295 134512640 134569956 3221224368 3221214672 1131370720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 30985 13086 16 0 209796 0
vsize: 839248
[startup+560.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 52230 57 0 0 24 0 11 0 765476327 859389952 31036 4294967295 134512640 134569956 3221224368 3221214608 1131367287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31036 13086 16 0 209796 0
vsize: 839248
[startup+570.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 53209 57 0 0 25 0 11 0 765476327 859389952 31094 4294967295 134512640 134569956 3221224368 3221214672 1131373535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31094 13086 16 0 209796 0
vsize: 839248
[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 54183 57 0 0 25 0 11 0 765476327 859389952 31166 4294967295 134512640 134569956 3221224368 3221214668 1131242304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31166 13086 16 0 209796 0
vsize: 839248
[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 55156 57 0 0 25 0 11 0 765476327 859389952 31219 4294967295 134512640 134569956 3221224368 3221214624 1131370782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31219 13086 16 0 209796 0
vsize: 839248
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 56129 58 0 0 25 0 11 0 765476327 859389952 31283 4294967295 134512640 134569956 3221224368 3221214624 1131370727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31283 13086 16 0 209796 0
vsize: 839248
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 57104 58 0 0 25 0 11 0 765476327 859389952 31358 4294967295 134512640 134569956 3221224368 3221214624 1131374669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31358 13086 16 0 209796 0
vsize: 839248
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 58084 58 0 0 25 0 11 0 765476327 859389952 31451 4294967295 134512640 134569956 3221224368 3221214576 1131188761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31451 13086 16 0 209796 0
vsize: 839248
[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 59067 58 0 0 25 0 11 0 765476327 859389952 31484 4294967295 134512640 134569956 3221224368 3221214560 1131367387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31484 13086 16 0 209796 0
vsize: 839248
[startup+640.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 60051 59 0 0 25 0 11 0 765476327 859389952 31511 4294967295 134512640 134569956 3221224368 3221214560 1131368000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31511 13086 16 0 209796 0
vsize: 839248
[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 61033 59 0 0 24 0 11 0 765476327 859389952 31562 4294967295 134512640 134569956 3221224368 3221214624 1131370727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31562 13086 16 0 209796 0
vsize: 839248
[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 62016 59 0 0 25 0 11 0 765476327 859389952 31601 4294967295 134512640 134569956 3221224368 3221214496 1131248040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31601 13086 16 0 209796 0
vsize: 839248
[startup+670.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 62999 59 0 0 25 0 11 0 765476327 859389952 31648 4294967295 134512640 134569956 3221224368 3221214560 1131367299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31648 13086 16 0 209796 0
vsize: 839248
[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 63982 59 0 0 25 0 11 0 765476327 859389952 31680 4294967295 134512640 134569956 3221224368 3221214472 1131243128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31680 13086 16 0 209796 0
vsize: 839248
[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 64965 59 0 0 25 0 11 0 765476327 859389952 31723 4294967295 134512640 134569956 3221224368 3221214536 1131242749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31723 13086 16 0 209796 0
vsize: 839248
[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 65949 59 0 0 25 0 11 0 765476327 859389952 31758 4294967295 134512640 134569956 3221224368 3221214624 1131374639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31758 13086 16 0 209796 0
vsize: 839248
[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 66933 60 0 0 25 0 11 0 765476327 859389952 31796 4294967295 134512640 134569956 3221224368 3221214472 1131243188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31796 13086 16 0 209796 0
vsize: 839248
[startup+720.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 67915 60 0 0 25 0 11 0 765476327 859389952 31831 4294967295 134512640 134569956 3221224368 3221214472 1131242476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31831 13086 16 0 209796 0
vsize: 839248
[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 68899 60 0 0 25 0 11 0 765476327 859389952 31861 4294967295 134512640 134569956 3221224368 3221214560 1131367544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31861 13086 16 0 209796 0
vsize: 839248
[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 69883 60 0 0 25 0 11 0 765476327 859389952 31894 4294967295 134512640 134569956 3221224368 3221214624 1131374293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31894 13086 16 0 209796 0
vsize: 839248
[startup+750.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 70865 60 0 0 25 0 11 0 765476327 859389952 31925 4294967295 134512640 134569956 3221224368 3221214624 1131370782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31925 13086 16 0 209796 0
vsize: 839248
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 71847 60 0 0 25 0 11 0 765476327 859389952 31962 4294967295 134512640 134569956 3221224368 3221214624 1131373609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31962 13086 16 0 209796 0
vsize: 839248
[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 72828 60 0 0 25 0 11 0 765476327 859389952 31999 4294967295 134512640 134569956 3221224368 3221214624 1131373292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31999 13086 16 0 209796 0
vsize: 839248
[startup+780.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 73809 60 0 0 25 0 11 0 765476327 859389952 32046 4294967295 134512640 134569956 3221224368 3221214536 1131242547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32046 13086 16 0 209796 0
vsize: 839248
[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 74793 60 0 0 25 0 11 0 765476327 859389952 32090 4294967295 134512640 134569956 3221224368 3221214624 1131370727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32090 13086 16 0 209796 0
vsize: 839248
[startup+800.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 75777 60 0 0 25 0 11 0 765476327 859389952 32128 4294967295 134512640 134569956 3221224368 3221214472 1131242514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32128 13086 16 0 209796 0
vsize: 839248
[startup+810.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 76760 60 0 0 25 0 11 0 765476327 859389952 32149 4294967295 134512640 134569956 3221224368 3221214472 1131243751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32149 13086 16 0 209796 0
vsize: 839248
[startup+820.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 77742 60 0 0 25 0 11 0 765476327 859389952 32187 4294967295 134512640 134569956 3221224368 3221214560 1131367637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32187 13086 16 0 209796 0
vsize: 839248
[startup+830.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 78724 60 0 0 25 0 11 0 765476327 859389952 32224 4294967295 134512640 134569956 3221224368 3221214472 1131243138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32224 13086 16 0 209796 0
vsize: 839248
[startup+840.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 79707 60 0 0 25 0 11 0 765476327 859389952 32262 4294967295 134512640 134569956 3221224368 3221214624 1131371796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32262 13086 16 0 209796 0
vsize: 839248
[startup+850.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 80690 60 0 0 25 0 11 0 765476327 859389952 32302 4294967295 134512640 134569956 3221224368 3221214624 1131373483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32302 13086 16 0 209796 0
vsize: 839248
[startup+860.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 81673 61 0 0 25 0 11 0 765476327 859389952 32336 4294967295 134512640 134569956 3221224368 3221214560 1131367559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32336 13086 16 0 209796 0
vsize: 839248
[startup+870.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 82655 61 0 0 25 0 11 0 765476327 859389952 32371 4294967295 134512640 134569956 3221224368 3221214224 1131568138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32371 13086 16 0 209796 0
vsize: 839248
[startup+880.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 83636 61 0 0 24 0 11 0 765476327 859389952 32416 4294967295 134512640 134569956 3221224368 3221214600 1131346062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32416 13086 16 0 209796 0
vsize: 839248
[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 84619 62 0 0 25 0 11 0 765476327 859389952 32452 4294967295 134512640 134569956 3221224368 3221214536 1131243852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32452 13086 16 0 209796 0
vsize: 839248
[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 85602 62 0 0 25 0 11 0 765476327 859389952 32492 4294967295 134512640 134569956 3221224368 3221214536 1131242920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32492 13086 16 0 209796 0
vsize: 839248
[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 86584 62 0 0 25 0 11 0 765476327 859389952 32519 4294967295 134512640 134569956 3221224368 3221214560 1131367301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32519 13086 16 0 209796 0
vsize: 839248
[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 87566 62 0 0 25 0 11 0 765476327 859389952 32555 4294967295 134512640 134569956 3221224368 3221214264 1131570940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32555 13086 16 0 209796 0
vsize: 839248
[startup+930.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 88548 63 0 0 25 0 11 0 765476327 859389952 32592 4294967295 134512640 134569956 3221224368 3221214472 1131242623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32592 13086 16 0 209796 0
vsize: 839248
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 89530 63 0 0 25 0 11 0 765476327 859389952 32631 4294967295 134512640 134569956 3221224368 3221214620 1131242304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32631 13086 16 0 209796 0
vsize: 839248
[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 90513 63 0 0 25 0 11 0 765476327 859389952 32670 4294967295 134512640 134569956 3221224368 3221214472 1131242476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32670 13086 16 0 209796 0
vsize: 839248
[startup+960.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 91494 63 0 0 25 0 11 0 765476327 859389952 32709 4294967295 134512640 134569956 3221224368 3221213920 1085679337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32709 13086 16 0 209796 0
vsize: 839248
[startup+970.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 92475 63 0 0 25 0 11 0 765476327 859389952 32746 4294967295 134512640 134569956 3221224368 3221214560 1131367201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32746 13086 16 0 209796 0
vsize: 839248
[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 93456 63 0 0 25 0 11 0 765476327 859389952 32782 4294967295 134512640 134569956 3221224368 3221214472 1131242324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32782 13086 16 0 209796 0
vsize: 839248
[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 94438 63 0 0 25 0 11 0 765476327 859389952 32825 4294967295 134512640 134569956 3221224368 3221214472 1131212469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32825 13086 16 0 209796 0
vsize: 839248
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 95420 64 0 0 25 0 11 0 765476327 859389952 32862 4294967295 134512640 134569956 3221224368 3221214560 1131367234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32862 13086 16 0 209796 0
vsize: 839248
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 96393 64 0 0 25 0 11 0 765476327 859389952 32902 4294967295 134512640 134569956 3221224368 3221214472 1131242476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32902 13086 16 0 209796 0
vsize: 839248
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 97372 64 0 0 25 0 11 0 765476327 859389952 32936 4294967295 134512640 134569956 3221224368 3221214620 1131368009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32936 13086 16 0 209796 0
vsize: 839248
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 98349 64 0 0 25 0 11 0 765476327 859389952 32973 4294967295 134512640 134569956 3221224368 3221214560 1131367570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32973 13086 16 0 209796 0
vsize: 839248
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 99330 64 0 0 24 0 11 0 765476327 859389952 33052 4294967295 134512640 134569956 3221224368 3221214576 1131427239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33052 13086 16 0 209796 0
vsize: 839248
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 100311 64 0 0 25 0 11 0 765476327 859389952 33070 4294967295 134512640 134569956 3221224368 3221214472 1131242476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33070 13086 16 0 209796 0
vsize: 839248
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 101293 65 0 0 25 0 11 0 765476327 859389952 33092 4294967295 134512640 134569956 3221224368 3221214624 1131371796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33092 13086 16 0 209796 0
vsize: 839248
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 102275 65 0 0 25 0 11 0 765476327 859389952 33118 4294967295 134512640 134569956 3221224368 3221214624 1131370782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33118 13086 16 0 209796 0
vsize: 839248
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 103254 65 0 0 25 0 11 0 765476327 859389952 33162 4294967295 134512640 134569956 3221224368 3221214472 1131212496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33162 13086 16 0 209796 0
vsize: 839248
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 104237 65 0 0 25 0 11 0 765476327 859389952 33182 4294967295 134512640 134569956 3221224368 3221214472 1131242491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33182 13086 16 0 209796 0
vsize: 839248
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 105220 65 0 0 25 0 11 0 765476327 859389952 33213 4294967295 134512640 134569956 3221224368 3221214576 1131188862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33213 13086 16 0 209796 0
vsize: 839248
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 106202 66 0 0 25 0 11 0 765476327 859389952 33244 4294967295 134512640 134569956 3221224368 3221214560 1131367201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33244 13086 16 0 209796 0
vsize: 839248
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 107186 66 0 0 25 0 11 0 765476327 859389952 33262 4294967295 134512640 134569956 3221224368 3221214536 1131242643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33262 13086 16 0 209796 0
vsize: 839248
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 108169 66 0 0 25 0 11 0 765476327 859389952 33288 4294967295 134512640 134569956 3221224368 3221214472 1131243045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33288 13086 16 0 209796 0
vsize: 839248
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 109151 66 0 0 25 0 11 0 765476327 859389952 33310 4294967295 134512640 134569956 3221224368 3221214472 1131242730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33310 13086 16 0 209796 0
vsize: 839248
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 110134 66 0 0 25 0 11 0 765476327 859389952 33331 4294967295 134512640 134569956 3221224368 3221214472 1131243852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33331 13086 16 0 209796 0
vsize: 839248
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 111116 66 0 0 25 0 11 0 765476327 859389952 33357 4294967295 134512640 134569956 3221224368 3221214472 1131242423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33357 13086 16 0 209796 0
vsize: 839248
[startup+1170.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 112097 67 0 0 25 0 11 0 765476327 859389952 33386 4294967295 134512640 134569956 3221224368 3221214472 1131242683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33386 13086 16 0 209796 0
vsize: 839248
[startup+1180.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 113081 67 0 0 25 0 11 0 765476327 859389952 33409 4294967295 134512640 134569956 3221224368 3221214560 1131367234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33409 13086 16 0 209796 0
vsize: 839248
[startup+1190.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 114064 67 0 0 25 0 11 0 765476327 859389952 33432 4294967295 134512640 134569956 3221224368 3221214472 1131242476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33432 13086 16 0 209796 0
vsize: 839248
[startup+1200.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 115046 67 0 0 25 0 11 0 765476327 859389952 33460 4294967295 134512640 134569956 3221224368 3221214472 1131242476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33460 13086 16 0 209796 0
vsize: 839248
[startup+1210.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 116029 67 0 0 25 0 11 0 765476327 859389952 33482 4294967295 134512640 134569956 3221224368 3221214472 1131242867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33482 13086 16 0 209796 0
vsize: 839248
[startup+1220.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 117014 67 0 0 25 0 11 0 765476327 859389952 33506 4294967295 134512640 134569956 3221224368 3221214488 1131435600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33506 13086 16 0 209796 0
vsize: 839248
[startup+1230.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 117995 67 0 0 25 0 11 0 765476327 859389952 33531 4294967295 134512640 134569956 3221224368 3221214472 1131242964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33531 13086 16 0 209796 0
vsize: 839248
[startup+1240.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 118978 67 0 0 25 0 11 0 765476327 859389952 33556 4294967295 134512640 134569956 3221224368 3221214624 1131374639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33556 13086 16 0 209796 0
vsize: 839248
[startup+1250.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15930
Raw data (stat): 15863 (java) R 15862 3132 3131 0 -1 0 18083 0 1 0 119959 67 0 0 25 0 11 0 765476327 859389952 33583 4294967295 134512640 134569956 3221224368 3221214472 1131242480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 33583 13086 16 0 209796 0
vsize: 839248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.19 s]
Raw data (loadavg): 1.02 1.01 1.00 1/54 15932
Raw data (stat): 15863 (java) Z 15862 3132 3131 0 -1 1036 18083 13950 1 0 119963 67 4795 45 25 0 1 0 765476327 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): 1250.18
CPU time (s): 1248.73
CPU user time (s): 1247.59
CPU system time (s): 1.13683
CPU usage (%): 99.8834
Max. virtual memory (Kb): 839248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####