PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb
MD5SUM	8298f3392c738b735ea9c7e42f541654
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29694485111877
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29694485111877
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	1.44378
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 29698

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 10:32:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21101 boxname=wulflinc6 idbench=1089 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8298f3392c738b735ea9c7e42f541654  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370b.opb
IDLAUNCH: 21101
/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:        704948 kB
Buffers:         30604 kB
Cached:         273488 kB
SwapCached:        412 kB
Active:          88656 kB
Inactive:       217744 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        704696 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            17628 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:54:21 (client local time) WITH STATUS 143 IN 1312.64 SECONDS
stats: 21101 7 1312.64 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-20-10-n370b.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.178
#### 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.94 0.98 0.99 2/54 6294
Raw data (stat): 6294 (runsolver) R 6293 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779962513 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18011 0 1 0 873 39 0 0 22 0 10 0 779962513 853647360 19355 4294967295 134512640 134569956 3221224368 3221214700 1131185760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208410 19355 13086 16 0 208394 0
vsize: 833640
[startup+20.0016 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 1769 39 0 0 19 0 10 0 779962513 855744512 20299 4294967295 134512640 134569956 3221224368 3221214416 1076461328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208922 20299 13086 16 0 208906 0
vsize: 835688
[startup+30.0012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 2660 40 0 0 21 0 10 0 779962513 855744512 20702 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208922 20702 13086 16 0 208906 0
vsize: 835688
[startup+40.0019 s]
Raw data (loadavg): 1.09 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 3576 40 0 0 25 0 10 0 779962513 856252416 21115 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209046 21115 13086 16 0 209030 0
vsize: 836184
[startup+50.003 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 4498 40 0 0 18 0 10 0 779962513 856252416 21277 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209046 21277 13086 16 0 209030 0
vsize: 836184
[startup+60.0027 s]
Raw data (loadavg): 1.07 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 5418 41 0 0 23 0 10 0 779962513 856252416 21401 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209046 21401 13086 16 0 209030 0
vsize: 836184
[startup+70.0033 s]
Raw data (loadavg): 1.13 1.03 1.01 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 6345 41 0 0 25 0 10 0 779962513 856285184 21674 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 21674 13086 16 0 209038 0
vsize: 836216
[startup+80.0044 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 7287 41 0 0 25 0 10 0 779962513 856285184 21770 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 21770 13086 16 0 209038 0
vsize: 836216
[startup+90.0041 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 8226 42 0 0 25 0 10 0 779962513 856285184 21863 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 21863 13086 16 0 209038 0
vsize: 836216
[startup+100.005 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 9171 42 0 0 25 0 10 0 779962513 856285184 21944 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 21944 13086 16 0 209038 0
vsize: 836216
[startup+110.006 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 10112 42 0 0 25 0 10 0 779962513 856285184 22024 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22024 13086 16 0 209038 0
vsize: 836216
[startup+120.007 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 11058 42 0 0 25 0 10 0 779962513 856285184 22097 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209054 22097 13086 16 0 209038 0
vsize: 836216
[startup+130.007 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 11999 42 0 0 25 0 10 0 779962513 856285184 22169 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22169 13086 16 0 209038 0
vsize: 836216
[startup+140.007 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 12941 43 0 0 24 0 10 0 779962513 856285184 22237 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22237 13086 16 0 209038 0
vsize: 836216
[startup+150.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 13886 44 0 0 25 0 10 0 779962513 856285184 22299 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209054 22299 13086 16 0 209038 0
vsize: 836216
[startup+160.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 14828 44 0 0 25 0 10 0 779962513 856285184 22362 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22362 13086 16 0 209038 0
vsize: 836216
[startup+170.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 15773 44 0 0 25 0 10 0 779962513 856285184 22419 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22419 13086 16 0 209038 0
vsize: 836216
[startup+180.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) S 6293 25568 25567 0 -1 0 18012 0 1 0 16686 45 0 0 25 0 10 0 779962513 856285184 22475 4294967295 134512640 134569956 3221224368 3221213336 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22475 13086 16 0 209038 0
vsize: 836216
[startup+190.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 17605 45 0 0 24 0 10 0 779962513 856285184 22788 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22788 13086 16 0 209038 0
vsize: 836216
[startup+200.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 18546 46 0 0 25 0 10 0 779962513 856285184 22840 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22840 13086 16 0 209038 0
vsize: 836216
[startup+210.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 19484 46 0 0 18 0 10 0 779962513 856285184 22893 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22893 13086 16 0 209038 0
vsize: 836216
[startup+220.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 20426 46 0 0 25 0 10 0 779962513 856285184 22942 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22942 13086 16 0 209038 0
vsize: 836216
[startup+230.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 21363 46 0 0 25 0 10 0 779962513 856285184 22993 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 22993 13086 16 0 209038 0
vsize: 836216
[startup+240.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 22304 47 0 0 25 0 10 0 779962513 856285184 23040 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209054 23040 13086 16 0 209038 0
vsize: 836216
[startup+250.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 23240 47 0 0 24 0 10 0 779962513 856285184 23089 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23089 13086 16 0 209038 0
vsize: 836216
[startup+260.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 24180 48 0 0 25 0 10 0 779962513 856285184 23134 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23134 13086 16 0 209038 0
vsize: 836216
[startup+270.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 25116 49 0 0 16 0 10 0 779962513 856285184 23180 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23180 13086 16 0 209038 0
vsize: 836216
[startup+280.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 26055 49 0 0 25 0 10 0 779962513 856285184 23224 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23224 13086 16 0 209038 0
vsize: 836216
[startup+290.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 26994 49 0 0 25 0 10 0 779962513 856285184 23266 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23266 13086 16 0 209038 0
vsize: 836216
[startup+300.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 27929 50 0 0 25 0 10 0 779962513 856285184 23311 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23311 13086 16 0 209038 0
vsize: 836216
[startup+310.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 28866 50 0 0 25 0 10 0 779962513 856285184 23352 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23352 13086 16 0 209038 0
vsize: 836216
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 29800 50 0 0 24 0 10 0 779962513 856285184 23395 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23395 13086 16 0 209038 0
vsize: 836216
[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 30738 51 0 0 25 0 10 0 779962513 856285184 23434 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23434 13086 16 0 209038 0
vsize: 836216
[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 31675 51 0 0 25 0 10 0 779962513 856285184 23473 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23473 13086 16 0 209038 0
vsize: 836216
[startup+350.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 32608 52 0 0 24 0 10 0 779962513 856285184 23514 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23514 13086 16 0 209038 0
vsize: 836216
[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 33544 52 0 0 25 0 10 0 779962513 856285184 23552 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23552 13086 16 0 209038 0
vsize: 836216
[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 34480 53 0 0 25 0 10 0 779962513 856285184 23590 4294967295 134512640 134569956 3221224368 3221213932 1079753357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23590 13086 16 0 209038 0
vsize: 836216
[startup+380.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) S 6293 25568 25567 0 -1 0 18012 0 1 0 35414 53 0 0 25 0 10 0 779962513 856285184 23628 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23628 13086 16 0 209038 0
vsize: 836216
[startup+390.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 36347 54 0 0 25 0 10 0 779962513 856285184 23666 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23666 13086 16 0 209038 0
vsize: 836216
[startup+400.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 37281 54 0 0 25 0 10 0 779962513 856285184 23701 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23701 13086 16 0 209038 0
vsize: 836216
[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 38215 55 0 0 25 0 10 0 779962513 856285184 23737 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23737 13086 16 0 209038 0
vsize: 836216
[startup+420.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 39143 56 0 0 24 0 10 0 779962513 856285184 23774 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23774 13086 16 0 209038 0
vsize: 836216
[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 40077 56 0 0 25 0 10 0 779962513 856285184 23808 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23808 13086 16 0 209038 0
vsize: 836216
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 41010 57 0 0 25 0 10 0 779962513 856285184 23842 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23842 13086 16 0 209038 0
vsize: 836216
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 41942 57 0 0 25 0 10 0 779962513 856285184 23876 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23876 13086 16 0 209038 0
vsize: 836216
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) S 6293 25568 25567 0 -1 0 18012 0 1 0 42872 58 0 0 25 0 10 0 779962513 856285184 23909 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23909 13086 16 0 209038 0
vsize: 836216
[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 43802 58 0 0 24 0 10 0 779962513 856285184 23944 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209054 23944 13086 16 0 209038 0
vsize: 836216
[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 44733 59 0 0 25 0 10 0 779962513 856285184 23976 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 23976 13086 16 0 209038 0
vsize: 836216
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 45664 59 0 0 25 0 10 0 779962513 856285184 24008 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24008 13086 16 0 209038 0
vsize: 836216
[startup+500.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 46595 60 0 0 25 0 10 0 779962513 856285184 24040 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24040 13086 16 0 209038 0
vsize: 836216
[startup+510.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 47526 60 0 0 25 0 10 0 779962513 856285184 24071 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24071 13086 16 0 209038 0
vsize: 836216
[startup+520.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 48450 60 0 0 24 0 10 0 779962513 856285184 24106 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24106 13086 16 0 209038 0
vsize: 836216
[startup+530.044 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 49380 61 0 0 25 0 10 0 779962513 856285184 24136 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24136 13086 16 0 209038 0
vsize: 836216
[startup+540.045 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 50309 61 0 0 25 0 10 0 779962513 856285184 24167 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24167 13086 16 0 209038 0
vsize: 836216
[startup+550.046 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 51237 62 0 0 25 0 10 0 779962513 856285184 24197 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24197 13086 16 0 209038 0
vsize: 836216
[startup+560.048 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 52165 62 0 0 25 0 10 0 779962513 856285184 24227 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24227 13086 16 0 209038 0
vsize: 836216
[startup+570.049 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 53093 63 0 0 25 0 10 0 779962513 856285184 24257 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24257 13086 16 0 209038 0
vsize: 836216
[startup+580.049 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 54020 63 0 0 25 0 10 0 779962513 856285184 24286 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24286 13086 16 0 209038 0
vsize: 836216
[startup+590.05 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) S 6293 25568 25567 0 -1 0 18012 0 1 0 54945 63 0 0 25 0 10 0 779962513 856285184 24316 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24316 13086 16 0 209038 0
vsize: 836216
[startup+600.051 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 55869 64 0 0 24 0 10 0 779962513 856285184 24346 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24346 13086 16 0 209038 0
vsize: 836216
[startup+610.052 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 56795 64 0 0 24 0 10 0 779962513 856285184 24374 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24374 13086 16 0 209038 0
vsize: 836216
[startup+620.053 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 57720 65 0 0 25 0 10 0 779962513 856285184 24403 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24403 13086 16 0 209038 0
vsize: 836216
[startup+630.054 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 58645 65 0 0 25 0 10 0 779962513 856285184 24431 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24431 13086 16 0 209038 0
vsize: 836216
[startup+640.056 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 59571 66 0 0 25 0 10 0 779962513 856285184 24459 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24459 13086 16 0 209038 0
vsize: 836216
[startup+650.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 60496 66 0 0 25 0 10 0 779962513 856285184 24486 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24486 13086 16 0 209038 0
vsize: 836216
[startup+660.059 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 61421 67 0 0 25 0 10 0 779962513 856285184 24514 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 24514 13086 16 0 209038 0
vsize: 836216
[startup+670.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 62337 67 0 0 25 0 10 0 779962513 856285184 25454 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25454 13086 16 0 209038 0
vsize: 836216
[startup+680.061 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 63264 68 0 0 25 0 10 0 779962513 856285184 25456 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25456 13086 16 0 209038 0
vsize: 836216
[startup+690.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 64180 68 0 0 25 0 10 0 779962513 856285184 25464 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25464 13086 16 0 209038 0
vsize: 836216
[startup+700.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 65095 69 0 0 25 0 10 0 779962513 856285184 25492 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25492 13086 16 0 209038 0
vsize: 836216
[startup+710.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 66009 69 0 0 25 0 10 0 779962513 856285184 25518 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25518 13086 16 0 209038 0
vsize: 836216
[startup+720.066 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 66921 70 0 0 25 0 10 0 779962513 856285184 25544 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25544 13086 16 0 209038 0
vsize: 836216
[startup+730.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 67835 70 0 0 25 0 10 0 779962513 856285184 25571 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25571 13086 16 0 209038 0
vsize: 836216
[startup+740.068 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 68748 71 0 0 25 0 10 0 779962513 856285184 25596 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25596 13086 16 0 209038 0
vsize: 836216
[startup+750.069 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 69661 72 0 0 24 0 10 0 779962513 856285184 25622 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25622 13086 16 0 209038 0
vsize: 836216
[startup+760.07 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) S 6293 25568 25567 0 -1 0 18012 0 1 0 70574 72 0 0 25 0 10 0 779962513 856285184 25647 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25647 13086 16 0 209038 0
vsize: 836216
[startup+770.072 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 71490 72 0 0 25 0 10 0 779962513 856285184 25672 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25672 13086 16 0 209038 0
vsize: 836216
[startup+780.073 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 72402 73 0 0 25 0 10 0 779962513 856285184 25697 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25697 13086 16 0 209038 0
vsize: 836216
[startup+790.074 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 73314 73 0 0 25 0 10 0 779962513 856285184 25722 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25722 13086 16 0 209038 0
vsize: 836216
[startup+800.076 s]
Raw data (loadavg): 1.10 1.04 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 74225 74 0 0 25 0 10 0 779962513 856285184 25747 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25747 13086 16 0 209038 0
vsize: 836216
[startup+810.077 s]
Raw data (loadavg): 1.09 1.04 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 75136 74 0 0 25 0 10 0 779962513 856285184 25772 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25772 13086 16 0 209038 0
vsize: 836216
[startup+820.081 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 76047 74 0 0 16 0 10 0 779962513 856285184 25796 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25796 13086 16 0 209038 0
vsize: 836216
[startup+830.082 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 76962 75 0 0 25 0 10 0 779962513 856285184 25819 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25819 13086 16 0 209038 0
vsize: 836216
[startup+840.083 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 77872 75 0 0 25 0 10 0 779962513 856285184 25843 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25843 13086 16 0 209038 0
vsize: 836216
[startup+850.084 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 78781 76 0 0 25 0 10 0 779962513 856285184 25867 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25867 13086 16 0 209038 0
vsize: 836216
[startup+860.085 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 79690 76 0 0 24 0 10 0 779962513 856285184 25891 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25891 13086 16 0 209038 0
vsize: 836216
[startup+870.086 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 80605 77 0 0 25 0 10 0 779962513 856285184 25914 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25914 13086 16 0 209038 0
vsize: 836216
[startup+880.087 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 81515 77 0 0 25 0 10 0 779962513 856285184 25938 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25938 13086 16 0 209038 0
vsize: 836216
[startup+890.089 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 82423 78 0 0 25 0 10 0 779962513 856285184 25961 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25961 13086 16 0 209038 0
vsize: 836216
[startup+900.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 83331 78 0 0 24 0 10 0 779962513 856285184 25985 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 25985 13086 16 0 209038 0
vsize: 836216
[startup+910.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 84244 79 0 0 25 0 10 0 779962513 856285184 26007 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26007 13086 16 0 209038 0
vsize: 836216
[startup+920.091 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 85153 79 0 0 25 0 10 0 779962513 856285184 26031 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26031 13086 16 0 209038 0
vsize: 836216
[startup+930.092 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 86060 79 0 0 20 0 10 0 779962513 856285184 26060 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26060 13086 16 0 209038 0
vsize: 836216
[startup+940.093 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 86972 80 0 0 24 0 10 0 779962513 856285184 26083 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26083 13086 16 0 209038 0
vsize: 836216
[startup+950.094 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 87879 80 0 0 22 0 10 0 779962513 856285184 26106 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26106 13086 16 0 209038 0
vsize: 836216
[startup+960.095 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 88785 81 0 0 21 0 10 0 779962513 856285184 26140 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26140 13086 16 0 209038 0
vsize: 836216
[startup+970.099 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) S 6293 25568 25567 0 -1 0 18012 0 1 0 89691 82 0 0 24 0 10 0 779962513 856285184 26165 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26165 13086 16 0 209038 0
vsize: 836216
[startup+980.101 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 90601 82 0 0 23 0 10 0 779962513 856285184 26187 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26187 13086 16 0 209038 0
vsize: 836216
[startup+990.102 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 91506 83 0 0 20 0 10 0 779962513 856285184 26215 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26215 13086 16 0 209038 0
vsize: 836216
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 92412 83 0 0 19 0 10 0 779962513 856285184 26242 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26242 13086 16 0 209038 0
vsize: 836216
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 93322 84 0 0 23 0 10 0 779962513 856285184 26266 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26266 13086 16 0 209038 0
vsize: 836216
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 94227 84 0 0 21 0 10 0 779962513 856285184 26288 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26288 13086 16 0 209038 0
vsize: 836216
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 95132 84 0 0 19 0 10 0 779962513 856285184 26319 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26319 13086 16 0 209038 0
vsize: 836216
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 96042 85 0 0 23 0 10 0 779962513 856285184 26341 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26341 13086 16 0 209038 0
vsize: 836216
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 96947 85 0 0 21 0 10 0 779962513 856285184 26363 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26363 13086 16 0 209038 0
vsize: 836216
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 97851 86 0 0 19 0 10 0 779962513 856285184 26391 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26391 13086 16 0 209038 0
vsize: 836216
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 98759 86 0 0 23 0 10 0 779962513 856285184 26417 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26417 13086 16 0 209038 0
vsize: 836216
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 99659 86 0 0 20 0 10 0 779962513 856285184 26441 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26441 13086 16 0 209038 0
vsize: 836216
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 100560 87 0 0 19 0 10 0 779962513 856285184 26464 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26464 13086 16 0 209038 0
vsize: 836216
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 101469 88 0 0 23 0 10 0 779962513 856285184 26488 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26488 13086 16 0 209038 0
vsize: 836216
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 102370 88 0 0 21 0 10 0 779962513 856285184 26514 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26514 13086 16 0 209038 0
vsize: 836216
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 103272 88 0 0 19 0 10 0 779962513 856285184 26538 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26538 13086 16 0 209038 0
vsize: 836216
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 104180 89 0 0 23 0 10 0 779962513 856285184 26561 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26561 13086 16 0 209038 0
vsize: 836216
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 105080 90 0 0 21 0 10 0 779962513 856285184 26586 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26586 13086 16 0 209038 0
vsize: 836216
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 105981 90 0 0 19 0 10 0 779962513 856285184 26609 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26609 13086 16 0 209038 0
vsize: 836216
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 106889 91 0 0 23 0 10 0 779962513 856285184 26634 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26634 13086 16 0 209038 0
vsize: 836216
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 107790 91 0 0 20 0 10 0 779962513 856285184 26657 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26657 13086 16 0 209038 0
vsize: 836216
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) S 6293 25568 25567 0 -1 0 18012 0 1 0 108695 91 0 0 24 0 10 0 779962513 856285184 26680 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26680 13086 16 0 209038 0
vsize: 836216
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 109596 92 0 0 20 0 10 0 779962513 856285184 26700 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26700 13086 16 0 209038 0
vsize: 836216
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 110494 92 0 0 19 0 10 0 779962513 856285184 26729 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26729 13086 16 0 209038 0
vsize: 836216
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 111397 93 0 0 22 0 10 0 779962513 856285184 26750 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26750 13086 16 0 209038 0
vsize: 836216
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 112293 93 0 0 19 0 10 0 779962513 856285184 26774 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26774 13086 16 0 209038 0
vsize: 836216
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 113198 94 0 0 23 0 10 0 779962513 856285184 26794 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26794 13086 16 0 209038 0
vsize: 836216
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 114097 94 0 0 21 0 10 0 779962513 856285184 26814 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26814 13086 16 0 209038 0
vsize: 836216
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 115001 95 0 0 23 0 10 0 779962513 856285184 26833 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26833 13086 16 0 209038 0
vsize: 836216
[startup+1260.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 115900 95 0 0 21 0 10 0 779962513 856285184 26853 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26853 13086 16 0 209038 0
vsize: 836216
[startup+1270.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) S 6293 25568 25567 0 -1 0 18012 0 1 0 116797 95 0 0 24 0 10 0 779962513 856285184 26884 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26884 13086 16 0 209038 0
vsize: 836216
[startup+1280.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 117701 96 0 0 20 0 10 0 779962513 856285184 26915 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26915 13086 16 0 209038 0
vsize: 836216
[startup+1290.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 118601 96 0 0 19 0 10 0 779962513 856285184 26937 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26937 13086 16 0 209038 0
vsize: 836216
[startup+1300.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 119508 97 0 0 22 0 10 0 779962513 856285184 26953 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26953 13086 16 0 209038 0
vsize: 836216
[startup+1310.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6303
Raw data (stat): 6294 (java) R 6293 25568 25567 0 -1 0 18012 0 1 0 120409 97 0 0 20 0 10 0 779962513 856285184 26986 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209054 26986 13086 16 0 209038 0
vsize: 836216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6305
Raw data (stat): 6294 (java) Z 6293 25568 25567 0 -1 1036 18012 9885 1 0 120412 102 10702 46 21 0 1 0 779962513 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.25
CPU time (s): 1312.64
CPU user time (s): 1311.15
CPU system time (s): 1.49077
CPU usage (%): 100.182
Max. virtual memory (Kb): 836216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####