PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-NSR8K.opb
MD5SUM	2b4498b8d68d4bfe8495244ac3a43397
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	158360
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	33594826051364978688
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	33607626051364978688
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.60676
Number of variables	158360
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	158360
Trace number 30167

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 15:34:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21563 boxname=wulflinc10 idbench=1551 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  2b4498b8d68d4bfe8495244ac3a43397  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-NSR8K.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-NSR8K.opb
IDLAUNCH: 21563
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        626256 kB
Buffers:         33700 kB
Cached:         352176 kB
SwapCached:         92 kB
Active:          75172 kB
Inactive:       313376 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        626004 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            14220 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:56:17 (client local time) WITH STATUS 143 IN 1309.44 SECONDS
stats: 21563 7 1309.44 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/wulflinc10/normalized-mps-v2-13-7-NSR8K.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.152
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 31651
Raw data (stat): 31651 (runsolver) R 31650 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781788481 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+9.9995 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 870 39 0 0 25 0 10 0 781788481 853762048 19380 4294967295 134512640 134569956 3221224368 3221214648 1131191453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208438 19380 13086 16 0 208422 0
vsize: 833752
[startup+20.0005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 1768 39 0 0 25 0 10 0 781788481 853762048 19899 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208438 19899 13086 16 0 208422 0
vsize: 833752
[startup+30.0006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 2655 40 0 0 25 0 10 0 781788481 853762048 20415 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208438 20415 13086 16 0 208422 0
vsize: 833752
[startup+40.0001 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 3568 41 0 0 25 0 10 0 781788481 853962752 20766 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 20766 13086 16 0 208471 0
vsize: 833948
[startup+50.0202 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 4490 41 0 0 25 0 10 0 781788481 853962752 20937 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 20937 13086 16 0 208471 0
vsize: 833948
[startup+60.0203 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 5405 42 0 0 25 0 10 0 781788481 853962752 21076 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208487 21076 13086 16 0 208471 0
vsize: 833948
[startup+70.0209 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 6331 42 0 0 24 0 10 0 781788481 853995520 21335 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 21335 13086 16 0 208479 0
vsize: 833980
[startup+80.0221 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 7272 43 0 0 25 0 10 0 781788481 853995520 21436 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 21436 13086 16 0 208479 0
vsize: 833980
[startup+90.0221 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 8210 44 0 0 25 0 10 0 781788481 853995520 21533 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 21533 13086 16 0 208479 0
vsize: 833980
[startup+100.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 9154 44 0 0 25 0 10 0 781788481 853995520 21618 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 21618 13086 16 0 208479 0
vsize: 833980
[startup+110.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 10093 46 0 0 25 0 10 0 781788481 853995520 21704 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 21704 13086 16 0 208479 0
vsize: 833980
[startup+120.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 11034 46 0 0 25 0 10 0 781788481 853995520 21783 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 21783 13086 16 0 208479 0
vsize: 833980
[startup+130.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 11978 46 0 0 25 0 10 0 781788481 853995520 21856 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 21856 13086 16 0 208479 0
vsize: 833980
[startup+140.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 12920 47 0 0 25 0 10 0 781788481 853995520 21926 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 21926 13086 16 0 208479 0
vsize: 833980
[startup+150.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 13861 47 0 0 25 0 10 0 781788481 853995520 21995 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 21995 13086 16 0 208479 0
vsize: 833980
[startup+160.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 14802 48 0 0 24 0 10 0 781788481 853995520 22061 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22061 13086 16 0 208479 0
vsize: 833980
[startup+170.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 15740 48 0 0 25 0 10 0 781788481 853995520 22121 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22121 13086 16 0 208479 0
vsize: 833980
[startup+180.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 16654 49 0 0 25 0 10 0 781788481 853995520 22181 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22181 13086 16 0 208479 0
vsize: 833980
[startup+190.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 17574 49 0 0 25 0 10 0 781788481 853995520 22495 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22495 13086 16 0 208479 0
vsize: 833980
[startup+200.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 18514 50 0 0 25 0 10 0 781788481 853995520 22551 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22551 13086 16 0 208479 0
vsize: 833980
[startup+210.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 19453 50 0 0 25 0 10 0 781788481 853995520 22606 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22606 13086 16 0 208479 0
vsize: 833980
[startup+220.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 20389 50 0 0 25 0 10 0 781788481 853995520 22661 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22661 13086 16 0 208479 0
vsize: 833980
[startup+230.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 21329 51 0 0 25 0 10 0 781788481 853995520 22712 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22712 13086 16 0 208479 0
vsize: 833980
[startup+240.035 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 22265 51 0 0 25 0 10 0 781788481 853995520 22764 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22764 13086 16 0 208479 0
vsize: 833980
[startup+250.035 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 23201 52 0 0 24 0 10 0 781788481 853995520 22815 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22815 13086 16 0 208479 0
vsize: 833980
[startup+260.035 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 24140 52 0 0 25 0 10 0 781788481 853995520 22861 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22861 13086 16 0 208479 0
vsize: 833980
[startup+270.037 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 25076 52 0 0 25 0 10 0 781788481 853995520 22910 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22910 13086 16 0 208479 0
vsize: 833980
[startup+280.044 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 26014 53 0 0 25 0 10 0 781788481 853995520 22955 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 22955 13086 16 0 208479 0
vsize: 833980
[startup+290.048 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 26949 54 0 0 25 0 10 0 781788481 853995520 23001 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23001 13086 16 0 208479 0
vsize: 833980
[startup+300.048 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 27886 54 0 0 25 0 10 0 781788481 853995520 23045 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23045 13086 16 0 208479 0
vsize: 833980
[startup+310.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 28820 55 0 0 25 0 10 0 781788481 853995520 23088 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23088 13086 16 0 208479 0
vsize: 833980
[startup+320.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 29753 55 0 0 24 0 10 0 781788481 853995520 23131 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23131 13086 16 0 208479 0
vsize: 833980
[startup+330.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 30690 56 0 0 25 0 10 0 781788481 853995520 23170 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23170 13086 16 0 208479 0
vsize: 833980
[startup+340.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 31621 56 0 0 24 0 10 0 781788481 853995520 23212 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23212 13086 16 0 208479 0
vsize: 833980
[startup+350.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 32557 57 0 0 25 0 10 0 781788481 853995520 23250 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23250 13086 16 0 208479 0
vsize: 833980
[startup+360.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 33489 57 0 0 24 0 10 0 781788481 853995520 23290 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23290 13086 16 0 208479 0
vsize: 833980
[startup+370.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 34423 58 0 0 25 0 10 0 781788481 853995520 23327 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23327 13086 16 0 208479 0
vsize: 833980
[startup+380.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 35354 59 0 0 24 0 10 0 781788481 853995520 23366 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23366 13086 16 0 208479 0
vsize: 833980
[startup+390.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 36288 59 0 0 25 0 10 0 781788481 853995520 23402 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23402 13086 16 0 208479 0
vsize: 833980
[startup+400.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 37221 60 0 0 25 0 10 0 781788481 853995520 23438 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23438 13086 16 0 208479 0
vsize: 833980
[startup+410.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 38150 60 0 0 25 0 10 0 781788481 853995520 23475 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23475 13086 16 0 208479 0
vsize: 833980
[startup+420.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 39082 61 0 0 25 0 10 0 781788481 853995520 23509 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23509 13086 16 0 208479 0
vsize: 833980
[startup+430.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 40011 62 0 0 24 0 10 0 781788481 853995520 23546 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23546 13086 16 0 208479 0
vsize: 833980
[startup+440.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 40941 63 0 0 25 0 10 0 781788481 853995520 23579 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23579 13086 16 0 208479 0
vsize: 833980
[startup+450.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 41873 63 0 0 25 0 10 0 781788481 853995520 23613 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23613 13086 16 0 208479 0
vsize: 833980
[startup+460.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 42799 63 0 0 25 0 10 0 781788481 853995520 23648 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23648 13086 16 0 208479 0
vsize: 833980
[startup+470.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 43730 64 0 0 25 0 10 0 781788481 853995520 23680 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23680 13086 16 0 208479 0
vsize: 833980
[startup+480.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 44661 64 0 0 25 0 10 0 781788481 853995520 23714 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23714 13086 16 0 208479 0
vsize: 833980
[startup+490.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 45585 64 0 0 25 0 10 0 781788481 853995520 23747 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23747 13086 16 0 208479 0
vsize: 833980
[startup+500.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 46514 64 0 0 22 0 10 0 781788481 853995520 23779 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23779 13086 16 0 208479 0
vsize: 833980
[startup+510.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 47442 65 0 0 25 0 10 0 781788481 853995520 23810 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23810 13086 16 0 208479 0
vsize: 833980
[startup+520.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 48366 65 0 0 24 0 10 0 781788481 853995520 23843 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23843 13086 16 0 208479 0
vsize: 833980
[startup+530.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 49294 66 0 0 25 0 10 0 781788481 853995520 23873 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23873 13086 16 0 208479 0
vsize: 833980
[startup+540.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 50222 66 0 0 25 0 10 0 781788481 853995520 23904 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23904 13086 16 0 208479 0
vsize: 833980
[startup+550.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 51144 66 0 0 25 0 10 0 781788481 853995520 23935 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23935 13086 16 0 208479 0
vsize: 833980
[startup+560.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 52069 67 0 0 25 0 10 0 781788481 853995520 23965 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23965 13086 16 0 208479 0
vsize: 833980
[startup+570.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 52997 67 0 0 25 0 10 0 781788481 853995520 23995 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 23995 13086 16 0 208479 0
vsize: 833980
[startup+580.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 53922 68 0 0 25 0 10 0 781788481 853995520 24024 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24024 13086 16 0 208479 0
vsize: 833980
[startup+590.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 54845 68 0 0 25 0 10 0 781788481 853995520 24053 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24053 13086 16 0 208479 0
vsize: 833980
[startup+600.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 55768 69 0 0 25 0 10 0 781788481 853995520 24083 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24083 13086 16 0 208479 0
vsize: 833980
[startup+610.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 56692 69 0 0 25 0 10 0 781788481 853995520 24112 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24112 13086 16 0 208479 0
vsize: 833980
[startup+620.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 57617 70 0 0 25 0 10 0 781788481 853995520 24140 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24140 13086 16 0 208479 0
vsize: 833980
[startup+630.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 58541 70 0 0 25 0 10 0 781788481 853995520 24168 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24168 13086 16 0 208479 0
vsize: 833980
[startup+640.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 59464 70 0 0 25 0 10 0 781788481 853995520 24196 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24196 13086 16 0 208479 0
vsize: 833980
[startup+650.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 60383 71 0 0 24 0 10 0 781788481 853995520 24227 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24227 13086 16 0 208479 0
vsize: 833980
[startup+660.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 61306 71 0 0 25 0 10 0 781788481 853995520 24254 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24254 13086 16 0 208479 0
vsize: 833980
[startup+670.062 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 62212 72 0 0 24 0 10 0 781788481 853995520 24798 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24798 13086 16 0 208479 0
vsize: 833980
[startup+680.063 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 63119 72 0 0 25 0 10 0 781788481 853995520 24798 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 24798 13086 16 0 208479 0
vsize: 833980
[startup+690.063 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 64029 72 0 0 25 0 10 0 781788481 853995520 25012 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25012 13086 16 0 208479 0
vsize: 833980
[startup+700.064 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 64942 72 0 0 25 0 10 0 781788481 853995520 25039 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25039 13086 16 0 208479 0
vsize: 833980
[startup+710.064 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 65854 73 0 0 25 0 10 0 781788481 853995520 25066 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25066 13086 16 0 208479 0
vsize: 833980
[startup+720.065 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 66765 73 0 0 25 0 10 0 781788481 853995520 25092 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25092 13086 16 0 208479 0
vsize: 833980
[startup+730.065 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 67676 73 0 0 25 0 10 0 781788481 853995520 25119 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25119 13086 16 0 208479 0
vsize: 833980
[startup+740.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 68587 74 0 0 25 0 10 0 781788481 853995520 25145 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25145 13086 16 0 208479 0
vsize: 833980
[startup+750.066 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 69499 74 0 0 25 0 10 0 781788481 853995520 25171 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25171 13086 16 0 208479 0
vsize: 833980
[startup+760.066 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 70409 74 0 0 25 0 10 0 781788481 853995520 25196 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25196 13086 16 0 208479 0
vsize: 833980
[startup+770.066 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 71318 74 0 0 25 0 10 0 781788481 853995520 25222 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25222 13086 16 0 208479 0
vsize: 833980
[startup+780.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 72228 75 0 0 25 0 10 0 781788481 853995520 25247 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25247 13086 16 0 208479 0
vsize: 833980
[startup+790.066 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 73138 75 0 0 24 0 10 0 781788481 853995520 25273 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25273 13086 16 0 208479 0
vsize: 833980
[startup+800.067 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 74050 76 0 0 25 0 10 0 781788481 853995520 25297 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25297 13086 16 0 208479 0
vsize: 833980
[startup+810.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 74961 76 0 0 25 0 10 0 781788481 853995520 25321 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25321 13086 16 0 208479 0
vsize: 833980
[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 75869 76 0 0 25 0 10 0 781788481 853995520 25346 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25346 13086 16 0 208479 0
vsize: 833980
[startup+830.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 76776 77 0 0 25 0 10 0 781788481 853995520 25370 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25370 13086 16 0 208479 0
vsize: 833980
[startup+840.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 77684 78 0 0 25 0 10 0 781788481 853995520 25395 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25395 13086 16 0 208479 0
vsize: 833980
[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 78591 78 0 0 24 0 10 0 781788481 853995520 25420 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25420 13086 16 0 208479 0
vsize: 833980
[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 79504 79 0 0 25 0 10 0 781788481 853995520 25443 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25443 13086 16 0 208479 0
vsize: 833980
[startup+870.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 80409 79 0 0 25 0 10 0 781788481 853995520 25467 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25467 13086 16 0 208479 0
vsize: 833980
[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 81316 80 0 0 25 0 10 0 781788481 853995520 25491 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25491 13086 16 0 208479 0
vsize: 833980
[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 82222 80 0 0 25 0 10 0 781788481 853995520 25515 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25515 13086 16 0 208479 0
vsize: 833980
[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 83128 81 0 0 24 0 10 0 781788481 853995520 25538 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25538 13086 16 0 208479 0
vsize: 833980
[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 84039 82 0 0 25 0 10 0 781788481 853995520 25560 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25560 13086 16 0 208479 0
vsize: 833980
[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 84945 82 0 0 25 0 10 0 781788481 853995520 25584 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25584 13086 16 0 208479 0
vsize: 833980
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 85850 82 0 0 25 0 10 0 781788481 853995520 25607 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25607 13086 16 0 208479 0
vsize: 833980
[startup+940.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 86756 83 0 0 24 0 10 0 781788481 853995520 25630 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25630 13086 16 0 208479 0
vsize: 833980
[startup+950.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 87667 83 0 0 25 0 10 0 781788481 853995520 25652 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25652 13086 16 0 208479 0
vsize: 833980
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 88569 83 0 0 25 0 10 0 781788481 853995520 25674 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25674 13086 16 0 208479 0
vsize: 833980
[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 89472 84 0 0 25 0 10 0 781788481 853995520 25697 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25697 13086 16 0 208479 0
vsize: 833980
[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 90378 84 0 0 25 0 10 0 781788481 853995520 25719 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25719 13086 16 0 208479 0
vsize: 833980
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 91286 84 0 0 25 0 10 0 781788481 853995520 25741 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25741 13086 16 0 208479 0
vsize: 833980
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 92189 85 0 0 25 0 10 0 781788481 853995520 25763 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25763 13086 16 0 208479 0
vsize: 833980
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 93092 85 0 0 25 0 10 0 781788481 853995520 25786 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25786 13086 16 0 208479 0
vsize: 833980
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 94002 85 0 0 25 0 10 0 781788481 853995520 25806 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25806 13086 16 0 208479 0
vsize: 833980
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 94904 86 0 0 25 0 10 0 781788481 853995520 25828 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25828 13086 16 0 208479 0
vsize: 833980
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 95806 86 0 0 25 0 10 0 781788481 853995520 25850 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25850 13086 16 0 208479 0
vsize: 833980
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 96715 87 0 0 25 0 10 0 781788481 853995520 25871 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25871 13086 16 0 208479 0
vsize: 833980
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 97618 87 0 0 25 0 10 0 781788481 853995520 25893 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25893 13086 16 0 208479 0
vsize: 833980
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 98518 87 0 0 25 0 10 0 781788481 853995520 25917 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25917 13086 16 0 208479 0
vsize: 833980
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 99423 88 0 0 25 0 10 0 781788481 853995520 25942 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25942 13086 16 0 208479 0
vsize: 833980
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 100323 88 0 0 25 0 10 0 781788481 853995520 25963 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25963 13086 16 0 208479 0
vsize: 833980
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 101226 89 0 0 25 0 10 0 781788481 853995520 25989 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 25989 13086 16 0 208479 0
vsize: 833980
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 102131 89 0 0 25 0 10 0 781788481 853995520 26014 4294967295 134512640 134569956 3221224368 3221214688 1131216103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26014 13086 16 0 208479 0
vsize: 833980
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 103031 90 0 0 25 0 10 0 781788481 853995520 26039 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26039 13086 16 0 208479 0
vsize: 833980
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 103937 90 0 0 25 0 10 0 781788481 853995520 26063 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26063 13086 16 0 208479 0
vsize: 833980
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 104836 91 0 0 25 0 10 0 781788481 853995520 26087 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26087 13086 16 0 208479 0
vsize: 833980
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 105739 91 0 0 25 0 10 0 781788481 853995520 26107 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26107 13086 16 0 208479 0
vsize: 833980
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 106642 91 0 0 25 0 10 0 781788481 853995520 26134 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26134 13086 16 0 208479 0
vsize: 833980
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 107541 92 0 0 25 0 10 0 781788481 853995520 26158 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26158 13086 16 0 208479 0
vsize: 833980
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 108447 93 0 0 25 0 10 0 781788481 853995520 26180 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26180 13086 16 0 208479 0
vsize: 833980
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 109345 93 0 0 25 0 10 0 781788481 853995520 26204 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26204 13086 16 0 208479 0
vsize: 833980
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) S 31650 15547 15546 0 -1 0 18017 0 1 0 110241 94 0 0 25 0 10 0 781788481 853995520 26229 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26229 13086 16 0 208479 0
vsize: 833980
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 111143 94 0 0 25 0 10 0 781788481 853995520 26252 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26252 13086 16 0 208479 0
vsize: 833980
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 112040 95 0 0 24 0 10 0 781788481 853995520 26276 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26276 13086 16 0 208479 0
vsize: 833980
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 112944 95 0 0 25 0 10 0 781788481 853995520 26295 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26295 13086 16 0 208479 0
vsize: 833980
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 113841 96 0 0 25 0 10 0 781788481 853995520 26315 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26315 13086 16 0 208479 0
vsize: 833980
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 114744 96 0 0 25 0 10 0 781788481 853995520 26334 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26334 13086 16 0 208479 0
vsize: 833980
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 115641 97 0 0 25 0 10 0 781788481 853995520 26366 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26366 13086 16 0 208479 0
vsize: 833980
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 116544 98 0 0 25 0 10 0 781788481 853995520 26384 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26384 13086 16 0 208479 0
vsize: 833980
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 117442 98 0 0 25 0 10 0 781788481 853995520 26421 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26421 13086 16 0 208479 0
vsize: 833980
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 118341 98 0 0 25 0 10 0 781788481 853995520 26432 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26432 13086 16 0 208479 0
vsize: 833980
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 119247 99 0 0 25 0 10 0 781788481 853995520 26460 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26460 13086 16 0 208479 0
vsize: 833980
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 31660
Raw data (stat): 31651 (java) R 31650 15547 15546 0 -1 0 18017 0 1 0 120149 99 0 0 25 0 10 0 781788481 853995520 26489 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 26489 13086 16 0 208479 0
vsize: 833980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31662
Raw data (stat): 31651 (java) Z 31650 15547 15546 0 -1 1036 18017 8074 1 0 120152 99 10650 41 25 0 1 0 781788481 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): 1310.17
CPU time (s): 1309.44
CPU user time (s): 1308.03
CPU system time (s): 1.41279
CPU usage (%): 99.9446
Max. virtual memory (Kb): 833980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####