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/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM	28123830d5f7e3646d18978bb347487c
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	9505
Biggest coefficient in the objective function	697303040
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	66656504525
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	697303040
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	66656504525
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.085986
Number of variables	9535
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	280
Trace number 30016

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 13:49:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21419 boxname=wulflinc15 idbench=1407 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  28123830d5f7e3646d18978bb347487c  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-dcmulti.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-dcmulti.opb
IDLAUNCH: 21419
/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:        666488 kB
Buffers:         33920 kB
Cached:         312480 kB
SwapCached:        672 kB
Active:          66844 kB
Inactive:       281664 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        666236 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14044 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:10:20 (client local time) WITH STATUS 143 IN 1242.02 SECONDS
stats: 21419 7 1242.02 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/wulflinc15/normalized-mps-v2-13-7-dcmulti.opb
c reading problem ... done. Time 31.759 ms.
c #vars     9535
c #constraints  368
c starts	: 5
c conflicts	: 1068
c decisions	: 27868
c propagations	: 171742
c inspects	: 2359076
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1067
c root simplifications	: 350
s UNKNOWN
c Total CPU time (ms) : 1229.146
#### 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.84 0.96 0.98 2/54 8615
Raw data (stat): 8615 (runsolver) R 8614 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781141201 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.96 0.98 2/63 8624
Raw data (stat): 8615 (java) S 8614 23514 23513 0 -1 0 18029 0 1 0 859 39 0 0 25 0 10 0 781141201 853364736 19304 4294967295 134512640 134569956 3221224368 3221213600 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208341 19305 13086 16 0 208325 0
vsize: 833364
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.96 0.98 2/63 8624
Raw data (stat): 8615 (java) S 8614 23514 23513 0 -1 0 18029 0 1 0 1755 39 0 0 25 0 10 0 781141201 853331968 19760 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208333 19760 13086 16 0 208317 0
vsize: 833332
[startup+30.001 s]
Raw data (loadavg): 0.90 0.96 0.98 2/63 8624
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18029 0 1 0 2651 40 0 0 25 0 10 0 781141201 853331968 20254 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208333 20254 13086 16 0 208317 0
vsize: 833332
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.96 0.98 2/64 8625
Raw data (stat): 8615 (java) S 8614 23514 23513 0 -1 0 18102 0 1 0 3505 40 0 0 25 0 11 0 781141201 858128384 22048 4294967295 134512640 134569956 3221224368 3221213088 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209504 22048 13086 16 0 209488 0
vsize: 838016
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.97 0.98 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18105 0 1 0 4396 40 0 0 25 0 11 0 781141201 861798400 23752 4294967295 134512640 134569956 3221224368 3221214512 1131393865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210400 23752 13086 16 0 210384 0
vsize: 841600
[startup+60.0014 s]
Raw data (loadavg): 0.94 0.97 0.98 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18105 0 1 0 5342 41 0 0 25 0 11 0 781141201 860078080 23145 4294967295 134512640 134569956 3221224368 3221214504 1131263291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 23145 13086 16 0 209964 0
vsize: 839920
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.97 0.98 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18106 0 1 0 6288 41 0 0 25 0 11 0 781141201 860078080 23547 4294967295 134512640 134569956 3221224368 3221214744 1131293908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 23547 13086 16 0 209964 0
vsize: 839920
[startup+80.0038 s]
Raw data (loadavg): 1.03 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18106 0 1 0 7225 41 0 0 25 0 11 0 781141201 860078080 23547 4294967295 134512640 134569956 3221224368 3221214744 1131293908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 23547 13086 16 0 209964 0
vsize: 839920
[startup+90.0039 s]
Raw data (loadavg): 1.02 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18106 0 1 0 8150 41 0 0 25 0 11 0 781141201 860078080 23616 4294967295 134512640 134569956 3221224368 3221214648 1131308055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 23616 13086 16 0 209964 0
vsize: 839920
[startup+100.004 s]
Raw data (loadavg): 1.02 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18106 0 1 0 9086 41 0 0 25 0 11 0 781141201 860078080 23929 4294967295 134512640 134569956 3221224368 3221214792 1131333125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 23929 13086 16 0 209964 0
vsize: 839920
[startup+110.005 s]
Raw data (loadavg): 1.02 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18106 0 1 0 10035 41 0 0 25 0 11 0 781141201 860078080 24323 4294967295 134512640 134569956 3221224368 3221214744 1131293908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24323 13086 16 0 209964 0
vsize: 839920
[startup+120.005 s]
Raw data (loadavg): 1.01 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18106 0 1 0 11003 41 0 0 25 0 11 0 781141201 860078080 24445 4294967295 134512640 134569956 3221224368 3221214648 1131308129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24445 13086 16 0 209964 0
vsize: 839920
[startup+130.006 s]
Raw data (loadavg): 1.01 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 11968 41 0 0 25 0 11 0 781141201 860078080 24496 4294967295 134512640 134569956 3221224368 3221214632 1131292145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24496 13086 16 0 209964 0
vsize: 839920
[startup+140.007 s]
Raw data (loadavg): 1.01 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 12944 41 0 0 25 0 11 0 781141201 860078080 24648 4294967295 134512640 134569956 3221224368 3221214736 1131282325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24648 13086 16 0 209964 0
vsize: 839920
[startup+150.007 s]
Raw data (loadavg): 1.01 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 13928 41 0 0 25 0 11 0 781141201 860078080 24707 4294967295 134512640 134569956 3221224368 3221214648 1131308118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24707 13086 16 0 209964 0
vsize: 839920
[startup+160.007 s]
Raw data (loadavg): 1.01 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 14912 41 0 0 25 0 11 0 781141201 860078080 24757 4294967295 134512640 134569956 3221224368 3221214728 1131231204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24757 13086 16 0 209964 0
vsize: 839920
[startup+170.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 15898 41 0 0 25 0 11 0 781141201 860078080 24804 4294967295 134512640 134569956 3221224368 3221214776 1131333256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24804 13086 16 0 209964 0
vsize: 839920
[startup+180.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 16885 41 0 0 25 0 11 0 781141201 860078080 24853 4294967295 134512640 134569956 3221224368 3221214724 1131307968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24853 13086 16 0 209964 0
vsize: 839920
[startup+190.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 17875 41 0 0 25 0 11 0 781141201 860078080 24880 4294967295 134512640 134569956 3221224368 3221214728 1131293799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24880 13086 16 0 209964 0
vsize: 839920
[startup+200.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 18863 41 0 0 25 0 11 0 781141201 860078080 24912 4294967295 134512640 134569956 3221224368 3221214472 1131546901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24912 13086 16 0 209964 0
vsize: 839920
[startup+210.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 19851 41 0 0 25 0 11 0 781141201 860078080 24937 4294967295 134512640 134569956 3221224368 3221214776 1131332933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24937 13086 16 0 209964 0
vsize: 839920
[startup+220.01 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 20839 41 0 0 25 0 11 0 781141201 860078080 24962 4294967295 134512640 134569956 3221224368 3221214632 1131308387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24962 13086 16 0 209964 0
vsize: 839920
[startup+230.011 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 21826 41 0 0 25 0 11 0 781141201 860078080 24987 4294967295 134512640 134569956 3221224368 3221214632 1131308129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 24987 13086 16 0 209964 0
vsize: 839920
[startup+240.011 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 22815 41 0 0 25 0 11 0 781141201 860078080 25015 4294967295 134512640 134569956 3221224368 3221214632 1131308129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25015 13086 16 0 209964 0
vsize: 839920
[startup+250.011 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 23803 42 0 0 23 0 11 0 781141201 860078080 25046 4294967295 134512640 134569956 3221224368 3221214720 1131282364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25046 13086 16 0 209964 0
vsize: 839920
[startup+260.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 24792 42 0 0 25 0 11 0 781141201 860078080 25087 4294967295 134512640 134569956 3221224368 3221214776 1131332788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25087 13086 16 0 209964 0
vsize: 839920
[startup+270.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 25782 42 0 0 25 0 11 0 781141201 860078080 25111 4294967295 134512640 134569956 3221224368 3221214696 1131313507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25111 13086 16 0 209964 0
vsize: 839920
[startup+280.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 26773 42 0 0 25 0 11 0 781141201 860078080 25130 4294967295 134512640 134569956 3221224368 3221214728 1131293607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25130 13086 16 0 209964 0
vsize: 839920
[startup+290.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 27765 42 0 0 25 0 11 0 781141201 860078080 25146 4294967295 134512640 134569956 3221224368 3221214776 1131501192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25146 13086 16 0 209964 0
vsize: 839920
[startup+300.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 28756 42 0 0 25 0 11 0 781141201 860078080 25165 4294967295 134512640 134569956 3221224368 3221214720 1131282311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25165 13086 16 0 209964 0
vsize: 839920
[startup+310.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 29747 42 0 0 25 0 11 0 781141201 860078080 25182 4294967295 134512640 134569956 3221224368 3221214728 1131231168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25182 13086 16 0 209964 0
vsize: 839920
[startup+320.014 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 30738 42 0 0 25 0 11 0 781141201 860078080 25199 4294967295 134512640 134569956 3221224368 3221214632 1131308129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25199 13086 16 0 209964 0
vsize: 839920
[startup+330.014 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 31729 42 0 0 25 0 11 0 781141201 860078080 25216 4294967295 134512640 134569956 3221224368 3221214720 1131282364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25216 13086 16 0 209964 0
vsize: 839920
[startup+340.015 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 32720 42 0 0 24 0 11 0 781141201 860078080 25233 4294967295 134512640 134569956 3221224368 3221214680 1131223385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25233 13086 16 0 209964 0
vsize: 839920
[startup+350.015 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 33712 42 0 0 25 0 11 0 781141201 860078080 25248 4294967295 134512640 134569956 3221224368 3221214632 1131308214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25248 13086 16 0 209964 0
vsize: 839920
[startup+360.015 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 34704 42 0 0 25 0 11 0 781141201 860078080 25262 4294967295 134512640 134569956 3221224368 3221214728 1131293744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25262 13086 16 0 209964 0
vsize: 839920
[startup+370.016 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 35695 42 0 0 25 0 11 0 781141201 860078080 25277 4294967295 134512640 134569956 3221224368 3221214208 1076461217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25277 13086 16 0 209964 0
vsize: 839920
[startup+380.018 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 36687 42 0 0 25 0 11 0 781141201 860078080 25292 4294967295 134512640 134569956 3221224368 3221214632 1131308191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25292 13086 16 0 209964 0
vsize: 839920
[startup+390.018 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 37678 42 0 0 25 0 11 0 781141201 860078080 25306 4294967295 134512640 134569956 3221224368 3221214632 1131307999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25306 13086 16 0 209964 0
vsize: 839920
[startup+400.018 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 38671 42 0 0 25 0 11 0 781141201 860078080 25321 4294967295 134512640 134569956 3221224368 3221214616 1131292779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25321 13086 16 0 209964 0
vsize: 839920
[startup+410.019 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 39662 42 0 0 25 0 11 0 781141201 860078080 25334 4294967295 134512640 134569956 3221224368 3221214200 1131545724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25334 13086 16 0 209964 0
vsize: 839920
[startup+420.018 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 40654 43 0 0 25 0 11 0 781141201 860078080 25348 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25348 13086 16 0 209964 0
vsize: 839920
[startup+430.019 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 41645 43 0 0 25 0 11 0 781141201 860078080 25361 4294967295 134512640 134569956 3221224368 3221214728 1131231279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25361 13086 16 0 209964 0
vsize: 839920
[startup+440.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 42636 43 0 0 24 0 11 0 781141201 860078080 25376 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25376 13086 16 0 209964 0
vsize: 839920
[startup+450.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 43627 43 0 0 25 0 11 0 781141201 860078080 25386 4294967295 134512640 134569956 3221224368 3221214728 1131293812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25386 13086 16 0 209964 0
vsize: 839920
[startup+460.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 44618 43 0 0 25 0 11 0 781141201 860078080 25398 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25398 13086 16 0 209964 0
vsize: 839920
[startup+470.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 45609 43 0 0 25 0 11 0 781141201 860078080 25419 4294967295 134512640 134569956 3221224368 3221214712 1131353923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25419 13086 16 0 209964 0
vsize: 839920
[startup+480.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 46600 43 0 0 25 0 11 0 781141201 860078080 25432 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25432 13086 16 0 209964 0
vsize: 839920
[startup+490.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 47590 43 0 0 25 0 11 0 781141201 860078080 25444 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25444 13086 16 0 209964 0
vsize: 839920
[startup+500.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 48579 43 0 0 25 0 11 0 781141201 860078080 25457 4294967295 134512640 134569956 3221224368 3221214728 1131294121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25457 13086 16 0 209964 0
vsize: 839920
[startup+510.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 49567 43 0 0 25 0 11 0 781141201 860078080 25487 4294967295 134512640 134569956 3221224368 3221214728 1131231252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25487 13086 16 0 209964 0
vsize: 839920
[startup+520.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 50555 43 0 0 24 0 11 0 781141201 860078080 25507 4294967295 134512640 134569956 3221224368 3221214632 1131307999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25507 13086 16 0 209964 0
vsize: 839920
[startup+530.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 51546 43 0 0 25 0 11 0 781141201 860078080 25520 4294967295 134512640 134569956 3221224368 3221214616 1131292077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25520 13086 16 0 209964 0
vsize: 839920
[startup+540.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 52536 43 0 0 25 0 11 0 781141201 860078080 25576 4294967295 134512640 134569956 3221224368 3221214724 1131551712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25576 13086 16 0 209964 0
vsize: 839920
[startup+550.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 53528 43 0 0 25 0 11 0 781141201 860078080 25590 4294967295 134512640 134569956 3221224368 3221214616 1131292072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25590 13086 16 0 209964 0
vsize: 839920
[startup+560.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 54520 43 0 0 25 0 11 0 781141201 860078080 25600 4294967295 134512640 134569956 3221224368 3221214632 1131308157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25600 13086 16 0 209964 0
vsize: 839920
[startup+570.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 55512 43 0 0 25 0 11 0 781141201 860078080 25614 4294967295 134512640 134569956 3221224368 3221214720 1131282364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25614 13086 16 0 209964 0
vsize: 839920
[startup+580.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 56504 43 0 0 25 0 11 0 781141201 860078080 25624 4294967295 134512640 134569956 3221224368 3221214720 1131282364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25624 13086 16 0 209964 0
vsize: 839920
[startup+590.028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 57496 43 0 0 25 0 11 0 781141201 860078080 25635 4294967295 134512640 134569956 3221224368 3221214816 1131209177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25635 13086 16 0 209964 0
vsize: 839920
[startup+600.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 58488 43 0 0 25 0 11 0 781141201 860078080 25648 4294967295 134512640 134569956 3221224368 3221214632 1131308400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25648 13086 16 0 209964 0
vsize: 839920
[startup+610.028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 8625
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 59479 43 0 0 25 0 11 0 781141201 860078080 25659 4294967295 134512640 134569956 3221224368 3221214632 1131308089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25659 13086 16 0 209964 0
vsize: 839920
[startup+620.03 s]
Raw data (loadavg): 1.08 1.00 0.99 3/68 8675
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 60471 44 0 0 25 0 11 0 781141201 860078080 25670 4294967295 134512640 134569956 3221224368 3221214432 1131544337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25670 13086 16 0 209964 0
vsize: 839920
[startup+630.031 s]
Raw data (loadavg): 1.14 1.02 1.00 2/64 8678
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 61462 44 0 0 25 0 11 0 781141201 860078080 25680 4294967295 134512640 134569956 3221224368 3221214728 1131231308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25680 13086 16 0 209964 0
vsize: 839920
[startup+640.031 s]
Raw data (loadavg): 1.12 1.02 1.00 2/64 8678
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 62453 44 0 0 25 0 11 0 781141201 860078080 25693 4294967295 134512640 134569956 3221224368 3221214632 1131308115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25693 13086 16 0 209964 0
vsize: 839920
[startup+650.031 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 8678
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 63445 45 0 0 25 0 11 0 781141201 860078080 25701 4294967295 134512640 134569956 3221224368 3221214816 1131209177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25701 13086 16 0 209964 0
vsize: 839920
[startup+660.032 s]
Raw data (loadavg): 1.08 1.01 1.00 2/64 8678
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 64438 45 0 0 25 0 11 0 781141201 860078080 25711 4294967295 134512640 134569956 3221224368 3221214632 1131308315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25711 13086 16 0 209964 0
vsize: 839920
[startup+670.032 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 8678
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 65430 45 0 0 25 0 11 0 781141201 860078080 25722 4294967295 134512640 134569956 3221224368 3221214616 1131292116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25722 13086 16 0 209964 0
vsize: 839920
[startup+680.034 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 8678
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 66422 45 0 0 25 0 11 0 781141201 860078080 25730 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25730 13086 16 0 209964 0
vsize: 839920
[startup+690.034 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 8678
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 67413 45 0 0 25 0 11 0 781141201 860078080 25741 4294967295 134512640 134569956 3221224368 3221214632 1131308129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25741 13086 16 0 209964 0
vsize: 839920
[startup+700.034 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 68405 45 0 0 25 0 11 0 781141201 860078080 25751 4294967295 134512640 134569956 3221224368 3221214680 1131223366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25751 13086 16 0 209964 0
vsize: 839920
[startup+710.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 69397 45 0 0 25 0 11 0 781141201 860078080 25760 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25760 13086 16 0 209964 0
vsize: 839920
[startup+720.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 70389 45 0 0 25 0 11 0 781141201 860078080 25770 4294967295 134512640 134569956 3221224368 3221214728 1131231301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25770 13086 16 0 209964 0
vsize: 839920
[startup+730.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 71381 46 0 0 25 0 11 0 781141201 860078080 25781 4294967295 134512640 134569956 3221224368 3221214724 1131282373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25781 13086 16 0 209964 0
vsize: 839920
[startup+740.041 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 72373 46 0 0 25 0 11 0 781141201 860078080 25789 4294967295 134512640 134569956 3221224368 3221214632 1131308011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25789 13086 16 0 209964 0
vsize: 839920
[startup+750.041 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 73365 46 0 0 25 0 11 0 781141201 860078080 25797 4294967295 134512640 134569956 3221224368 3221214632 1131308215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25797 13086 16 0 209964 0
vsize: 839920
[startup+760.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 74357 46 0 0 25 0 11 0 781141201 860078080 25808 4294967295 134512640 134569956 3221224368 3221214632 1131308287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25808 13086 16 0 209964 0
vsize: 839920
[startup+770.042 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 75350 46 0 0 25 0 11 0 781141201 860078080 25818 4294967295 134512640 134569956 3221224368 3221214152 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25818 13086 16 0 209964 0
vsize: 839920
[startup+780.042 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 76342 46 0 0 25 0 11 0 781141201 860078080 25827 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25827 13086 16 0 209964 0
vsize: 839920
[startup+790.042 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 77334 46 0 0 25 0 11 0 781141201 860078080 25835 4294967295 134512640 134569956 3221224368 3221214772 1131291296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25835 13086 16 0 209964 0
vsize: 839920
[startup+800.043 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 78326 46 0 0 25 0 11 0 781141201 860078080 25843 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25843 13086 16 0 209964 0
vsize: 839920
[startup+810.043 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 79318 46 0 0 25 0 11 0 781141201 860078080 25852 4294967295 134512640 134569956 3221224368 3221214728 1131293540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25852 13086 16 0 209964 0
vsize: 839920
[startup+820.042 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 80309 46 0 0 25 0 11 0 781141201 860078080 25862 4294967295 134512640 134569956 3221224368 3221214632 1131308080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25862 13086 16 0 209964 0
vsize: 839920
[startup+830.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 81302 46 0 0 25 0 11 0 781141201 860078080 25871 4294967295 134512640 134569956 3221224368 3221214728 1131231185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 25871 13086 16 0 209964 0
vsize: 839920
[startup+840.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 82294 46 0 0 25 0 11 0 781141201 860078080 25879 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25879 13086 16 0 209964 0
vsize: 839920
[startup+850.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 83286 47 0 0 25 0 11 0 781141201 860078080 25890 4294967295 134512640 134569956 3221224368 3221214632 1131308089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25890 13086 16 0 209964 0
vsize: 839920
[startup+860.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 84278 47 0 0 25 0 11 0 781141201 860078080 25898 4294967295 134512640 134569956 3221224368 3221214728 1131293812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25898 13086 16 0 209964 0
vsize: 839920
[startup+870.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 85270 47 0 0 25 0 11 0 781141201 860078080 25906 4294967295 134512640 134569956 3221224368 3221214248 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25906 13086 16 0 209964 0
vsize: 839920
[startup+880.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 86261 47 0 0 25 0 11 0 781141201 860078080 25915 4294967295 134512640 134569956 3221224368 3221214632 1131308047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25915 13086 16 0 209964 0
vsize: 839920
[startup+890.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 87253 47 0 0 25 0 11 0 781141201 860078080 25923 4294967295 134512640 134569956 3221224368 3221214632 1131308400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25923 13086 16 0 209964 0
vsize: 839920
[startup+900.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 88245 47 0 0 25 0 11 0 781141201 860078080 25931 4294967295 134512640 134569956 3221224368 3221214728 1131293603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25931 13086 16 0 209964 0
vsize: 839920
[startup+910.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 89237 48 0 0 25 0 11 0 781141201 860078080 25940 4294967295 134512640 134569956 3221224368 3221214632 1131308954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25940 13086 16 0 209964 0
vsize: 839920
[startup+920.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 90229 48 0 0 25 0 11 0 781141201 860078080 25948 4294967295 134512640 134569956 3221224368 3221214632 1131308400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25948 13086 16 0 209964 0
vsize: 839920
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 91221 48 0 0 25 0 11 0 781141201 860078080 25957 4294967295 134512640 134569956 3221224368 3221214632 1131308400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25957 13086 16 0 209964 0
vsize: 839920
[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 92213 48 0 0 25 0 11 0 781141201 860078080 25965 4294967295 134512640 134569956 3221224368 3221214720 1131282364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25965 13086 16 0 209964 0
vsize: 839920
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 93205 48 0 0 25 0 11 0 781141201 860078080 25971 4294967295 134512640 134569956 3221224368 3221214640 1131262954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25971 13086 16 0 209964 0
vsize: 839920
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 94197 48 0 0 25 0 11 0 781141201 860078080 25980 4294967295 134512640 134569956 3221224368 3221214728 1131231168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25980 13086 16 0 209964 0
vsize: 839920
[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8680
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 95188 48 0 0 25 0 11 0 781141201 860078080 25988 4294967295 134512640 134569956 3221224368 3221214728 1131231185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25988 13086 16 0 209964 0
vsize: 839920
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 96180 48 0 0 25 0 11 0 781141201 860078080 25996 4294967295 134512640 134569956 3221224368 3221214632 1131308219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 25996 13086 16 0 209964 0
vsize: 839920
[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 97172 49 0 0 25 0 11 0 781141201 860078080 26003 4294967295 134512640 134569956 3221224368 3221214632 1131308129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26003 13086 16 0 209964 0
vsize: 839920
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 98164 49 0 0 25 0 11 0 781141201 860078080 26011 4294967295 134512640 134569956 3221224368 3221214632 1131308011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26011 13086 16 0 209964 0
vsize: 839920
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 99156 49 0 0 25 0 11 0 781141201 860078080 26019 4294967295 134512640 134569956 3221224368 3221214632 1131308244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26019 13086 16 0 209964 0
vsize: 839920
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 100148 49 0 0 25 0 11 0 781141201 860078080 26028 4294967295 134512640 134569956 3221224368 3221214728 1131293908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26028 13086 16 0 209964 0
vsize: 839920
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 101140 49 0 0 25 0 11 0 781141201 860078080 26036 4294967295 134512640 134569956 3221224368 3221214632 1131308980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26036 13086 16 0 209964 0
vsize: 839920
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 102133 49 0 0 25 0 11 0 781141201 860078080 26042 4294967295 134512640 134569956 3221224368 3221214728 1131231168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26042 13086 16 0 209964 0
vsize: 839920
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 103124 50 0 0 25 0 11 0 781141201 860078080 26051 4294967295 134512640 134569956 3221224368 3221214728 1131231168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26051 13086 16 0 209964 0
vsize: 839920
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 104116 50 0 0 25 0 11 0 781141201 860078080 26057 4294967295 134512640 134569956 3221224368 3221214632 1131308072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26057 13086 16 0 209964 0
vsize: 839920
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 105108 50 0 0 25 0 11 0 781141201 860078080 26065 4294967295 134512640 134569956 3221224368 3221214724 1131307968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26065 13086 16 0 209964 0
vsize: 839920
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 106100 50 0 0 25 0 11 0 781141201 860078080 26074 4294967295 134512640 134569956 3221224368 3221214728 1131231168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26074 13086 16 0 209964 0
vsize: 839920
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 107092 50 0 0 25 0 11 0 781141201 860078080 26080 4294967295 134512640 134569956 3221224368 3221214236 1131544336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26080 13086 16 0 209964 0
vsize: 839920
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 108084 50 0 0 24 0 11 0 781141201 860078080 26086 4294967295 134512640 134569956 3221224368 3221214720 1131282311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26086 13086 16 0 209964 0
vsize: 839920
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 109076 51 0 0 25 0 11 0 781141201 860078080 26095 4294967295 134512640 134569956 3221224368 3221214616 1131292023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26095 13086 16 0 209964 0
vsize: 839920
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 110068 51 0 0 25 0 11 0 781141201 860078080 26103 4294967295 134512640 134569956 3221224368 3221214760 1131185217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26103 13086 16 0 209964 0
vsize: 839920
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 111061 51 0 0 25 0 11 0 781141201 860078080 26111 4294967295 134512640 134569956 3221224368 3221214632 1131308325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26111 13086 16 0 209964 0
vsize: 839920
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 112049 51 0 0 25 0 11 0 781141201 860078080 26119 4294967295 134512640 134569956 3221224368 3221214632 1131308407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26119 13086 16 0 209964 0
vsize: 839920
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 113040 51 0 0 25 0 11 0 781141201 860078080 26127 4294967295 134512640 134569956 3221224368 3221214632 1131308789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26127 13086 16 0 209964 0
vsize: 839920
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 114032 51 0 0 25 0 11 0 781141201 860078080 26129 4294967295 134512640 134569956 3221224368 3221214816 1131209177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26129 13086 16 0 209964 0
vsize: 839920
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 115021 51 0 0 24 0 11 0 781141201 860078080 26136 4294967295 134512640 134569956 3221224368 3221214720 1131282364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26136 13086 16 0 209964 0
vsize: 839920
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 116012 51 0 0 25 0 11 0 781141201 860078080 26141 4294967295 134512640 134569956 3221224368 3221214632 1131308980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26141 13086 16 0 209964 0
vsize: 839920
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 117001 52 0 0 25 0 11 0 781141201 860078080 26142 4294967295 134512640 134569956 3221224368 3221214728 1131293788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26142 13086 16 0 209964 0
vsize: 839920
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 117983 52 0 0 25 0 11 0 781141201 860078080 26170 4294967295 134512640 134569956 3221224368 3221214632 1131308250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26170 13086 16 0 209964 0
vsize: 839920
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 118963 52 0 0 25 0 11 0 781141201 860078080 26178 4294967295 134512640 134569956 3221224368 3221214056 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26178 13086 16 0 209964 0
vsize: 839920
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 119947 52 0 0 25 0 11 0 781141201 860078080 26181 4294967295 134512640 134569956 3221224368 3221214336 1131544337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209980 26181 13086 16 0 209964 0
vsize: 839920
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8682
Raw data (stat): 8615 (java) R 8614 23514 23513 0 -1 0 18107 0 1 0 120923 52 0 0 25 0 11 0 781141201 860078080 26240 4294967295 134512640 134569956 3221224368 3221214616 1131382338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209980 26240 13086 16 0 209964 0
vsize: 839920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8684
Raw data (stat): 8615 (java) Z 8614 23514 23513 0 -1 1036 18107 13411 1 0 120928 57 3174 42 25 0 1 0 781141201 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.17
CPU time (s): 1242.02
CPU user time (s): 1241.03
CPU system time (s): 0.993848
CPU usage (%): 100.964
Max. virtual memory (Kb): 841600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####