PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-tuff.opb
MD5SUM	06d4e815794ce4b5deed10c51066684b
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	60
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	3145725
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	6025434365952
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	1078851036553950
Number of bits of the biggest sum of numbers	50
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.719889
Number of variables	11495
Total number of constraints	320
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	320
Minimum length of a constraint	8
Maximum length of a constraint	2240
Trace number 19479

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-21 19:09:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16558 boxname=wulflinc1 idbench=1274 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  06d4e815794ce4b5deed10c51066684b  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-tuff.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-tuff.opb
IDLAUNCH: 16558
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        672728 kB
Buffers:          8852 kB
Cached:         327340 kB
SwapCached:          0 kB
Active:          69468 kB
Inactive:       269812 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        672476 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           7224 kB
Slab:            16884 kB
Committed_AS:    92816 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 19:29:37 (client local time) WITH STATUS 143 IN 1228.07 SECONDS
stats: 16558 7 1228.07 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-tuff.opb
c reading problem 
c [nbvar=11495]
c [nbconstr=320]
c time 44.315
c #vars     11495
c #clauses  567
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
#### 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.82 0.98 0.93 1/56 422
Raw data (stat): 422 (runsolver) D 421 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 432408860 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.99 1.01 0.94 2/65 431
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18004 0 1 0 809 38 0 0 25 0 10 0 432408860 859504640 20854 4294967295 134512640 134569956 3221224400 3221214484 1076461328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 20854 13073 16 0 209824 0
vsize: 839360
[startup+20.0019 s]
Raw data (loadavg): 0.99 1.01 0.94 2/65 431
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18004 0 1 0 1671 39 0 0 25 0 10 0 432408860 859504640 21680 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 21680 13073 16 0 209824 0
vsize: 839360
[startup+30.0026 s]
Raw data (loadavg): 0.99 1.01 0.94 2/65 431
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18004 0 1 0 2518 39 0 0 19 0 10 0 432408860 859504640 22284 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 22284 13073 16 0 209824 0
vsize: 839360
[startup+40.0024 s]
Raw data (loadavg): 0.99 1.01 0.94 2/65 431
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18004 0 1 0 3366 40 0 0 19 0 10 0 432408860 859504640 22786 4294967295 134512640 134569956 3221224400 3221214840 1131330495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209840 22786 13073 16 0 209824 0
vsize: 839360
[startup+50.0032 s]
Raw data (loadavg): 0.99 1.01 0.94 2/65 431
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18027 0 1 0 4230 41 0 0 24 0 10 0 432408860 859504640 26105 4294967295 134512640 134569956 3221224400 3221214824 1131374320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209840 26105 13073 16 0 209824 0
vsize: 839360
[startup+60.0035 s]
Raw data (loadavg): 0.99 1.01 0.94 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18034 0 1 0 5155 41 0 0 24 0 11 0 432408860 860033024 26116 4294967295 134512640 134569956 3221224400 3221214680 1131283624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 26116 13073 16 0 209953 0
vsize: 839876
[startup+70.0052 s]
Raw data (loadavg): 0.99 1.01 0.94 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18034 0 1 0 6079 41 0 0 24 0 11 0 432408860 860033024 26116 4294967295 134512640 134569956 3221224400 3221214680 1131284601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 26116 13073 16 0 209953 0
vsize: 839876
[startup+80.0055 s]
Raw data (loadavg): 0.99 1.01 0.94 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18034 0 1 0 7032 42 0 0 25 0 11 0 432408860 860033024 26612 4294967295 134512640 134569956 3221224400 3221214680 1131283361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 26612 13073 16 0 209953 0
vsize: 839876
[startup+90.0053 s]
Raw data (loadavg): 0.99 1.01 0.94 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18034 0 1 0 8016 42 0 0 25 0 11 0 432408860 860033024 26642 4294967295 134512640 134569956 3221224400 3221214776 1131377297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 26642 13073 16 0 209953 0
vsize: 839876
[startup+100.005 s]
Raw data (loadavg): 0.99 1.01 0.94 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18034 0 1 0 9001 42 0 0 25 0 11 0 432408860 860033024 26656 4294967295 134512640 134569956 3221224400 3221214680 1131284032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 26656 13073 16 0 209953 0
vsize: 839876
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18034 0 1 0 9987 42 0 0 25 0 11 0 432408860 860033024 26676 4294967295 134512640 134569956 3221224400 3221214776 1131377372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 26676 13073 16 0 209953 0
vsize: 839876
[startup+120.021 s]
Raw data (loadavg): 0.99 1.00 0.94 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18034 0 1 0 10976 42 0 0 25 0 11 0 432408860 860033024 26686 4294967295 134512640 134569956 3221224400 3221214680 1131283765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 26686 13073 16 0 209953 0
vsize: 839876
[startup+130.022 s]
Raw data (loadavg): 1.15 1.04 0.95 3/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18072 0 1 0 11901 42 0 0 25 0 11 0 432408860 860033024 26863 4294967295 134512640 134569956 3221224400 3221214744 1131472418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26863 13073 16 0 209953 0
vsize: 839876
[startup+140.021 s]
Raw data (loadavg): 1.13 1.03 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18073 0 1 0 12874 42 0 0 25 0 11 0 432408860 860033024 26894 4294967295 134512640 134569956 3221224400 3221214744 1131471010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26894 13073 16 0 209953 0
vsize: 839876
[startup+150.022 s]
Raw data (loadavg): 1.11 1.03 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18073 0 1 0 13860 42 0 0 25 0 11 0 432408860 860033024 26901 4294967295 134512640 134569956 3221224400 3221214696 1131288259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26901 13073 16 0 209953 0
vsize: 839876
[startup+160.022 s]
Raw data (loadavg): 1.09 1.03 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 14845 43 0 0 25 0 11 0 432408860 860033024 26910 4294967295 134512640 134569956 3221224400 3221214648 1131230039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26910 13073 16 0 209953 0
vsize: 839876
[startup+170.023 s]
Raw data (loadavg): 1.08 1.03 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 15835 43 0 0 25 0 11 0 432408860 860033024 26958 4294967295 134512640 134569956 3221224400 3221214744 1131473509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26958 13073 16 0 209953 0
vsize: 839876
[startup+180.023 s]
Raw data (loadavg): 1.07 1.03 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 16828 43 0 0 25 0 11 0 432408860 860033024 26958 4294967295 134512640 134569956 3221224400 3221214600 1131452339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26958 13073 16 0 209953 0
vsize: 839876
[startup+190.024 s]
Raw data (loadavg): 1.06 1.03 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 17823 43 0 0 25 0 11 0 432408860 860033024 26989 4294967295 134512640 134569956 3221224400 3221214680 1131449633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26989 13073 16 0 209953 0
vsize: 839876
[startup+200.024 s]
Raw data (loadavg): 1.05 1.03 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 18820 43 0 0 25 0 11 0 432408860 860033024 26989 4294967295 134512640 134569956 3221224400 3221214852 1080204298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26989 13073 16 0 209953 0
vsize: 839876
[startup+210.024 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 19817 43 0 0 25 0 11 0 432408860 860033024 26989 4294967295 134512640 134569956 3221224400 3221214648 1131229955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26989 13073 16 0 209953 0
vsize: 839876
[startup+220.024 s]
Raw data (loadavg): 1.03 1.02 0.95 3/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 20808 44 0 0 25 0 11 0 432408860 860033024 26996 4294967295 134512640 134569956 3221224400 3221214656 1130904142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 26996 13073 16 0 209953 0
vsize: 839876
[startup+230.024 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 21774 44 0 0 24 0 11 0 432408860 860033024 27000 4294967295 134512640 134569956 3221224400 3221214776 1131377342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27000 13073 16 0 209953 0
vsize: 839876
[startup+240.025 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 22738 44 0 0 25 0 11 0 432408860 860033024 27000 4294967295 134512640 134569956 3221224400 3221214680 1131283763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27000 13073 16 0 209953 0
vsize: 839876
[startup+250.025 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 23703 44 0 0 25 0 11 0 432408860 860033024 27133 4294967295 134512640 134569956 3221224400 3221214680 1131283428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27133 13073 16 0 209953 0
vsize: 839876
[startup+260.026 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 24686 44 0 0 25 0 11 0 432408860 860033024 27175 4294967295 134512640 134569956 3221224400 3221214680 1131283397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27175 13073 16 0 209953 0
vsize: 839876
[startup+270.026 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 25676 44 0 0 25 0 11 0 432408860 860033024 27193 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27193 13073 16 0 209953 0
vsize: 839876
[startup+280.026 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 26667 44 0 0 25 0 11 0 432408860 860033024 27200 4294967295 134512640 134569956 3221224400 3221214680 1131283397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27200 13073 16 0 209953 0
vsize: 839876
[startup+290.026 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 27656 44 0 0 25 0 11 0 432408860 860033024 27213 4294967295 134512640 134569956 3221224400 3221214776 1131374376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27213 13073 16 0 209953 0
vsize: 839876
[startup+300.026 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 28643 45 0 0 25 0 11 0 432408860 860033024 27222 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27222 13073 16 0 209953 0
vsize: 839876
[startup+310.026 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 29624 45 0 0 25 0 11 0 432408860 860033024 27236 4294967295 134512640 134569956 3221224400 3221214680 1131283365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27236 13073 16 0 209953 0
vsize: 839876
[startup+320.026 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18074 0 1 0 30600 45 0 0 25 0 11 0 432408860 860033024 27250 4294967295 134512640 134569956 3221224400 3221214680 1131283394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 27250 13073 16 0 209953 0
vsize: 839876
[startup+330.027 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18075 0 1 0 31577 45 0 0 25 0 11 0 432408860 860033024 27276 4294967295 134512640 134569956 3221224400 3221214776 1131377451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27276 13073 16 0 209953 0
vsize: 839876
[startup+340.027 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18075 0 1 0 32562 45 0 0 25 0 11 0 432408860 860033024 27310 4294967295 134512640 134569956 3221224400 3221214776 1131374380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27310 13073 16 0 209953 0
vsize: 839876
[startup+350.027 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 434
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18075 0 1 0 33554 45 0 0 25 0 11 0 432408860 860033024 27326 4294967295 134512640 134569956 3221224400 3221214680 1131284719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27326 13073 16 0 209953 0
vsize: 839876
[startup+360.028 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 34547 45 0 0 25 0 11 0 432408860 860033024 27336 4294967295 134512640 134569956 3221224400 3221214776 1131373087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27336 13073 16 0 209953 0
vsize: 839876
[startup+370.029 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 35541 45 0 0 25 0 11 0 432408860 860033024 27346 4294967295 134512640 134569956 3221224400 3221214680 1131283706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27346 13073 16 0 209953 0
vsize: 839876
[startup+380.029 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 36535 45 0 0 25 0 11 0 432408860 860033024 27352 4294967295 134512640 134569956 3221224400 3221214776 1131375410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27352 13073 16 0 209953 0
vsize: 839876
[startup+390.029 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 37529 45 0 0 25 0 11 0 432408860 860033024 27367 4294967295 134512640 134569956 3221224400 3221214680 1131284583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27367 13073 16 0 209953 0
vsize: 839876
[startup+400.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 38524 45 0 0 25 0 11 0 432408860 860033024 27393 4294967295 134512640 134569956 3221224400 3221214776 1131377332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27393 13073 16 0 209953 0
vsize: 839876
[startup+410.029 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 39520 46 0 0 25 0 11 0 432408860 860033024 27401 4294967295 134512640 134569956 3221224400 3221214680 1131283706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27401 13073 16 0 209953 0
vsize: 839876
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 40514 46 0 0 25 0 11 0 432408860 860033024 27411 4294967295 134512640 134569956 3221224400 3221214776 1131373271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27411 13073 16 0 209953 0
vsize: 839876
[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 41509 46 0 0 25 0 11 0 432408860 860033024 27418 4294967295 134512640 134569956 3221224400 3221214680 1131283542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27418 13073 16 0 209953 0
vsize: 839876
[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 42503 46 0 0 25 0 11 0 432408860 860033024 27429 4294967295 134512640 134569956 3221224400 3221214680 1131284032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27429 13073 16 0 209953 0
vsize: 839876
[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 43499 46 0 0 25 0 11 0 432408860 860033024 27438 4294967295 134512640 134569956 3221224400 3221214680 1131283365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27438 13073 16 0 209953 0
vsize: 839876
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 44493 46 0 0 25 0 11 0 432408860 860033024 27444 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27444 13073 16 0 209953 0
vsize: 839876
[startup+470.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 45488 46 0 0 25 0 11 0 432408860 860033024 27446 4294967295 134512640 134569956 3221224400 3221214680 1131283372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27446 13073 16 0 209953 0
vsize: 839876
[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 46483 46 0 0 25 0 11 0 432408860 860033024 27459 4294967295 134512640 134569956 3221224400 3221214680 1131283765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27459 13073 16 0 209953 0
vsize: 839876
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 47477 47 0 0 25 0 11 0 432408860 860033024 27468 4294967295 134512640 134569956 3221224400 3221214680 1131284712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27468 13073 16 0 209953 0
vsize: 839876
[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 48468 47 0 0 25 0 11 0 432408860 860033024 27474 4294967295 134512640 134569956 3221224400 3221214680 1131283679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27474 13073 16 0 209953 0
vsize: 839876
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 49457 47 0 0 25 0 11 0 432408860 860033024 27474 4294967295 134512640 134569956 3221224400 3221214720 1131315880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27474 13073 16 0 209953 0
vsize: 839876
[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 50436 47 0 0 25 0 11 0 432408860 860033024 27487 4294967295 134512640 134569956 3221224400 3221214680 1131283765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27487 13073 16 0 209953 0
vsize: 839876
[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 51423 47 0 0 25 0 11 0 432408860 860033024 27513 4294967295 134512640 134569956 3221224400 3221214776 1131373278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27513 13073 16 0 209953 0
vsize: 839876
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 52411 47 0 0 25 0 11 0 432408860 860033024 27576 4294967295 134512640 134569956 3221224400 3221214680 1131283361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27576 13073 16 0 209953 0
vsize: 839876
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 53404 47 0 0 25 0 11 0 432408860 860033024 27661 4294967295 134512640 134569956 3221224400 3221214936 1131370201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27661 13073 16 0 209953 0
vsize: 839876
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 54400 47 0 0 25 0 11 0 432408860 860033024 27663 4294967295 134512640 134569956 3221224400 3221214680 1131283765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27663 13073 16 0 209953 0
vsize: 839876
[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 55395 47 0 0 25 0 11 0 432408860 860033024 27665 4294967295 134512640 134569956 3221224400 3221214776 1131374330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27665 13073 16 0 209953 0
vsize: 839876
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 56391 47 0 0 25 0 11 0 432408860 860033024 27671 4294967295 134512640 134569956 3221224400 3221214680 1131283428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27671 13073 16 0 209953 0
vsize: 839876
[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 57388 48 0 0 25 0 11 0 432408860 860033024 27681 4294967295 134512640 134569956 3221224400 3221214776 1131375340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27681 13073 16 0 209953 0
vsize: 839876
[startup+600.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 58384 48 0 0 25 0 11 0 432408860 860033024 27682 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27682 13073 16 0 209953 0
vsize: 839876
[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 59369 48 0 0 25 0 11 0 432408860 860033024 27692 4294967295 134512640 134569956 3221224400 3221214868 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27692 13073 16 0 209953 0
vsize: 839876
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 60351 48 0 0 25 0 11 0 432408860 860033024 27696 4294967295 134512640 134569956 3221224400 3221214800 1131471300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27696 13073 16 0 209953 0
vsize: 839876
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 61330 48 0 0 25 0 11 0 432408860 860033024 27719 4294967295 134512640 134569956 3221224400 3221214960 1131367896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27719 13073 16 0 209953 0
vsize: 839876
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 62299 48 0 0 25 0 11 0 432408860 860033024 27743 4294967295 134512640 134569956 3221224400 3221214680 1131283454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27743 13073 16 0 209953 0
vsize: 839876
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 436
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 63266 48 0 0 25 0 11 0 432408860 860033024 27743 4294967295 134512640 134569956 3221224400 3221214680 1131283397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27743 13073 16 0 209953 0
vsize: 839876
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 64234 48 0 0 25 0 11 0 432408860 860033024 27932 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27932 13073 16 0 209953 0
vsize: 839876
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 65226 48 0 0 25 0 11 0 432408860 860033024 27944 4294967295 134512640 134569956 3221224400 3221214448 1131230937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27944 13073 16 0 209953 0
vsize: 839876
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 66209 48 0 0 25 0 11 0 432408860 860033024 27948 4294967295 134512640 134569956 3221224400 3221214648 1131611495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27948 13073 16 0 209953 0
vsize: 839876
[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 67194 48 0 0 24 0 11 0 432408860 860033024 27949 4294967295 134512640 134569956 3221224400 3221214656 1131546736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27949 13073 16 0 209953 0
vsize: 839876
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 68182 48 0 0 25 0 11 0 432408860 860033024 27951 4294967295 134512640 134569956 3221224400 3221214448 1131230097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27951 13073 16 0 209953 0
vsize: 839876
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 69168 48 0 0 25 0 11 0 432408860 860033024 27959 4294967295 134512640 134569956 3221224400 3221214680 1131283731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 27959 13073 16 0 209953 0
vsize: 839876
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 70150 48 0 0 25 0 11 0 432408860 860033024 28087 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28087 13073 16 0 209953 0
vsize: 839876
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 71145 48 0 0 25 0 11 0 432408860 860033024 28087 4294967295 134512640 134569956 3221224400 3221214680 1131283790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28087 13073 16 0 209953 0
vsize: 839876
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 72138 48 0 0 25 0 11 0 432408860 860033024 28090 4294967295 134512640 134569956 3221224400 3221214800 1131473372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28090 13073 16 0 209953 0
vsize: 839876
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 73131 49 0 0 25 0 11 0 432408860 860033024 28100 4294967295 134512640 134569956 3221224400 3221214816 1131396009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28100 13073 16 0 209953 0
vsize: 839876
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 74124 49 0 0 25 0 11 0 432408860 860033024 28103 4294967295 134512640 134569956 3221224400 3221214680 1131283361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28103 13073 16 0 209953 0
vsize: 839876
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 75117 49 0 0 25 0 11 0 432408860 860033024 28117 4294967295 134512640 134569956 3221224400 3221214680 1131284032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28117 13073 16 0 209953 0
vsize: 839876
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 76111 49 0 0 25 0 11 0 432408860 860033024 28136 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28136 13073 16 0 209953 0
vsize: 839876
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 77105 49 0 0 25 0 11 0 432408860 860033024 28158 4294967295 134512640 134569956 3221224400 3221214868 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28158 13073 16 0 209953 0
vsize: 839876
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 78100 49 0 0 25 0 11 0 432408860 860033024 28158 4294967295 134512640 134569956 3221224400 3221214868 1080204314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28158 13073 16 0 209953 0
vsize: 839876
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 79096 49 0 0 25 0 11 0 432408860 860033024 28176 4294967295 134512640 134569956 3221224400 3221214800 1131472789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28176 13073 16 0 209953 0
vsize: 839876
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 80073 49 0 0 25 0 11 0 432408860 860033024 28184 4294967295 134512640 134569956 3221224400 3221214776 1131373278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28184 13073 16 0 209953 0
vsize: 839876
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 81042 49 0 0 25 0 11 0 432408860 860033024 28184 4294967295 134512640 134569956 3221224400 3221214936 1131370201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28184 13073 16 0 209953 0
vsize: 839876
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 82009 49 0 0 25 0 11 0 432408860 860033024 28184 4294967295 134512640 134569956 3221224400 3221214776 1131375350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28184 13073 16 0 209953 0
vsize: 839876
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 82997 49 0 0 25 0 11 0 432408860 860033024 28368 4294967295 134512640 134569956 3221224400 3221214680 1131283361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28368 13073 16 0 209953 0
vsize: 839876
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 83991 49 0 0 25 0 11 0 432408860 860033024 28375 4294967295 134512640 134569956 3221224400 3221214680 1131283361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28375 13073 16 0 209953 0
vsize: 839876
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 84985 49 0 0 25 0 11 0 432408860 860033024 28395 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28395 13073 16 0 209953 0
vsize: 839876
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 85981 50 0 0 25 0 11 0 432408860 860033024 28403 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28403 13073 16 0 209953 0
vsize: 839876
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 86976 50 0 0 25 0 11 0 432408860 860033024 28409 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28409 13073 16 0 209953 0
vsize: 839876
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 87970 50 0 0 25 0 11 0 432408860 860033024 28417 4294967295 134512640 134569956 3221224400 3221214800 1131471140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28417 13073 16 0 209953 0
vsize: 839876
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 88965 50 0 0 25 0 11 0 432408860 860033024 28417 4294967295 134512640 134569956 3221224400 3221214680 1131283811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28417 13073 16 0 209953 0
vsize: 839876
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 89959 50 0 0 25 0 11 0 432408860 860033024 28426 4294967295 134512640 134569956 3221224400 3221214680 1131284300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28426 13073 16 0 209953 0
vsize: 839876
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 90954 50 0 0 25 0 11 0 432408860 860033024 28431 4294967295 134512640 134569956 3221224400 3221214776 1131378309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28431 13073 16 0 209953 0
vsize: 839876
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 91948 50 0 0 25 0 11 0 432408860 860033024 28438 4294967295 134512640 134569956 3221224400 3221214752 1131545940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209969 28438 13073 16 0 209953 0
vsize: 839876
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 438
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 92943 50 0 0 25 0 11 0 432408860 860033024 28451 4294967295 134512640 134569956 3221224400 3221214832 1131428707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28451 13073 16 0 209953 0
vsize: 839876
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 93938 51 0 0 25 0 11 0 432408860 860033024 28451 4294967295 134512640 134569956 3221224400 3221214700 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28451 13073 16 0 209953 0
vsize: 839876
[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 94935 51 0 0 25 0 11 0 432408860 860033024 28462 4294967295 134512640 134569956 3221224400 3221214736 1131283793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28462 13073 16 0 209953 0
vsize: 839876
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 95932 51 0 0 25 0 11 0 432408860 860033024 28462 4294967295 134512640 134569956 3221224400 3221214832 1131429075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28462 13073 16 0 209953 0
vsize: 839876
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 96928 51 0 0 25 0 11 0 432408860 860033024 28462 4294967295 134512640 134569956 3221224400 3221214632 1131230747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28462 13073 16 0 209953 0
vsize: 839876
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 97920 52 0 0 25 0 11 0 432408860 860033024 28464 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28464 13073 16 0 209953 0
vsize: 839876
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 98889 52 0 0 25 0 11 0 432408860 860033024 28466 4294967295 134512640 134569956 3221224400 3221214776 1131377372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28466 13073 16 0 209953 0
vsize: 839876
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 99862 52 0 0 25 0 11 0 432408860 860033024 28466 4294967295 134512640 134569956 3221224400 3221214600 1131446849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28466 13073 16 0 209953 0
vsize: 839876
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 100842 52 0 0 25 0 11 0 432408860 860033024 28466 4294967295 134512640 134569956 3221224400 3221214648 1131626829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28466 13073 16 0 209953 0
vsize: 839876
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 101837 52 0 0 25 0 11 0 432408860 860033024 28605 4294967295 134512640 134569956 3221224400 3221214448 1131230039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28605 13073 16 0 209953 0
vsize: 839876
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 102834 52 0 0 25 0 11 0 432408860 860033024 28605 4294967295 134512640 134569956 3221224400 3221214648 1131625410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28605 13073 16 0 209953 0
vsize: 839876
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 103832 52 0 0 25 0 11 0 432408860 860033024 28610 4294967295 134512640 134569956 3221224400 3221214448 1131230039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28610 13073 16 0 209953 0
vsize: 839876
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 104830 52 0 0 25 0 11 0 432408860 860033024 28610 4294967295 134512640 134569956 3221224400 3221214776 1131373343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28610 13073 16 0 209953 0
vsize: 839876
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 105825 53 0 0 25 0 11 0 432408860 860033024 28611 4294967295 134512640 134569956 3221224400 3221214680 1131463470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28611 13073 16 0 209953 0
vsize: 839876
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 106820 53 0 0 25 0 11 0 432408860 860033024 28611 4294967295 134512640 134569956 3221224400 3221214776 1131373071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28611 13073 16 0 209953 0
vsize: 839876
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 107815 53 0 0 25 0 11 0 432408860 860033024 28631 4294967295 134512640 134569956 3221224400 3221214776 1131443982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28631 13073 16 0 209953 0
vsize: 839876
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 108809 53 0 0 25 0 11 0 432408860 860033024 28631 4294967295 134512640 134569956 3221224400 3221214800 1131474162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28631 13073 16 0 209953 0
vsize: 839876
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 109804 53 0 0 25 0 11 0 432408860 860033024 28638 4294967295 134512640 134569956 3221224400 3221214736 1131437521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28638 13073 16 0 209953 0
vsize: 839876
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 110798 53 0 0 25 0 11 0 432408860 860033024 28640 4294967295 134512640 134569956 3221224400 3221214680 1131283793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28640 13073 16 0 209953 0
vsize: 839876
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 111793 54 0 0 25 0 11 0 432408860 860033024 28643 4294967295 134512640 134569956 3221224400 3221214800 1131471851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28643 13073 16 0 209953 0
vsize: 839876
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 112788 54 0 0 25 0 11 0 432408860 860033024 28648 4294967295 134512640 134569956 3221224400 3221214680 1131283931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28648 13073 16 0 209953 0
vsize: 839876
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 113783 54 0 0 25 0 11 0 432408860 860033024 28649 4294967295 134512640 134569956 3221224400 3221214680 1131283428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28649 13073 16 0 209953 0
vsize: 839876
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 114778 55 0 0 25 0 11 0 432408860 860033024 28651 4294967295 134512640 134569956 3221224400 3221214832 1131428704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28651 13073 16 0 209953 0
vsize: 839876
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 115772 55 0 0 25 0 11 0 432408860 860033024 28658 4294967295 134512640 134569956 3221224400 3221214680 1131463528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28658 13073 16 0 209953 0
vsize: 839876
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 116767 55 0 0 25 0 11 0 432408860 860033024 28674 4294967295 134512640 134569956 3221224400 3221214688 1131288122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28674 13073 16 0 209953 0
vsize: 839876
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 117761 55 0 0 25 0 11 0 432408860 860033024 28676 4294967295 134512640 134569956 3221224400 3221214680 1131284583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28676 13073 16 0 209953 0
vsize: 839876
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 118755 55 0 0 25 0 11 0 432408860 860033024 28679 4294967295 134512640 134569956 3221224400 3221214748 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28679 13073 16 0 209953 0
vsize: 839876
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 119750 55 0 0 25 0 11 0 432408860 860033024 28693 4294967295 134512640 134569956 3221224400 3221214724 1080204314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28693 13073 16 0 209953 0
vsize: 839876
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 440
Raw data (stat): 422 (java) R 421 12452 12451 0 -1 0 18076 0 1 0 120744 56 0 0 25 0 11 0 432408860 860033024 28707 4294967295 134512640 134569956 3221224400 3221214736 1131437569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209969 28707 13073 16 0 209953 0
vsize: 839876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 442
Raw data (stat): 422 (java) Z 421 12452 12451 0 -1 1036 18076 8755 1 0 120745 56 1974 30 25 0 1 0 432408860 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): 1230.13
CPU time (s): 1228.07
CPU user time (s): 1227.2
CPU system time (s): 0.866868
CPU usage (%): 99.8324
Max. virtual memory (Kb): 839876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####