PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
MD5SUM	6958cafd776838585aada2c9dcafd103
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	246163
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	43487073153772
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	31729070899200
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	103505525327531
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.77058
Number of variables	293602
Total number of constraints	10500
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	10500
Minimum length of a constraint	13
Maximum length of a constraint	612
Trace number 29445

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 07:42:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20845 boxname=wulflinc15 idbench=833 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6958cafd776838585aada2c9dcafd103  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-fit2p.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-fit2p.opb
IDLAUNCH: 20845
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        759780 kB
Buffers:         26012 kB
Cached:         226344 kB
SwapCached:        672 kB
Active:          85204 kB
Inactive:       169260 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        759500 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14712 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:04:33 (client local time) WITH STATUS 143 IN 1311.79 SECONDS
stats: 20845 7 1311.79 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/wulflinc15/normalized-mps-v2-20-10-fit2p.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.117
#### 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.95 1.00 1.00 2/54 6382
Raw data (stat): 6382 (runsolver) R 6381 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778938207 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.0001 s]
Raw data (loadavg): 0.96 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18011 0 1 0 879 40 0 0 25 0 10 0 778938207 853811200 19356 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 19356 13086 16 0 208434 0
vsize: 833800
[startup+20.0009 s]
Raw data (loadavg): 0.97 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 1777 40 0 0 25 0 10 0 778938207 853811200 19892 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 19892 13086 16 0 208434 0
vsize: 833800
[startup+30.0012 s]
Raw data (loadavg): 0.97 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 2666 41 0 0 25 0 10 0 778938207 853811200 20392 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 20392 13086 16 0 208434 0
vsize: 833800
[startup+40.0026 s]
Raw data (loadavg): 0.97 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 3580 42 0 0 25 0 10 0 778938207 853950464 20713 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 20713 13086 16 0 208468 0
vsize: 833936
[startup+50.0034 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 4501 42 0 0 25 0 10 0 778938207 853950464 20880 4294967295 134512640 134569956 3221224368 3221214768 1131245511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 20880 13086 16 0 208468 0
vsize: 833936
[startup+60.0038 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 5421 43 0 0 25 0 10 0 778938207 853950464 21007 4294967295 134512640 134569956 3221224368 3221214768 1131245830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21007 13086 16 0 208468 0
vsize: 833936
[startup+70.0041 s]
Raw data (loadavg): 0.98 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 6348 44 0 0 25 0 10 0 778938207 853950464 21253 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21253 13086 16 0 208468 0
vsize: 833936
[startup+80.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 7289 44 0 0 25 0 10 0 778938207 853950464 21352 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21352 13086 16 0 208468 0
vsize: 833936
[startup+90.0063 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 8229 44 0 0 25 0 10 0 778938207 853950464 21447 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21447 13086 16 0 208468 0
vsize: 833936
[startup+100.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 9172 45 0 0 25 0 10 0 778938207 853950464 21530 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21530 13086 16 0 208468 0
vsize: 833936
[startup+110.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 10112 45 0 0 25 0 10 0 778938207 853950464 21614 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21614 13086 16 0 208468 0
vsize: 833936
[startup+120.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 11055 46 0 0 25 0 10 0 778938207 853950464 21689 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21689 13086 16 0 208468 0
vsize: 833936
[startup+130.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 11999 46 0 0 25 0 10 0 778938207 853950464 21761 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21761 13086 16 0 208468 0
vsize: 833936
[startup+140.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 12941 46 0 0 24 0 10 0 778938207 853950464 21832 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21832 13086 16 0 208468 0
vsize: 833936
[startup+150.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 13887 47 0 0 25 0 10 0 778938207 853950464 21895 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21895 13086 16 0 208468 0
vsize: 833936
[startup+160.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 14828 47 0 0 25 0 10 0 778938207 853950464 21960 4294967295 134512640 134569956 3221224368 3221214728 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 21960 13086 16 0 208468 0
vsize: 833936
[startup+170.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 15773 48 0 0 25 0 10 0 778938207 853950464 22018 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22018 13086 16 0 208468 0
vsize: 833936
[startup+180.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 16687 48 0 0 25 0 10 0 778938207 853950464 22076 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22076 13086 16 0 208468 0
vsize: 833936
[startup+190.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 17604 49 0 0 25 0 10 0 778938207 853950464 22390 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22390 13086 16 0 208468 0
vsize: 833936
[startup+200.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 18545 49 0 0 25 0 10 0 778938207 853950464 22444 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22444 13086 16 0 208468 0
vsize: 833936
[startup+210.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 19483 49 0 0 25 0 10 0 778938207 853950464 22499 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22499 13086 16 0 208468 0
vsize: 833936
[startup+220.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 20425 49 0 0 25 0 10 0 778938207 853950464 22549 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208484 22549 13086 16 0 208468 0
vsize: 833936
[startup+230.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 21361 50 0 0 25 0 10 0 778938207 853950464 22601 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22601 13086 16 0 208468 0
vsize: 833936
[startup+240.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 22302 50 0 0 25 0 10 0 778938207 853950464 22650 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22650 13086 16 0 208468 0
vsize: 833936
[startup+250.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 23238 50 0 0 25 0 10 0 778938207 853950464 22700 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22700 13086 16 0 208468 0
vsize: 833936
[startup+260.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 24177 51 0 0 25 0 10 0 778938207 853950464 22746 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22746 13086 16 0 208468 0
vsize: 833936
[startup+270.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 25113 51 0 0 25 0 10 0 778938207 853950464 22793 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22793 13086 16 0 208468 0
vsize: 833936
[startup+280.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 26051 52 0 0 25 0 10 0 778938207 853950464 22837 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22837 13086 16 0 208468 0
vsize: 833936
[startup+290.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 26984 52 0 0 25 0 10 0 778938207 853950464 22883 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22883 13086 16 0 208468 0
vsize: 833936
[startup+300.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 27922 53 0 0 25 0 10 0 778938207 853950464 22925 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22925 13086 16 0 208468 0
vsize: 833936
[startup+310.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 28856 53 0 0 25 0 10 0 778938207 853950464 22969 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 22969 13086 16 0 208468 0
vsize: 833936
[startup+320.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 29794 54 0 0 25 0 10 0 778938207 853950464 23010 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23010 13086 16 0 208468 0
vsize: 833936
[startup+330.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 30727 54 0 0 24 0 10 0 778938207 853950464 23052 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23052 13086 16 0 208468 0
vsize: 833936
[startup+340.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 31664 55 0 0 25 0 10 0 778938207 853950464 23092 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23092 13086 16 0 208468 0
vsize: 833936
[startup+350.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 32600 56 0 0 25 0 10 0 778938207 853950464 23130 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23130 13086 16 0 208468 0
vsize: 833936
[startup+360.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 33532 56 0 0 25 0 10 0 778938207 853950464 23172 4294967295 134512640 134569956 3221224368 3221214292 1079300776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23172 13086 16 0 208468 0
vsize: 833936
[startup+370.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 34467 56 0 0 25 0 10 0 778938207 853950464 23210 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23210 13086 16 0 208468 0
vsize: 833936
[startup+380.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 35403 57 0 0 25 0 10 0 778938207 853950464 23247 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23247 13086 16 0 208468 0
vsize: 833936
[startup+390.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 36333 57 0 0 25 0 10 0 778938207 853950464 23286 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23286 13086 16 0 208468 0
vsize: 833936
[startup+400.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 37268 57 0 0 25 0 10 0 778938207 853950464 23322 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23322 13086 16 0 208468 0
vsize: 833936
[startup+410.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 38202 58 0 0 25 0 10 0 778938207 853950464 23357 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23357 13086 16 0 208468 0
vsize: 833936
[startup+420.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 39131 58 0 0 25 0 10 0 778938207 853950464 23395 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23395 13086 16 0 208468 0
vsize: 833936
[startup+430.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 40065 58 0 0 25 0 10 0 778938207 853950464 23429 4294967295 134512640 134569956 3221224368 3221214100 1076878028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23429 13086 16 0 208468 0
vsize: 833936
[startup+440.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 40997 59 0 0 25 0 10 0 778938207 853950464 23463 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23463 13086 16 0 208468 0
vsize: 833936
[startup+450.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 41925 59 0 0 25 0 10 0 778938207 853950464 23499 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23499 13086 16 0 208468 0
vsize: 833936
[startup+460.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 42857 60 0 0 25 0 10 0 778938207 853950464 23533 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23533 13086 16 0 208468 0
vsize: 833936
[startup+470.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 43789 60 0 0 25 0 10 0 778938207 853950464 23566 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23566 13086 16 0 208468 0
vsize: 833936
[startup+480.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 44716 61 0 0 25 0 10 0 778938207 853950464 23601 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23601 13086 16 0 208468 0
vsize: 833936
[startup+490.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 45646 61 0 0 25 0 10 0 778938207 853950464 23633 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23633 13086 16 0 208468 0
vsize: 833936
[startup+500.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 46576 62 0 0 25 0 10 0 778938207 853950464 23666 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23666 13086 16 0 208468 0
vsize: 833936
[startup+510.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 47506 62 0 0 25 0 10 0 778938207 853950464 23698 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23698 13086 16 0 208468 0
vsize: 833936
[startup+520.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 48431 63 0 0 24 0 10 0 778938207 853950464 23731 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23731 13086 16 0 208468 0
vsize: 833936
[startup+530.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 49360 63 0 0 25 0 10 0 778938207 853950464 23762 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23762 13086 16 0 208468 0
vsize: 833936
[startup+540.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 50289 63 0 0 25 0 10 0 778938207 853950464 23793 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23793 13086 16 0 208468 0
vsize: 833936
[startup+550.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 51218 64 0 0 25 0 10 0 778938207 853950464 23824 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23824 13086 16 0 208468 0
vsize: 833936
[startup+560.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 52145 64 0 0 25 0 10 0 778938207 853950464 23854 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23854 13086 16 0 208468 0
vsize: 833936
[startup+570.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 53069 64 0 0 24 0 10 0 778938207 853950464 23886 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23886 13086 16 0 208468 0
vsize: 833936
[startup+580.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 53997 64 0 0 25 0 10 0 778938207 853950464 23915 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23915 13086 16 0 208468 0
vsize: 833936
[startup+590.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 54924 65 0 0 25 0 10 0 778938207 853950464 23945 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23945 13086 16 0 208468 0
vsize: 833936
[startup+600.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 55850 65 0 0 25 0 10 0 778938207 853950464 23974 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 23974 13086 16 0 208468 0
vsize: 833936
[startup+610.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 56776 65 0 0 25 0 10 0 778938207 853950464 24003 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 24003 13086 16 0 208468 0
vsize: 833936
[startup+620.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 57701 66 0 0 25 0 10 0 778938207 853950464 24031 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 24031 13086 16 0 208468 0
vsize: 833936
[startup+630.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 58627 66 0 0 25 0 10 0 778938207 853950464 24060 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 24060 13086 16 0 208468 0
vsize: 833936
[startup+640.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 59550 66 0 0 25 0 10 0 778938207 853950464 24088 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 24088 13086 16 0 208468 0
vsize: 833936
[startup+650.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 60473 67 0 0 24 0 10 0 778938207 853950464 24117 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 24117 13086 16 0 208468 0
vsize: 833936
[startup+660.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 61398 67 0 0 24 0 10 0 778938207 853950464 24145 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 24145 13086 16 0 208468 0
vsize: 833936
[startup+670.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 62316 67 0 0 25 0 10 0 778938207 853950464 25064 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25064 13086 16 0 208468 0
vsize: 833936
[startup+680.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 63240 68 0 0 24 0 10 0 778938207 853950464 25064 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25064 13086 16 0 208468 0
vsize: 833936
[startup+690.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 64155 68 0 0 24 0 10 0 778938207 853950464 25078 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25078 13086 16 0 208468 0
vsize: 833936
[startup+700.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 65074 69 0 0 25 0 10 0 778938207 853950464 25103 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25103 13086 16 0 208468 0
vsize: 833936
[startup+710.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 65987 69 0 0 25 0 10 0 778938207 853950464 25130 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25130 13086 16 0 208468 0
vsize: 833936
[startup+720.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 66900 70 0 0 24 0 10 0 778938207 853950464 25156 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25156 13086 16 0 208468 0
vsize: 833936
[startup+730.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 67813 70 0 0 25 0 10 0 778938207 853950464 25183 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25183 13086 16 0 208468 0
vsize: 833936
[startup+740.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 68725 71 0 0 25 0 10 0 778938207 853950464 25209 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25209 13086 16 0 208468 0
vsize: 833936
[startup+750.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 69637 71 0 0 25 0 10 0 778938207 853950464 25235 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25235 13086 16 0 208468 0
vsize: 833936
[startup+760.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 70549 71 0 0 24 0 10 0 778938207 853950464 25260 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25260 13086 16 0 208468 0
vsize: 833936
[startup+770.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 71465 72 0 0 25 0 10 0 778938207 853950464 25285 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25285 13086 16 0 208468 0
vsize: 833936
[startup+780.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 72378 72 0 0 25 0 10 0 778938207 853950464 25310 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25310 13086 16 0 208468 0
vsize: 833936
[startup+790.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 73290 73 0 0 25 0 10 0 778938207 853950464 25335 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25335 13086 16 0 208468 0
vsize: 833936
[startup+800.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 74200 73 0 0 21 0 10 0 778938207 853950464 25360 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25360 13086 16 0 208468 0
vsize: 833936
[startup+810.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 75110 73 0 0 25 0 10 0 778938207 853950464 25385 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25385 13086 16 0 208468 0
vsize: 833936
[startup+820.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 76019 73 0 0 25 0 10 0 778938207 853950464 25409 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25409 13086 16 0 208468 0
vsize: 833936
[startup+830.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 76933 74 0 0 25 0 10 0 778938207 853950464 25433 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25433 13086 16 0 208468 0
vsize: 833936
[startup+840.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 77843 74 0 0 25 0 10 0 778938207 853950464 25458 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25458 13086 16 0 208468 0
vsize: 833936
[startup+850.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 78752 74 0 0 25 0 10 0 778938207 853950464 25482 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25482 13086 16 0 208468 0
vsize: 833936
[startup+860.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 79660 75 0 0 24 0 10 0 778938207 853950464 25506 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25506 13086 16 0 208468 0
vsize: 833936
[startup+870.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 80571 75 0 0 25 0 10 0 778938207 853950464 25530 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25530 13086 16 0 208468 0
vsize: 833936
[startup+880.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 81483 75 0 0 25 0 10 0 778938207 853950464 25554 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25554 13086 16 0 208468 0
vsize: 833936
[startup+890.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 82390 76 0 0 25 0 10 0 778938207 853950464 25578 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25578 13086 16 0 208468 0
vsize: 833936
[startup+900.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 83298 76 0 0 25 0 10 0 778938207 853950464 25601 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25601 13086 16 0 208468 0
vsize: 833936
[startup+910.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 84209 76 0 0 25 0 10 0 778938207 853950464 25624 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25624 13086 16 0 208468 0
vsize: 833936
[startup+920.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 85118 76 0 0 23 0 10 0 778938207 853950464 25647 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25647 13086 16 0 208468 0
vsize: 833936
[startup+930.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 86025 77 0 0 21 0 10 0 778938207 853950464 25670 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25670 13086 16 0 208468 0
vsize: 833936
[startup+940.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 86931 77 0 0 19 0 10 0 778938207 853950464 25693 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25693 13086 16 0 208468 0
vsize: 833936
[startup+950.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 87844 77 0 0 24 0 10 0 778938207 853950464 25715 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25715 13086 16 0 208468 0
vsize: 833936
[startup+960.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 88749 78 0 0 21 0 10 0 778938207 853950464 25742 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25742 13086 16 0 208468 0
vsize: 833936
[startup+970.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 89653 78 0 0 19 0 10 0 778938207 853950464 25768 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25768 13086 16 0 208468 0
vsize: 833936
[startup+980.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 90559 78 0 0 19 0 10 0 778938207 853950464 25794 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25794 13086 16 0 208468 0
vsize: 833936
[startup+990.048 s]
Raw data (loadavg): 0.99 1.00 1.00 3/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 91470 79 0 0 24 0 10 0 778938207 853950464 25817 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25817 13086 16 0 208468 0
vsize: 833936
[startup+1000.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 92374 79 0 0 21 0 10 0 778938207 853950464 25844 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25844 13086 16 0 208468 0
vsize: 833936
[startup+1010.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 93280 79 0 0 20 0 10 0 778938207 853950464 25870 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25870 13086 16 0 208468 0
vsize: 833936
[startup+1020.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 94185 79 0 0 24 0 10 0 778938207 853950464 25892 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25892 13086 16 0 208468 0
vsize: 833936
[startup+1030.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 95095 80 0 0 22 0 10 0 778938207 853950464 25921 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25921 13086 16 0 208468 0
vsize: 833936
[startup+1040.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/63 6391
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 95998 81 0 0 22 0 10 0 778938207 853950464 25946 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25946 13086 16 0 208468 0
vsize: 833936
[startup+1050.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 6444
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 96896 88 0 0 25 0 10 0 778938207 853950464 25967 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25967 13086 16 0 208468 0
vsize: 833936
[startup+1060.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 6444
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 97801 88 0 0 25 0 10 0 778938207 853950464 25994 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 25994 13086 16 0 208468 0
vsize: 833936
[startup+1070.05 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 6444
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 98702 89 0 0 25 0 10 0 778938207 853950464 26022 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26022 13086 16 0 208468 0
vsize: 833936
[startup+1080.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 6444
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 99601 89 0 0 24 0 10 0 778938207 853950464 26047 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26047 13086 16 0 208468 0
vsize: 833936
[startup+1090.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 6444
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 100509 90 0 0 25 0 10 0 778938207 853950464 26068 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26068 13086 16 0 208468 0
vsize: 833936
[startup+1100.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 6444
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 101411 90 0 0 25 0 10 0 778938207 853950464 26096 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26096 13086 16 0 208468 0
vsize: 833936
[startup+1110.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 6444
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 102314 90 0 0 24 0 10 0 778938207 853950464 26122 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26122 13086 16 0 208468 0
vsize: 833936
[startup+1120.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 103221 91 0 0 25 0 10 0 778938207 853950464 26144 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26144 13086 16 0 208468 0
vsize: 833936
[startup+1130.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 104122 91 0 0 25 0 10 0 778938207 853950464 26168 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26168 13086 16 0 208468 0
vsize: 833936
[startup+1140.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 105022 92 0 0 24 0 10 0 778938207 853950464 26194 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26194 13086 16 0 208468 0
vsize: 833936
[startup+1150.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 105928 92 0 0 25 0 10 0 778938207 853950464 26214 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26214 13086 16 0 208468 0
vsize: 833936
[startup+1160.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 106828 92 0 0 25 0 10 0 778938207 853950464 26240 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26240 13086 16 0 208468 0
vsize: 833936
[startup+1170.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 107735 93 0 0 25 0 10 0 778938207 853950464 26263 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26263 13086 16 0 208468 0
vsize: 833936
[startup+1180.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 108634 93 0 0 25 0 10 0 778938207 853950464 26287 4294967295 134512640 134569956 3221224368 3221214764 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26287 13086 16 0 208468 0
vsize: 833936
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 109534 93 0 0 24 0 10 0 778938207 853950464 26308 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26308 13086 16 0 208468 0
vsize: 833936
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 110438 93 0 0 25 0 10 0 778938207 853950464 26334 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26334 13086 16 0 208468 0
vsize: 833936
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 111335 94 0 0 25 0 10 0 778938207 853950464 26358 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26358 13086 16 0 208468 0
vsize: 833936
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 112239 94 0 0 25 0 10 0 778938207 853950464 26379 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26379 13086 16 0 208468 0
vsize: 833936
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 113136 95 0 0 25 0 10 0 778938207 853950464 26403 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26403 13086 16 0 208468 0
vsize: 833936
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) S 6381 23514 23513 0 -1 0 18012 0 1 0 114037 95 0 0 25 0 10 0 778938207 853950464 26422 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26422 13086 16 0 208468 0
vsize: 833936
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 114938 95 0 0 25 0 10 0 778938207 853950464 26442 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26442 13086 16 0 208468 0
vsize: 833936
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 115836 95 0 0 24 0 10 0 778938207 853950464 26473 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26473 13086 16 0 208468 0
vsize: 833936
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 116742 95 0 0 25 0 10 0 778938207 853950464 26491 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26491 13086 16 0 208468 0
vsize: 833936
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 117639 95 0 0 25 0 10 0 778938207 853950464 26527 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26527 13086 16 0 208468 0
vsize: 833936
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 118546 96 0 0 25 0 10 0 778938207 853950464 26547 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26547 13086 16 0 208468 0
vsize: 833936
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 119445 96 0 0 25 0 10 0 778938207 853950464 26562 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26562 13086 16 0 208468 0
vsize: 833936
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6446
Raw data (stat): 6382 (java) R 6381 23514 23513 0 -1 0 18012 0 1 0 120347 96 0 0 25 0 10 0 778938207 853950464 26595 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208484 26595 13086 16 0 208468 0
vsize: 833936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6448
Raw data (stat): 6382 (java) Z 6381 23514 23513 0 -1 1036 18012 9050 1 0 120349 101 10681 47 25 0 1 0 778938207 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): 1310.15
CPU time (s): 1311.79
CPU user time (s): 1310.3
CPU system time (s): 1.49277
CPU usage (%): 100.126
Max. virtual memory (Kb): 833936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####