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/unibo/normalized-mps-v2-20-10-trento1.opb
MD5SUM	e84e1f1ad995b93190fbcfcc22f676bd
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	44575
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	3578049115531220877312
Number of bits of the sum of numbers in the objective function	72
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	3578151515531220877312
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.407937
Number of variables	44575
Total number of constraints	7680
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6416
Number of constraints which are nor clauses,nor cardinality constraints	1264
Minimum length of a constraint	1
Maximum length of a constraint	44575
Trace number 29798

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        647016 kB
Buffers:         33700 kB
Cached:         328236 kB
SwapCached:        572 kB
Active:          56164 kB
Inactive:       311296 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        646764 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14596 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:58:00 (client local time) WITH STATUS 143 IN 1262.22 SECONDS
stats: 21189 7 1262.22 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/wulflinc29/normalized-mps-v2-20-10-trento1.opb
c reading problem ... done. Time 556.184 ms.
c #vars     44575
c #constraints  2512
c starts	: 1
c conflicts	: 1
c decisions	: 6222
c propagations	: 44104
c inspects	: 64888
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) : 1249.177
#### 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 452
Raw data (stat): 452 (runsolver) R 451 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838568065 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+9.99968 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 875 36 0 0 25 0 10 0 838568065 853934080 19407 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208480 19407 13086 16 0 208464 0
vsize: 833920
[startup+20.0066 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 1773 36 0 0 25 0 10 0 838568065 853934080 19922 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 19922 13086 16 0 208464 0
vsize: 833920
[startup+30.0146 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 2661 37 0 0 25 0 10 0 838568065 853934080 20435 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 20435 13086 16 0 208464 0
vsize: 833920
[startup+40.015 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 3575 37 0 0 25 0 10 0 838568065 853934080 20850 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 20850 13086 16 0 208464 0
vsize: 833920
[startup+50.0163 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 4495 37 0 0 25 0 10 0 838568065 853934080 21015 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 21015 13086 16 0 208464 0
vsize: 833920
[startup+60.0156 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 5410 38 0 0 25 0 10 0 838568065 853934080 21148 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 21148 13086 16 0 208464 0
vsize: 833920
[startup+70.0164 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 6340 38 0 0 25 0 10 0 838568065 853934080 21417 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 21417 13086 16 0 208464 0
vsize: 833920
[startup+80.0175 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 7276 39 0 0 21 0 10 0 838568065 853934080 21520 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 21520 13086 16 0 208464 0
vsize: 833920
[startup+90.0183 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 461
Raw data (stat): 452 (java) S 451 20001 20000 0 -1 0 18016 0 1 0 8215 39 0 0 25 0 10 0 838568065 853934080 21611 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 21611 13086 16 0 208464 0
vsize: 833920
[startup+100.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 9158 39 0 0 25 0 10 0 838568065 853934080 21696 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 21696 13086 16 0 208464 0
vsize: 833920
[startup+110.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 10097 39 0 0 25 0 10 0 838568065 853934080 21778 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 21778 13086 16 0 208464 0
vsize: 833920
[startup+120.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 11041 40 0 0 25 0 10 0 838568065 853934080 21851 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 21851 13086 16 0 208464 0
vsize: 833920
[startup+130.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 11981 40 0 0 25 0 10 0 838568065 853934080 21924 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 21924 13086 16 0 208464 0
vsize: 833920
[startup+140.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 12922 40 0 0 24 0 10 0 838568065 853934080 21993 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 21993 13086 16 0 208464 0
vsize: 833920
[startup+150.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 13866 41 0 0 25 0 10 0 838568065 853934080 22056 4294967295 134512640 134569956 3221224368 3221213968 1077101153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22056 13086 16 0 208464 0
vsize: 833920
[startup+160.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 14806 41 0 0 25 0 10 0 838568065 853934080 22119 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22119 13086 16 0 208464 0
vsize: 833920
[startup+170.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 15747 42 0 0 25 0 10 0 838568065 853934080 22177 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22177 13086 16 0 208464 0
vsize: 833920
[startup+180.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 16657 42 0 0 24 0 10 0 838568065 853934080 22237 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22237 13086 16 0 208464 0
vsize: 833920
[startup+190.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 17579 43 0 0 25 0 10 0 838568065 853934080 22548 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22548 13086 16 0 208464 0
vsize: 833920
[startup+200.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 18521 43 0 0 25 0 10 0 838568065 853934080 22601 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22601 13086 16 0 208464 0
vsize: 833920
[startup+210.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 19458 43 0 0 25 0 10 0 838568065 853934080 22655 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22655 13086 16 0 208464 0
vsize: 833920
[startup+220.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) S 451 20001 20000 0 -1 0 18016 0 1 0 20397 44 0 0 25 0 10 0 838568065 853934080 22706 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22706 13086 16 0 208464 0
vsize: 833920
[startup+230.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 21334 44 0 0 25 0 10 0 838568065 853934080 22756 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22756 13086 16 0 208464 0
vsize: 833920
[startup+240.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) S 451 20001 20000 0 -1 0 18016 0 1 0 22272 44 0 0 25 0 10 0 838568065 853934080 22805 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22805 13086 16 0 208464 0
vsize: 833920
[startup+250.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 23209 45 0 0 25 0 10 0 838568065 853934080 22854 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22854 13086 16 0 208464 0
vsize: 833920
[startup+260.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) S 451 20001 20000 0 -1 0 18016 0 1 0 24148 45 0 0 25 0 10 0 838568065 853934080 22899 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22899 13086 16 0 208464 0
vsize: 833920
[startup+270.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 25083 45 0 0 25 0 10 0 838568065 853934080 22946 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 22946 13086 16 0 208464 0
vsize: 833920
[startup+280.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 26022 45 0 0 25 0 10 0 838568065 853934080 22989 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208480 22989 13086 16 0 208464 0
vsize: 833920
[startup+290.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 26956 46 0 0 25 0 10 0 838568065 853934080 23034 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23034 13086 16 0 208464 0
vsize: 833920
[startup+300.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 27893 46 0 0 25 0 10 0 838568065 853934080 23076 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23076 13086 16 0 208464 0
vsize: 833920
[startup+310.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 28827 47 0 0 25 0 10 0 838568065 853934080 23120 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23120 13086 16 0 208464 0
vsize: 833920
[startup+320.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 29764 47 0 0 25 0 10 0 838568065 853934080 23160 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23160 13086 16 0 208464 0
vsize: 833920
[startup+330.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) S 451 20001 20000 0 -1 0 18016 0 1 0 30698 47 0 0 25 0 10 0 838568065 853934080 23201 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23201 13086 16 0 208464 0
vsize: 833920
[startup+340.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 31633 48 0 0 25 0 10 0 838568065 853934080 23242 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23242 13086 16 0 208464 0
vsize: 833920
[startup+350.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 32568 48 0 0 25 0 10 0 838568065 853934080 23281 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23281 13086 16 0 208464 0
vsize: 833920
[startup+360.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 33499 49 0 0 25 0 10 0 838568065 853934080 23323 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23323 13086 16 0 208464 0
vsize: 833920
[startup+370.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 34435 49 0 0 25 0 10 0 838568065 853934080 23361 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23361 13086 16 0 208464 0
vsize: 833920
[startup+380.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 35369 49 0 0 25 0 10 0 838568065 853934080 23398 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23398 13086 16 0 208464 0
vsize: 833920
[startup+390.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 36299 49 0 0 25 0 10 0 838568065 853934080 23437 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23437 13086 16 0 208464 0
vsize: 833920
[startup+400.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 37232 50 0 0 25 0 10 0 838568065 853934080 23474 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23474 13086 16 0 208464 0
vsize: 833920
[startup+410.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 38165 50 0 0 25 0 10 0 838568065 853934080 23509 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23509 13086 16 0 208464 0
vsize: 833920
[startup+420.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 39093 50 0 0 24 0 10 0 838568065 853934080 23547 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23547 13086 16 0 208464 0
vsize: 833920
[startup+430.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 40026 51 0 0 25 0 10 0 838568065 853934080 23582 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23582 13086 16 0 208464 0
vsize: 833920
[startup+440.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 40957 51 0 0 25 0 10 0 838568065 853934080 23616 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23616 13086 16 0 208464 0
vsize: 833920
[startup+450.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) S 451 20001 20000 0 -1 0 18016 0 1 0 41888 52 0 0 25 0 10 0 838568065 853934080 23651 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23651 13086 16 0 208464 0
vsize: 833920
[startup+460.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 42816 52 0 0 25 0 10 0 838568065 853934080 23686 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23686 13086 16 0 208464 0
vsize: 833920
[startup+470.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 43747 52 0 0 25 0 10 0 838568065 853934080 23719 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23719 13086 16 0 208464 0
vsize: 833920
[startup+480.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 44677 53 0 0 25 0 10 0 838568065 853934080 23752 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23752 13086 16 0 208464 0
vsize: 833920
[startup+490.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 45607 53 0 0 25 0 10 0 838568065 853934080 23785 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23785 13086 16 0 208464 0
vsize: 833920
[startup+500.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 46532 54 0 0 24 0 10 0 838568065 853934080 23820 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23820 13086 16 0 208464 0
vsize: 833920
[startup+510.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 47461 54 0 0 25 0 10 0 838568065 853934080 23852 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23852 13086 16 0 208464 0
vsize: 833920
[startup+520.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 48389 55 0 0 25 0 10 0 838568065 853934080 23883 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23883 13086 16 0 208464 0
vsize: 833920
[startup+530.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 49318 55 0 0 25 0 10 0 838568065 853934080 23915 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23915 13086 16 0 208464 0
vsize: 833920
[startup+540.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18016 0 1 0 50246 55 0 0 25 0 10 0 838568065 853934080 23946 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 23946 13086 16 0 208464 0
vsize: 833920
[startup+550.052 s]
Raw data (loadavg): 1.15 1.02 1.01 4/63 461
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18039 0 1 0 51126 56 0 0 25 0 10 0 838568065 861175808 25445 4294967295 134512640 134569956 3221224368 3221214632 1130920035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210248 25445 13086 16 0 210232 0
vsize: 840992
[startup+560.052 s]
Raw data (loadavg): 1.29 1.05 1.02 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 51931 59 0 0 25 0 11 0 838568065 865808384 33187 4294967295 134512640 134569956 3221224368 3221214720 1131401328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211379 33187 13086 16 0 211363 0
vsize: 845516
[startup+570.053 s]
Raw data (loadavg): 1.25 1.05 1.01 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 52889 59 0 0 25 0 11 0 838568065 863842304 34186 4294967295 134512640 134569956 3221224368 3221214776 1131280515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210899 34186 13086 16 0 210883 0
vsize: 843596
[startup+580.053 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 53858 60 0 0 25 0 11 0 838568065 860422144 33330 4294967295 134512640 134569956 3221224368 3221214776 1131280515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33330 13086 16 0 210048 0
vsize: 840256
[startup+590.055 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 54830 60 0 0 25 0 11 0 838568065 860422144 33330 4294967295 134512640 134569956 3221224368 3221214720 1131401528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33330 13086 16 0 210048 0
vsize: 840256
[startup+600.055 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 55801 60 0 0 25 0 11 0 838568065 860422144 33386 4294967295 134512640 134569956 3221224368 3221214624 1131373601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33386 13086 16 0 210048 0
vsize: 840256
[startup+610.055 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 56782 60 0 0 25 0 11 0 838568065 860422144 33447 4294967295 134512640 134569956 3221224368 3221214624 1131373625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33447 13086 16 0 210048 0
vsize: 840256
[startup+620.056 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 57767 60 0 0 25 0 11 0 838568065 860422144 33478 4294967295 134512640 134569956 3221224368 3221214720 1131401538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33478 13086 16 0 210048 0
vsize: 840256
[startup+630.057 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 58753 60 0 0 24 0 11 0 838568065 860422144 33507 4294967295 134512640 134569956 3221224368 3221214776 1131280515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33507 13086 16 0 210048 0
vsize: 840256
[startup+640.057 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 59743 60 0 0 25 0 11 0 838568065 860422144 33514 4294967295 134512640 134569956 3221224368 3221214624 1131373601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33514 13086 16 0 210048 0
vsize: 840256
[startup+650.058 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 60733 60 0 0 25 0 11 0 838568065 860422144 33522 4294967295 134512640 134569956 3221224368 3221214624 1131373601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33522 13086 16 0 210048 0
vsize: 840256
[startup+660.058 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 61724 60 0 0 25 0 11 0 838568065 860422144 33531 4294967295 134512640 134569956 3221224368 3221214624 1131373516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33531 13086 16 0 210048 0
vsize: 840256
[startup+670.062 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 62715 60 0 0 25 0 11 0 838568065 860422144 33539 4294967295 134512640 134569956 3221224368 3221214624 1131373601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33539 13086 16 0 210048 0
vsize: 840256
[startup+680.063 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 63708 60 0 0 25 0 11 0 838568065 860422144 33546 4294967295 134512640 134569956 3221224368 3221214624 1131374100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33546 13086 16 0 210048 0
vsize: 840256
[startup+690.064 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 64701 60 0 0 25 0 11 0 838568065 860422144 33551 4294967295 134512640 134569956 3221224368 3221214624 1131373601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33551 13086 16 0 210048 0
vsize: 840256
[startup+700.064 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 65695 60 0 0 25 0 11 0 838568065 860422144 33557 4294967295 134512640 134569956 3221224368 3221214624 1131373656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33557 13086 16 0 210048 0
vsize: 840256
[startup+710.064 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 66688 60 0 0 25 0 11 0 838568065 860422144 33560 4294967295 134512640 134569956 3221224368 3221214624 1131373805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33560 13086 16 0 210048 0
vsize: 840256
[startup+720.064 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 67683 60 0 0 25 0 11 0 838568065 860422144 33564 4294967295 134512640 134569956 3221224368 3221214720 1131401346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33564 13086 16 0 210048 0
vsize: 840256
[startup+730.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18082 0 1 0 68678 60 0 0 25 0 11 0 838568065 860422144 33567 4294967295 134512640 134569956 3221224368 3221214624 1131373746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33567 13086 16 0 210048 0
vsize: 840256
[startup+740.065 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18084 0 1 0 69659 61 0 0 25 0 11 0 838568065 860422144 33577 4294967295 134512640 134569956 3221224368 3221214752 1131565959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33577 13086 16 0 210048 0
vsize: 840256
[startup+750.066 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 70610 61 0 0 25 0 11 0 838568065 860422144 33594 4294967295 134512640 134569956 3221224368 3221214600 1131583212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33594 13086 16 0 210048 0
vsize: 840256
[startup+760.066 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 71570 62 0 0 25 0 11 0 838568065 860422144 33594 4294967295 134512640 134569956 3221224368 3221214600 1131583318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33594 13086 16 0 210048 0
vsize: 840256
[startup+770.066 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 72523 62 0 0 25 0 11 0 838568065 860422144 33595 4294967295 134512640 134569956 3221224368 3221214504 1131294946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33595 13086 16 0 210048 0
vsize: 840256
[startup+780.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 73485 62 0 0 25 0 11 0 838568065 860422144 33596 4294967295 134512640 134569956 3221224368 3221214600 1131582955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33596 13086 16 0 210048 0
vsize: 840256
[startup+790.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 74446 62 0 0 25 0 11 0 838568065 860422144 33598 4294967295 134512640 134569956 3221224368 3221214600 1131583554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33598 13086 16 0 210048 0
vsize: 840256
[startup+800.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 75408 62 0 0 25 0 11 0 838568065 860422144 33620 4294967295 134512640 134569956 3221224368 3221214600 1131582843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 33620 13086 16 0 210048 0
vsize: 840256
[startup+810.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 76398 62 0 0 25 0 11 0 838568065 860422144 34134 4294967295 134512640 134569956 3221224368 3221214600 1131582964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34134 13086 16 0 210048 0
vsize: 840256
[startup+820.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 77397 62 0 0 25 0 11 0 838568065 860422144 34134 4294967295 134512640 134569956 3221224368 3221214600 1131583714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34134 13086 16 0 210048 0
vsize: 840256
[startup+830.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 78396 62 0 0 25 0 11 0 838568065 860422144 34134 4294967295 134512640 134569956 3221224368 3221214572 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34134 13086 16 0 210048 0
vsize: 840256
[startup+840.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 79395 62 0 0 25 0 11 0 838568065 860422144 34134 4294967295 134512640 134569956 3221224368 3221214504 1131294828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34134 13086 16 0 210048 0
vsize: 840256
[startup+850.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 80393 63 0 0 25 0 11 0 838568065 860422144 34134 4294967295 134512640 134569956 3221224368 3221214600 1131583110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34134 13086 16 0 210048 0
vsize: 840256
[startup+860.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 81391 63 0 0 25 0 11 0 838568065 860422144 34134 4294967295 134512640 134569956 3221224368 3221214504 1131294830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34134 13086 16 0 210048 0
vsize: 840256
[startup+870.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18092 0 1 0 82390 63 0 0 25 0 11 0 838568065 860422144 34134 4294967295 134512640 134569956 3221224368 3221214576 1131273561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34134 13086 16 0 210048 0
vsize: 840256
[startup+880.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 83389 63 0 0 25 0 11 0 838568065 860422144 34135 4294967295 134512640 134569956 3221224368 3221214600 1131583108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210064 34135 13086 16 0 210048 0
vsize: 840256
[startup+890.072 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 84387 63 0 0 25 0 11 0 838568065 860422144 34135 4294967295 134512640 134569956 3221224368 3221214600 1131583528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210064 34135 13086 16 0 210048 0
vsize: 840256
[startup+900.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 85386 63 0 0 25 0 11 0 838568065 860422144 34135 4294967295 134512640 134569956 3221224368 3221214504 1131294828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34135 13086 16 0 210048 0
vsize: 840256
[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 86384 63 0 0 25 0 11 0 838568065 860422144 34135 4294967295 134512640 134569956 3221224368 3221214472 1131592914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34135 13086 16 0 210048 0
vsize: 840256
[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 87382 63 0 0 25 0 11 0 838568065 860422144 34135 4294967295 134512640 134569956 3221224368 3221214600 1131583358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210064 34135 13086 16 0 210048 0
vsize: 840256
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 88381 63 0 0 25 0 11 0 838568065 860422144 34135 4294967295 134512640 134569956 3221224368 3221214504 1131294828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34135 13086 16 0 210048 0
vsize: 840256
[startup+940.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 89380 63 0 0 25 0 11 0 838568065 860422144 34135 4294967295 134512640 134569956 3221224368 3221214600 1131582964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34135 13086 16 0 210048 0
vsize: 840256
[startup+950.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 90379 63 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131294985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+960.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 91378 63 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214576 1131273561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+970.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 92377 63 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131582899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+980.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 93376 63 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+990.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 94374 63 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131294828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 95374 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 96372 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131294828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 97371 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131295114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 98370 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 99369 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131294828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 100368 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131294828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 101367 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214576 1131273544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 102366 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 103365 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131295603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 104363 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 105362 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131294948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 106361 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131582964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 107359 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131294972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 108358 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214560 1131381831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 109358 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214456 1131294763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 110356 64 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131295223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 111355 65 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131294828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 112354 65 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 113352 65 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 114351 65 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214456 1131294985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 115350 65 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131294828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 116348 65 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214504 1131294946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 117347 65 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 118346 65 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 119345 66 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 462
Raw data (stat): 452 (java) R 451 20001 20000 0 -1 0 18093 0 1 0 120344 66 0 0 25 0 11 0 838568065 860422144 34139 4294967295 134512640 134569956 3221224368 3221214600 1131583051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210064 34139 13086 16 0 210048 0
vsize: 840256
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.27 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 464
Raw data (stat): 452 (java) Z 451 20001 20000 0 -1 1036 18093 21384 1 0 120346 72 5731 70 20 0 1 0 838568065 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.27
CPU time (s): 1262.22
CPU user time (s): 1260.78
CPU system time (s): 1.43178
CPU usage (%): 100.955
Max. virtual memory (Kb): 845516
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####