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/miplib2003/normalized-mps-v2-20-10-modglob.opb
MD5SUM	18f1d450b3ce1b90a2f0f08d0288db4f
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.089985
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 29591

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 09:21:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20992 boxname=wulflinc30 idbench=980 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  18f1d450b3ce1b90a2f0f08d0288db4f  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-modglob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-modglob.opb
IDLAUNCH: 20992
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        655052 kB
Buffers:         35568 kB
Cached:         320512 kB
SwapCached:        716 kB
Active:          86532 kB
Inactive:       271656 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        654800 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15548 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:41:22 (client local time) WITH STATUS 143 IN 1218.38 SECONDS
stats: 20992 7 1218.38 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/wulflinc30/normalized-mps-v2-20-10-modglob.opb
c reading problem ... done. Time 34.086 ms.
c #vars     9818
c #constraints  384
c starts	: 3
c conflicts	: 392
c decisions	: 11607
c propagations	: 30866
c inspects	: 3030298
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 392
c root simplifications	: 390
s UNKNOWN
c Total CPU time (ms) : 1219.252
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 5749
Raw data (stat): 5749 (runsolver) R 5748 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837750805 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 5758
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18027 0 1 0 869 38 0 0 20 0 10 0 837750805 853630976 19442 4294967295 134512640 134569956 3221224368 3221214112 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 19442 13086 16 0 208390 0
vsize: 833624
[startup+20.0018 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 5758
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18027 0 1 0 1764 38 0 0 24 0 10 0 837750805 853549056 19930 4294967295 134512640 134569956 3221224368 3221214484 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208386 19930 13086 16 0 208370 0
vsize: 833544
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 5758
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18027 0 1 0 2664 38 0 0 24 0 10 0 837750805 853483520 20397 4294967295 134512640 134569956 3221224368 3221214112 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208370 20397 13086 16 0 208354 0
vsize: 833480
[startup+40.0029 s]
Raw data (loadavg): 1.19 1.03 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18071 0 1 0 3544 39 0 0 25 0 11 0 837750805 858333184 22548 4294967295 134512640 134569956 3221224368 3221214544 1131315511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209554 22548 13086 16 0 209538 0
vsize: 838216
[startup+50.0032 s]
Raw data (loadavg): 1.24 1.05 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18086 0 1 0 4368 40 0 0 25 0 11 0 837750805 860254208 23033 4294967295 134512640 134569956 3221224368 3221214560 1131315052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210023 23033 13086 16 0 210007 0
vsize: 840092
[startup+60.0036 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 5342 40 0 0 25 0 11 0 837750805 859205632 23717 4294967295 134512640 134569956 3221224368 3221214560 1131315233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 23717 13086 16 0 209751 0
vsize: 839068
[startup+70.0043 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 6329 40 0 0 25 0 11 0 837750805 859205632 23735 4294967295 134512640 134569956 3221224368 3221214560 1131314948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 23735 13086 16 0 209751 0
vsize: 839068
[startup+80.0056 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 7313 40 0 0 25 0 11 0 837750805 859205632 23769 4294967295 134512640 134569956 3221224368 3221214560 1131314936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 23769 13086 16 0 209751 0
vsize: 839068
[startup+90.006 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 8300 40 0 0 25 0 11 0 837750805 859205632 23827 4294967295 134512640 134569956 3221224368 3221214560 1131315502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 23827 13086 16 0 209751 0
vsize: 839068
[startup+100.006 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 9289 40 0 0 25 0 11 0 837750805 859205632 23871 4294967295 134512640 134569956 3221224368 3221214560 1131314533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 23871 13086 16 0 209751 0
vsize: 839068
[startup+110.007 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 10281 40 0 0 25 0 11 0 837750805 859205632 23902 4294967295 134512640 134569956 3221224368 3221214560 1131315409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 23902 13086 16 0 209751 0
vsize: 839068
[startup+120.007 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 11273 40 0 0 25 0 11 0 837750805 859205632 23921 4294967295 134512640 134569956 3221224368 3221214560 1131315523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 23921 13086 16 0 209751 0
vsize: 839068
[startup+130.008 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 12265 40 0 0 25 0 11 0 837750805 859205632 23938 4294967295 134512640 134569956 3221224368 3221214640 1131426977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 23938 13086 16 0 209751 0
vsize: 839068
[startup+140.008 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 13255 41 0 0 25 0 11 0 837750805 859205632 23954 4294967295 134512640 134569956 3221224368 3221214544 1131315599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 23954 13086 16 0 209751 0
vsize: 839068
[startup+150.009 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 14246 41 0 0 25 0 11 0 837750805 859205632 23971 4294967295 134512640 134569956 3221224368 3221214640 1131427831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 23971 13086 16 0 209751 0
vsize: 839068
[startup+160.01 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 15237 41 0 0 25 0 11 0 837750805 859205632 24007 4294967295 134512640 134569956 3221224368 3221214544 1131314946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24007 13086 16 0 209751 0
vsize: 839068
[startup+170.01 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 16230 41 0 0 25 0 11 0 837750805 859205632 24025 4294967295 134512640 134569956 3221224368 3221214448 1131299783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24025 13086 16 0 209751 0
vsize: 839068
[startup+180.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 17223 41 0 0 25 0 11 0 837750805 859205632 24040 4294967295 134512640 134569956 3221224368 3221214544 1131314562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24040 13086 16 0 209751 0
vsize: 839068
[startup+190.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 18217 41 0 0 25 0 11 0 837750805 859205632 24053 4294967295 134512640 134569956 3221224368 3221214640 1131431436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24053 13086 16 0 209751 0
vsize: 839068
[startup+200.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 19211 41 0 0 25 0 11 0 837750805 859205632 24063 4294967295 134512640 134569956 3221224368 3221214544 1131315206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24063 13086 16 0 209751 0
vsize: 839068
[startup+210.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 20204 42 0 0 25 0 11 0 837750805 859205632 24075 4294967295 134512640 134569956 3221224368 3221214544 1131315266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24075 13086 16 0 209751 0
vsize: 839068
[startup+220.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 21198 42 0 0 25 0 11 0 837750805 859205632 24085 4294967295 134512640 134569956 3221224368 3221214544 1131315409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24085 13086 16 0 209751 0
vsize: 839068
[startup+230.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 22191 42 0 0 25 0 11 0 837750805 859205632 24096 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24096 13086 16 0 209751 0
vsize: 839068
[startup+240.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 23185 42 0 0 25 0 11 0 837750805 859205632 24105 4294967295 134512640 134569956 3221224368 3221214584 1131388332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24105 13086 16 0 209751 0
vsize: 839068
[startup+250.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 24178 42 0 0 25 0 11 0 837750805 859205632 24115 4294967295 134512640 134569956 3221224368 3221214544 1131315184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24115 13086 16 0 209751 0
vsize: 839068
[startup+260.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 25172 42 0 0 25 0 11 0 837750805 859205632 24124 4294967295 134512640 134569956 3221224368 3221214584 1131388247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24124 13086 16 0 209751 0
vsize: 839068
[startup+270.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 26165 42 0 0 25 0 11 0 837750805 859205632 24134 4294967295 134512640 134569956 3221224368 3221214544 1131314604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24134 13086 16 0 209751 0
vsize: 839068
[startup+280.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 27159 42 0 0 25 0 11 0 837750805 859205632 24141 4294967295 134512640 134569956 3221224368 3221214640 1131427579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24141 13086 16 0 209751 0
vsize: 839068
[startup+290.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 28153 42 0 0 25 0 11 0 837750805 859205632 24149 4294967295 134512640 134569956 3221224368 3221214544 1131314540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24149 13086 16 0 209751 0
vsize: 839068
[startup+300.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 29147 42 0 0 25 0 11 0 837750805 859205632 24158 4294967295 134512640 134569956 3221224368 3221214544 1131314529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24158 13086 16 0 209751 0
vsize: 839068
[startup+310.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 30140 42 0 0 25 0 11 0 837750805 859205632 24164 4294967295 134512640 134569956 3221224368 3221214544 1131315132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24164 13086 16 0 209751 0
vsize: 839068
[startup+320.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 31133 42 0 0 25 0 11 0 837750805 859205632 24172 4294967295 134512640 134569956 3221224368 3221214544 1131314946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24172 13086 16 0 209751 0
vsize: 839068
[startup+330.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 32128 42 0 0 25 0 11 0 837750805 859205632 24181 4294967295 134512640 134569956 3221224368 3221214544 1131315180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24181 13086 16 0 209751 0
vsize: 839068
[startup+340.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 33121 43 0 0 25 0 11 0 837750805 859205632 24187 4294967295 134512640 134569956 3221224368 3221214640 1131430502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24187 13086 16 0 209751 0
vsize: 839068
[startup+350.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 34113 43 0 0 25 0 11 0 837750805 859205632 24196 4294967295 134512640 134569956 3221224368 3221214544 1131314600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24196 13086 16 0 209751 0
vsize: 839068
[startup+360.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 35103 43 0 0 25 0 11 0 837750805 859205632 24204 4294967295 134512640 134569956 3221224368 3221214544 1131314562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24204 13086 16 0 209751 0
vsize: 839068
[startup+370.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 36094 43 0 0 25 0 11 0 837750805 859205632 24217 4294967295 134512640 134569956 3221224368 3221214640 1131425797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24217 13086 16 0 209751 0
vsize: 839068
[startup+380.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 37085 43 0 0 25 0 11 0 837750805 859205632 24253 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24253 13086 16 0 209751 0
vsize: 839068
[startup+390.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 38075 43 0 0 25 0 11 0 837750805 859205632 24271 4294967295 134512640 134569956 3221224368 3221214544 1131315310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24271 13086 16 0 209751 0
vsize: 839068
[startup+400.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 39067 43 0 0 25 0 11 0 837750805 859205632 24285 4294967295 134512640 134569956 3221224368 3221214544 1131314542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24285 13086 16 0 209751 0
vsize: 839068
[startup+410.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 40059 43 0 0 25 0 11 0 837750805 859205632 24296 4294967295 134512640 134569956 3221224368 3221214528 1131220648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24296 13086 16 0 209751 0
vsize: 839068
[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 41051 43 0 0 25 0 11 0 837750805 859205632 24306 4294967295 134512640 134569956 3221224368 3221214640 1131425777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24306 13086 16 0 209751 0
vsize: 839068
[startup+430.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 42043 44 0 0 25 0 11 0 837750805 859205632 24315 4294967295 134512640 134569956 3221224368 3221214544 1131315266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24315 13086 16 0 209751 0
vsize: 839068
[startup+440.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 43036 44 0 0 25 0 11 0 837750805 859205632 24324 4294967295 134512640 134569956 3221224368 3221214456 1131235997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24324 13086 16 0 209751 0
vsize: 839068
[startup+450.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 44028 44 0 0 25 0 11 0 837750805 859205632 24331 4294967295 134512640 134569956 3221224368 3221214544 1131315231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24331 13086 16 0 209751 0
vsize: 839068
[startup+460.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 45020 45 0 0 25 0 11 0 837750805 859205632 24338 4294967295 134512640 134569956 3221224368 3221214456 1131235968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24338 13086 16 0 209751 0
vsize: 839068
[startup+470.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 46013 45 0 0 25 0 11 0 837750805 859205632 24345 4294967295 134512640 134569956 3221224368 3221214640 1131430520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24345 13086 16 0 209751 0
vsize: 839068
[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 47005 45 0 0 25 0 11 0 837750805 859205632 24352 4294967295 134512640 134569956 3221224368 3221214544 1131315492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24352 13086 16 0 209751 0
vsize: 839068
[startup+490.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 47999 46 0 0 25 0 11 0 837750805 859205632 24356 4294967295 134512640 134569956 3221224368 3221214456 1131236007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24356 13086 16 0 209751 0
vsize: 839068
[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 48991 46 0 0 25 0 11 0 837750805 859205632 24363 4294967295 134512640 134569956 3221224368 3221214544 1131315514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24363 13086 16 0 209751 0
vsize: 839068
[startup+510.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 49984 47 0 0 25 0 11 0 837750805 859205632 24367 4294967295 134512640 134569956 3221224368 3221214640 1131427752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24367 13086 16 0 209751 0
vsize: 839068
[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 50976 47 0 0 25 0 11 0 837750805 859205632 24374 4294967295 134512640 134569956 3221224368 3221214456 1131235962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24374 13086 16 0 209751 0
vsize: 839068
[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 51969 47 0 0 25 0 11 0 837750805 859205632 24381 4294967295 134512640 134569956 3221224368 3221214640 1131425770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24381 13086 16 0 209751 0
vsize: 839068
[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 52962 48 0 0 25 0 11 0 837750805 859205632 24385 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24385 13086 16 0 209751 0
vsize: 839068
[startup+550.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 53955 48 0 0 25 0 11 0 837750805 859205632 24391 4294967295 134512640 134569956 3221224368 3221214456 1131235949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24391 13086 16 0 209751 0
vsize: 839068
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 54948 49 0 0 25 0 11 0 837750805 859205632 24399 4294967295 134512640 134569956 3221224368 3221214544 1131315219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24399 13086 16 0 209751 0
vsize: 839068
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 55941 49 0 0 25 0 11 0 837750805 859205632 24406 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24406 13086 16 0 209751 0
vsize: 839068
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 56934 50 0 0 25 0 11 0 837750805 859205632 24410 4294967295 134512640 134569956 3221224368 3221214544 1131314574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24410 13086 16 0 209751 0
vsize: 839068
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 57927 50 0 0 25 0 11 0 837750805 859205632 24416 4294967295 134512640 134569956 3221224368 3221214640 1131431265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24416 13086 16 0 209751 0
vsize: 839068
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 58920 50 0 0 25 0 11 0 837750805 859205632 24421 4294967295 134512640 134569956 3221224368 3221214544 1131314578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24421 13086 16 0 209751 0
vsize: 839068
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 59912 51 0 0 25 0 11 0 837750805 859205632 24427 4294967295 134512640 134569956 3221224368 3221214640 1131430448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24427 13086 16 0 209751 0
vsize: 839068
[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 60905 51 0 0 25 0 11 0 837750805 859205632 24432 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24432 13086 16 0 209751 0
vsize: 839068
[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 61898 51 0 0 25 0 11 0 837750805 859205632 24436 4294967295 134512640 134569956 3221224368 3221214544 1131315054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24436 13086 16 0 209751 0
vsize: 839068
[startup+640.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 62890 52 0 0 25 0 11 0 837750805 859205632 24442 4294967295 134512640 134569956 3221224368 3221214640 1131425781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24442 13086 16 0 209751 0
vsize: 839068
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 63883 52 0 0 25 0 11 0 837750805 859205632 24446 4294967295 134512640 134569956 3221224368 3221214544 1131314562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24446 13086 16 0 209751 0
vsize: 839068
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 64876 53 0 0 25 0 11 0 837750805 859205632 24453 4294967295 134512640 134569956 3221224368 3221214544 1131315460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24453 13086 16 0 209751 0
vsize: 839068
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 65868 53 0 0 25 0 11 0 837750805 859205632 24457 4294967295 134512640 134569956 3221224368 3221214440 1131299524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24457 13086 16 0 209751 0
vsize: 839068
[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 66861 53 0 0 25 0 11 0 837750805 859205632 24461 4294967295 134512640 134569956 3221224368 3221214640 1131425777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24461 13086 16 0 209751 0
vsize: 839068
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 67854 54 0 0 25 0 11 0 837750805 859205632 24467 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24467 13086 16 0 209751 0
vsize: 839068
[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 68846 54 0 0 25 0 11 0 837750805 859205632 24472 4294967295 134512640 134569956 3221224368 3221214544 1131315156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24472 13086 16 0 209751 0
vsize: 839068
[startup+710.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 69839 54 0 0 25 0 11 0 837750805 859205632 24476 4294967295 134512640 134569956 3221224368 3221214544 1131314862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24476 13086 16 0 209751 0
vsize: 839068
[startup+720.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 70832 55 0 0 25 0 11 0 837750805 859205632 24483 4294967295 134512640 134569956 3221224368 3221214544 1131314631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24483 13086 16 0 209751 0
vsize: 839068
[startup+730.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) S 5748 22056 22055 0 -1 0 18088 0 1 0 71824 55 0 0 25 0 11 0 837750805 859205632 24487 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24487 13086 16 0 209751 0
vsize: 839068
[startup+740.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 72816 56 0 0 25 0 11 0 837750805 859205632 24493 4294967295 134512640 134569956 3221224368 3221214640 1131425797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24493 13086 16 0 209751 0
vsize: 839068
[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 73809 56 0 0 25 0 11 0 837750805 859205632 24498 4294967295 134512640 134569956 3221224368 3221214544 1131315168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24498 13086 16 0 209751 0
vsize: 839068
[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 74801 56 0 0 25 0 11 0 837750805 859205632 24504 4294967295 134512640 134569956 3221224368 3221214744 1131488466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24504 13086 16 0 209751 0
vsize: 839068
[startup+770.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 75794 56 0 0 25 0 11 0 837750805 859205632 24508 4294967295 134512640 134569956 3221224368 3221214120 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24508 13086 16 0 209751 0
vsize: 839068
[startup+780.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 76787 57 0 0 25 0 11 0 837750805 859205632 24512 4294967295 134512640 134569956 3221224368 3221214640 1131426017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24512 13086 16 0 209751 0
vsize: 839068
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 77779 57 0 0 25 0 11 0 837750805 859205632 24517 4294967295 134512640 134569956 3221224368 3221214544 1131315156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24517 13086 16 0 209751 0
vsize: 839068
[startup+800.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 78772 57 0 0 25 0 11 0 837750805 859205632 24521 4294967295 134512640 134569956 3221224368 3221214544 1131315168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24521 13086 16 0 209751 0
vsize: 839068
[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 79765 57 0 0 25 0 11 0 837750805 859205632 24525 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24525 13086 16 0 209751 0
vsize: 839068
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 80757 58 0 0 25 0 11 0 837750805 859205632 24529 4294967295 134512640 134569956 3221224368 3221214640 1131430471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24529 13086 16 0 209751 0
vsize: 839068
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 81750 58 0 0 25 0 11 0 837750805 859205632 24533 4294967295 134512640 134569956 3221224368 3221214544 1131314932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24533 13086 16 0 209751 0
vsize: 839068
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 82742 59 0 0 25 0 11 0 837750805 859205632 24538 4294967295 134512640 134569956 3221224368 3221214640 1131430682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24538 13086 16 0 209751 0
vsize: 839068
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 83734 59 0 0 25 0 11 0 837750805 859205632 24544 4294967295 134512640 134569956 3221224368 3221214636 1131314508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24544 13086 16 0 209751 0
vsize: 839068
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 84726 60 0 0 25 0 11 0 837750805 859205632 24548 4294967295 134512640 134569956 3221224368 3221214544 1131315168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24548 13086 16 0 209751 0
vsize: 839068
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 85718 60 0 0 25 0 11 0 837750805 859205632 24555 4294967295 134512640 134569956 3221224368 3221214544 1131314925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24555 13086 16 0 209751 0
vsize: 839068
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 86710 60 0 0 25 0 11 0 837750805 859205632 24557 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24557 13086 16 0 209751 0
vsize: 839068
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 87702 61 0 0 25 0 11 0 837750805 859205632 24564 4294967295 134512640 134569956 3221224368 3221214544 1131315227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24564 13086 16 0 209751 0
vsize: 839068
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 88694 61 0 0 25 0 11 0 837750805 859205632 24568 4294967295 134512640 134569956 3221224368 3221214640 1131430532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24568 13086 16 0 209751 0
vsize: 839068
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 89687 62 0 0 25 0 11 0 837750805 859205632 24572 4294967295 134512640 134569956 3221224368 3221214544 1131315128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24572 13086 16 0 209751 0
vsize: 839068
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 90679 62 0 0 25 0 11 0 837750805 859205632 24576 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24576 13086 16 0 209751 0
vsize: 839068
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 91671 63 0 0 25 0 11 0 837750805 859205632 24581 4294967295 134512640 134569956 3221224368 3221214456 1131237020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24581 13086 16 0 209751 0
vsize: 839068
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 92663 64 0 0 25 0 11 0 837750805 859205632 24585 4294967295 134512640 134569956 3221224368 3221214544 1131314525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24585 13086 16 0 209751 0
vsize: 839068
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 93655 64 0 0 25 0 11 0 837750805 859205632 24589 4294967295 134512640 134569956 3221224368 3221214640 1131425777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24589 13086 16 0 209751 0
vsize: 839068
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 94648 65 0 0 25 0 11 0 837750805 859205632 24594 4294967295 134512640 134569956 3221224368 3221214640 1131430421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24594 13086 16 0 209751 0
vsize: 839068
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 95641 65 0 0 25 0 11 0 837750805 859205632 24599 4294967295 134512640 134569956 3221224368 3221214636 1131314508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24599 13086 16 0 209751 0
vsize: 839068
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 96633 66 0 0 25 0 11 0 837750805 859205632 24603 4294967295 134512640 134569956 3221224368 3221214544 1131315575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24603 13086 16 0 209751 0
vsize: 839068
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 97625 66 0 0 25 0 11 0 837750805 859205632 24605 4294967295 134512640 134569956 3221224368 3221214544 1131315514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24605 13086 16 0 209751 0
vsize: 839068
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 98618 66 0 0 25 0 11 0 837750805 859205632 24609 4294967295 134512640 134569956 3221224368 3221214640 1131432096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24609 13086 16 0 209751 0
vsize: 839068
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 99611 67 0 0 25 0 11 0 837750805 859205632 24613 4294967295 134512640 134569956 3221224368 3221214544 1131314617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24613 13086 16 0 209751 0
vsize: 839068
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 100602 67 0 0 25 0 11 0 837750805 859205632 24620 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24620 13086 16 0 209751 0
vsize: 839068
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 101595 67 0 0 25 0 11 0 837750805 859205632 24622 4294967295 134512640 134569956 3221224368 3221214544 1131315098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24622 13086 16 0 209751 0
vsize: 839068
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) S 5748 22056 22055 0 -1 0 18088 0 1 0 102587 67 0 0 25 0 11 0 837750805 859205632 24626 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209767 24626 13086 16 0 209751 0
vsize: 839068
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 103580 67 0 0 25 0 11 0 837750805 859205632 24630 4294967295 134512640 134569956 3221224368 3221214640 1131431469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24630 13086 16 0 209751 0
vsize: 839068
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 104573 67 0 0 25 0 11 0 837750805 859205632 24634 4294967295 134512640 134569956 3221224368 3221214640 1131429377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24634 13086 16 0 209751 0
vsize: 839068
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 105566 68 0 0 25 0 11 0 837750805 859205632 24636 4294967295 134512640 134569956 3221224368 3221214544 1131315575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24636 13086 16 0 209751 0
vsize: 839068
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 106559 68 0 0 25 0 11 0 837750805 859205632 24641 4294967295 134512640 134569956 3221224368 3221214456 1131235972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24641 13086 16 0 209751 0
vsize: 839068
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 107552 68 0 0 25 0 11 0 837750805 859205632 24645 4294967295 134512640 134569956 3221224368 3221214544 1131315168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24645 13086 16 0 209751 0
vsize: 839068
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 108544 68 0 0 25 0 11 0 837750805 859205632 24649 4294967295 134512640 134569956 3221224368 3221214640 1131430412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24649 13086 16 0 209751 0
vsize: 839068
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 109536 68 0 0 25 0 11 0 837750805 859205632 24654 4294967295 134512640 134569956 3221224368 3221214544 1131314658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24654 13086 16 0 209751 0
vsize: 839068
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 110529 68 0 0 25 0 11 0 837750805 859205632 24657 4294967295 134512640 134569956 3221224368 3221214544 1131315427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24657 13086 16 0 209751 0
vsize: 839068
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 111521 68 0 0 25 0 11 0 837750805 859205632 24661 4294967295 134512640 134569956 3221224368 3221214544 1131315514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24661 13086 16 0 209751 0
vsize: 839068
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 112514 68 0 0 25 0 11 0 837750805 859205632 24663 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24663 13086 16 0 209751 0
vsize: 839068
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 113506 68 0 0 25 0 11 0 837750805 859205632 24670 4294967295 134512640 134569956 3221224368 3221214544 1131314886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24670 13086 16 0 209751 0
vsize: 839068
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 114509 68 0 0 25 0 11 0 837750805 859205632 24672 4294967295 134512640 134569956 3221224368 3221214640 1131430464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24672 13086 16 0 209751 0
vsize: 839068
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 115501 68 0 0 25 0 11 0 837750805 859205632 24677 4294967295 134512640 134569956 3221224368 3221214544 1131315575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24677 13086 16 0 209751 0
vsize: 839068
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 116494 68 0 0 25 0 11 0 837750805 859205632 24681 4294967295 134512640 134569956 3221224368 3221214544 1131314999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24681 13086 16 0 209751 0
vsize: 839068
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 117486 68 0 0 25 0 11 0 837750805 859205632 24684 4294967295 134512640 134569956 3221224368 3221214456 1131237012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24684 13086 16 0 209751 0
vsize: 839068
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 118477 69 0 0 25 0 11 0 837750805 859205632 24690 4294967295 134512640 134569956 3221224368 3221214544 1131314525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24690 13086 16 0 209751 0
vsize: 839068
[startup+1210.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 119465 69 0 0 25 0 11 0 837750805 859205632 24697 4294967295 134512640 134569956 3221224368 3221214544 1131315058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24697 13086 16 0 209751 0
vsize: 839068
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5759
Raw data (stat): 5749 (java) R 5748 22056 22055 0 -1 0 18088 0 1 0 120454 69 0 0 25 0 11 0 837750805 859205632 24709 4294967295 134512640 134569956 3221224368 3221214544 1131315823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209767 24709 13086 16 0 209751 0
vsize: 839068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.26 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5761
Raw data (stat): 5749 (java) Z 5748 22056 22055 0 -1 1036 18088 4926 1 0 120456 69 1287 24 25 0 1 0 837750805 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.26
CPU time (s): 1218.38
CPU user time (s): 1217.44
CPU system time (s): 0.937857
CPU usage (%): 99.8461
Max. virtual memory (Kb): 840092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####