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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ir98.opb
MD5SUM	af50f6e3dbb65aa298a499a107f218c7
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	81920000000
Number of bits of the biggest number in a constraint	37
Biggest sum of numbers in a constraint	18861949529571
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.38864
Number of variables	6938
Total number of constraints	6560
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6451
Number of constraints which are nor clauses,nor cardinality constraints	109
Minimum length of a constraint	1
Maximum length of a constraint	6052
Trace number 30148

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        684716 kB
Buffers:         33856 kB
Cached:         290704 kB
SwapCached:        412 kB
Active:          94644 kB
Inactive:       232156 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684464 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            17360 kB
Committed_AS:    63788 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:45:07 (client local time) WITH STATUS 143 IN 1218.26 SECONDS
stats: 21551 7 1218.26 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/wulflinc6/normalized-mps-v2-13-7-blp-ir98.opb
c reading problem ... done. Time 24.413 ms.
c #vars     6938
c #constraints  595
c starts	: 1
c conflicts	: 1
c decisions	: 20
c propagations	: 31
c inspects	: 63
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
s UNKNOWN
c Total CPU time (ms) : 1219.213
#### 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.86 0.97 0.99 2/54 8430
Raw data (stat): 8430 (runsolver) R 8429 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781716370 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.0012 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 8439
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18033 0 1 0 877 39 0 0 18 0 10 0 781716370 854581248 19359 4294967295 134512640 134569956 3221224368 3221214968 1130903646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 19359 13086 16 0 208622 0
vsize: 834552
[startup+20.0023 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 8439
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18042 0 1 0 1719 41 0 0 22 0 10 0 781716370 860000256 21012 4294967295 134512640 134569956 3221224368 3221214416 1131290228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209961 21012 13086 16 0 209945 0
vsize: 839844
[startup+30.0029 s]
Raw data (loadavg): 1.13 1.02 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18110 0 1 0 2595 43 0 0 25 0 11 0 781716370 863559680 25914 4294967295 134512640 134569956 3221224368 3221214608 1131451032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210830 25914 13086 16 0 210814 0
vsize: 843320
[startup+40.0036 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18110 0 1 0 3542 43 0 0 25 0 11 0 781716370 863559680 26443 4294967295 134512640 134569956 3221224368 3221214480 1131460528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210830 26443 13086 16 0 210814 0
vsize: 843320
[startup+50.1066 s]
Raw data (loadavg): 1.16 1.03 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18111 0 1 0 4518 44 0 0 25 0 11 0 781716370 862511104 26331 4294967295 134512640 134569956 3221224368 3221214608 1131450441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 26331 13086 16 0 210558 0
vsize: 842296
[startup+60.1072 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18111 0 1 0 5482 44 0 0 25 0 11 0 781716370 862511104 26344 4294967295 134512640 134569956 3221224368 3221214480 1131460855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 26344 13086 16 0 210558 0
vsize: 842296
[startup+70.1079 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18111 0 1 0 6445 44 0 0 25 0 11 0 781716370 862511104 26344 4294967295 134512640 134569956 3221224368 3221214608 1131450380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 26344 13086 16 0 210558 0
vsize: 842296
[startup+80.1091 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18111 0 1 0 7429 44 0 0 25 0 11 0 781716370 862511104 26344 4294967295 134512640 134569956 3221224368 3221214608 1131451026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 26344 13086 16 0 210558 0
vsize: 842296
[startup+90.1092 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 8391 44 0 0 25 0 11 0 781716370 862511104 26381 4294967295 134512640 134569956 3221224368 3221214488 1131461169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 26381 13086 16 0 210558 0
vsize: 842296
[startup+100.109 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 9345 44 0 0 25 0 11 0 781716370 862511104 26381 4294967295 134512640 134569956 3221224368 3221214488 1131293073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 26381 13086 16 0 210558 0
vsize: 842296
[startup+110.111 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 10310 44 0 0 25 0 11 0 781716370 862511104 26381 4294967295 134512640 134569956 3221224368 3221214488 1131461230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 26381 13086 16 0 210558 0
vsize: 842296
[startup+120.111 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 11294 45 0 0 25 0 11 0 781716370 862511104 27044 4294967295 134512640 134569956 3221224368 3221214584 1131451026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27044 13086 16 0 210558 0
vsize: 842296
[startup+130.111 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 12289 45 0 0 25 0 11 0 781716370 862511104 27044 4294967295 134512640 134569956 3221224368 3221214584 1131451026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27044 13086 16 0 210558 0
vsize: 842296
[startup+140.11 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 13284 45 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214584 1131451026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+150.11 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 14277 46 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214608 1131450392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+160.109 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 15270 46 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214512 1131293788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+170.108 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 16263 46 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214608 1131451047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+180.108 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 17259 47 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214512 1131461288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+190.108 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 18254 47 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214512 1131460520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+200.107 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 19249 47 0 0 19 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214512 1131293421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+210.106 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 20243 47 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214512 1131460523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+220.106 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 21235 47 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214608 1131450380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+230.105 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 22229 47 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+240.105 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 23224 47 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+250.105 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 24222 48 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214512 1131461230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+260.105 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 25214 48 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214512 1131293181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+270.104 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 26206 49 0 0 25 0 11 0 781716370 862511104 27046 4294967295 134512640 134569956 3221224368 3221214608 1131446207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27046 13086 16 0 210558 0
vsize: 842296
[startup+280.104 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 27202 49 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131461230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+290.104 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 28202 49 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131446183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+300.104 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 29201 49 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+310.104 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 30200 49 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214580 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+320.103 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 31199 50 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131450369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+330.103 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 32198 50 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131460523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+340.103 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 33197 50 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131293073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+350.102 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 34196 50 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131450734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+360.103 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 35195 50 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131450640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+370.102 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 36193 50 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+380.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 37192 50 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131292893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+390.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 38191 50 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131451026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+400.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 39191 50 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131460480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+410.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 40188 51 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131461230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+420.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 41180 51 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131460523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+430.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 42174 51 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131461147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+440.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 43167 51 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131450392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+450.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 44162 51 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131450356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+460.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 45159 51 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131451012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+470.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 46152 51 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131461415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+480.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 47144 52 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131293388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+490.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 48137 52 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131451026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+500.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 49131 52 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131446183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+510.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 50127 53 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131451026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+520.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 51123 53 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+530.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 52114 53 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214608 1131446231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+540.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 53108 54 0 0 25 0 11 0 781716370 862511104 27153 4294967295 134512640 134569956 3221224368 3221214512 1131291837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27153 13086 16 0 210558 0
vsize: 842296
[startup+550.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 54106 54 0 0 25 0 11 0 781716370 862511104 27259 4294967295 134512640 134569956 3221224368 3221214408 1131404765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27259 13086 16 0 210558 0
vsize: 842296
[startup+560.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 55105 54 0 0 25 0 11 0 781716370 862511104 27259 4294967295 134512640 134569956 3221224368 3221214512 1131293018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27259 13086 16 0 210558 0
vsize: 842296
[startup+570.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 56105 55 0 0 25 0 11 0 781716370 862511104 27259 4294967295 134512640 134569956 3221224368 3221214512 1131460594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27259 13086 16 0 210558 0
vsize: 842296
[startup+580.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 57096 55 0 0 25 0 11 0 781716370 862511104 27259 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27259 13086 16 0 210558 0
vsize: 842296
[startup+590.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 58087 56 0 0 25 0 11 0 781716370 862511104 27259 4294967295 134512640 134569956 3221224368 3221214512 1131461230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27259 13086 16 0 210558 0
vsize: 842296
[startup+600.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 59081 56 0 0 25 0 11 0 781716370 862511104 27259 4294967295 134512640 134569956 3221224368 3221214512 1131461230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27259 13086 16 0 210558 0
vsize: 842296
[startup+610.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 60076 56 0 0 25 0 11 0 781716370 862511104 27259 4294967295 134512640 134569956 3221224368 3221214608 1131450368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27259 13086 16 0 210558 0
vsize: 842296
[startup+620.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 61073 56 0 0 25 0 11 0 781716370 862511104 27259 4294967295 134512640 134569956 3221224368 3221214608 1131450380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27259 13086 16 0 210558 0
vsize: 842296
[startup+630.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 62066 57 0 0 25 0 11 0 781716370 862511104 27259 4294967295 134512640 134569956 3221224368 3221214580 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27259 13086 16 0 210558 0
vsize: 842296
[startup+640.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 63058 57 0 0 25 0 11 0 781716370 862511104 27259 4294967295 134512640 134569956 3221224368 3221214512 1131292843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27259 13086 16 0 210558 0
vsize: 842296
[startup+650.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 64051 57 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214580 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+660.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 65050 58 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214512 1131293035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+670.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 66050 58 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131450624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+680.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 67049 58 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131451026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+690.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 68048 59 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131450380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+700.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 69047 59 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131451032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+710.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 70045 59 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214568 1131409334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+720.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 71044 59 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131450497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+730.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 72044 59 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214512 1131293035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+740.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 73041 59 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131446183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+750.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 74039 60 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131450380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+760.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 75038 60 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+770.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 76037 60 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214580 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+780.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 77036 61 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+790.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 78029 61 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214512 1131461364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+800.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 79021 61 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214512 1131461364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+810.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 80012 62 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214512 1131292903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+820.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 81007 62 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214512 1131462112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+830.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 82001 62 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131450836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+840.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 82997 62 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+850.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 83989 63 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214512 1131292903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+860.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 84980 63 0 0 24 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214580 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+870.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 85975 63 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131446176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+880.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 86970 63 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214512 1131291803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+890.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 87967 63 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214512 1131460594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+900.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 88959 63 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214512 1131460528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+910.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 89952 64 0 0 25 0 11 0 781716370 862511104 27377 4294967295 134512640 134569956 3221224368 3221214608 1131446176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27377 13086 16 0 210558 0
vsize: 842296
[startup+920.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 90946 64 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214608 1131450491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+930.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 91945 64 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214608 1131450380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+940.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 92945 64 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 93938 64 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214584 1131250416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+960.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 94932 65 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214512 1131293243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+970.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 95923 65 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214608 1131446176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+980.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 96918 66 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214608 1131450435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+990.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 97913 66 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214580 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 98909 66 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214608 1131450380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 99901 67 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214584 1131250388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+1020.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 100905 67 0 0 25 0 11 0 781716370 862511104 27494 4294967295 134512640 134569956 3221224368 3221214608 1131450380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27494 13086 16 0 210558 0
vsize: 842296
[startup+1030.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 101901 67 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214512 1131292942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1040.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 102900 68 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214608 1131446324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1050.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 103899 68 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214512 1131292843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1060.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 104891 68 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214512 1131460523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1070.2 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 105884 68 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214608 1131450386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1080.2 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 106876 68 0 0 24 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214512 1131293073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1090.2 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 107871 68 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214608 1131451026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1100.2 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 108868 69 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214608 1131450997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1110.2 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 109861 69 0 0 24 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1120.2 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 110854 69 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214584 1131250411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1130.2 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 111847 69 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214608 1131451057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1140.2 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 112841 70 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214608 1131450500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1150.2 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 113835 70 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214512 1131461230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1160.2 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 114832 71 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214608 1131451080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1170.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 115823 71 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214608 1131451026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1180.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 116817 71 0 0 25 0 11 0 781716370 862511104 27625 4294967295 134512640 134569956 3221224368 3221214608 1131450380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27625 13086 16 0 210558 0
vsize: 842296
[startup+1190.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 117812 72 0 0 25 0 11 0 781716370 862511104 27754 4294967295 134512640 134569956 3221224368 3221214512 1131461230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27754 13086 16 0 210558 0
vsize: 842296
[startup+1200.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 118811 72 0 0 25 0 11 0 781716370 862511104 27754 4294967295 134512640 134569956 3221224368 3221214608 1131451012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27754 13086 16 0 210558 0
vsize: 842296
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 119811 72 0 0 25 0 11 0 781716370 862511104 27754 4294967295 134512640 134569956 3221224368 3221214608 1131450380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27754 13086 16 0 210558 0
vsize: 842296
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8440
Raw data (stat): 8430 (java) R 8429 25568 25567 0 -1 0 18112 0 1 0 120809 73 0 0 25 0 11 0 781716370 862511104 27754 4294967295 134512640 134569956 3221224368 3221214608 1131451026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210574 27754 13086 16 0 210558 0
vsize: 842296
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.27 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8442
Raw data (stat): 8430 (java) Z 8429 25568 25567 0 -1 1036 18112 7447 1 0 120811 73 920 20 25 0 1 0 781716370 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): 1220.27
CPU time (s): 1218.26
CPU user time (s): 1217.32
CPU system time (s): 0.939857
CPU usage (%): 99.835
Max. virtual memory (Kb): 843320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####