PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-modglob.opb
MD5SUM	2de26b7af333f64c2208bd35d6d5a979
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	9818
Biggest coefficient in the objective function	22009559908352000000
Number of bits for the biggest coefficient in the objective function	65
Sum of the numbers in the objective function	1485172925553747165184
Number of bits of the sum of numbers in the objective function	71
Biggest number in a constraint	22009559908352000000
Number of bits of the biggest number in a constraint	65
Biggest sum of numbers in a constraint	1485172925553747165184
Number of bits of the biggest sum of numbers	71
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.087985
Number of variables	9818
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	270
Trace number 29540

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        750488 kB
Buffers:         27572 kB
Cached:         231572 kB
SwapCached:        412 kB
Active:          72256 kB
Inactive:       189212 kB
HighTotal:      131008 kB
HighFree:         3304 kB
LowTotal:       903652 kB
LowFree:        747184 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            17188 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:06:31 (client local time) WITH STATUS 143 IN 1218.14 SECONDS
stats: 20941 7 1218.14 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/wulflinc6/normalized-mps-v2-20-10-modglob.opb
c reading problem ... done. Time 35.13 ms.
c #vars     9818
c #constraints  384
c starts	: 3
c conflicts	: 396
c decisions	: 11640
c propagations	: 31098
c inspects	: 3080538
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 396
c root simplifications	: 394
s UNKNOWN
c Total CPU time (ms) : 1219.149
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 5636
Raw data (stat): 5636 (runsolver) R 5635 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779324464 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.0003 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 5645
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18013 0 1 0 871 35 0 0 23 0 10 0 779324464 853655552 19349 4294967295 134512640 134569956 3221224368 3221214464 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 19349 13086 16 0 208396 0
vsize: 833648
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 5645
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18013 0 1 0 1769 36 0 0 19 0 10 0 779324464 853594112 19858 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208397 19858 13086 16 0 208381 0
vsize: 833588
[startup+30.0026 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 5645
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18013 0 1 0 2658 36 0 0 20 0 10 0 779324464 853594112 20368 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208397 20368 13086 16 0 208381 0
vsize: 833588
[startup+40.0027 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18077 0 1 0 3496 37 0 0 20 0 11 0 779324464 858230784 22392 4294967295 134512640 134569956 3221224368 3221214656 1131390291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209529 22392 13086 16 0 209513 0
vsize: 838116
[startup+50.004 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18090 0 1 0 4334 37 0 0 25 0 11 0 779324464 860221440 22872 4294967295 134512640 134569956 3221224368 3221214712 1131497952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 22872 13086 16 0 209999 0
vsize: 840060
[startup+60.0056 s]
Raw data (loadavg): 1.14 1.02 1.01 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 5298 37 0 0 17 0 11 0 779324464 860024832 23759 4294967295 134512640 134569956 3221224368 3221214560 1131342957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 23759 13086 16 0 209951 0
vsize: 839868
[startup+70.0062 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 6285 38 0 0 25 0 11 0 779324464 860024832 23741 4294967295 134512640 134569956 3221224368 3221214560 1131343478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 23741 13086 16 0 209951 0
vsize: 839868
[startup+80.0068 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 7268 38 0 0 25 0 11 0 779324464 860024832 23771 4294967295 134512640 134569956 3221224368 3221214560 1131343142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 23771 13086 16 0 209951 0
vsize: 839868
[startup+90.0069 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 8254 38 0 0 25 0 11 0 779324464 860024832 23833 4294967295 134512640 134569956 3221224368 3221214560 1131343548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 23833 13086 16 0 209951 0
vsize: 839868
[startup+100.008 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 9243 39 0 0 25 0 11 0 779324464 860024832 23880 4294967295 134512640 134569956 3221224368 3221214560 1131343346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 23880 13086 16 0 209951 0
vsize: 839868
[startup+110.009 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 10235 39 0 0 25 0 11 0 779324464 860024832 23908 4294967295 134512640 134569956 3221224368 3221214656 1131390288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 23908 13086 16 0 209951 0
vsize: 839868
[startup+120.009 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 11226 39 0 0 25 0 11 0 779324464 860024832 23931 4294967295 134512640 134569956 3221224368 3221214640 1131391494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 23931 13086 16 0 209951 0
vsize: 839868
[startup+130.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 12217 40 0 0 25 0 11 0 779324464 860024832 23950 4294967295 134512640 134569956 3221224368 3221214640 1131391185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 23950 13086 16 0 209951 0
vsize: 839868
[startup+140.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 13207 40 0 0 25 0 11 0 779324464 860024832 23965 4294967295 134512640 134569956 3221224368 3221214584 1131386275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 23965 13086 16 0 209951 0
vsize: 839868
[startup+150.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 14198 41 0 0 25 0 11 0 779324464 860024832 23989 4294967295 134512640 134569956 3221224368 3221214544 1131342583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 23989 13086 16 0 209951 0
vsize: 839868
[startup+160.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 15189 42 0 0 25 0 11 0 779324464 860024832 24023 4294967295 134512640 134569956 3221224368 3221214640 1131390291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24023 13086 16 0 209951 0
vsize: 839868
[startup+170.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 16182 42 0 0 25 0 11 0 779324464 860024832 24038 4294967295 134512640 134569956 3221224368 3221214544 1131343086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24038 13086 16 0 209951 0
vsize: 839868
[startup+180.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 17174 43 0 0 25 0 11 0 779324464 860024832 24054 4294967295 134512640 134569956 3221224368 3221214544 1131343114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24054 13086 16 0 209951 0
vsize: 839868
[startup+190.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 18168 43 0 0 25 0 11 0 779324464 860024832 24065 4294967295 134512640 134569956 3221224368 3221214544 1131343272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24065 13086 16 0 209951 0
vsize: 839868
[startup+200.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 19161 43 0 0 25 0 11 0 779324464 860024832 24078 4294967295 134512640 134569956 3221224368 3221214640 1131391401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24078 13086 16 0 209951 0
vsize: 839868
[startup+210.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 20155 43 0 0 25 0 11 0 779324464 860024832 24086 4294967295 134512640 134569956 3221224368 3221214544 1131342893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24086 13086 16 0 209951 0
vsize: 839868
[startup+220.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 21148 44 0 0 25 0 11 0 779324464 860024832 24099 4294967295 134512640 134569956 3221224368 3221214636 1131342476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24099 13086 16 0 209951 0
vsize: 839868
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 22141 44 0 0 25 0 11 0 779324464 860024832 24107 4294967295 134512640 134569956 3221224368 3221214636 1131386211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24107 13086 16 0 209951 0
vsize: 839868
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 23134 45 0 0 25 0 11 0 779324464 860024832 24115 4294967295 134512640 134569956 3221224368 3221214544 1131343071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24115 13086 16 0 209951 0
vsize: 839868
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 24128 46 0 0 25 0 11 0 779324464 860024832 24126 4294967295 134512640 134569956 3221224368 3221214544 1131343016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24126 13086 16 0 209951 0
vsize: 839868
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 25121 46 0 0 25 0 11 0 779324464 860024832 24134 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24134 13086 16 0 209951 0
vsize: 839868
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 26115 46 0 0 25 0 11 0 779324464 860024832 24142 4294967295 134512640 134569956 3221224368 3221214456 1131224692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24142 13086 16 0 209951 0
vsize: 839868
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 27109 47 0 0 25 0 11 0 779324464 860024832 24151 4294967295 134512640 134569956 3221224368 3221214544 1131343114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24151 13086 16 0 209951 0
vsize: 839868
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 28102 48 0 0 25 0 11 0 779324464 860024832 24159 4294967295 134512640 134569956 3221224368 3221214544 1131343457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24159 13086 16 0 209951 0
vsize: 839868
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 29096 48 0 0 25 0 11 0 779324464 860024832 24170 4294967295 134512640 134569956 3221224368 3221214640 1131391565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24170 13086 16 0 209951 0
vsize: 839868
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 30089 48 0 0 25 0 11 0 779324464 860024832 24178 4294967295 134512640 134569956 3221224368 3221214544 1131343262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24178 13086 16 0 209951 0
vsize: 839868
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 31083 49 0 0 25 0 11 0 779324464 860024832 24186 4294967295 134512640 134569956 3221224368 3221214544 1131342572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24186 13086 16 0 209951 0
vsize: 839868
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 32076 50 0 0 25 0 11 0 779324464 860024832 24195 4294967295 134512640 134569956 3221224368 3221214544 1131342909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24195 13086 16 0 209951 0
vsize: 839868
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 33069 50 0 0 25 0 11 0 779324464 860024832 24201 4294967295 134512640 134569956 3221224368 3221214640 1131395170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24201 13086 16 0 209951 0
vsize: 839868
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 34059 51 0 0 25 0 11 0 779324464 860024832 24209 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24209 13086 16 0 209951 0
vsize: 839868
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 35050 51 0 0 25 0 11 0 779324464 860024832 24219 4294967295 134512640 134569956 3221224368 3221214640 1131392449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24219 13086 16 0 209951 0
vsize: 839868
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 36041 51 0 0 25 0 11 0 779324464 860024832 24250 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24250 13086 16 0 209951 0
vsize: 839868
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 37033 52 0 0 22 0 11 0 779324464 860024832 24270 4294967295 134512640 134569956 3221224368 3221214640 1131391529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24270 13086 16 0 209951 0
vsize: 839868
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 38022 52 0 0 18 0 11 0 779324464 860024832 24296 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24296 13086 16 0 209951 0
vsize: 839868
[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 39015 52 0 0 22 0 11 0 779324464 860024832 24314 4294967295 134512640 134569956 3221224368 3221214544 1131343538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24314 13086 16 0 209951 0
vsize: 839868
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 40008 52 0 0 17 0 11 0 779324464 860024832 24325 4294967295 134512640 134569956 3221224368 3221214544 1131342508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24325 13086 16 0 209951 0
vsize: 839868
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 41001 52 0 0 22 0 11 0 779324464 860024832 24334 4294967295 134512640 134569956 3221224368 3221214544 1131342893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24334 13086 16 0 209951 0
vsize: 839868
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 41994 52 0 0 18 0 11 0 779324464 860024832 24342 4294967295 134512640 134569956 3221224368 3221214640 1131395063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24342 13086 16 0 209951 0
vsize: 839868
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 42987 52 0 0 22 0 11 0 779324464 860024832 24348 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24348 13086 16 0 209951 0
vsize: 839868
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 43980 52 0 0 18 0 11 0 779324464 860024832 24356 4294967295 134512640 134569956 3221224368 3221214544 1131342516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24356 13086 16 0 209951 0
vsize: 839868
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 44973 53 0 0 23 0 11 0 779324464 860024832 24363 4294967295 134512640 134569956 3221224368 3221214544 1131343189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24363 13086 16 0 209951 0
vsize: 839868
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 45966 53 0 0 18 0 11 0 779324464 860024832 24371 4294967295 134512640 134569956 3221224368 3221214544 1131342907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24371 13086 16 0 209951 0
vsize: 839868
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 46959 53 0 0 23 0 11 0 779324464 860024832 24375 4294967295 134512640 134569956 3221224368 3221214640 1131391557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24375 13086 16 0 209951 0
vsize: 839868
[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 47953 54 0 0 20 0 11 0 779324464 860024832 24382 4294967295 134512640 134569956 3221224368 3221214544 1131342493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24382 13086 16 0 209951 0
vsize: 839868
[startup+500.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 48946 54 0 0 24 0 11 0 779324464 860024832 24388 4294967295 134512640 134569956 3221224368 3221214640 1131390291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24388 13086 16 0 209951 0
vsize: 839868
[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 49939 54 0 0 19 0 11 0 779324464 860024832 24394 4294967295 134512640 134569956 3221224368 3221214544 1131343046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24394 13086 16 0 209951 0
vsize: 839868
[startup+520.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 50932 54 0 0 17 0 11 0 779324464 860024832 24402 4294967295 134512640 134569956 3221224368 3221214544 1131343185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24402 13086 16 0 209951 0
vsize: 839868
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 51925 54 0 0 20 0 11 0 779324464 860024832 24407 4294967295 134512640 134569956 3221224368 3221214640 1131394124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24407 13086 16 0 209951 0
vsize: 839868
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 52918 54 0 0 16 0 11 0 779324464 860024832 24413 4294967295 134512640 134569956 3221224368 3221214308 1131581348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24413 13086 16 0 209951 0
vsize: 839868
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 53912 54 0 0 21 0 11 0 779324464 860024832 24417 4294967295 134512640 134569956 3221224368 3221214544 1131343138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24417 13086 16 0 209951 0
vsize: 839868
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 54906 54 0 0 17 0 11 0 779324464 860024832 24423 4294967295 134512640 134569956 3221224368 3221214640 1131390291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24423 13086 16 0 209951 0
vsize: 839868
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 55899 54 0 0 22 0 11 0 779324464 860024832 24427 4294967295 134512640 134569956 3221224368 3221214544 1131342626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24427 13086 16 0 209951 0
vsize: 839868
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 56892 54 0 0 18 0 11 0 779324464 860024832 24434 4294967295 134512640 134569956 3221224368 3221214640 1131391557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24434 13086 16 0 209951 0
vsize: 839868
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 57885 55 0 0 23 0 11 0 779324464 860024832 24441 4294967295 134512640 134569956 3221224368 3221214544 1131343201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24441 13086 16 0 209951 0
vsize: 839868
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 58878 55 0 0 20 0 11 0 779324464 860024832 24447 4294967295 134512640 134569956 3221224368 3221214544 1131342526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24447 13086 16 0 209951 0
vsize: 839868
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 59872 55 0 0 23 0 11 0 779324464 860024832 24451 4294967295 134512640 134569956 3221224368 3221214544 1131343118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24451 13086 16 0 209951 0
vsize: 839868
[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 60865 55 0 0 21 0 11 0 779324464 860024832 24457 4294967295 134512640 134569956 3221224368 3221214544 1131342497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24457 13086 16 0 209951 0
vsize: 839868
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 61857 55 0 0 17 0 11 0 779324464 860024832 24462 4294967295 134512640 134569956 3221224368 3221214544 1131342489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24462 13086 16 0 209951 0
vsize: 839868
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 62851 55 0 0 17 0 11 0 779324464 860024832 24468 4294967295 134512640 134569956 3221224368 3221214544 1131343381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24468 13086 16 0 209951 0
vsize: 839868
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 63843 56 0 0 17 0 11 0 779324464 860024832 24472 4294967295 134512640 134569956 3221224368 3221214640 1131390291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24472 13086 16 0 209951 0
vsize: 839868
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 64837 56 0 0 17 0 11 0 779324464 860024832 24476 4294967295 134512640 134569956 3221224368 3221214528 1131214876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24476 13086 16 0 209951 0
vsize: 839868
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 65829 56 0 0 25 0 11 0 779324464 860024832 24483 4294967295 134512640 134569956 3221224368 3221214544 1131342508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24483 13086 16 0 209951 0
vsize: 839868
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 66821 56 0 0 25 0 11 0 779324464 860024832 24487 4294967295 134512640 134569956 3221224368 3221214640 1131391561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24487 13086 16 0 209951 0
vsize: 839868
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 67814 56 0 0 25 0 11 0 779324464 860024832 24491 4294967295 134512640 134569956 3221224368 3221214640 1131395168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24491 13086 16 0 209951 0
vsize: 839868
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 68807 57 0 0 25 0 11 0 779324464 860024832 24495 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24495 13086 16 0 209951 0
vsize: 839868
[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 69800 57 0 0 17 0 11 0 779324464 860024832 24501 4294967295 134512640 134569956 3221224368 3221214544 1131343224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24501 13086 16 0 209951 0
vsize: 839868
[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 70793 57 0 0 25 0 11 0 779324464 860024832 24506 4294967295 134512640 134569956 3221224368 3221214496 1131415781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24506 13086 16 0 209951 0
vsize: 839868
[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 71786 58 0 0 25 0 11 0 779324464 860024832 24510 4294967295 134512640 134569956 3221224368 3221214544 1131343079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24510 13086 16 0 209951 0
vsize: 839868
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 72777 59 0 0 25 0 11 0 779324464 860024832 24516 4294967295 134512640 134569956 3221224368 3221214544 1131343466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24516 13086 16 0 209951 0
vsize: 839868
[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 73770 59 0 0 25 0 11 0 779324464 860024832 24521 4294967295 134512640 134569956 3221224368 3221214640 1131390291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24521 13086 16 0 209951 0
vsize: 839868
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 74762 60 0 0 25 0 11 0 779324464 860024832 24525 4294967295 134512640 134569956 3221224368 3221214544 1131342497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24525 13086 16 0 209951 0
vsize: 839868
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 75754 61 0 0 25 0 11 0 779324464 860024832 24532 4294967295 134512640 134569956 3221224368 3221214640 1131390381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24532 13086 16 0 209951 0
vsize: 839868
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 76746 61 0 0 17 0 11 0 779324464 860024832 24536 4294967295 134512640 134569956 3221224368 3221214816 1131226073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24536 13086 16 0 209951 0
vsize: 839868
[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 77739 61 0 0 17 0 11 0 779324464 860024832 24542 4294967295 134512640 134569956 3221224368 3221214544 1131343536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24542 13086 16 0 209951 0
vsize: 839868
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 78731 61 0 0 17 0 11 0 779324464 860024832 24547 4294967295 134512640 134569956 3221224368 3221214640 1131395083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24547 13086 16 0 209951 0
vsize: 839868
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 79724 61 0 0 17 0 11 0 779324464 860024832 24551 4294967295 134512640 134569956 3221224368 3221214544 1131342851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24551 13086 16 0 209951 0
vsize: 839868
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 80717 62 0 0 17 0 11 0 779324464 860024832 24557 4294967295 134512640 134569956 3221224368 3221214544 1131342793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24557 13086 16 0 209951 0
vsize: 839868
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5646
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 81710 62 0 0 17 0 11 0 779324464 860024832 24560 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24560 13086 16 0 209951 0
vsize: 839868
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 1.00 3/69 5698
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 82685 79 0 0 17 0 11 0 779324464 860024832 24566 4294967295 134512640 134569956 3221224368 3221214640 1131395235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24566 13086 16 0 209951 0
vsize: 839868
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5699
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 83675 80 0 0 17 0 11 0 779324464 860024832 24571 4294967295 134512640 134569956 3221224368 3221214640 1131395196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24571 13086 16 0 209951 0
vsize: 839868
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5699
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 84668 80 0 0 17 0 11 0 779324464 860024832 24577 4294967295 134512640 134569956 3221224368 3221214640 1131392349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24577 13086 16 0 209951 0
vsize: 839868
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5699
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 85660 80 0 0 17 0 11 0 779324464 860024832 24582 4294967295 134512640 134569956 3221224368 3221214640 1131395155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24582 13086 16 0 209951 0
vsize: 839868
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5699
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 86653 80 0 0 17 0 11 0 779324464 860024832 24586 4294967295 134512640 134569956 3221224368 3221214640 1131392464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24586 13086 16 0 209951 0
vsize: 839868
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5699
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 87645 80 0 0 17 0 11 0 779324464 860024832 24590 4294967295 134512640 134569956 3221224368 3221214544 1131342907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24590 13086 16 0 209951 0
vsize: 839868
[startup+900.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5699
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 88638 80 0 0 17 0 11 0 779324464 860024832 24598 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24598 13086 16 0 209951 0
vsize: 839868
[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 89630 80 0 0 17 0 11 0 779324464 860024832 24602 4294967295 134512640 134569956 3221224368 3221214528 1131350273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24602 13086 16 0 209951 0
vsize: 839868
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 90623 80 0 0 17 0 11 0 779324464 860024832 24606 4294967295 134512640 134569956 3221224368 3221214640 1131390107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209967 24606 13086 16 0 209951 0
vsize: 839868
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 91615 80 0 0 25 0 11 0 779324464 860024832 24611 4294967295 134512640 134569956 3221224368 3221214544 1131342663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24611 13086 16 0 209951 0
vsize: 839868
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 92608 80 0 0 25 0 11 0 779324464 860024832 24615 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24615 13086 16 0 209951 0
vsize: 839868
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 93599 81 0 0 17 0 11 0 779324464 860024832 24617 4294967295 134512640 134569956 3221224368 3221214544 1131342576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24617 13086 16 0 209951 0
vsize: 839868
[startup+960.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 94591 81 0 0 17 0 11 0 779324464 860024832 24624 4294967295 134512640 134569956 3221224368 3221214640 1131396124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24624 13086 16 0 209951 0
vsize: 839868
[startup+970.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 95583 82 0 0 25 0 11 0 779324464 860024832 24628 4294967295 134512640 134569956 3221224368 3221214640 1131390291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24628 13086 16 0 209951 0
vsize: 839868
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 96574 83 0 0 25 0 11 0 779324464 860024832 24632 4294967295 134512640 134569956 3221224368 3221214544 1131342897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24632 13086 16 0 209951 0
vsize: 839868
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 97566 84 0 0 25 0 11 0 779324464 860024832 24636 4294967295 134512640 134569956 3221224368 3221214544 1131342609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24636 13086 16 0 209951 0
vsize: 839868
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 98559 84 0 0 25 0 11 0 779324464 860024832 24641 4294967295 134512640 134569956 3221224368 3221214544 1131342576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24641 13086 16 0 209951 0
vsize: 839868
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 99551 84 0 0 25 0 11 0 779324464 860024832 24645 4294967295 134512640 134569956 3221224368 3221214640 1131390089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24645 13086 16 0 209951 0
vsize: 839868
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 100544 85 0 0 25 0 11 0 779324464 860024832 24649 4294967295 134512640 134569956 3221224368 3221214544 1131343006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24649 13086 16 0 209951 0
vsize: 839868
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 101536 85 0 0 25 0 11 0 779324464 860024832 24651 4294967295 134512640 134569956 3221224368 3221214640 1131391401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24651 13086 16 0 209951 0
vsize: 839868
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 102529 85 0 0 25 0 11 0 779324464 860024832 24655 4294967295 134512640 134569956 3221224368 3221214540 1131225319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24655 13086 16 0 209951 0
vsize: 839868
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 103522 86 0 0 25 0 11 0 779324464 860024832 24659 4294967295 134512640 134569956 3221224368 3221214544 1131343439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24659 13086 16 0 209951 0
vsize: 839868
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 104514 86 0 0 25 0 11 0 779324464 860024832 24664 4294967295 134512640 134569956 3221224368 3221214544 1131342900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24664 13086 16 0 209951 0
vsize: 839868
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 105506 86 0 0 17 0 11 0 779324464 860024832 24666 4294967295 134512640 134569956 3221224368 3221214544 1131343086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24666 13086 16 0 209951 0
vsize: 839868
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 106498 86 0 0 25 0 11 0 779324464 860024832 24672 4294967295 134512640 134569956 3221224368 3221214544 1131343510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24672 13086 16 0 209951 0
vsize: 839868
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 107491 87 0 0 18 0 11 0 779324464 860024832 24675 4294967295 134512640 134569956 3221224368 3221214544 1131343463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24675 13086 16 0 209951 0
vsize: 839868
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 108483 87 0 0 25 0 11 0 779324464 860024832 24680 4294967295 134512640 134569956 3221224368 3221214544 1131343189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24680 13086 16 0 209951 0
vsize: 839868
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 109475 88 0 0 25 0 11 0 779324464 860024832 24684 4294967295 134512640 134569956 3221224368 3221214544 1131342954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24684 13086 16 0 209951 0
vsize: 839868
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 110467 88 0 0 25 0 11 0 779324464 860024832 24688 4294967295 134512640 134569956 3221224368 3221214832 1131549519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24688 13086 16 0 209951 0
vsize: 839868
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 111459 89 0 0 21 0 11 0 779324464 860024832 24692 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24692 13086 16 0 209951 0
vsize: 839868
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 112452 89 0 0 25 0 11 0 779324464 860024832 24694 4294967295 134512640 134569956 3221224368 3221214544 1131342905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24694 13086 16 0 209951 0
vsize: 839868
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5701
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 113444 90 0 0 25 0 11 0 779324464 860024832 24700 4294967295 134512640 134569956 3221224368 3221214544 1131342897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24700 13086 16 0 209951 0
vsize: 839868
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5703
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 114435 91 0 0 25 0 11 0 779324464 860024832 24705 4294967295 134512640 134569956 3221224368 3221214640 1131390319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24705 13086 16 0 209951 0
vsize: 839868
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5703
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 115427 91 0 0 25 0 11 0 779324464 860024832 24708 4294967295 134512640 134569956 3221224368 3221214544 1131342957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24708 13086 16 0 209951 0
vsize: 839868
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5703
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 116416 92 0 0 25 0 11 0 779324464 860024832 24714 4294967295 134512640 134569956 3221224368 3221214544 1131343433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24714 13086 16 0 209951 0
vsize: 839868
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5703
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 117404 92 0 0 17 0 11 0 779324464 860024832 24722 4294967295 134512640 134569956 3221224368 3221214152 1131581216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24722 13086 16 0 209951 0
vsize: 839868
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5703
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 118393 93 0 0 25 0 11 0 779324464 860024832 24729 4294967295 134512640 134569956 3221224368 3221214544 1131343444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24729 13086 16 0 209951 0
vsize: 839868
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5703
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 119383 93 0 0 25 0 11 0 779324464 860024832 24768 4294967295 134512640 134569956 3221224368 3221214544 1131342497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24768 13086 16 0 209951 0
vsize: 839868
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5703
Raw data (stat): 5636 (java) R 5635 25568 25567 0 -1 0 18092 0 1 0 120374 94 0 0 25 0 11 0 779324464 860024832 24776 4294967295 134512640 134569956 3221224368 3221214640 1131390300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209967 24776 13086 16 0 209951 0
vsize: 839868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5705
Raw data (stat): 5636 (java) Z 5635 25568 25567 0 -1 1036 18092 4994 1 0 120379 94 1310 29 25 0 1 0 779324464 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.19
CPU time (s): 1218.14
CPU user time (s): 1216.9
CPU system time (s): 1.24081
CPU usage (%): 99.8324
Max. virtual memory (Kb): 840060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####