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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb
MD5SUM	62492fa5ef4f36caec6c1eec4eeb566a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	181
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	7516192762
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	198568686125056
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	12817928787879752
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.260959
Number of variables	4524
Total number of constraints	262
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	262
Minimum length of a constraint	11
Maximum length of a constraint	1080
Trace number 29503

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        819876 kB
Buffers:         32012 kB
Cached:         154672 kB
SwapCached:        588 kB
Active:          47612 kB
Inactive:       144448 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        819596 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5668 kB
Slab:            17092 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:43:53 (client local time) WITH STATUS 143 IN 1228.08 SECONDS
stats: 20903 7 1228.08 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/wulflinc18/normalized-mps-v2-20-10-vtp.base.opb
c reading problem ... done. Time 9.841 ms.
c #vars     4524
c #constraints  301
c starts	: 3
c conflicts	: 279
c decisions	: 9529
c propagations	: 16363
c inspects	: 432396
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 279
c root simplifications	: 94
s UNKNOWN
c Total CPU time (ms) : 1229.171
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 31966
Raw data (stat): 31966 (runsolver) R 31965 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837395683 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 31975
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18026 0 1 0 762 38 0 0 25 0 10 0 837395683 858472448 20897 4294967295 134512640 134569956 3221224368 3221214424 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209588 20897 13086 16 0 209572 0
vsize: 838352
[startup+20.0037 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) S 31965 24172 24171 0 -1 0 18067 0 1 0 1633 39 0 0 25 0 11 0 837395683 862670848 22292 4294967295 134512640 134569956 3221224368 3221213104 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 22293 13086 16 0 210597 0
vsize: 842452
[startup+30.0129 s]
Raw data (loadavg): 0.96 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18067 0 1 0 2548 39 0 0 25 0 11 0 837395683 862670848 22854 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 22854 13086 16 0 210597 0
vsize: 842452
[startup+40.013 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18067 0 1 0 3455 39 0 0 25 0 11 0 837395683 862670848 22998 4294967295 134512640 134569956 3221224368 3221214680 1131347951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 22998 13086 16 0 210597 0
vsize: 842452
[startup+50.0135 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18067 0 1 0 4376 39 0 0 25 0 11 0 837395683 862670848 23179 4294967295 134512640 134569956 3221224368 3221214680 1131347902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 23179 13086 16 0 210597 0
vsize: 842452
[startup+60.0138 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18068 0 1 0 5295 39 0 0 25 0 11 0 837395683 862670848 23549 4294967295 134512640 134569956 3221224368 3221214760 1131297564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 23549 13086 16 0 210597 0
vsize: 842452
[startup+70.0147 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18068 0 1 0 6241 39 0 0 25 0 11 0 837395683 862670848 23799 4294967295 134512640 134569956 3221224368 3221214536 1131273593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 23799 13086 16 0 210597 0
vsize: 842452
[startup+80.0152 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18068 0 1 0 7190 39 0 0 25 0 11 0 837395683 862670848 24010 4294967295 134512640 134569956 3221224368 3221214680 1131349965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 24010 13086 16 0 210597 0
vsize: 842452
[startup+90.0159 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18068 0 1 0 8140 39 0 0 25 0 11 0 837395683 862670848 24176 4294967295 134512640 134569956 3221224368 3221214840 1131185159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 24176 13086 16 0 210597 0
vsize: 842452
[startup+100.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18068 0 1 0 9092 40 0 0 25 0 11 0 837395683 862670848 24285 4294967295 134512640 134569956 3221224368 3221214536 1131275213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 24285 13086 16 0 210597 0
vsize: 842452
[startup+110.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18068 0 1 0 10048 40 0 0 25 0 11 0 837395683 862670848 24436 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 24436 13086 16 0 210597 0
vsize: 842452
[startup+120.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18068 0 1 0 11010 40 0 0 25 0 11 0 837395683 862670848 24589 4294967295 134512640 134569956 3221224368 3221214624 1131329132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 24589 13086 16 0 210597 0
vsize: 842452
[startup+130.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18068 0 1 0 11977 40 0 0 25 0 11 0 837395683 862670848 24685 4294967295 134512640 134569956 3221224368 3221214624 1131329124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 24685 13086 16 0 210597 0
vsize: 842452
[startup+140.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18068 0 1 0 12945 40 0 0 25 0 11 0 837395683 862670848 24794 4294967295 134512640 134569956 3221224368 3221214680 1131348010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 24794 13086 16 0 210597 0
vsize: 842452
[startup+150.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18068 0 1 0 13915 40 0 0 25 0 11 0 837395683 862670848 24886 4294967295 134512640 134569956 3221224368 3221214624 1131329151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 24886 13086 16 0 210597 0
vsize: 842452
[startup+160.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 14888 40 0 0 25 0 11 0 837395683 862670848 24962 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 24962 13086 16 0 210597 0
vsize: 842452
[startup+170.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 15863 40 0 0 25 0 11 0 837395683 862670848 25034 4294967295 134512640 134569956 3221224368 3221214536 1131191444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25034 13086 16 0 210597 0
vsize: 842452
[startup+180.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 16841 40 0 0 25 0 11 0 837395683 862670848 25092 4294967295 134512640 134569956 3221224368 3221214620 1131190368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25092 13086 16 0 210597 0
vsize: 842452
[startup+190.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 17817 41 0 0 24 0 11 0 837395683 862670848 25186 4294967295 134512640 134569956 3221224368 3221214536 1131273512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25186 13086 16 0 210597 0
vsize: 842452
[startup+200.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 18797 41 0 0 25 0 11 0 837395683 862670848 25242 4294967295 134512640 134569956 3221224368 3221214624 1131329500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25242 13086 16 0 210597 0
vsize: 842452
[startup+210.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 19777 41 0 0 25 0 11 0 837395683 862670848 25296 4294967295 134512640 134569956 3221224368 3221214536 1131273405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25296 13086 16 0 210597 0
vsize: 842452
[startup+220.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 20757 41 0 0 25 0 11 0 837395683 862670848 25335 4294967295 134512640 134569956 3221224368 3221214680 1131347697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25335 13086 16 0 210597 0
vsize: 842452
[startup+230.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 21737 41 0 0 25 0 11 0 837395683 862670848 25371 4294967295 134512640 134569956 3221224368 3221214536 1131273576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25371 13086 16 0 210597 0
vsize: 842452
[startup+240.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 22717 41 0 0 25 0 11 0 837395683 862670848 25411 4294967295 134512640 134569956 3221224368 3221214624 1131329121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25411 13086 16 0 210597 0
vsize: 842452
[startup+250.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 23698 41 0 0 25 0 11 0 837395683 862670848 25466 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25466 13086 16 0 210597 0
vsize: 842452
[startup+260.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 24680 41 0 0 25 0 11 0 837395683 862670848 25521 4294967295 134512640 134569956 3221224368 3221214536 1131273333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25521 13086 16 0 210597 0
vsize: 842452
[startup+270.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 25661 41 0 0 25 0 11 0 837395683 862670848 25575 4294967295 134512640 134569956 3221224368 3221214680 1131349094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25575 13086 16 0 210597 0
vsize: 842452
[startup+280.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 26639 41 0 0 24 0 11 0 837395683 862670848 25631 4294967295 134512640 134569956 3221224368 3221214536 1131190389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25631 13086 16 0 210597 0
vsize: 842452
[startup+290.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 27620 41 0 0 25 0 11 0 837395683 862670848 25653 4294967295 134512640 134569956 3221224368 3221214624 1131329436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25653 13086 16 0 210597 0
vsize: 842452
[startup+300.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 28603 41 0 0 25 0 11 0 837395683 862670848 25691 4294967295 134512640 134569956 3221224368 3221214536 1131273639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25691 13086 16 0 210597 0
vsize: 842452
[startup+310.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 29583 41 0 0 25 0 11 0 837395683 862670848 25754 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25754 13086 16 0 210597 0
vsize: 842452
[startup+320.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 30558 42 0 0 25 0 11 0 837395683 862670848 25812 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25812 13086 16 0 210597 0
vsize: 842452
[startup+330.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 31530 42 0 0 24 0 11 0 837395683 862670848 25836 4294967295 134512640 134569956 3221224368 3221214624 1131329430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25836 13086 16 0 210597 0
vsize: 842452
[startup+340.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 32505 42 0 0 25 0 11 0 837395683 862670848 25889 4294967295 134512640 134569956 3221224368 3221214536 1131274341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25889 13086 16 0 210597 0
vsize: 842452
[startup+350.039 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 33482 42 0 0 25 0 11 0 837395683 862670848 25999 4294967295 134512640 134569956 3221224368 3221214536 1131273369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 25999 13086 16 0 210597 0
vsize: 842452
[startup+360.039 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 34461 42 0 0 25 0 11 0 837395683 862670848 26088 4294967295 134512640 134569956 3221224368 3221214680 1131347951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26088 13086 16 0 210597 0
vsize: 842452
[startup+370.039 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 35444 42 0 0 25 0 11 0 837395683 862670848 26088 4294967295 134512640 134569956 3221224368 3221214680 1131347951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26088 13086 16 0 210597 0
vsize: 842452
[startup+380.04 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 36424 42 0 0 25 0 11 0 837395683 862670848 26144 4294967295 134512640 134569956 3221224368 3221214536 1131275252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26144 13086 16 0 210597 0
vsize: 842452
[startup+390.04 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 37406 42 0 0 25 0 11 0 837395683 862670848 26201 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26201 13086 16 0 210597 0
vsize: 842452
[startup+400.041 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18069 0 1 0 38388 43 0 0 25 0 11 0 837395683 862670848 26203 4294967295 134512640 134569956 3221224368 3221214624 1131329482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26203 13086 16 0 210597 0
vsize: 842452
[startup+410.043 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) S 31965 24172 24171 0 -1 0 18069 0 1 0 39371 43 0 0 25 0 11 0 837395683 862670848 26257 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26257 13086 16 0 210597 0
vsize: 842452
[startup+420.045 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 40347 43 0 0 25 0 11 0 837395683 862670848 26318 4294967295 134512640 134569956 3221224368 3221214624 1131329154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26318 13086 16 0 210597 0
vsize: 842452
[startup+430.046 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 41330 43 0 0 25 0 11 0 837395683 862670848 26319 4294967295 134512640 134569956 3221224368 3221214680 1131350805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26319 13086 16 0 210597 0
vsize: 842452
[startup+440.046 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 42312 43 0 0 25 0 11 0 837395683 862670848 26374 4294967295 134512640 134569956 3221224368 3221214680 1131348010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26374 13086 16 0 210597 0
vsize: 842452
[startup+450.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 43295 43 0 0 25 0 11 0 837395683 862670848 26411 4294967295 134512640 134569956 3221224368 3221214536 1131273353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26411 13086 16 0 210597 0
vsize: 842452
[startup+460.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 44278 44 0 0 25 0 11 0 837395683 862670848 26430 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26430 13086 16 0 210597 0
vsize: 842452
[startup+470.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 45261 44 0 0 25 0 11 0 837395683 862670848 26485 4294967295 134512640 134569956 3221224368 3221214536 1131273405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26485 13086 16 0 210597 0
vsize: 842452
[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 46241 44 0 0 25 0 11 0 837395683 862670848 26502 4294967295 134512640 134569956 3221224368 3221214536 1131275210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26502 13086 16 0 210597 0
vsize: 842452
[startup+490.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 47225 44 0 0 25 0 11 0 837395683 862670848 26540 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26540 13086 16 0 210597 0
vsize: 842452
[startup+500.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 48208 44 0 0 25 0 11 0 837395683 862670848 26594 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26594 13086 16 0 210597 0
vsize: 842452
[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 49192 44 0 0 25 0 11 0 837395683 862670848 26594 4294967295 134512640 134569956 3221224368 3221214536 1131273405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26594 13086 16 0 210597 0
vsize: 842452
[startup+520.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 50174 44 0 0 25 0 11 0 837395683 862670848 26652 4294967295 134512640 134569956 3221224368 3221214536 1131275262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26652 13086 16 0 210597 0
vsize: 842452
[startup+530.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 51155 45 0 0 24 0 11 0 837395683 862670848 26669 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26669 13086 16 0 210597 0
vsize: 842452
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 52140 45 0 0 25 0 11 0 837395683 862670848 26707 4294967295 134512640 134569956 3221224368 3221214536 1131273519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26707 13086 16 0 210597 0
vsize: 842452
[startup+550.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 53123 45 0 0 25 0 11 0 837395683 862670848 26723 4294967295 134512640 134569956 3221224368 3221214680 1131349215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26723 13086 16 0 210597 0
vsize: 842452
[startup+560.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 54107 45 0 0 25 0 11 0 837395683 862670848 26761 4294967295 134512640 134569956 3221224368 3221214680 1131349221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26761 13086 16 0 210597 0
vsize: 842452
[startup+570.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 55090 45 0 0 25 0 11 0 837395683 862670848 26798 4294967295 134512640 134569956 3221224368 3221214624 1131329380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26798 13086 16 0 210597 0
vsize: 842452
[startup+580.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 56074 46 0 0 25 0 11 0 837395683 862670848 26816 4294967295 134512640 134569956 3221224368 3221214680 1131347951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26816 13086 16 0 210597 0
vsize: 842452
[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 57057 46 0 0 25 0 11 0 837395683 862670848 26871 4294967295 134512640 134569956 3221224368 3221214680 1131350850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26871 13086 16 0 210597 0
vsize: 842452
[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 58040 46 0 0 25 0 11 0 837395683 862670848 26871 4294967295 134512640 134569956 3221224368 3221214536 1131274755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26871 13086 16 0 210597 0
vsize: 842452
[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 59024 46 0 0 25 0 11 0 837395683 862670848 26927 4294967295 134512640 134569956 3221224368 3221214624 1131329815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26927 13086 16 0 210597 0
vsize: 842452
[startup+620.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 60008 46 0 0 25 0 11 0 837395683 862670848 26927 4294967295 134512640 134569956 3221224368 3221214624 1131329580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26927 13086 16 0 210597 0
vsize: 842452
[startup+630.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 60993 46 0 0 25 0 11 0 837395683 862670848 26981 4294967295 134512640 134569956 3221224368 3221214624 1131329398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26981 13086 16 0 210597 0
vsize: 842452
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 61974 46 0 0 24 0 11 0 837395683 862670848 26998 4294967295 134512640 134569956 3221224368 3221214624 1131329121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 26998 13086 16 0 210597 0
vsize: 842452
[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 62959 46 0 0 25 0 11 0 837395683 862670848 27036 4294967295 134512640 134569956 3221224368 3221214624 1131329482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27036 13086 16 0 210597 0
vsize: 842452
[startup+660.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 63942 47 0 0 25 0 11 0 837395683 862670848 27053 4294967295 134512640 134569956 3221224368 3221214536 1131274775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27053 13086 16 0 210597 0
vsize: 842452
[startup+670.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 64928 47 0 0 25 0 11 0 837395683 862670848 27091 4294967295 134512640 134569956 3221224368 3221214536 1131190429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27091 13086 16 0 210597 0
vsize: 842452
[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 65910 47 0 0 25 0 11 0 837395683 862670848 27107 4294967295 134512640 134569956 3221224368 3221214624 1131329121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27107 13086 16 0 210597 0
vsize: 842452
[startup+690.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 66894 47 0 0 25 0 11 0 837395683 862670848 27145 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27145 13086 16 0 210597 0
vsize: 842452
[startup+700.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 67878 47 0 0 25 0 11 0 837395683 862670848 27162 4294967295 134512640 134569956 3221224368 3221214680 1131350773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27162 13086 16 0 210597 0
vsize: 842452
[startup+710.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 68863 47 0 0 21 0 11 0 837395683 862670848 27200 4294967295 134512640 134569956 3221224368 3221214536 1131273350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27200 13086 16 0 210597 0
vsize: 842452
[startup+720.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 69847 47 0 0 25 0 11 0 837395683 862670848 27216 4294967295 134512640 134569956 3221224368 3221214624 1131329436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27216 13086 16 0 210597 0
vsize: 842452
[startup+730.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 70832 47 0 0 25 0 11 0 837395683 862670848 27254 4294967295 134512640 134569956 3221224368 3221214624 1131329124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27254 13086 16 0 210597 0
vsize: 842452
[startup+740.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 71814 48 0 0 24 0 11 0 837395683 862670848 27271 4294967295 134512640 134569956 3221224368 3221214680 1131347944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27271 13086 16 0 210597 0
vsize: 842452
[startup+750.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 72800 48 0 0 25 0 11 0 837395683 862670848 27309 4294967295 134512640 134569956 3221224368 3221214624 1131329310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27309 13086 16 0 210597 0
vsize: 842452
[startup+760.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 73784 48 0 0 25 0 11 0 837395683 862670848 27309 4294967295 134512640 134569956 3221224368 3221214536 1131275267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27309 13086 16 0 210597 0
vsize: 842452
[startup+770.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 74769 48 0 0 25 0 11 0 837395683 862670848 27364 4294967295 134512640 134569956 3221224368 3221214680 1131347951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27364 13086 16 0 210597 0
vsize: 842452
[startup+780.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 75754 48 0 0 25 0 11 0 837395683 862670848 27364 4294967295 134512640 134569956 3221224368 3221214536 1131273487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27364 13086 16 0 210597 0
vsize: 842452
[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 76737 48 0 0 25 0 11 0 837395683 862670848 27419 4294967295 134512640 134569956 3221224368 3221214536 1131275285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27419 13086 16 0 210597 0
vsize: 842452
[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 77722 48 0 0 25 0 11 0 837395683 862670848 27419 4294967295 134512640 134569956 3221224368 3221214624 1131329468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27419 13086 16 0 210597 0
vsize: 842452
[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 78706 48 0 0 25 0 11 0 837395683 862670848 27474 4294967295 134512640 134569956 3221224368 3221214620 1131273280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27474 13086 16 0 210597 0
vsize: 842452
[startup+820.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 79693 48 0 0 25 0 11 0 837395683 862670848 27474 4294967295 134512640 134569956 3221224368 3221214536 1131349108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27474 13086 16 0 210597 0
vsize: 842452
[startup+830.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 80675 48 0 0 25 0 11 0 837395683 862670848 27510 4294967295 134512640 134569956 3221224368 3221214680 1131347944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27510 13086 16 0 210597 0
vsize: 842452
[startup+840.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 81660 48 0 0 25 0 11 0 837395683 862670848 27529 4294967295 134512640 134569956 3221224368 3221214624 1131329203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27529 13086 16 0 210597 0
vsize: 842452
[startup+850.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 82644 48 0 0 25 0 11 0 837395683 862670848 27545 4294967295 134512640 134569956 3221224368 3221214536 1131275285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27545 13086 16 0 210597 0
vsize: 842452
[startup+860.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 83630 48 0 0 25 0 11 0 837395683 862670848 27583 4294967295 134512640 134569956 3221224368 3221214624 1131329117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27583 13086 16 0 210597 0
vsize: 842452
[startup+870.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 84613 49 0 0 25 0 11 0 837395683 862670848 27600 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27600 13086 16 0 210597 0
vsize: 842452
[startup+880.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 85597 49 0 0 25 0 11 0 837395683 862670848 27638 4294967295 134512640 134569956 3221224368 3221214536 1131274167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27638 13086 16 0 210597 0
vsize: 842452
[startup+890.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 86582 49 0 0 25 0 11 0 837395683 862670848 27638 4294967295 134512640 134569956 3221224368 3221214536 1131273449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27638 13086 16 0 210597 0
vsize: 842452
[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 87566 49 0 0 25 0 11 0 837395683 862670848 27694 4294967295 134512640 134569956 3221224368 3221214624 1131329436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27694 13086 16 0 210597 0
vsize: 842452
[startup+910.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 88552 49 0 0 25 0 11 0 837395683 862670848 27694 4294967295 134512640 134569956 3221224368 3221214624 1131329215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27694 13086 16 0 210597 0
vsize: 842452
[startup+920.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 89535 49 0 0 25 0 11 0 837395683 862670848 27748 4294967295 134512640 134569956 3221224368 3221214536 1131274332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27748 13086 16 0 210597 0
vsize: 842452
[startup+930.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 90521 49 0 0 25 0 11 0 837395683 862670848 27748 4294967295 134512640 134569956 3221224368 3221214816 1131297564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27748 13086 16 0 210597 0
vsize: 842452
[startup+940.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 91504 49 0 0 25 0 11 0 837395683 862670848 27766 4294967295 134512640 134569956 3221224368 3221214624 1131329304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27766 13086 16 0 210597 0
vsize: 842452
[startup+950.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 92490 49 0 0 25 0 11 0 837395683 862670848 27804 4294967295 134512640 134569956 3221224368 3221214536 1131275244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27804 13086 16 0 210597 0
vsize: 842452
[startup+960.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 93475 49 0 0 25 0 11 0 837395683 862670848 27804 4294967295 134512640 134569956 3221224368 3221214624 1131329170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27804 13086 16 0 210597 0
vsize: 842452
[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 94459 50 0 0 25 0 11 0 837395683 862670848 27859 4294967295 134512640 134569956 3221224368 3221214536 1131273673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27859 13086 16 0 210597 0
vsize: 842452
[startup+980.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 95444 50 0 0 25 0 11 0 837395683 862670848 27859 4294967295 134512640 134569956 3221224368 3221214680 1131350082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27859 13086 16 0 210597 0
vsize: 842452
[startup+990.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 96428 50 0 0 25 0 11 0 837395683 862670848 27914 4294967295 134512640 134569956 3221224368 3221214680 1131347951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27914 13086 16 0 210597 0
vsize: 842452
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 97414 50 0 0 25 0 11 0 837395683 862670848 27914 4294967295 134512640 134569956 3221224368 3221214536 1131190394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27914 13086 16 0 210597 0
vsize: 842452
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 98399 50 0 0 21 0 11 0 837395683 862670848 27931 4294967295 134512640 134569956 3221224368 3221214624 1131329126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27931 13086 16 0 210597 0
vsize: 842452
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 99383 50 0 0 24 0 11 0 837395683 862670848 27969 4294967295 134512640 134569956 3221224368 3221214536 1131275285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27969 13086 16 0 210597 0
vsize: 842452
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 100369 50 0 0 25 0 11 0 837395683 862670848 27969 4294967295 134512640 134569956 3221224368 3221214624 1131329500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 27969 13086 16 0 210597 0
vsize: 842452
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 101352 50 0 0 25 0 11 0 837395683 862670848 28025 4294967295 134512640 134569956 3221224368 3221214624 1131329126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28025 13086 16 0 210597 0
vsize: 842452
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 102338 50 0 0 25 0 11 0 837395683 862670848 28025 4294967295 134512640 134569956 3221224368 3221214680 1131348010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28025 13086 16 0 210597 0
vsize: 842452
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 103322 51 0 0 25 0 11 0 837395683 862670848 28042 4294967295 134512640 134569956 3221224368 3221214624 1131329117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28042 13086 16 0 210597 0
vsize: 842452
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 104306 51 0 0 25 0 11 0 837395683 862670848 28080 4294967295 134512640 134569956 3221224368 3221214680 1131350755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28080 13086 16 0 210597 0
vsize: 842452
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 105291 51 0 0 25 0 11 0 837395683 862670848 28080 4294967295 134512640 134569956 3221224368 3221214624 1131329121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28080 13086 16 0 210597 0
vsize: 842452
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 106275 51 0 0 25 0 11 0 837395683 862670848 28139 4294967295 134512640 134569956 3221224368 3221214624 1131329126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28139 13086 16 0 210597 0
vsize: 842452
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 107259 51 0 0 24 0 11 0 837395683 862670848 28139 4294967295 134512640 134569956 3221224368 3221214536 1131190404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28139 13086 16 0 210597 0
vsize: 842452
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 108245 51 0 0 25 0 11 0 837395683 862670848 28156 4294967295 134512640 134569956 3221224368 3221214536 1131273593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28156 13086 16 0 210597 0
vsize: 842452
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 109229 52 0 0 25 0 11 0 837395683 862670848 28198 4294967295 134512640 134569956 3221224368 3221214624 1131329459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28198 13086 16 0 210597 0
vsize: 842452
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 110215 52 0 0 25 0 11 0 837395683 862670848 28198 4294967295 134512640 134569956 3221224368 3221214680 1131347951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28198 13086 16 0 210597 0
vsize: 842452
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 111198 52 0 0 25 0 11 0 837395683 862670848 28252 4294967295 134512640 134569956 3221224368 3221214536 1131273403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28252 13086 16 0 210597 0
vsize: 842452
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 112183 52 0 0 25 0 11 0 837395683 862670848 28252 4294967295 134512640 134569956 3221224368 3221214624 1131329136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28252 13086 16 0 210597 0
vsize: 842452
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 113168 52 0 0 25 0 11 0 837395683 862670848 28270 4294967295 134512640 134569956 3221224368 3221214536 1131274336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28270 13086 16 0 210597 0
vsize: 842452
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 114153 52 0 0 25 0 11 0 837395683 862670848 28308 4294967295 134512640 134569956 3221224368 3221214536 1131273665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28308 13086 16 0 210597 0
vsize: 842452
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 115139 52 0 0 25 0 11 0 837395683 862670848 28308 4294967295 134512640 134569956 3221224368 3221213264 1131181609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28308 13086 16 0 210597 0
vsize: 842452
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 116122 52 0 0 25 0 11 0 837395683 862670848 28344 4294967295 134512640 134569956 3221224368 3221214680 1131348926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28344 13086 16 0 210597 0
vsize: 842452
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 117107 52 0 0 25 0 11 0 837395683 862670848 28362 4294967295 134512640 134569956 3221224368 3221214680 1131349090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28362 13086 16 0 210597 0
vsize: 842452
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 118092 53 0 0 25 0 11 0 837395683 862670848 28362 4294967295 134512640 134569956 3221224368 3221214624 1131329497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28362 13086 16 0 210597 0
vsize: 842452
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 119075 53 0 0 25 0 11 0 837395683 862670848 28417 4294967295 134512640 134569956 3221224368 3221214536 1131275204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28417 13086 16 0 210597 0
vsize: 842452
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31976
Raw data (stat): 31966 (java) R 31965 24172 24171 0 -1 0 18070 0 1 0 120060 53 0 0 24 0 11 0 837395683 862670848 28417 4294967295 134512640 134569956 3221224368 3221214680 1131347711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210613 28417 13086 16 0 210597 0
vsize: 842452
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31978
Raw data (stat): 31966 (java) Z 31965 24172 24171 0 -1 1036 18070 8084 1 0 120060 53 2660 33 25 0 1 0 837395683 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.16
CPU time (s): 1228.08
CPU user time (s): 1227.22
CPU system time (s): 0.862868
CPU usage (%): 99.8312
Max. virtual memory (Kb): 842452
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####