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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUM	b552ff39062b6c42ea64365c815cbd78
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2650
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2650
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2650
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2650
Total number of constraints	6619
Number of constraints which are clauses	6619
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 29235

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 05:48:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20617 boxname=wulflinc11 idbench=207 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b552ff39062b6c42ea64365c815cbd78  /oldhome/oroussel/tmp/wulflinc11/normalized-par32-3-c.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-par32-3-c.opb
IDLAUNCH: 20617
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        874740 kB
Buffers:         21068 kB
Cached:         118036 kB
SwapCached:        772 kB
Active:          33396 kB
Inactive:       107760 kB
HighTotal:      131008 kB
HighFree:        13104 kB
LowTotal:       903652 kB
LowFree:        861636 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13204 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:09:06 (client local time) WITH STATUS 143 IN 1247.78 SECONDS
stats: 20617 7 1247.78 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/wulflinc11/normalized-par32-3-c.opb
c reading problem ... done. Time 5.949 ms.
c #vars     2650
c #constraints  6619
c starts	: 10
c conflicts	: 10468
c decisions	: 11475
c propagations	: 6904802
c inspects	: 24707679
c learned literals	: 1
c learned binary clauses	: 33
c learned ternary clauses	: 19
c learned clauses	: 10467
c root simplifications	: 11
s UNKNOWN
c Total CPU time (ms) : 1249.09
#### 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.91 0.95 0.98 2/54 4490
Raw data (stat): 4490 (runsolver) R 4489 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778253607 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.09 0.99 0.99 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18063 0 1 0 731 41 0 0 25 0 11 0 778253607 856342528 19531 4294967295 134512640 134569956 3221224384 3221214420 1130892673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209068 19531 13086 16 0 209052 0
vsize: 836272
[startup+20.0013 s]
Raw data (loadavg): 1.15 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18064 0 1 0 1652 41 0 0 25 0 11 0 778253607 856375296 21241 4294967295 134512640 134569956 3221224384 3221214608 1131295456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209076 21241 13086 16 0 209060 0
vsize: 836304
[startup+30.0018 s]
Raw data (loadavg): 1.20 1.02 1.01 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18064 0 1 0 2619 42 0 0 25 0 11 0 778253607 856641536 22071 4294967295 134512640 134569956 3221224384 3221214752 1131276680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209141 22071 13086 16 0 209125 0
vsize: 836564
[startup+40.002 s]
Raw data (loadavg): 1.17 1.02 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18064 0 1 0 3600 42 0 0 25 0 11 0 778253607 856641536 22073 4294967295 134512640 134569956 3221224384 3221214784 1131369737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209141 22073 13086 16 0 209125 0
vsize: 836564
[startup+50.0038 s]
Raw data (loadavg): 1.14 1.02 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18064 0 1 0 4573 42 0 0 25 0 11 0 778253607 856641536 22073 4294967295 134512640 134569956 3221224384 3221214796 1131350985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209141 22073 13086 16 0 209125 0
vsize: 836564
[startup+60.0042 s]
Raw data (loadavg): 1.12 1.02 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18064 0 1 0 5540 42 0 0 25 0 11 0 778253607 856641536 22077 4294967295 134512640 134569956 3221224384 3221214772 1131127952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209141 22077 13086 16 0 209125 0
vsize: 836564
[startup+70.0068 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 4500
Raw data (stat): 4490 (java) S 4489 25830 25829 0 -1 0 18064 0 1 0 6510 42 0 0 25 0 11 0 778253607 856309760 21996 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 21996 13086 16 0 209044 0
vsize: 836240
[startup+80.0082 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18064 0 1 0 7468 42 0 0 25 0 11 0 778253607 856309760 22019 4294967295 134512640 134569956 3221224384 3221214608 1131224664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22019 13086 16 0 209044 0
vsize: 836240
[startup+90.0084 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18064 0 1 0 8424 42 0 0 25 0 11 0 778253607 856309760 22127 4294967295 134512640 134569956 3221224384 3221214696 1131287727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22127 13086 16 0 209044 0
vsize: 836240
[startup+100.01 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 9378 42 0 0 25 0 11 0 778253607 856309760 22191 4294967295 134512640 134569956 3221224384 3221214768 1131222662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22191 13086 16 0 209044 0
vsize: 836240
[startup+110.01 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 10340 42 0 0 25 0 11 0 778253607 856309760 22256 4294967295 134512640 134569956 3221224384 3221214788 1131371811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22256 13086 16 0 209044 0
vsize: 836240
[startup+120.011 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 11301 42 0 0 25 0 11 0 778253607 856309760 22339 4294967295 134512640 134569956 3221224384 3221214768 1131365353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22339 13086 16 0 209044 0
vsize: 836240
[startup+130.011 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 12249 42 0 0 25 0 11 0 778253607 856309760 22449 4294967295 134512640 134569956 3221224384 3221214648 1131287237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22449 13086 16 0 209044 0
vsize: 836240
[startup+140.015 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 4500
Raw data (stat): 4490 (java) S 4489 25830 25829 0 -1 0 18065 0 1 0 13196 42 0 0 25 0 11 0 778253607 856309760 22540 4294967295 134512640 134569956 3221224384 3221213248 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22540 13086 16 0 209044 0
vsize: 836240
[startup+150.016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 14153 42 0 0 25 0 11 0 778253607 856309760 22643 4294967295 134512640 134569956 3221224384 3221214792 1131366499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22643 13086 16 0 209044 0
vsize: 836240
[startup+160.017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 15110 42 0 0 25 0 11 0 778253607 856309760 22721 4294967295 134512640 134569956 3221224384 3221214696 1131287228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22721 13086 16 0 209044 0
vsize: 836240
[startup+170.016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 16055 42 0 0 25 0 11 0 778253607 856309760 22835 4294967295 134512640 134569956 3221224384 3221214696 1131294623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22835 13086 16 0 209044 0
vsize: 836240
[startup+180.016 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 17011 42 0 0 25 0 11 0 778253607 856309760 22921 4294967295 134512640 134569956 3221224384 3221214400 1076461217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 22921 13086 16 0 209044 0
vsize: 836240
[startup+190.017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 17956 42 0 0 25 0 11 0 778253607 856309760 23080 4294967295 134512640 134569956 3221224384 3221214648 1131287237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 23080 13086 16 0 209044 0
vsize: 836240
[startup+200.017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 18915 42 0 0 25 0 11 0 778253607 856309760 23181 4294967295 134512640 134569956 3221224384 3221214616 1131325570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 23181 13086 16 0 209044 0
vsize: 836240
[startup+210.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 19874 42 0 0 25 0 11 0 778253607 856309760 23278 4294967295 134512640 134569956 3221224384 3221214760 1131404239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 23278 13086 16 0 209044 0
vsize: 836240
[startup+220.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 20822 42 0 0 25 0 11 0 778253607 856309760 23409 4294967295 134512640 134569956 3221224384 3221214696 1131294778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 23409 13086 16 0 209044 0
vsize: 836240
[startup+230.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 21771 42 0 0 25 0 11 0 778253607 856309760 23508 4294967295 134512640 134569956 3221224384 3221214744 1131459983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 23508 13086 16 0 209044 0
vsize: 836240
[startup+240.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 22729 42 0 0 25 0 11 0 778253607 856309760 23599 4294967295 134512640 134569956 3221224384 3221214644 1131322348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 23599 13086 16 0 209044 0
vsize: 836240
[startup+250.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 23676 42 0 0 25 0 11 0 778253607 856309760 23718 4294967295 134512640 134569956 3221224384 3221214768 1131365345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 23718 13086 16 0 209044 0
vsize: 836240
[startup+260.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 24632 42 0 0 25 0 11 0 778253607 856309760 23806 4294967295 134512640 134569956 3221224384 3221214592 1131364325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 23806 13086 16 0 209044 0
vsize: 836240
[startup+270.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 25577 42 0 0 25 0 11 0 778253607 856309760 23903 4294967295 134512640 134569956 3221224384 3221214704 1131411221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 23903 13086 16 0 209044 0
vsize: 836240
[startup+280.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 26532 42 0 0 25 0 11 0 778253607 856309760 24006 4294967295 134512640 134569956 3221224384 3221214792 1131366487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 24006 13086 16 0 209044 0
vsize: 836240
[startup+290.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 27475 42 0 0 25 0 11 0 778253607 856309760 24111 4294967295 134512640 134569956 3221224384 3221214696 1131286945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 24111 13086 16 0 209044 0
vsize: 836240
[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 28417 42 0 0 25 0 11 0 778253607 856309760 24227 4294967295 134512640 134569956 3221224384 3221214740 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 24227 13086 16 0 209044 0
vsize: 836240
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 29371 42 0 0 25 0 11 0 778253607 856309760 24347 4294967295 134512640 134569956 3221224384 3221214776 1131370185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 24347 13086 16 0 209044 0
vsize: 836240
[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 30315 42 0 0 25 0 11 0 778253607 856309760 24481 4294967295 134512640 134569956 3221224384 3221214424 1078032375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 24481 13086 16 0 209044 0
vsize: 836240
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 31270 42 0 0 25 0 11 0 778253607 856309760 24570 4294967295 134512640 134569956 3221224384 3221214744 1131460079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 24570 13086 16 0 209044 0
vsize: 836240
[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 32213 42 0 0 25 0 11 0 778253607 856309760 24694 4294967295 134512640 134569956 3221224384 3221214736 1131364261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 24694 13086 16 0 209044 0
vsize: 836240
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 33166 42 0 0 25 0 11 0 778253607 856309760 24801 4294967295 134512640 134569956 3221224384 3221214740 1130885163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 24801 13086 16 0 209044 0
vsize: 836240
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 34108 42 0 0 25 0 11 0 778253607 856309760 24916 4294967295 134512640 134569956 3221224384 3221214744 1131462073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 24916 13086 16 0 209044 0
vsize: 836240
[startup+370.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) S 4489 25830 25829 0 -1 0 18065 0 1 0 35053 42 0 0 25 0 11 0 778253607 856309760 25062 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 25062 13086 16 0 209044 0
vsize: 836240
[startup+380.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 36003 42 0 0 25 0 11 0 778253607 856309760 25161 4294967295 134512640 134569956 3221224384 3221214744 1131276697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 25161 13086 16 0 209044 0
vsize: 836240
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 36955 43 0 0 25 0 11 0 778253607 856309760 25271 4294967295 134512640 134569956 3221224384 3221214696 1131287645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 25271 13086 16 0 209044 0
vsize: 836240
[startup+400.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 37895 43 0 0 25 0 11 0 778253607 856309760 25413 4294967295 134512640 134569956 3221224384 3221214744 1131274666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 25413 13086 16 0 209044 0
vsize: 836240
[startup+410.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 38847 43 0 0 25 0 11 0 778253607 856309760 25541 4294967295 134512640 134569956 3221224384 3221214736 1131364261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 25541 13086 16 0 209044 0
vsize: 836240
[startup+420.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 39786 43 0 0 25 0 11 0 778253607 856309760 25670 4294967295 134512640 134569956 3221224384 3221214792 1131366487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 25670 13086 16 0 209044 0
vsize: 836240
[startup+430.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 40738 43 0 0 25 0 11 0 778253607 856309760 25759 4294967295 134512640 134569956 3221224384 3221214792 1131366451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 25759 13086 16 0 209044 0
vsize: 836240
[startup+440.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 41680 43 0 0 25 0 11 0 778253607 856309760 25894 4294967295 134512640 134569956 3221224384 3221214740 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 25894 13086 16 0 209044 0
vsize: 836240
[startup+450.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 42633 43 0 0 25 0 11 0 778253607 856309760 25984 4294967295 134512640 134569956 3221224384 3221214744 1131461422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 25984 13086 16 0 209044 0
vsize: 836240
[startup+460.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 43587 43 0 0 25 0 11 0 778253607 856309760 26095 4294967295 134512640 134569956 3221224384 3221214736 1131364315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 26095 13086 16 0 209044 0
vsize: 836240
[startup+470.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 44530 43 0 0 25 0 11 0 778253607 856309760 26243 4294967295 134512640 134569956 3221224384 3221214648 1131286892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 26243 13086 16 0 209044 0
vsize: 836240
[startup+480.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 45474 43 0 0 24 0 11 0 778253607 856309760 26383 4294967295 134512640 134569956 3221224384 3221214764 1131127964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 26383 13086 16 0 209044 0
vsize: 836240
[startup+490.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 46429 43 0 0 25 0 11 0 778253607 856309760 26487 4294967295 134512640 134569956 3221224384 3221214592 1131272907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 26487 13086 16 0 209044 0
vsize: 836240
[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 47375 43 0 0 25 0 11 0 778253607 856309760 26600 4294967295 134512640 134569956 3221224384 3221214760 1131403709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 26600 13086 16 0 209044 0
vsize: 836240
[startup+510.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 48332 43 0 0 25 0 11 0 778253607 856309760 26691 4294967295 134512640 134569956 3221224384 3221214744 1131460798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 26691 13086 16 0 209044 0
vsize: 836240
[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 49277 43 0 0 25 0 11 0 778253607 856309760 26816 4294967295 134512640 134569956 3221224384 3221214560 1131224340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 26816 13086 16 0 209044 0
vsize: 836240
[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 50222 43 0 0 25 0 11 0 778253607 856309760 26936 4294967295 134512640 134569956 3221224384 3221214760 1131445939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 26936 13086 16 0 209044 0
vsize: 836240
[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 51178 43 0 0 25 0 11 0 778253607 856309760 27014 4294967295 134512640 134569956 3221224384 3221214592 1131364261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27014 13086 16 0 209044 0
vsize: 836240
[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 52139 43 0 0 25 0 11 0 778253607 856309760 27103 4294967295 134512640 134569956 3221224384 3221214704 1131411120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 27103 13086 16 0 209044 0
vsize: 836240
[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 53105 43 0 0 25 0 11 0 778253607 856309760 27164 4294967295 134512640 134569956 3221224384 3221214768 1131222521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27164 13086 16 0 209044 0
vsize: 836240
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 54082 43 0 0 25 0 11 0 778253607 856309760 27212 4294967295 134512640 134569956 3221224384 3221214736 1131589148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27212 13086 16 0 209044 0
vsize: 836240
[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 55059 43 0 0 25 0 11 0 778253607 856309760 27261 4294967295 134512640 134569956 3221224384 3221214624 1131416958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27261 13086 16 0 209044 0
vsize: 836240
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 56037 43 0 0 25 0 11 0 778253607 856309760 27299 4294967295 134512640 134569956 3221224384 3221214648 1131220903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27299 13086 16 0 209044 0
vsize: 836240
[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 57013 43 0 0 25 0 11 0 778253607 856309760 27333 4294967295 134512640 134569956 3221224384 3221214740 1130885150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27333 13086 16 0 209044 0
vsize: 836240
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 57990 43 0 0 25 0 11 0 778253607 856309760 27382 4294967295 134512640 134569956 3221224384 3221213856 1131300621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27382 13086 16 0 209044 0
vsize: 836240
[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 58956 43 0 0 25 0 11 0 778253607 856309760 27463 4294967295 134512640 134569956 3221224384 3221214208 1131580644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27463 13086 16 0 209044 0
vsize: 836240
[startup+630.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 59907 43 0 0 25 0 11 0 778253607 856309760 27555 4294967295 134512640 134569956 3221224384 3221214648 1131286958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27555 13086 16 0 209044 0
vsize: 836240
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 60847 43 0 0 25 0 11 0 778253607 856309760 27675 4294967295 134512640 134569956 3221224384 3221214768 1131365345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27675 13086 16 0 209044 0
vsize: 836240
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 61799 43 0 0 25 0 11 0 778253607 856309760 27779 4294967295 134512640 134569956 3221224384 3221214632 1131365361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27779 13086 16 0 209044 0
vsize: 836240
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 62775 43 0 0 25 0 11 0 778253607 856309760 27822 4294967295 134512640 134569956 3221224384 3221213688 1131300561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27822 13086 16 0 209044 0
vsize: 836240
[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 63751 44 0 0 25 0 11 0 778253607 856309760 27866 4294967295 134512640 134569956 3221224384 3221214264 1131580732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27866 13086 16 0 209044 0
vsize: 836240
[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 64727 44 0 0 25 0 11 0 778253607 856309760 27906 4294967295 134512640 134569956 3221224384 3221214016 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27906 13086 16 0 209044 0
vsize: 836240
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 65704 44 0 0 25 0 11 0 778253607 856309760 27957 4294967295 134512640 134569956 3221224384 3221214760 1131445942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 27957 13086 16 0 209044 0
vsize: 836240
[startup+700.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4500
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 66680 44 0 0 25 0 11 0 778253607 856309760 28004 4294967295 134512640 134569956 3221224384 3221214272 1131300554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28004 13086 16 0 209044 0
vsize: 836240
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 4501
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 67667 44 0 0 25 0 11 0 778253607 856309760 28032 4294967295 134512640 134569956 3221224384 3221214592 1131364331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28032 13086 16 0 209044 0
vsize: 836240
[startup+720.047 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 4553
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 68637 47 0 0 25 0 11 0 778253607 856309760 28069 4294967295 134512640 134569956 3221224384 3221213676 1131299872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28069 13086 16 0 209044 0
vsize: 836240
[startup+730.048 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 4553
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 69614 47 0 0 25 0 11 0 778253607 856309760 28111 4294967295 134512640 134569956 3221224384 3221214816 1131384880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28111 13086 16 0 209044 0
vsize: 836240
[startup+740.048 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 4553
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 70589 47 0 0 25 0 11 0 778253607 856309760 28148 4294967295 134512640 134569956 3221224384 3221214212 1131300555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28148 13086 16 0 209044 0
vsize: 836240
[startup+750.049 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 4553
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 71564 47 0 0 25 0 11 0 778253607 856309760 28236 4294967295 134512640 134569956 3221224384 3221214436 1131300560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28236 13086 16 0 209044 0
vsize: 836240
[startup+760.049 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 4553
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 72540 47 0 0 25 0 11 0 778253607 856309760 28301 4294967295 134512640 134569956 3221224384 3221214744 1131276720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28301 13086 16 0 209044 0
vsize: 836240
[startup+770.049 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 4553
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 73517 47 0 0 25 0 11 0 778253607 856309760 28348 4294967295 134512640 134569956 3221224384 3221213924 1131299852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28348 13086 16 0 209044 0
vsize: 836240
[startup+780.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 4553
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 74506 47 0 0 25 0 11 0 778253607 856309760 28369 4294967295 134512640 134569956 3221224384 3221213816 1131580711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28369 13086 16 0 209044 0
vsize: 836240
[startup+790.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 75482 47 0 0 25 0 11 0 778253607 856309760 28425 4294967295 134512640 134569956 3221224384 3221214016 1131583490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 28425 13086 16 0 209044 0
vsize: 836240
[startup+800.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 76459 47 0 0 25 0 11 0 778253607 856309760 28469 4294967295 134512640 134569956 3221224384 3221213728 1131583562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28469 13086 16 0 209044 0
vsize: 836240
[startup+810.052 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 77436 47 0 0 25 0 11 0 778253607 856309760 28513 4294967295 134512640 134569956 3221224384 3221214312 1131299861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28513 13086 16 0 209044 0
vsize: 836240
[startup+820.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 78413 47 0 0 25 0 11 0 778253607 856309760 28557 4294967295 134512640 134569956 3221224384 3221214432 1131580576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28557 13086 16 0 209044 0
vsize: 836240
[startup+830.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 79389 47 0 0 25 0 11 0 778253607 856309760 28609 4294967295 134512640 134569956 3221224384 3221214696 1131287845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28609 13086 16 0 209044 0
vsize: 836240
[startup+840.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 80366 47 0 0 25 0 11 0 778253607 856309760 28660 4294967295 134512640 134569956 3221224384 3221214740 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28660 13086 16 0 209044 0
vsize: 836240
[startup+850.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 81343 47 0 0 25 0 11 0 778253607 856309760 28705 4294967295 134512640 134569956 3221224384 3221214488 1131580746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28705 13086 16 0 209044 0
vsize: 836240
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) S 4489 25830 25829 0 -1 0 18065 0 1 0 82320 47 0 0 25 0 11 0 778253607 856309760 28756 4294967295 134512640 134569956 3221224384 3221213400 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28756 13086 16 0 209044 0
vsize: 836240
[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 83309 48 0 0 25 0 11 0 778253607 856309760 28779 4294967295 134512640 134569956 3221224384 3221213792 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28779 13086 16 0 209044 0
vsize: 836240
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 84285 48 0 0 25 0 11 0 778253607 856309760 28827 4294967295 134512640 134569956 3221224384 3221214016 1131583281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28827 13086 16 0 209044 0
vsize: 836240
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 85261 48 0 0 25 0 11 0 778253607 856309760 28870 4294967295 134512640 134569956 3221224384 3221213764 1131300560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 28870 13086 16 0 209044 0
vsize: 836240
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 86238 48 0 0 25 0 11 0 778253607 856309760 28917 4294967295 134512640 134569956 3221224384 3221213796 1131300555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 28917 13086 16 0 209044 0
vsize: 836240
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 87214 48 0 0 25 0 11 0 778253607 856309760 28974 4294967295 134512640 134569956 3221224384 3221214788 1131370217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 28974 13086 16 0 209044 0
vsize: 836240
[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 88190 49 0 0 25 0 11 0 778253607 856309760 29022 4294967295 134512640 134569956 3221224384 3221214104 1131300561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29022 13086 16 0 209044 0
vsize: 836240
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 89167 49 0 0 25 0 11 0 778253607 856309760 29063 4294967295 134512640 134569956 3221224384 3221214696 1131287220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29063 13086 16 0 209044 0
vsize: 836240
[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 90143 49 0 0 25 0 11 0 778253607 856309760 29109 4294967295 134512640 134569956 3221224384 3221214788 1131369696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29109 13086 16 0 209044 0
vsize: 836240
[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 91120 49 0 0 25 0 11 0 778253607 856309760 29160 4294967295 134512640 134569956 3221224384 3221214744 1131460594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29160 13086 16 0 209044 0
vsize: 836240
[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 92098 49 0 0 25 0 11 0 778253607 856309760 29205 4294967295 134512640 134569956 3221224384 3221214672 1131512909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29205 13086 16 0 209044 0
vsize: 836240
[startup+970.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 93076 49 0 0 25 0 11 0 778253607 856309760 29251 4294967295 134512640 134569956 3221224384 3221214316 1131300646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29251 13086 16 0 209044 0
vsize: 836240
[startup+980.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 94065 49 0 0 25 0 11 0 778253607 856309760 29273 4294967295 134512640 134569956 3221224384 3221214648 1131287712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29273 13086 16 0 209044 0
vsize: 836240
[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 95042 50 0 0 25 0 11 0 778253607 856309760 29311 4294967295 134512640 134569956 3221224384 3221213632 1131577300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29311 13086 16 0 209044 0
vsize: 836240
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 96019 50 0 0 25 0 11 0 778253607 856309760 29353 4294967295 134512640 134569956 3221224384 3221214760 1131404402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29353 13086 16 0 209044 0
vsize: 836240
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 96998 51 0 0 25 0 11 0 778253607 856309760 29403 4294967295 134512640 134569956 3221224384 3221213684 1131300560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29403 13086 16 0 209044 0
vsize: 836240
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 97975 51 0 0 25 0 11 0 778253607 856309760 29451 4294967295 134512640 134569956 3221224384 3221214240 1085679538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29451 13086 16 0 209044 0
vsize: 836240
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 98953 52 0 0 25 0 11 0 778253607 856309760 29488 4294967295 134512640 134569956 3221224384 3221214048 1131300471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29488 13086 16 0 209044 0
vsize: 836240
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 99932 52 0 0 25 0 11 0 778253607 856309760 29529 4294967295 134512640 134569956 3221224384 3221214632 1131272903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29529 13086 16 0 209044 0
vsize: 836240
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 100910 52 0 0 25 0 11 0 778253607 856309760 29583 4294967295 134512640 134569956 3221224384 3221213816 1131580732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29583 13086 16 0 209044 0
vsize: 836240
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 101887 53 0 0 25 0 11 0 778253607 856309760 29634 4294967295 134512640 134569956 3221224384 3221214644 1131224679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29634 13086 16 0 209044 0
vsize: 836240
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 102866 53 0 0 25 0 11 0 778253607 856309760 29681 4294967295 134512640 134569956 3221224384 3221214424 1131580744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29681 13086 16 0 209044 0
vsize: 836240
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4555
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 103845 53 0 0 25 0 11 0 778253607 856309760 29720 4294967295 134512640 134569956 3221224384 3221214744 1131276732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29720 13086 16 0 209044 0
vsize: 836240
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 104823 53 0 0 25 0 11 0 778253607 856309760 29749 4294967295 134512640 134569956 3221224384 3221214264 1131580732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29749 13086 16 0 209044 0
vsize: 836240
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 105802 54 0 0 25 0 11 0 778253607 856309760 29789 4294967295 134512640 134569956 3221224384 3221214412 1131580786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29789 13086 16 0 209044 0
vsize: 836240
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 106780 54 0 0 25 0 11 0 778253607 856309760 29822 4294967295 134512640 134569956 3221224384 3221214384 1131300536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29822 13086 16 0 209044 0
vsize: 836240
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 107758 54 0 0 25 0 11 0 778253607 856309760 29855 4294967295 134512640 134569956 3221224384 3221214192 1131577660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29855 13086 16 0 209044 0
vsize: 836240
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 108747 55 0 0 25 0 11 0 778253607 856309760 29873 4294967295 134512640 134569956 3221224384 3221213620 1131299872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29873 13086 16 0 209044 0
vsize: 836240
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 109725 55 0 0 25 0 11 0 778253607 856309760 29921 4294967295 134512640 134569956 3221224384 3221213788 1131583569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29921 13086 16 0 209044 0
vsize: 836240
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 110703 56 0 0 25 0 11 0 778253607 856309760 29962 4294967295 134512640 134569956 3221224384 3221214700 1131272871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29962 13086 16 0 209044 0
vsize: 836240
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 111682 56 0 0 25 0 11 0 778253607 856309760 29996 4294967295 134512640 134569956 3221224384 3221214160 1131300561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 29996 13086 16 0 209044 0
vsize: 836240
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 112660 56 0 0 25 0 11 0 778253607 856309760 30040 4294967295 134512640 134569956 3221224384 3221214768 1131222614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 30040 13086 16 0 209044 0
vsize: 836240
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 113649 57 0 0 25 0 11 0 778253607 856309760 30057 4294967295 134512640 134569956 3221224384 3221214040 1131580719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 30057 13086 16 0 209044 0
vsize: 836240
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 114628 57 0 0 25 0 11 0 778253607 856309760 30099 4294967295 134512640 134569956 3221224384 3221214184 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 30099 13086 16 0 209044 0
vsize: 836240
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 115607 58 0 0 25 0 11 0 778253607 856309760 30145 4294967295 134512640 134569956 3221224384 3221213652 1131300555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 30145 13086 16 0 209044 0
vsize: 836240
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 116585 58 0 0 25 0 11 0 778253607 856309760 30186 4294967295 134512640 134569956 3221224384 3221213544 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 30186 13086 16 0 209044 0
vsize: 836240
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 117564 58 0 0 25 0 11 0 778253607 856309760 30228 4294967295 134512640 134569956 3221224384 3221214156 1131300560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 30228 13086 16 0 209044 0
vsize: 836240
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) S 4489 25830 25829 0 -1 0 18065 0 1 0 118545 58 0 0 25 0 11 0 778253607 856309760 30247 4294967295 134512640 134569956 3221224384 3221213288 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209060 30247 13086 16 0 209044 0
vsize: 836240
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 119531 58 0 0 25 0 11 0 778253607 856309760 30286 4294967295 134512640 134569956 3221224384 3221213812 1131299840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 30286 13086 16 0 209044 0
vsize: 836240
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4557
Raw data (stat): 4490 (java) R 4489 25830 25829 0 -1 0 18065 0 1 0 120509 58 0 0 25 0 11 0 778253607 856309760 30321 4294967295 134512640 134569956 3221224384 3221213688 1131300536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209060 30321 13086 16 0 209044 0
vsize: 836240
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4559
Raw data (stat): 4490 (java) Z 4489 25830 25829 0 -1 1036 18065 11339 1 0 120509 58 4177 31 25 0 1 0 778253607 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.14
CPU time (s): 1247.78
CPU user time (s): 1246.88
CPU system time (s): 0.898863
CPU usage (%): 99.8111
Max. virtual memory (Kb): 836564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####