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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	fae1fae180d772ad3ee6c1acfa1c8b4f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	122
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	2000000
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	30041153
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2124
Total number of constraints	444
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	444
Minimum length of a constraint	8
Maximum length of a constraint	64
Trace number 30066

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 14:25:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21470 boxname=wulflinc28 idbench=1458 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  fae1fae180d772ad3ee6c1acfa1c8b4f  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 21470
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        537072 kB
Buffers:         31984 kB
Cached:         444256 kB
SwapCached:       1052 kB
Active:          54576 kB
Inactive:       424232 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        536820 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13244 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:45:47 (client local time) WITH STATUS 143 IN 1247.88 SECONDS
stats: 21470 7 1247.88 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/wulflinc28/normalized-mps-v2-13-7-vpm2.opb
c reading problem ... done. Time 4.114 ms.
c #vars     2124
c #constraints  486
c starts	: 9
c conflicts	: 6048
c decisions	: 9005
c propagations	: 42154
c inspects	: 5974489
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6048
c root simplifications	: 28
s UNKNOWN
c Total CPU time (ms) : 1239.077
#### 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 6149
Raw data (stat): 6149 (runsolver) R 6148 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839586701 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 1.10 1.02 1.01 4/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18070 0 1 0 861 39 0 0 25 0 11 0 839586701 861552640 20491 4294967295 134512640 134569956 3221224368 3221214112 1080217219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210340 20491 13086 16 0 210324 0
vsize: 841360
[startup+20.0014 s]
Raw data (loadavg): 1.39 1.08 1.03 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18077 0 1 0 1614 39 0 0 25 0 11 0 839586701 871026688 23814 4294967295 134512640 134569956 3221224368 3221214736 1131188096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212653 23814 13086 16 0 212637 0
vsize: 850612
[startup+30.0011 s]
Raw data (loadavg): 1.33 1.08 1.02 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 2547 39 0 0 25 0 11 0 839586701 868585472 23660 4294967295 134512640 134569956 3221224368 3221214744 1131237172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212057 23660 13086 16 0 212041 0
vsize: 848228
[startup+40.0014 s]
Raw data (loadavg): 1.28 1.08 1.02 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 3489 40 0 0 25 0 11 0 839586701 867536896 23474 4294967295 134512640 134569956 3221224368 3221214744 1131237420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 23474 13086 16 0 211785 0
vsize: 847204
[startup+50.002 s]
Raw data (loadavg): 1.24 1.07 1.02 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 4428 40 0 0 25 0 11 0 839586701 867536896 23784 4294967295 134512640 134569956 3221224368 3221214648 1131313889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 23784 13086 16 0 211785 0
vsize: 847204
[startup+60.0022 s]
Raw data (loadavg): 1.20 1.07 1.02 2/64 6159
Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18078 0 1 0 5362 41 0 0 25 0 11 0 839586701 867536896 24030 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 24030 13086 16 0 211785 0
vsize: 847204
[startup+70.0037 s]
Raw data (loadavg): 1.17 1.07 1.02 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 6304 41 0 0 25 0 11 0 839586701 867536896 24258 4294967295 134512640 134569956 3221224368 3221214648 1131313889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 24258 13086 16 0 211785 0
vsize: 847204
[startup+80.0042 s]
Raw data (loadavg): 1.14 1.06 1.02 3/64 6159
Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18078 0 1 0 7245 41 0 0 25 0 11 0 839586701 867536896 24412 4294967295 134512640 134569956 3221224368 3221213128 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 24412 13086 16 0 211785 0
vsize: 847204
[startup+90.0043 s]
Raw data (loadavg): 1.12 1.06 1.02 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 8194 41 0 0 22 0 11 0 839586701 867536896 24652 4294967295 134512640 134569956 3221224368 3221214792 1131327460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 24652 13086 16 0 211785 0
vsize: 847204
[startup+100.004 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 9149 42 0 0 24 0 11 0 839586701 867536896 24835 4294967295 134512640 134569956 3221224368 3221214648 1131313847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 24835 13086 16 0 211785 0
vsize: 847204
[startup+110.005 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 10113 42 0 0 25 0 11 0 839586701 867536896 24942 4294967295 134512640 134569956 3221224368 3221214744 1131237524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 24942 13086 16 0 211785 0
vsize: 847204
[startup+120.005 s]
Raw data (loadavg): 1.07 1.05 1.02 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 11074 42 0 0 25 0 11 0 839586701 867536896 25063 4294967295 134512640 134569956 3221224368 3221214648 1131314075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25063 13086 16 0 211785 0
vsize: 847204
[startup+130.006 s]
Raw data (loadavg): 1.06 1.05 1.02 2/64 6159
Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18078 0 1 0 12038 43 0 0 25 0 11 0 839586701 867536896 25182 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25182 13086 16 0 211785 0
vsize: 847204
[startup+140.006 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 13006 43 0 0 25 0 11 0 839586701 867536896 25302 4294967295 134512640 134569956 3221224368 3221214648 1131313815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25302 13086 16 0 211785 0
vsize: 847204
[startup+150.006 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 13979 44 0 0 25 0 11 0 839586701 867536896 25412 4294967295 134512640 134569956 3221224368 3221214744 1131237524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25412 13086 16 0 211785 0
vsize: 847204
[startup+160.007 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 14953 45 0 0 25 0 11 0 839586701 867536896 25487 4294967295 134512640 134569956 3221224368 3221213944 1131552090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25487 13086 16 0 211785 0
vsize: 847204
[startup+170.008 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 15929 45 0 0 25 0 11 0 839586701 867536896 25541 4294967295 134512640 134569956 3221224368 3221214736 1131188096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25541 13086 16 0 211785 0
vsize: 847204
[startup+180.007 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 16904 45 0 0 25 0 11 0 839586701 867536896 25598 4294967295 134512640 134569956 3221224368 3221214744 1131237420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25598 13086 16 0 211785 0
vsize: 847204
[startup+190.009 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 17879 46 0 0 25 0 11 0 839586701 867536896 25661 4294967295 134512640 134569956 3221224368 3221214504 1131224392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25661 13086 16 0 211785 0
vsize: 847204
[startup+200.009 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 18852 46 0 0 24 0 11 0 839586701 867536896 25729 4294967295 134512640 134569956 3221224368 3221214744 1131237524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25729 13086 16 0 211785 0
vsize: 847204
[startup+210.01 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 19827 47 0 0 25 0 11 0 839586701 867536896 25790 4294967295 134512640 134569956 3221224368 3221214524 1131318564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25790 13086 16 0 211785 0
vsize: 847204
[startup+220.011 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 20804 47 0 0 25 0 11 0 839586701 867536896 25854 4294967295 134512640 134569956 3221224368 3221214736 1131188096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25854 13086 16 0 211785 0
vsize: 847204
[startup+230.01 s]
Raw data (loadavg): 1.01 1.03 1.01 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 21778 48 0 0 24 0 11 0 839586701 867536896 25917 4294967295 134512640 134569956 3221224368 3221214736 1131160188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25917 13086 16 0 211785 0
vsize: 847204
[startup+240.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 22755 48 0 0 25 0 11 0 839586701 867536896 25972 4294967295 134512640 134569956 3221224368 3221214736 1131188096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 25972 13086 16 0 211785 0
vsize: 847204
[startup+250.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 23732 48 0 0 25 0 11 0 839586701 867536896 26029 4294967295 134512640 134569956 3221224368 3221214696 1131246848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26029 13086 16 0 211785 0
vsize: 847204
[startup+260.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 24707 48 0 0 25 0 11 0 839586701 867536896 26079 4294967295 134512640 134569956 3221224368 3221214792 1131327201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26079 13086 16 0 211785 0
vsize: 847204
[startup+270.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 25696 49 0 0 25 0 11 0 839586701 867536896 26094 4294967295 134512640 134569956 3221224368 3221214736 1131188096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26094 13086 16 0 211785 0
vsize: 847204
[startup+280.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 26682 49 0 0 25 0 11 0 839586701 867536896 26120 4294967295 134512640 134569956 3221224368 3221214432 1131614268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26120 13086 16 0 211785 0
vsize: 847204
[startup+290.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 27673 49 0 0 25 0 11 0 839586701 867536896 26133 4294967295 134512640 134569956 3221224368 3221214552 1131160174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26133 13086 16 0 211785 0
vsize: 847204
[startup+300.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 28647 49 0 0 25 0 11 0 839586701 867536896 26173 4294967295 134512640 134569956 3221224368 3221214648 1131315201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26173 13086 16 0 211785 0
vsize: 847204
[startup+310.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 29623 49 0 0 25 0 11 0 839586701 867536896 26196 4294967295 134512640 134569956 3221224368 3221214056 1131552074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26196 13086 16 0 211785 0
vsize: 847204
[startup+320.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 30594 50 0 0 25 0 11 0 839586701 867536896 26219 4294967295 134512640 134569956 3221224368 3221214096 1131614240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26219 13086 16 0 211785 0
vsize: 847204
[startup+330.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 31561 50 0 0 25 0 11 0 839586701 867536896 26392 4294967295 134512640 134569956 3221224368 3221213772 1131552080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26392 13086 16 0 211785 0
vsize: 847204
[startup+340.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18078 0 1 0 32528 50 0 0 25 0 11 0 839586701 867536896 26611 4294967295 134512640 134569956 3221224368 3221214528 1131347389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26611 13086 16 0 211785 0
vsize: 847204
[startup+350.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 33507 51 0 0 25 0 11 0 839586701 867536896 26730 4294967295 134512640 134569956 3221224368 3221214424 1131614274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26730 13086 16 0 211785 0
vsize: 847204
[startup+360.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 34455 51 0 0 25 0 11 0 839586701 867536896 26953 4294967295 134512640 134569956 3221224368 3221214336 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 26953 13086 16 0 211785 0
vsize: 847204
[startup+370.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 35398 51 0 0 25 0 11 0 839586701 867536896 27008 4294967295 134512640 134569956 3221224368 3221214616 1131314085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 27008 13086 16 0 211785 0
vsize: 847204
[startup+380.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 36340 52 0 0 25 0 11 0 839586701 867536896 27062 4294967295 134512640 134569956 3221224368 3221214712 1131237524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 27062 13086 16 0 211785 0
vsize: 847204
[startup+390.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 37282 52 0 0 25 0 11 0 839586701 867536896 27172 4294967295 134512640 134569956 3221224368 3221214528 1131614067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 27172 13086 16 0 211785 0
vsize: 847204
[startup+400.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 38228 52 0 0 25 0 11 0 839586701 867536896 27574 4294967295 134512640 134569956 3221224368 3221214616 1131313889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 27574 13086 16 0 211785 0
vsize: 847204
[startup+410.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 39201 53 0 0 25 0 11 0 839586701 867536896 27802 4294967295 134512640 134569956 3221224368 3221214664 1131247828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 27802 13086 16 0 211785 0
vsize: 847204
[startup+420.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 40178 54 0 0 25 0 11 0 839586701 867536896 27873 4294967295 134512640 134569956 3221224368 3221214704 1131160174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 27873 13086 16 0 211785 0
vsize: 847204
[startup+430.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 41152 54 0 0 25 0 11 0 839586701 867536896 27940 4294967295 134512640 134569956 3221224368 3221214384 1131395898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 27940 13086 16 0 211785 0
vsize: 847204
[startup+440.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 42131 54 0 0 25 0 11 0 839586701 867536896 28003 4294967295 134512640 134569956 3221224368 3221214704 1131188113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28003 13086 16 0 211785 0
vsize: 847204
[startup+450.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 43107 55 0 0 25 0 11 0 839586701 867536896 28035 4294967295 134512640 134569956 3221224368 3221214756 1131357292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28035 13086 16 0 211785 0
vsize: 847204
[startup+460.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6159
Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18079 0 1 0 44086 55 0 0 25 0 11 0 839586701 867536896 28088 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28088 13086 16 0 211785 0
vsize: 847204
[startup+470.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 45065 56 0 0 25 0 11 0 839586701 867536896 28151 4294967295 134512640 134569956 3221224368 3221214384 1131395966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28151 13086 16 0 211785 0
vsize: 847204
[startup+480.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 46043 56 0 0 25 0 11 0 839586701 867536896 28209 4294967295 134512640 134569956 3221224368 3221214616 1131313809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28209 13086 16 0 211785 0
vsize: 847204
[startup+490.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 47022 57 0 0 25 0 11 0 839586701 867536896 28270 4294967295 134512640 134569956 3221224368 3221214616 1131314131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28270 13086 16 0 211785 0
vsize: 847204
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 48002 57 0 0 25 0 11 0 839586701 867536896 28321 4294967295 134512640 134569956 3221224368 3221214616 1131313777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28321 13086 16 0 211785 0
vsize: 847204
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 48983 57 0 0 25 0 11 0 839586701 867536896 28375 4294967295 134512640 134569956 3221224368 3221214756 1131237132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28375 13086 16 0 211785 0
vsize: 847204
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 49965 57 0 0 25 0 11 0 839586701 867536896 28428 4294967295 134512640 134569956 3221224368 3221214616 1131314049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28428 13086 16 0 211785 0
vsize: 847204
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 50948 57 0 0 25 0 11 0 839586701 867536896 28474 4294967295 134512640 134569956 3221224368 3221214712 1131237360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28474 13086 16 0 211785 0
vsize: 847204
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 51930 57 0 0 25 0 11 0 839586701 867536896 28515 4294967295 134512640 134569956 3221224368 3221214760 1131327973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28515 13086 16 0 211785 0
vsize: 847204
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 52911 58 0 0 25 0 11 0 839586701 867536896 28561 4294967295 134512640 134569956 3221224368 3221214368 1131552056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28561 13086 16 0 211785 0
vsize: 847204
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 53893 58 0 0 25 0 11 0 839586701 867536896 28601 4294967295 134512640 134569956 3221224368 3221214616 1131284084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28601 13086 16 0 211785 0
vsize: 847204
[startup+570.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 54876 58 0 0 25 0 11 0 839586701 867536896 28640 4294967295 134512640 134569956 3221224368 3221214616 1131314026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28640 13086 16 0 211785 0
vsize: 847204
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 55858 59 0 0 25 0 11 0 839586701 867536896 28685 4294967295 134512640 134569956 3221224368 3221214068 1131614028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28685 13086 16 0 211785 0
vsize: 847204
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 56842 59 0 0 25 0 11 0 839586701 867536896 28723 4294967295 134512640 134569956 3221224368 3221214616 1131284108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28723 13086 16 0 211785 0
vsize: 847204
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 57824 59 0 0 25 0 11 0 839586701 867536896 28771 4294967295 134512640 134569956 3221224368 3221214760 1131326912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28771 13086 16 0 211785 0
vsize: 847204
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 58810 60 0 0 25 0 11 0 839586701 867536896 28806 4294967295 134512640 134569956 3221224368 3221214568 1131617188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28806 13086 16 0 211785 0
vsize: 847204
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 59793 60 0 0 25 0 11 0 839586701 867536896 28839 4294967295 134512640 134569956 3221224368 3221214704 1131160185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28839 13086 16 0 211785 0
vsize: 847204
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 60778 60 0 0 25 0 11 0 839586701 867536896 28873 4294967295 134512640 134569956 3221224368 3221214616 1131314160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28873 13086 16 0 211785 0
vsize: 847204
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 61762 61 0 0 25 0 11 0 839586701 867536896 28910 4294967295 134512640 134569956 3221224368 3221214616 1131313849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28910 13086 16 0 211785 0
vsize: 847204
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 62747 61 0 0 25 0 11 0 839586701 867536896 28943 4294967295 134512640 134569956 3221224368 3221213972 1131552080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28943 13086 16 0 211785 0
vsize: 847204
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 63732 61 0 0 25 0 11 0 839586701 867536896 28970 4294967295 134512640 134569956 3221224368 3221214616 1131313947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 28970 13086 16 0 211785 0
vsize: 847204
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 64717 62 0 0 25 0 11 0 839586701 867536896 29003 4294967295 134512640 134569956 3221224368 3221214616 1131284090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29003 13086 16 0 211785 0
vsize: 847204
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 65704 62 0 0 25 0 11 0 839586701 867536896 29027 4294967295 134512640 134569956 3221224368 3221214760 1131326803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29027 13086 16 0 211785 0
vsize: 847204
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 66688 62 0 0 25 0 11 0 839586701 867536896 29051 4294967295 134512640 134569956 3221224368 3221214616 1131314619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211801 29051 13086 16 0 211785 0
vsize: 847204
[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 67673 63 0 0 25 0 11 0 839586701 867536896 29075 4294967295 134512640 134569956 3221224368 3221214312 1131552141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29075 13086 16 0 211785 0
vsize: 847204
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 68656 63 0 0 25 0 11 0 839586701 867536896 29105 4294967295 134512640 134569956 3221224368 3221214616 1131313828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29105 13086 16 0 211785 0
vsize: 847204
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18079 0 1 0 69641 64 0 0 25 0 11 0 839586701 867536896 29134 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29134 13086 16 0 211785 0
vsize: 847204
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 70627 64 0 0 25 0 11 0 839586701 867536896 29165 4294967295 134512640 134569956 3221224368 3221214024 1131614049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29165 13086 16 0 211785 0
vsize: 847204
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 71611 64 0 0 25 0 11 0 839586701 867536896 29194 4294967295 134512640 134569956 3221224368 3221214360 1131614061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29194 13086 16 0 211785 0
vsize: 847204
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 72595 66 0 0 25 0 11 0 839586701 867536896 29223 4294967295 134512640 134569956 3221224368 3221214664 1131247836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29223 13086 16 0 211785 0
vsize: 847204
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 73580 66 0 0 25 0 11 0 839586701 867536896 29249 4294967295 134512640 134569956 3221224368 3221214616 1131315605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29249 13086 16 0 211785 0
vsize: 847204
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 74564 66 0 0 24 0 11 0 839586701 867536896 29276 4294967295 134512640 134569956 3221224368 3221214616 1131314026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29276 13086 16 0 211785 0
vsize: 847204
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 75545 66 0 0 25 0 11 0 839586701 867536896 29293 4294967295 134512640 134569956 3221224368 3221214712 1131237487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29293 13086 16 0 211785 0
vsize: 847204
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 76520 67 0 0 25 0 11 0 839586701 867536896 29320 4294967295 134512640 134569956 3221224368 3221214616 1131313752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29320 13086 16 0 211785 0
vsize: 847204
[startup+800.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 77496 67 0 0 25 0 11 0 839586701 867536896 29344 4294967295 134512640 134569956 3221224368 3221214616 1131314026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29344 13086 16 0 211785 0
vsize: 847204
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 78470 67 0 0 25 0 11 0 839586701 867536896 29369 4294967295 134512640 134569956 3221224368 3221214616 1131314534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29369 13086 16 0 211785 0
vsize: 847204
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 79453 68 0 0 25 0 11 0 839586701 867536896 29476 4294967295 134512640 134569956 3221224368 3221214760 1131326839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29476 13086 16 0 211785 0
vsize: 847204
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 80438 68 0 0 25 0 11 0 839586701 867536896 29502 4294967295 134512640 134569956 3221224368 3221214712 1131237524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29502 13086 16 0 211785 0
vsize: 847204
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 81425 68 0 0 25 0 11 0 839586701 867536896 29525 4294967295 134512640 134569956 3221224368 3221214712 1131237524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29525 13086 16 0 211785 0
vsize: 847204
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 82410 69 0 0 25 0 11 0 839586701 867536896 29543 4294967295 134512640 134569956 3221224368 3221214128 1131612377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29543 13086 16 0 211785 0
vsize: 847204
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 83395 69 0 0 25 0 11 0 839586701 867536896 29560 4294967295 134512640 134569956 3221224368 3221214616 1131313889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29560 13086 16 0 211785 0
vsize: 847204
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 84379 69 0 0 24 0 11 0 839586701 867536896 29582 4294967295 134512640 134569956 3221224368 3221214760 1131327109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29582 13086 16 0 211785 0
vsize: 847204
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 85365 69 0 0 25 0 11 0 839586701 867536896 29601 4294967295 134512640 134569956 3221224368 3221214240 1131614280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29601 13086 16 0 211785 0
vsize: 847204
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 86349 70 0 0 25 0 11 0 839586701 867536896 29626 4294967295 134512640 134569956 3221224368 3221214760 1131327346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29626 13086 16 0 211785 0
vsize: 847204
[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 87333 70 0 0 25 0 11 0 839586701 867536896 29648 4294967295 134512640 134569956 3221224368 3221214712 1131237428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29648 13086 16 0 211785 0
vsize: 847204
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 88317 70 0 0 25 0 11 0 839586701 867536896 29672 4294967295 134512640 134569956 3221224368 3221214704 1131160135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29672 13086 16 0 211785 0
vsize: 847204
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 89301 71 0 0 25 0 11 0 839586701 867536896 29693 4294967295 134512640 134569956 3221224368 3221214656 1131377360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29693 13086 16 0 211785 0
vsize: 847204
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 90285 72 0 0 25 0 11 0 839586701 867536896 29713 4294967295 134512640 134569956 3221224368 3221214192 1131614121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29713 13086 16 0 211785 0
vsize: 847204
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 91269 72 0 0 25 0 11 0 839586701 867536896 29736 4294967295 134512640 134569956 3221224368 3221213760 1131552094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29736 13086 16 0 211785 0
vsize: 847204
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 92252 72 0 0 25 0 11 0 839586701 867536896 29759 4294967295 134512640 134569956 3221224368 3221214616 1131313759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29759 13086 16 0 211785 0
vsize: 847204
[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 93235 73 0 0 25 0 11 0 839586701 867536896 29779 4294967295 134512640 134569956 3221224368 3221214616 1131284020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29779 13086 16 0 211785 0
vsize: 847204
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 94218 73 0 0 25 0 11 0 839586701 867536896 29802 4294967295 134512640 134569956 3221224368 3221214708 1131313728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29802 13086 16 0 211785 0
vsize: 847204
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 95203 73 0 0 25 0 11 0 839586701 867536896 29822 4294967295 134512640 134569956 3221224368 3221214760 1131327708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29822 13086 16 0 211785 0
vsize: 847204
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 96186 73 0 0 25 0 11 0 839586701 867536896 29852 4294967295 134512640 134569956 3221224368 3221214392 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29852 13086 16 0 211785 0
vsize: 847204
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 97170 74 0 0 25 0 11 0 839586701 867536896 29876 4294967295 134512640 134569956 3221224368 3221214704 1131188113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29876 13086 16 0 211785 0
vsize: 847204
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 98153 74 0 0 25 0 11 0 839586701 867536896 29903 4294967295 134512640 134569956 3221224368 3221214756 1131357929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29903 13086 16 0 211785 0
vsize: 847204
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 99136 75 0 0 25 0 11 0 839586701 867536896 29924 4294967295 134512640 134569956 3221224368 3221214444 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29924 13086 16 0 211785 0
vsize: 847204
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 100120 75 0 0 25 0 11 0 839586701 867536896 29949 4294967295 134512640 134569956 3221224368 3221214408 1131309543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29949 13086 16 0 211785 0
vsize: 847204
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 101103 75 0 0 24 0 11 0 839586701 867536896 29974 4294967295 134512640 134569956 3221224368 3221214616 1131284013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29974 13086 16 0 211785 0
vsize: 847204
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 102088 76 0 0 25 0 11 0 839586701 867536896 29994 4294967295 134512640 134569956 3221224368 3221214616 1131284020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 29994 13086 16 0 211785 0
vsize: 847204
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 103072 76 0 0 25 0 11 0 839586701 867536896 30013 4294967295 134512640 134569956 3221224368 3221214408 1131313974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30013 13086 16 0 211785 0
vsize: 847204
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 104056 76 0 0 25 0 11 0 839586701 867536896 30036 4294967295 134512640 134569956 3221224368 3221214760 1131326949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30036 13086 16 0 211785 0
vsize: 847204
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 105040 77 0 0 25 0 11 0 839586701 867536896 30056 4294967295 134512640 134569956 3221224368 3221214616 1131313889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30056 13086 16 0 211785 0
vsize: 847204
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 106024 77 0 0 25 0 11 0 839586701 867536896 30077 4294967295 134512640 134569956 3221224368 3221214664 1131246852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30077 13086 16 0 211785 0
vsize: 847204
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 107008 78 0 0 25 0 11 0 839586701 867536896 30096 4294967295 134512640 134569956 3221224368 3221213940 1085616771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30096 13086 16 0 211785 0
vsize: 847204
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 107991 78 0 0 24 0 11 0 839586701 867536896 30115 4294967295 134512640 134569956 3221224368 3221214704 1131188113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30115 13086 16 0 211785 0
vsize: 847204
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 108977 78 0 0 25 0 11 0 839586701 867536896 30131 4294967295 134512640 134569956 3221224368 3221214704 1131160188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30131 13086 16 0 211785 0
vsize: 847204
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 109960 79 0 0 25 0 11 0 839586701 867536896 30153 4294967295 134512640 134569956 3221224368 3221214200 1131552081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30153 13086 16 0 211785 0
vsize: 847204
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 110943 79 0 0 25 0 11 0 839586701 867536896 30176 4294967295 134512640 134569956 3221224368 3221214760 1131327128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30176 13086 16 0 211785 0
vsize: 847204
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 111926 79 0 0 25 0 11 0 839586701 867536896 30198 4294967295 134512640 134569956 3221224368 3221213696 1131552056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30198 13086 16 0 211785 0
vsize: 847204
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 112908 80 0 0 24 0 11 0 839586701 867536896 30217 4294967295 134512640 134569956 3221224368 3221214552 1131259660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30217 13086 16 0 211785 0
vsize: 847204
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) S 6148 24821 24820 0 -1 0 18079 0 1 0 113893 80 0 0 25 0 11 0 839586701 867536896 30239 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30239 13086 16 0 211785 0
vsize: 847204
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 114876 80 0 0 25 0 11 0 839586701 867536896 30256 4294967295 134512640 134569956 3221224368 3221214616 1131313849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30256 13086 16 0 211785 0
vsize: 847204
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 115858 81 0 0 25 0 11 0 839586701 867536896 30277 4294967295 134512640 134569956 3221224368 3221214616 1131313849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30277 13086 16 0 211785 0
vsize: 847204
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 116842 81 0 0 25 0 11 0 839586701 867536896 30305 4294967295 134512640 134569956 3221224368 3221214616 1131314078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30305 13086 16 0 211785 0
vsize: 847204
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 117825 81 0 0 25 0 11 0 839586701 867536896 30322 4294967295 134512640 134569956 3221224368 3221214616 1131313889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30322 13086 16 0 211785 0
vsize: 847204
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 118808 82 0 0 25 0 11 0 839586701 867536896 30343 4294967295 134512640 134569956 3221224368 3221214616 1131314026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30343 13086 16 0 211785 0
vsize: 847204
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 119791 82 0 0 25 0 11 0 839586701 867536896 30359 4294967295 134512640 134569956 3221224368 3221214304 1131614058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30359 13086 16 0 211785 0
vsize: 847204
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6159
Raw data (stat): 6149 (java) R 6148 24821 24820 0 -1 0 18079 0 1 0 120774 82 0 0 25 0 11 0 839586701 867536896 30381 4294967295 134512640 134569956 3221224368 3221214616 1131314014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211801 30381 13086 16 0 211785 0
vsize: 847204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6161
Raw data (stat): 6149 (java) Z 6148 24821 24820 0 -1 1036 18079 18133 1 0 120780 82 3870 53 25 0 1 0 839586701 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): 1240.16
CPU time (s): 1247.88
CPU user time (s): 1246.51
CPU system time (s): 1.36579
CPU usage (%): 100.622
Max. virtual memory (Kb): 850612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####