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-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
Bench Category	optimization, medium integers (OPTMEDINT)
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12098
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 29510

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 08:25:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20909 boxname=wulflinc13 idbench=897 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 20909
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        658272 kB
Buffers:         34184 kB
Cached:         321664 kB
SwapCached:        608 kB
Active:          66376 kB
Inactive:       292096 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        658020 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            12312 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:46:27 (client local time) WITH STATUS 143 IN 1257.06 SECONDS
stats: 20909 7 1257.06 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/wulflinc13/normalized-mps-v2-20-10-air04.opb
c reading problem ... done. Time 32.748 ms.
c #vars     8904
c #constraints  1646
c starts	: 5
c conflicts	: 1090
c decisions	: 63938
c propagations	: 780099
c inspects	: 510512
c learned literals	: 1
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 1088
c root simplifications	: 91
s UNKNOWN
c Total CPU time (ms) : 1259.083
#### 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.92 0.98 0.99 2/54 11217
Raw data (stat): 11217 (runsolver) R 11216 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779207235 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.0008 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 11226
Raw data (stat): 11217 (java) S 11216 1269 1268 0 -1 0 18006 0 1 0 880 37 0 0 25 0 10 0 779207235 853434368 19342 4294967295 134512640 134569956 3221224368 3221213248 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208358 19342 13086 16 0 208342 0
vsize: 833432
[startup+20.002 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 11226
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18007 0 1 0 1783 38 0 0 25 0 10 0 779207235 853929984 19977 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 19977 13086 16 0 208463 0
vsize: 833916
[startup+30.0037 s]
Raw data (loadavg): 1.06 1.01 1.00 4/63 11226
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18029 0 1 0 2661 38 0 0 25 0 10 0 779207235 860856320 21866 4294967295 134512640 134569956 3221224368 3221214400 1130883238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210170 21867 13086 16 0 210154 0
vsize: 840680
[startup+40.0037 s]
Raw data (loadavg): 1.21 1.05 1.01 3/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18070 0 1 0 3350 40 0 0 25 0 11 0 779207235 860295168 26371 4294967295 134512640 134569956 3221224368 3221214624 1131398196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 26371 13086 16 0 210017 0
vsize: 840132
[startup+50.0049 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18070 0 1 0 4321 41 0 0 24 0 11 0 779207235 860295168 26375 4294967295 134512640 134569956 3221224368 3221214576 1131258706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 26375 13086 16 0 210017 0
vsize: 840132
[startup+60.0055 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18070 0 1 0 5276 41 0 0 25 0 11 0 779207235 860295168 26439 4294967295 134512640 134569956 3221224368 3221214648 1131454840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 26439 13086 16 0 210017 0
vsize: 840132
[startup+70.0056 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18070 0 1 0 6219 41 0 0 25 0 11 0 779207235 860295168 26377 4294967295 134512640 134569956 3221224368 3221214708 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 26377 13086 16 0 210017 0
vsize: 840132
[startup+80.0069 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18071 0 1 0 7158 41 0 0 25 0 11 0 779207235 860295168 26517 4294967295 134512640 134569956 3221224368 3221214528 1131439352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 26517 13086 16 0 210017 0
vsize: 840132
[startup+90.0074 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18071 0 1 0 8084 41 0 0 25 0 11 0 779207235 860295168 26795 4294967295 134512640 134569956 3221224368 3221214708 1130885132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 26795 13086 16 0 210017 0
vsize: 840132
[startup+100.007 s]
Raw data (loadavg): 1.15 1.05 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 9009 41 0 0 24 0 11 0 779207235 860295168 27084 4294967295 134512640 134569956 3221224368 3221214496 1131559419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 27084 13086 16 0 210017 0
vsize: 840132
[startup+110.008 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 11227
Raw data (stat): 11217 (java) S 11216 1269 1268 0 -1 0 18072 0 1 0 9945 41 0 0 25 0 11 0 779207235 860295168 26996 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 26996 13086 16 0 210017 0
vsize: 840132
[startup+120.009 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 10886 41 0 0 25 0 11 0 779207235 860295168 27202 4294967295 134512640 134569956 3221224368 3221214544 1131258721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 27202 13086 16 0 210017 0
vsize: 840132
[startup+130.009 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 11835 42 0 0 25 0 11 0 779207235 860295168 27348 4294967295 134512640 134569956 3221224368 3221214736 1131406920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 27348 13086 16 0 210017 0
vsize: 840132
[startup+140.008 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 12789 42 0 0 25 0 11 0 779207235 860295168 27663 4294967295 134512640 134569956 3221224368 3221214736 1131407687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 27663 13086 16 0 210017 0
vsize: 840132
[startup+150.009 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 13733 42 0 0 25 0 11 0 779207235 860295168 27869 4294967295 134512640 134569956 3221224368 3221214708 1130885240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 27869 13086 16 0 210017 0
vsize: 840132
[startup+160.009 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 14680 42 0 0 25 0 11 0 779207235 860295168 27869 4294967295 134512640 134569956 3221224368 3221214544 1131383986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 27869 13086 16 0 210017 0
vsize: 840132
[startup+170.008 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 15615 42 0 0 25 0 11 0 779207235 860295168 27899 4294967295 134512640 134569956 3221224368 3221214664 1131258556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 27899 13086 16 0 210017 0
vsize: 840132
[startup+180.009 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 16545 43 0 0 25 0 11 0 779207235 860295168 28047 4294967295 134512640 134569956 3221224368 3221214496 1131560322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 28047 13086 16 0 210017 0
vsize: 840132
[startup+190.01 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 17488 43 0 0 25 0 11 0 779207235 860295168 28095 4294967295 134512640 134569956 3221224368 3221214640 1131258585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 28095 13086 16 0 210017 0
vsize: 840132
[startup+200.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 18421 43 0 0 25 0 11 0 779207235 860295168 28378 4294967295 134512640 134569956 3221224368 3221214552 1131398172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 28378 13086 16 0 210017 0
vsize: 840132
[startup+210.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 19355 43 0 0 25 0 11 0 779207235 860295168 28511 4294967295 134512640 134569956 3221224368 3221214584 1131477542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 28511 13086 16 0 210017 0
vsize: 840132
[startup+220.011 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 20296 44 0 0 25 0 11 0 779207235 860295168 28663 4294967295 134512640 134569956 3221224368 3221214488 1131258737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 28663 13086 16 0 210017 0
vsize: 840132
[startup+230.011 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 21239 44 0 0 25 0 11 0 779207235 860295168 28807 4294967295 134512640 134569956 3221224368 3221214544 1131258506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 28807 13086 16 0 210017 0
vsize: 840132
[startup+240.012 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 22177 44 0 0 25 0 11 0 779207235 860295168 28854 4294967295 134512640 134569956 3221224368 3221214584 1131476813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 28854 13086 16 0 210017 0
vsize: 840132
[startup+250.012 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 23127 45 0 0 25 0 11 0 779207235 860295168 29019 4294967295 134512640 134569956 3221224368 3221214760 1131482781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 29019 13086 16 0 210017 0
vsize: 840132
[startup+260.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 24066 45 0 0 25 0 11 0 779207235 860295168 29186 4294967295 134512640 134569956 3221224368 3221214648 1131449892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 29186 13086 16 0 210017 0
vsize: 840132
[startup+270.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 25021 46 0 0 25 0 11 0 779207235 860295168 29467 4294967295 134512640 134569956 3221224368 3221214648 1131450268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 29467 13086 16 0 210017 0
vsize: 840132
[startup+280.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 25975 46 0 0 25 0 11 0 779207235 860295168 29554 4294967295 134512640 134569956 3221224368 3221214544 1131259384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 29554 13086 16 0 210017 0
vsize: 840132
[startup+290.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 26938 46 0 0 25 0 11 0 779207235 860295168 29554 4294967295 134512640 134569956 3221224368 3221214584 1131477272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 29554 13086 16 0 210017 0
vsize: 840132
[startup+300.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 27885 46 0 0 25 0 11 0 779207235 860295168 29554 4294967295 134512640 134569956 3221224368 3221214556 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 29554 13086 16 0 210017 0
vsize: 840132
[startup+310.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 28840 47 0 0 25 0 11 0 779207235 860295168 29673 4294967295 134512640 134569956 3221224368 3221214648 1131450167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 29673 13086 16 0 210017 0
vsize: 840132
[startup+320.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 29781 47 0 0 25 0 11 0 779207235 860295168 29785 4294967295 134512640 134569956 3221224368 3221214504 1131263001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 29785 13086 16 0 210017 0
vsize: 840132
[startup+330.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 30735 47 0 0 25 0 11 0 779207235 860295168 29934 4294967295 134512640 134569956 3221224368 3221214496 1131561155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 29934 13086 16 0 210017 0
vsize: 840132
[startup+340.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 31679 47 0 0 25 0 11 0 779207235 860295168 30026 4294967295 134512640 134569956 3221224368 3221214488 1131258913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 30026 13086 16 0 210017 0
vsize: 840132
[startup+350.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 32630 48 0 0 25 0 11 0 779207235 860295168 30123 4294967295 134512640 134569956 3221224368 3221214736 1131408971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 30123 13086 16 0 210017 0
vsize: 840132
[startup+360.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 33566 48 0 0 25 0 11 0 779207235 860295168 30281 4294967295 134512640 134569956 3221224368 3221214544 1131384128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 30281 13086 16 0 210017 0
vsize: 840132
[startup+370.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 34499 48 0 0 25 0 11 0 779207235 860295168 30469 4294967295 134512640 134569956 3221224368 3221214456 1131263420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 30469 13086 16 0 210017 0
vsize: 840132
[startup+380.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 35442 49 0 0 25 0 11 0 779207235 860295168 30631 4294967295 134512640 134569956 3221224368 3221214736 1131409116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 30631 13086 16 0 210017 0
vsize: 840132
[startup+390.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 36377 49 0 0 25 0 11 0 779207235 860295168 30781 4294967295 134512640 134569956 3221224368 3221214544 1131383825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 30781 13086 16 0 210017 0
vsize: 840132
[startup+400.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 37310 49 0 0 25 0 11 0 779207235 860295168 30886 4294967295 134512640 134569956 3221224368 3221214744 1131574346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 30886 13086 16 0 210017 0
vsize: 840132
[startup+410.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18072 0 1 0 38243 49 0 0 25 0 11 0 779207235 860295168 30952 4294967295 134512640 134569956 3221224368 3221214552 1131398172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 30952 13086 16 0 210017 0
vsize: 840132
[startup+420.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 39161 49 0 0 25 0 11 0 779207235 860295168 31031 4294967295 134512640 134569956 3221224368 3221214648 1131450102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 31031 13086 16 0 210017 0
vsize: 840132
[startup+430.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 40076 50 0 0 24 0 11 0 779207235 860295168 31230 4294967295 134512640 134569956 3221224368 3221214552 1131398194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 31230 13086 16 0 210017 0
vsize: 840132
[startup+440.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) S 11216 1269 1268 0 -1 0 18073 0 1 0 40999 50 0 0 25 0 11 0 779207235 860295168 31376 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 31376 13086 16 0 210017 0
vsize: 840132
[startup+450.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 41932 50 0 0 25 0 11 0 779207235 860295168 31632 4294967295 134512640 134569956 3221224368 3221214736 1131406118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 31632 13086 16 0 210017 0
vsize: 840132
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 42885 51 0 0 25 0 11 0 779207235 860295168 31758 4294967295 134512640 134569956 3221224368 3221214736 1131407795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 31758 13086 16 0 210017 0
vsize: 840132
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 43829 51 0 0 25 0 11 0 779207235 860295168 31872 4294967295 134512640 134569956 3221224368 3221214648 1131451120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 31872 13086 16 0 210017 0
vsize: 840132
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 44760 51 0 0 25 0 11 0 779207235 860295168 32038 4294967295 134512640 134569956 3221224368 3221214544 1131383471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 32038 13086 16 0 210017 0
vsize: 840132
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) S 11216 1269 1268 0 -1 0 18073 0 1 0 45703 51 0 0 25 0 11 0 779207235 860295168 32112 4294967295 134512640 134569956 3221224368 3221213144 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 32112 13086 16 0 210017 0
vsize: 840132
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 46650 52 0 0 25 0 11 0 779207235 860295168 32204 4294967295 134512640 134569956 3221224368 3221214544 1131383948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 32204 13086 16 0 210017 0
vsize: 840132
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 47588 52 0 0 25 0 11 0 779207235 860295168 32311 4294967295 134512640 134569956 3221224368 3221214648 1131450167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 32311 13086 16 0 210017 0
vsize: 840132
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 48522 52 0 0 25 0 11 0 779207235 860295168 32505 4294967295 134512640 134569956 3221224368 3221214544 1131384123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 32505 13086 16 0 210017 0
vsize: 840132
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 49480 52 0 0 25 0 11 0 779207235 860295168 32639 4294967295 134512640 134569956 3221224368 3221214648 1131449849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 32639 13086 16 0 210017 0
vsize: 840132
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 50431 52 0 0 25 0 11 0 779207235 860295168 32755 4294967295 134512640 134569956 3221224368 3221214544 1131258721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 32755 13086 16 0 210017 0
vsize: 840132
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 51389 52 0 0 25 0 11 0 779207235 860295168 32833 4294967295 134512640 134569956 3221224368 3221214648 1131454875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 32833 13086 16 0 210017 0
vsize: 840132
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 52348 53 0 0 24 0 11 0 779207235 860295168 32992 4294967295 134512640 134569956 3221224368 3221214584 1131477164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 32992 13086 16 0 210017 0
vsize: 840132
[startup+570.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 53319 53 0 0 24 0 11 0 779207235 860295168 33024 4294967295 134512640 134569956 3221224368 3221214584 1131476855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33024 13086 16 0 210017 0
vsize: 840132
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 54285 53 0 0 25 0 11 0 779207235 860295168 33112 4294967295 134512640 134569956 3221224368 3221214544 1131384193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33112 13086 16 0 210017 0
vsize: 840132
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 55255 54 0 0 25 0 11 0 779207235 860295168 33179 4294967295 134512640 134569956 3221224368 3221214648 1131450098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 33179 13086 16 0 210017 0
vsize: 840132
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 56213 54 0 0 25 0 11 0 779207235 860295168 33225 4294967295 134512640 134569956 3221224368 3221214736 1131406920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33225 13086 16 0 210017 0
vsize: 840132
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 57174 55 0 0 25 0 11 0 779207235 860295168 33285 4294967295 134512640 134569956 3221224368 3221214648 1131450098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33285 13086 16 0 210017 0
vsize: 840132
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 58125 55 0 0 25 0 11 0 779207235 860295168 33316 4294967295 134512640 134569956 3221224368 3221214544 1131259122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33316 13086 16 0 210017 0
vsize: 840132
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 59069 55 0 0 25 0 11 0 779207235 860295168 33432 4294967295 134512640 134569956 3221224368 3221214456 1131518646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33432 13086 16 0 210017 0
vsize: 840132
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 60013 55 0 0 25 0 11 0 779207235 860295168 33511 4294967295 134512640 134569956 3221224368 3221214496 1131561952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33511 13086 16 0 210017 0
vsize: 840132
[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 60964 55 0 0 25 0 11 0 779207235 860295168 33594 4294967295 134512640 134569956 3221224368 3221214488 1131258682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33594 13086 16 0 210017 0
vsize: 840132
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 61919 56 0 0 25 0 11 0 779207235 860295168 33688 4294967295 134512640 134569956 3221224368 3221214488 1131258494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33688 13086 16 0 210017 0
vsize: 840132
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 62886 56 0 0 24 0 11 0 779207235 860295168 33837 4294967295 134512640 134569956 3221224368 3221214496 1131559196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33837 13086 16 0 210017 0
vsize: 840132
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 63870 56 0 0 25 0 11 0 779207235 860295168 33993 4294967295 134512640 134569956 3221224368 3221214584 1131477556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 33993 13086 16 0 210017 0
vsize: 840132
[startup+690.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 64863 56 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214584 1131477164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 65860 57 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214584 1131476898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+710.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 66858 57 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214488 1131258682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+720.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 67855 58 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214640 1131601659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+730.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 68852 58 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214488 1131258772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+740.028 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 69850 59 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214584 1131477164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+750.027 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 70847 59 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214584 1131477310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+760.028 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 71845 60 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214488 1131258721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+770.029 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 72842 60 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214556 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+780.028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 73839 60 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214488 1131258682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+790.029 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 74837 61 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214544 1131258702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+800.028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 75834 61 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214584 1131477637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+810.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 76830 61 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214556 1130885147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+820.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 77825 62 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214488 1131258721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+830.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 78821 62 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214640 1131601411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+840.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 79804 63 0 0 25 0 11 0 779207235 860295168 34122 4294967295 134512640 134569956 3221224368 3221214496 1131559445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34122 13086 16 0 210017 0
vsize: 840132
[startup+850.031 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 80784 63 0 0 25 0 11 0 779207235 860295168 34127 4294967295 134512640 134569956 3221224368 3221214488 1131258638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34127 13086 16 0 210017 0
vsize: 840132
[startup+860.032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 81757 63 0 0 25 0 11 0 779207235 860295168 34145 4294967295 134512640 134569956 3221224368 3221214604 1131352009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34145 13086 16 0 210017 0
vsize: 840132
[startup+870.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 82727 63 0 0 25 0 11 0 779207235 860295168 34154 4294967295 134512640 134569956 3221224368 3221214704 1131512900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34154 13086 16 0 210017 0
vsize: 840132
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 83694 63 0 0 25 0 11 0 779207235 860295168 34154 4294967295 134512640 134569956 3221224368 3221214736 1131407300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 34154 13086 16 0 210017 0
vsize: 840132
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 84662 63 0 0 25 0 11 0 779207235 860295168 34209 4294967295 134512640 134569956 3221224368 3221214584 1131477325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34209 13086 16 0 210017 0
vsize: 840132
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 85633 64 0 0 25 0 11 0 779207235 860295168 34292 4294967295 134512640 134569956 3221224368 3221214648 1131450098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34292 13086 16 0 210017 0
vsize: 840132
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 86599 64 0 0 25 0 11 0 779207235 860295168 34292 4294967295 134512640 134569956 3221224368 3221214736 1131406920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34292 13086 16 0 210017 0
vsize: 840132
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 87564 64 0 0 25 0 11 0 779207235 860295168 34405 4294967295 134512640 134569956 3221224368 3221214648 1131451175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34405 13086 16 0 210017 0
vsize: 840132
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 88534 64 0 0 25 0 11 0 779207235 860295168 34468 4294967295 134512640 134569956 3221224368 3221214488 1131259384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34468 13086 16 0 210017 0
vsize: 840132
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 89506 65 0 0 25 0 11 0 779207235 860295168 34468 4294967295 134512640 134569956 3221224368 3221214488 1131258721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34468 13086 16 0 210017 0
vsize: 840132
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 90483 65 0 0 25 0 11 0 779207235 860295168 34468 4294967295 134512640 134569956 3221224368 3221214736 1131406979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34468 13086 16 0 210017 0
vsize: 840132
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 91458 65 0 0 25 0 11 0 779207235 860295168 34611 4294967295 134512640 134569956 3221224368 3221214640 1131258772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34611 13086 16 0 210017 0
vsize: 840132
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 92438 65 0 0 25 0 11 0 779207235 860295168 34611 4294967295 134512640 134569956 3221224368 3221214708 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34611 13086 16 0 210017 0
vsize: 840132
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 93413 66 0 0 25 0 11 0 779207235 860295168 34662 4294967295 134512640 134569956 3221224368 3221214736 1131405911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34662 13086 16 0 210017 0
vsize: 840132
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 94389 66 0 0 25 0 11 0 779207235 860295168 34662 4294967295 134512640 134569956 3221224368 3221214488 1131258556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34662 13086 16 0 210017 0
vsize: 840132
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 95360 67 0 0 25 0 11 0 779207235 860295168 34662 4294967295 134512640 134569956 3221224368 3221214584 1131476819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34662 13086 16 0 210017 0
vsize: 840132
[startup+1010.04 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 96324 67 0 0 25 0 11 0 779207235 860295168 34699 4294967295 134512640 134569956 3221224368 3221214736 1131408914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34699 13086 16 0 210017 0
vsize: 840132
[startup+1020.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 97283 67 0 0 25 0 11 0 779207235 860295168 34764 4294967295 134512640 134569956 3221224368 3221214584 1131477028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34764 13086 16 0 210017 0
vsize: 840132
[startup+1030.04 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 98251 68 0 0 25 0 11 0 779207235 860295168 34812 4294967295 134512640 134569956 3221224368 3221214560 1131246036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34812 13086 16 0 210017 0
vsize: 840132
[startup+1040.04 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 99216 68 0 0 25 0 11 0 779207235 860295168 34813 4294967295 134512640 134569956 3221224368 3221214584 1131476932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34813 13086 16 0 210017 0
vsize: 840132
[startup+1050.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 100176 68 0 0 25 0 11 0 779207235 860295168 34880 4294967295 134512640 134569956 3221224368 3221214648 1131450098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 34880 13086 16 0 210017 0
vsize: 840132
[startup+1060.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 101124 68 0 0 25 0 11 0 779207235 860295168 35067 4294967295 134512640 134569956 3221224368 3221214544 1131384247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35067 13086 16 0 210017 0
vsize: 840132
[startup+1070.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 102076 68 0 0 25 0 11 0 779207235 860295168 35131 4294967295 134512640 134569956 3221224368 3221214648 1131452153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210033 35131 13086 16 0 210017 0
vsize: 840132
[startup+1080.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 103023 69 0 0 24 0 11 0 779207235 860295168 35131 4294967295 134512640 134569956 3221224368 3221214584 1131477594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35131 13086 16 0 210017 0
vsize: 840132
[startup+1090.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 103973 70 0 0 25 0 11 0 779207235 860295168 35264 4294967295 134512640 134569956 3221224368 3221214544 1131383314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35264 13086 16 0 210017 0
vsize: 840132
[startup+1100.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 104931 70 0 0 25 0 11 0 779207235 860295168 35332 4294967295 134512640 134569956 3221224368 3221214544 1131383922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35332 13086 16 0 210017 0
vsize: 840132
[startup+1110.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 105881 70 0 0 25 0 11 0 779207235 860295168 35455 4294967295 134512640 134569956 3221224368 3221214552 1131398279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35455 13086 16 0 210017 0
vsize: 840132
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 106836 71 0 0 25 0 11 0 779207235 860295168 35470 4294967295 134512640 134569956 3221224368 3221214580 1131402080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35470 13086 16 0 210017 0
vsize: 840132
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 107780 71 0 0 25 0 11 0 779207235 860295168 35545 4294967295 134512640 134569956 3221224368 3221214584 1131477664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35545 13086 16 0 210017 0
vsize: 840132
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 108712 72 0 0 25 0 11 0 779207235 860295168 35679 4294967295 134512640 134569956 3221224368 3221214544 1131383276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35679 13086 16 0 210017 0
vsize: 840132
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 109655 72 0 0 25 0 11 0 779207235 860295168 35795 4294967295 134512640 134569956 3221224368 3221214544 1131384123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35795 13086 16 0 210017 0
vsize: 840132
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 110609 73 0 0 25 0 11 0 779207235 860295168 35944 4294967295 134512640 134569956 3221224368 3221214640 1131258871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35944 13086 16 0 210017 0
vsize: 840132
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 111568 73 0 0 25 0 11 0 779207235 860295168 35984 4294967295 134512640 134569956 3221224368 3221214632 1131383351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 35984 13086 16 0 210017 0
vsize: 840132
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 112522 73 0 0 25 0 11 0 779207235 860295168 36040 4294967295 134512640 134569956 3221224368 3221214544 1131383467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 36040 13086 16 0 210017 0
vsize: 840132
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 113462 74 0 0 25 0 11 0 779207235 860295168 36043 4294967295 134512640 134569956 3221224368 3221214736 1131407300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 36043 13086 16 0 210017 0
vsize: 840132
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 114396 74 0 0 25 0 11 0 779207235 860295168 36049 4294967295 134512640 134569956 3221224368 3221214648 1131450098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 36049 13086 16 0 210017 0
vsize: 840132
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 115327 74 0 0 25 0 11 0 779207235 860295168 36158 4294967295 134512640 134569956 3221224368 3221214648 1131452017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 36158 13086 16 0 210017 0
vsize: 840132
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 116261 74 0 0 25 0 11 0 779207235 860295168 36390 4294967295 134512640 134569956 3221224368 3221214580 1131245984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 36390 13086 16 0 210017 0
vsize: 840132
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 117214 74 0 0 25 0 11 0 779207235 860295168 36529 4294967295 134512640 134569956 3221224368 3221214496 1131560435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 36529 13086 16 0 210017 0
vsize: 840132
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 118166 75 0 0 25 0 11 0 779207235 860295168 36616 4294967295 134512640 134569956 3221224368 3221214584 1131477650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 36616 13086 16 0 210017 0
vsize: 840132
[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 119124 75 0 0 25 0 11 0 779207235 860295168 36737 4294967295 134512640 134569956 3221224368 3221214580 1131352012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 36737 13086 16 0 210017 0
vsize: 840132
[startup+1260.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11227
Raw data (stat): 11217 (java) R 11216 1269 1268 0 -1 0 18073 0 1 0 120087 75 0 0 25 0 11 0 779207235 860295168 36852 4294967295 134512640 134569956 3221224368 3221214488 1131259122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210033 36852 13086 16 0 210017 0
vsize: 840132
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 11229
Raw data (stat): 11217 (java) Z 11216 1269 1268 0 -1 1036 18073 16878 1 0 120093 75 5491 44 25 0 1 0 779207235 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): 1260.18
CPU time (s): 1257.06
CPU user time (s): 1255.86
CPU system time (s): 1.19782
CPU usage (%): 99.7524
Max. virtual memory (Kb): 840680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####