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/MIPLIB/miplib2003/normalized-mps-v2-13-7-roll3000.opb
MD5SUM	8932ff592f10c4a440d98245533252f1
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000000
Number of bits of the biggest number in a constraint	37
Biggest sum of numbers in a constraint	265438953471
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.71974
Number of variables	7611
Total number of constraints	3459
Number of constraints which are clauses	143
Number of constraints which are cardinality constraints (but not clauses)	626
Number of constraints which are nor clauses,nor cardinality constraints	2690
Minimum length of a constraint	1
Maximum length of a constraint	2047
Trace number 18469

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-21 15:09:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17975 boxname=wulflinc5 idbench=1383 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8932ff592f10c4a440d98245533252f1  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-roll3000.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-roll3000.opb
IDLAUNCH: 17975
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        907944 kB
Buffers:         14708 kB
Cached:          90432 kB
SwapCached:        328 kB
Active:          24700 kB
Inactive:        82924 kB
HighTotal:      131008 kB
HighFree:        68572 kB
LowTotal:       903652 kB
LowFree:        839372 kB
SwapTotal:     2097136 kB
SwapFree:      2096444 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            13380 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 15:29:48 (client local time) WITH STATUS 143 IN 1242.79 SECONDS
stats: 17975 7 1242.79 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-roll3000.opb
c reading problem 
c [nbvar=7611]
c [nbconstr=3459]
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
c time 25.721
c #vars     7611
c #clauses  3037
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): 1.02 1.00 0.92 2/54 24452
Raw data (stat): 24452 (runsolver) R 24451 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487824987 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 24461
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18023 0 1 0 860 46 0 0 25 0 10 0 487824987 856760320 19919 4294967295 134512640 134569956 3221224400 3221214616 1077635733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209170 19919 13073 16 0 209154 0
vsize: 836680
[startup+20.0186 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 24461
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18023 0 1 0 1762 46 0 0 25 0 10 0 487824987 856760320 20481 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209170 20481 13073 16 0 209154 0
vsize: 836680
[startup+30.0246 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18091 0 1 0 2581 48 0 0 25 0 11 0 487824987 858419200 24880 4294967295 134512640 134569956 3221224400 3221214712 1131043606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209575 24880 13073 16 0 209559 0
vsize: 838300
[startup+40.0247 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18091 0 1 0 3533 48 0 0 25 0 11 0 487824987 858411008 24843 4294967295 134512640 134569956 3221224400 3221214724 1130894936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209573 24843 13073 16 0 209557 0
vsize: 838292
[startup+50.0315 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18092 0 1 0 4527 48 0 0 25 0 11 0 487824987 858411008 24850 4294967295 134512640 134569956 3221224400 3221214624 1131421678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209573 24850 13073 16 0 209557 0
vsize: 838292
[startup+60.0379 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18092 0 1 0 5519 49 0 0 25 0 11 0 487824987 860725248 25410 4294967295 134512640 134569956 3221224400 3221214824 1131237468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25410 13073 16 0 210122 0
vsize: 840552
[startup+70.1589 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18093 0 1 0 6515 49 0 0 25 0 11 0 487824987 859459584 25117 4294967295 134512640 134569956 3221224400 3221214736 1131281133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209829 25117 13073 16 0 209813 0
vsize: 839316
[startup+80.1798 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18093 0 1 0 7492 49 0 0 25 0 11 0 487824987 859459584 25136 4294967295 134512640 134569956 3221224400 3221214848 1131237350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209829 25136 13073 16 0 209813 0
vsize: 839316
[startup+90.1801 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18093 0 1 0 8477 49 0 0 24 0 11 0 487824987 859459584 25136 4294967295 134512640 134569956 3221224400 3221214848 1131237322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209829 25136 13073 16 0 209813 0
vsize: 839316
[startup+100.18 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18093 0 1 0 9463 49 0 0 24 0 11 0 487824987 859459584 25168 4294967295 134512640 134569956 3221224400 3221214696 1131244756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209829 25168 13073 16 0 209813 0
vsize: 839316
[startup+110.194 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18093 0 1 0 10453 50 0 0 25 0 11 0 487824987 859459584 25180 4294967295 134512640 134569956 3221224400 3221214824 1131395268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209829 25180 13073 16 0 209813 0
vsize: 839316
[startup+120.202 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18093 0 1 0 11447 50 0 0 25 0 11 0 487824987 859459584 25202 4294967295 134512640 134569956 3221224400 3221214768 1131296031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209829 25202 13073 16 0 209813 0
vsize: 839316
[startup+130.211 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18093 0 1 0 12437 50 0 0 25 0 11 0 487824987 859459584 25242 4294967295 134512640 134569956 3221224400 3221214656 1131416020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209829 25242 13073 16 0 209813 0
vsize: 839316
[startup+140.314 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18093 0 1 0 13437 50 0 0 25 0 11 0 487824987 859459584 25243 4294967295 134512640 134569956 3221224400 3221214624 1131419759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209829 25243 13073 16 0 209813 0
vsize: 839316
[startup+150.315 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18093 0 1 0 14429 50 0 0 25 0 11 0 487824987 858730496 25116 4294967295 134512640 134569956 3221224400 3221214656 1131553705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209651 25116 13073 16 0 209635 0
vsize: 838604
[startup+160.315 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18094 0 1 0 15417 50 0 0 25 0 11 0 487824987 858730496 25117 4294967295 134512640 134569956 3221224400 3221214844 1131281120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209651 25117 13073 16 0 209635 0
vsize: 838604
[startup+170.316 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18094 0 1 0 16408 50 0 0 25 0 11 0 487824987 858730496 25118 4294967295 134512640 134569956 3221224400 3221214760 1131394638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209651 25118 13073 16 0 209635 0
vsize: 838604
[startup+180.316 s]
Raw data (loadavg): 1.14 1.03 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18094 0 1 0 17399 50 0 0 25 0 11 0 487824987 858730496 25126 4294967295 134512640 134569956 3221224400 3221214704 1131387502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209651 25126 13073 16 0 209635 0
vsize: 838604
[startup+190.321 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18094 0 1 0 18388 51 0 0 25 0 11 0 487824987 864124928 26449 4294967295 134512640 134569956 3221224400 3221214680 1131419722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210968 26449 13073 16 0 210952 0
vsize: 843872
[startup+200.322 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18094 0 1 0 19377 51 0 0 25 0 11 0 487824987 864124928 26449 4294967295 134512640 134569956 3221224400 3221214816 1131394510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210968 26449 13073 16 0 210952 0
vsize: 843872
[startup+210.322 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18094 0 1 0 20365 51 0 0 25 0 11 0 487824987 864124928 26449 4294967295 134512640 134569956 3221224400 3221214840 1131209842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210968 26449 13073 16 0 210952 0
vsize: 843872
[startup+220.322 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 21352 51 0 0 25 0 11 0 487824987 864059392 26484 4294967295 134512640 134569956 3221224400 3221214768 1131453144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210952 26484 13073 16 0 210936 0
vsize: 843808
[startup+230.331 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 22343 51 0 0 25 0 11 0 487824987 864059392 26484 4294967295 134512640 134569956 3221224400 3221214668 1080203739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210952 26484 13073 16 0 210936 0
vsize: 843808
[startup+240.331 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 23332 51 0 0 25 0 11 0 487824987 864059392 26502 4294967295 134512640 134569956 3221224400 3221214760 1131387657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210952 26502 13073 16 0 210936 0
vsize: 843808
[startup+250.332 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 24321 51 0 0 25 0 11 0 487824987 860401664 25665 4294967295 134512640 134569956 3221224400 3221214800 1131249152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25665 13073 16 0 210043 0
vsize: 840236
[startup+260.338 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 25313 51 0 0 25 0 11 0 487824987 860401664 25666 4294967295 134512640 134569956 3221224400 3221214816 1131395020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25666 13073 16 0 210043 0
vsize: 840236
[startup+270.338 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 26302 51 0 0 25 0 11 0 487824987 860401664 25697 4294967295 134512640 134569956 3221224400 3221214832 1131389038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25697 13073 16 0 210043 0
vsize: 840236
[startup+280.337 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 27297 51 0 0 25 0 11 0 487824987 860401664 25704 4294967295 134512640 134569956 3221224400 3221214640 1131553337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25704 13073 16 0 210043 0
vsize: 840236
[startup+290.346 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 28288 51 0 0 25 0 11 0 487824987 860401664 25704 4294967295 134512640 134569956 3221224400 3221214768 1131295835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25704 13073 16 0 210043 0
vsize: 840236
[startup+300.351 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 29278 51 0 0 25 0 11 0 487824987 860401664 25704 4294967295 134512640 134569956 3221224400 3221214768 1131295927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25704 13073 16 0 210043 0
vsize: 840236
[startup+310.372 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 30263 51 0 0 25 0 11 0 487824987 860401664 25704 4294967295 134512640 134569956 3221224400 3221214896 1131358741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25704 13073 16 0 210043 0
vsize: 840236
[startup+320.372 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 31249 52 0 0 25 0 11 0 487824987 860401664 25760 4294967295 134512640 134569956 3221224400 3221214668 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25760 13073 16 0 210043 0
vsize: 840236
[startup+330.373 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 32229 52 0 0 25 0 11 0 487824987 860401664 25762 4294967295 134512640 134569956 3221224400 3221214744 1131580256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25762 13073 16 0 210043 0
vsize: 840236
[startup+340.372 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 33217 52 0 0 25 0 11 0 487824987 860401664 25769 4294967295 134512640 134569956 3221224400 3221214680 1131420642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25769 13073 16 0 210043 0
vsize: 840236
[startup+350.373 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 34202 52 0 0 25 0 11 0 487824987 860401664 25821 4294967295 134512640 134569956 3221224400 3221214600 1131244503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25821 13073 16 0 210043 0
vsize: 840236
[startup+360.374 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 35179 52 0 0 25 0 11 0 487824987 860401664 25827 4294967295 134512640 134569956 3221224400 3221214848 1131237454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 25827 13073 16 0 210043 0
vsize: 840236
[startup+370.374 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 36155 53 0 0 25 0 11 0 487824987 860401664 25902 4294967295 134512640 134569956 3221224400 3221214768 1131297534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 25902 13073 16 0 210043 0
vsize: 840236
[startup+380.375 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 37126 53 0 0 25 0 11 0 487824987 860401664 25902 4294967295 134512640 134569956 3221224400 3221214848 1131237368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 25902 13073 16 0 210043 0
vsize: 840236
[startup+390.375 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 38102 53 0 0 25 0 11 0 487824987 860401664 25904 4294967295 134512640 134569956 3221224400 3221214840 1131209842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 25904 13073 16 0 210043 0
vsize: 840236
[startup+400.377 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 39071 53 0 0 25 0 11 0 487824987 860401664 26053 4294967295 134512640 134569956 3221224400 3221214736 1131281263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26053 13073 16 0 210043 0
vsize: 840236
[startup+410.377 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 40046 53 0 0 25 0 11 0 487824987 860401664 26104 4294967295 134512640 134569956 3221224400 3221214896 1131358670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26104 13073 16 0 210043 0
vsize: 840236
[startup+420.377 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 41018 54 0 0 25 0 11 0 487824987 860401664 26160 4294967295 134512640 134569956 3221224400 3221214600 1131244433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26160 13073 16 0 210043 0
vsize: 840236
[startup+430.377 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 41996 54 0 0 24 0 11 0 487824987 860401664 26196 4294967295 134512640 134569956 3221224400 3221214840 1131209834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26196 13073 16 0 210043 0
vsize: 840236
[startup+440.377 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 42973 54 0 0 25 0 11 0 487824987 860401664 26199 4294967295 134512640 134569956 3221224400 3221214744 1131583988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26199 13073 16 0 210043 0
vsize: 840236
[startup+450.378 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 43948 54 0 0 25 0 11 0 487824987 860401664 26320 4294967295 134512640 134569956 3221224400 3221214848 1131237468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26320 13073 16 0 210043 0
vsize: 840236
[startup+460.378 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 44927 54 0 0 25 0 11 0 487824987 860401664 26351 4294967295 134512640 134569956 3221224400 3221214768 1131296712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26351 13073 16 0 210043 0
vsize: 840236
[startup+470.378 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 45912 55 0 0 25 0 11 0 487824987 860401664 26385 4294967295 134512640 134569956 3221224400 3221214736 1131281194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26385 13073 16 0 210043 0
vsize: 840236
[startup+480.379 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 46897 55 0 0 25 0 11 0 487824987 860401664 26391 4294967295 134512640 134569956 3221224400 3221214976 1130919270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26391 13073 16 0 210043 0
vsize: 840236
[startup+490.38 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 47883 56 0 0 25 0 11 0 487824987 860401664 26393 4294967295 134512640 134569956 3221224400 3221214776 1131320950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26393 13073 16 0 210043 0
vsize: 840236
[startup+500.382 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 48863 56 0 0 25 0 11 0 487824987 860401664 26427 4294967295 134512640 134569956 3221224400 3221214768 1131296712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26427 13073 16 0 210043 0
vsize: 840236
[startup+510.382 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 49839 57 0 0 25 0 11 0 487824987 860401664 26481 4294967295 134512640 134569956 3221224400 3221214744 1131583858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26481 13073 16 0 210043 0
vsize: 840236
[startup+520.382 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 50814 57 0 0 25 0 11 0 487824987 860401664 26525 4294967295 134512640 134569956 3221224400 3221214840 1131242377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26525 13073 16 0 210043 0
vsize: 840236
[startup+530.382 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 51789 57 0 0 25 0 11 0 487824987 860401664 26595 4294967295 134512640 134569956 3221224400 3221214768 1131295979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26595 13073 16 0 210043 0
vsize: 840236
[startup+540.383 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 52769 57 0 0 25 0 11 0 487824987 860401664 26596 4294967295 134512640 134569956 3221224400 3221214848 1131237092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26596 13073 16 0 210043 0
vsize: 840236
[startup+550.383 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 53751 57 0 0 25 0 11 0 487824987 860401664 26666 4294967295 134512640 134569956 3221224400 3221214848 1131237300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26666 13073 16 0 210043 0
vsize: 840236
[startup+560.384 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 54739 58 0 0 24 0 11 0 487824987 860401664 26666 4294967295 134512640 134569956 3221224400 3221214848 1131237468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26666 13073 16 0 210043 0
vsize: 840236
[startup+570.385 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 55726 58 0 0 25 0 11 0 487824987 860401664 26723 4294967295 134512640 134569956 3221224400 3221214896 1131358613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26723 13073 16 0 210043 0
vsize: 840236
[startup+580.385 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 56706 58 0 0 25 0 11 0 487824987 860401664 26743 4294967295 134512640 134569956 3221224400 3221214768 1131295927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26743 13073 16 0 210043 0
vsize: 840236
[startup+590.385 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 57689 59 0 0 25 0 11 0 487824987 860401664 26773 4294967295 134512640 134569956 3221224400 3221214768 1131295869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26773 13073 16 0 210043 0
vsize: 840236
[startup+600.386 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 58667 60 0 0 25 0 11 0 487824987 860401664 26816 4294967295 134512640 134569956 3221224400 3221214768 1131295927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26816 13073 16 0 210043 0
vsize: 840236
[startup+610.387 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 59652 61 0 0 25 0 11 0 487824987 860401664 26816 4294967295 134512640 134569956 3221224400 3221214848 1131237092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26816 13073 16 0 210043 0
vsize: 840236
[startup+620.386 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 60633 61 0 0 25 0 11 0 487824987 860401664 26818 4294967295 134512640 134569956 3221224400 3221214848 1131237468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26818 13073 16 0 210043 0
vsize: 840236
[startup+630.387 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 61611 62 0 0 25 0 11 0 487824987 860401664 26886 4294967295 134512640 134569956 3221224400 3221214896 1131358469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26886 13073 16 0 210043 0
vsize: 840236
[startup+640.388 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 62590 62 0 0 25 0 11 0 487824987 860401664 26897 4294967295 134512640 134569956 3221224400 3221214728 1131483899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26897 13073 16 0 210043 0
vsize: 840236
[startup+650.389 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 63577 62 0 0 25 0 11 0 487824987 860401664 26996 4294967295 134512640 134569956 3221224400 3221214768 1131296040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26996 13073 16 0 210043 0
vsize: 840236
[startup+660.389 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 64569 62 0 0 25 0 11 0 487824987 860401664 26999 4294967295 134512640 134569956 3221224400 3221214840 1131242240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 26999 13073 16 0 210043 0
vsize: 840236
[startup+670.389 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 65560 62 0 0 25 0 11 0 487824987 860401664 27002 4294967295 134512640 134569956 3221224400 3221214744 1131583840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27002 13073 16 0 210043 0
vsize: 840236
[startup+680.39 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 66554 63 0 0 25 0 11 0 487824987 860401664 27012 4294967295 134512640 134569956 3221224400 3221214848 1131237468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27012 13073 16 0 210043 0
vsize: 840236
[startup+690.39 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 67541 63 0 0 25 0 11 0 487824987 860401664 27015 4294967295 134512640 134569956 3221224400 3221214848 1131237454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27015 13073 16 0 210043 0
vsize: 840236
[startup+700.39 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 68525 63 0 0 25 0 11 0 487824987 860401664 27032 4294967295 134512640 134569956 3221224400 3221214648 1131420838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27032 13073 16 0 210043 0
vsize: 840236
[startup+710.391 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 69513 63 0 0 25 0 11 0 487824987 860401664 27034 4294967295 134512640 134569956 3221224400 3221214720 1131295990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27034 13073 16 0 210043 0
vsize: 840236
[startup+720.39 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 70494 64 0 0 25 0 11 0 487824987 860401664 27067 4294967295 134512640 134569956 3221224400 3221214848 1131358602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27067 13073 16 0 210043 0
vsize: 840236
[startup+730.392 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 71479 64 0 0 25 0 11 0 487824987 860401664 27077 4294967295 134512640 134569956 3221224400 3221214720 1131296016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27077 13073 16 0 210043 0
vsize: 840236
[startup+740.392 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 72464 65 0 0 25 0 11 0 487824987 860401664 27115 4294967295 134512640 134569956 3221224400 3221214792 1131242233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27115 13073 16 0 210043 0
vsize: 840236
[startup+750.394 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 73457 65 0 0 25 0 11 0 487824987 860401664 27127 4294967295 134512640 134569956 3221224400 3221214608 1131553806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27127 13073 16 0 210043 0
vsize: 840236
[startup+760.393 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 74450 65 0 0 25 0 11 0 487824987 860401664 27128 4294967295 134512640 134569956 3221224400 3221214720 1131295927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27128 13073 16 0 210043 0
vsize: 840236
[startup+770.394 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 75442 65 0 0 25 0 11 0 487824987 860401664 27134 4294967295 134512640 134569956 3221224400 3221214712 1131583850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27134 13073 16 0 210043 0
vsize: 840236
[startup+780.394 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 76436 66 0 0 25 0 11 0 487824987 860401664 27159 4294967295 134512640 134569956 3221224400 3221214720 1131295927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27159 13073 16 0 210043 0
vsize: 840236
[startup+790.394 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 77428 66 0 0 25 0 11 0 487824987 860401664 27159 4294967295 134512640 134569956 3221224400 3221214752 1131248797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27159 13073 16 0 210043 0
vsize: 840236
[startup+800.395 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 78419 66 0 0 25 0 11 0 487824987 860401664 27175 4294967295 134512640 134569956 3221224400 3221214720 1131295927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27175 13073 16 0 210043 0
vsize: 840236
[startup+810.395 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 79406 67 0 0 24 0 11 0 487824987 860401664 27179 4294967295 134512640 134569956 3221224400 3221214796 1131295744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27179 13073 16 0 210043 0
vsize: 840236
[startup+820.395 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 80391 67 0 0 25 0 11 0 487824987 860401664 27187 4294967295 134512640 134569956 3221224400 3221214848 1131358731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27187 13073 16 0 210043 0
vsize: 840236
[startup+830.396 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 81377 67 0 0 25 0 11 0 487824987 860401664 27192 4294967295 134512640 134569956 3221224400 3221214760 1131461800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27192 13073 16 0 210043 0
vsize: 840236
[startup+840.396 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 82359 68 0 0 25 0 11 0 487824987 860401664 27219 4294967295 134512640 134569956 3221224400 3221214568 1131244387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27219 13073 16 0 210043 0
vsize: 840236
[startup+850.398 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 83345 68 0 0 25 0 11 0 487824987 860401664 27252 4294967295 134512640 134569956 3221224400 3221214800 1131237108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27252 13073 16 0 210043 0
vsize: 840236
[startup+860.398 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 84327 68 0 0 25 0 11 0 487824987 860401664 27253 4294967295 134512640 134569956 3221224400 3221214664 1131300150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27253 13073 16 0 210043 0
vsize: 840236
[startup+870.398 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 85305 69 0 0 25 0 11 0 487824987 860401664 27260 4294967295 134512640 134569956 3221224400 3221214792 1131209842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27260 13073 16 0 210043 0
vsize: 840236
[startup+880.398 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 86281 69 0 0 25 0 11 0 487824987 860401664 27310 4294967295 134512640 134569956 3221224400 3221214720 1131295927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27310 13073 16 0 210043 0
vsize: 840236
[startup+890.399 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 87255 70 0 0 25 0 11 0 487824987 860401664 27353 4294967295 134512640 134569956 3221224400 3221214720 1131295927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27353 13073 16 0 210043 0
vsize: 840236
[startup+900.399 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 88234 70 0 0 25 0 11 0 487824987 860401664 27393 4294967295 134512640 134569956 3221224400 3221214800 1131237468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27393 13073 16 0 210043 0
vsize: 840236
[startup+910.399 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 89220 70 0 0 25 0 11 0 487824987 860401664 27448 4294967295 134512640 134569956 3221224400 3221214720 1131296075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27448 13073 16 0 210043 0
vsize: 840236
[startup+920.4 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 90214 70 0 0 19 0 11 0 487824987 860401664 27466 4294967295 134512640 134569956 3221224400 3221214720 1131296115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27466 13073 16 0 210043 0
vsize: 840236
[startup+930.4 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 91210 71 0 0 25 0 11 0 487824987 860401664 27467 4294967295 134512640 134569956 3221224400 3221214792 1131209842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27467 13073 16 0 210043 0
vsize: 840236
[startup+940.4 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 92192 71 0 0 24 0 11 0 487824987 860401664 27473 4294967295 134512640 134569956 3221224400 3221214792 1131209799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27473 13073 16 0 210043 0
vsize: 840236
[startup+950.401 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 93175 72 0 0 25 0 11 0 487824987 860401664 27474 4294967295 134512640 134569956 3221224400 3221214792 1131237411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27474 13073 16 0 210043 0
vsize: 840236
[startup+960.401 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 94156 72 0 0 24 0 11 0 487824987 860401664 27494 4294967295 134512640 134569956 3221224400 3221214640 1131420503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27494 13073 16 0 210043 0
vsize: 840236
[startup+970.402 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 95144 72 0 0 25 0 11 0 487824987 860401664 27546 4294967295 134512640 134569956 3221224400 3221214600 1131554582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27546 13073 16 0 210043 0
vsize: 840236
[startup+980.402 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 96133 72 0 0 25 0 11 0 487824987 860401664 27568 4294967295 134512640 134569956 3221224400 3221214672 1131416020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27568 13073 16 0 210043 0
vsize: 840236
[startup+990.403 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 97119 72 0 0 25 0 11 0 487824987 860401664 27589 4294967295 134512640 134569956 3221224400 3221214784 1131242381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27589 13073 16 0 210043 0
vsize: 840236
[startup+1000.4 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 98095 72 0 0 25 0 11 0 487824987 860401664 27589 4294967295 134512640 134569956 3221224400 3221214712 1131295927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27589 13073 16 0 210043 0
vsize: 840236
[startup+1010.4 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 99070 73 0 0 25 0 11 0 487824987 860401664 27672 4294967295 134512640 134569956 3221224400 3221214712 1131295927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27672 13073 16 0 210043 0
vsize: 840236
[startup+1020.4 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 100054 73 0 0 24 0 11 0 487824987 860401664 27706 4294967295 134512640 134569956 3221224400 3221214788 1131295744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27706 13073 16 0 210043 0
vsize: 840236
[startup+1030.41 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 101045 73 0 0 25 0 11 0 487824987 860401664 27750 4294967295 134512640 134569956 3221224400 3221214784 1131242302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27750 13073 16 0 210043 0
vsize: 840236
[startup+1040.41 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 102040 73 0 0 25 0 11 0 487824987 860401664 27751 4294967295 134512640 134569956 3221224400 3221214712 1131296031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27751 13073 16 0 210043 0
vsize: 840236
[startup+1050.41 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 103034 73 0 0 25 0 11 0 487824987 860401664 27755 4294967295 134512640 134569956 3221224400 3221214712 1131296052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27755 13073 16 0 210043 0
vsize: 840236
[startup+1060.41 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 104026 74 0 0 25 0 11 0 487824987 860401664 27755 4294967295 134512640 134569956 3221224400 3221214712 1131297334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27755 13073 16 0 210043 0
vsize: 840236
[startup+1070.41 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 105020 74 0 0 25 0 11 0 487824987 860401664 27785 4294967295 134512640 134569956 3221224400 3221214712 1131295869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27785 13073 16 0 210043 0
vsize: 840236
[startup+1080.41 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 106013 74 0 0 25 0 11 0 487824987 860401664 27799 4294967295 134512640 134569956 3221224400 3221214640 1131421626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27799 13073 16 0 210043 0
vsize: 840236
[startup+1090.41 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 107009 74 0 0 25 0 11 0 487824987 860401664 27807 4294967295 134512640 134569956 3221224400 3221214560 1131244503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27807 13073 16 0 210043 0
vsize: 840236
[startup+1100.41 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 107994 74 0 0 25 0 11 0 487824987 860401664 27808 4294967295 134512640 134569956 3221224400 3221214792 1131237300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27808 13073 16 0 210043 0
vsize: 840236
[startup+1110.41 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 108975 74 0 0 24 0 11 0 487824987 860401664 27821 4294967295 134512640 134569956 3221224400 3221214792 1131237368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27821 13073 16 0 210043 0
vsize: 840236
[startup+1120.41 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 109959 74 0 0 25 0 11 0 487824987 860401664 27834 4294967295 134512640 134569956 3221224400 3221214712 1131295854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27834 13073 16 0 210043 0
vsize: 840236
[startup+1130.41 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 110945 74 0 0 25 0 11 0 487824987 860401664 27881 4294967295 134512640 134569956 3221224400 3221214712 1131296153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27881 13073 16 0 210043 0
vsize: 840236
[startup+1140.41 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 111940 74 0 0 25 0 11 0 487824987 860401664 27882 4294967295 134512640 134569956 3221224400 3221214792 1131389024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27882 13073 16 0 210043 0
vsize: 840236
[startup+1150.41 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 112933 74 0 0 25 0 11 0 487824987 860401664 27885 4294967295 134512640 134569956 3221224400 3221214704 1131580449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27885 13073 16 0 210043 0
vsize: 840236
[startup+1160.41 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 113924 74 0 0 24 0 11 0 487824987 860401664 27895 4294967295 134512640 134569956 3221224400 3221214712 1131295927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27895 13073 16 0 210043 0
vsize: 840236
[startup+1170.41 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 114908 74 0 0 25 0 11 0 487824987 860401664 27897 4294967295 134512640 134569956 3221224400 3221214744 1131248570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27897 13073 16 0 210043 0
vsize: 840236
[startup+1180.41 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 115889 75 0 0 25 0 11 0 487824987 860401664 27924 4294967295 134512640 134569956 3221224400 3221214744 1131248565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27924 13073 16 0 210043 0
vsize: 840236
[startup+1190.41 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 116879 75 0 0 25 0 11 0 487824987 860401664 27982 4294967295 134512640 134569956 3221224400 3221214600 1131554640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27982 13073 16 0 210043 0
vsize: 840236
[startup+1200.42 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 117871 75 0 0 25 0 11 0 487824987 860401664 27994 4294967295 134512640 134569956 3221224400 3221214744 1131248588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 27994 13073 16 0 210043 0
vsize: 840236
[startup+1210.42 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 118859 76 0 0 25 0 11 0 487824987 860401664 27999 4294967295 134512640 134569956 3221224400 3221214712 1131295918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 27999 13073 16 0 210043 0
vsize: 840236
[startup+1220.42 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 119840 76 0 0 25 0 11 0 487824987 860401664 28003 4294967295 134512640 134569956 3221224400 3221214712 1131295927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210059 28003 13073 16 0 210043 0
vsize: 840236
[startup+1230.42 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 24462
Raw data (stat): 24452 (java) R 24451 24215 24214 0 -1 0 18095 0 1 0 120822 76 0 0 25 0 11 0 487824987 860401664 28007 4294967295 134512640 134569956 3221224400 3221214744 1131248565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210059 28007 13073 16 0 210043 0
vsize: 840236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.52 s]
Raw data (loadavg): 1.01 1.00 0.95 1/54 24464
Raw data (stat): 24452 (java) Z 24451 24215 24214 0 -1 1036 18095 15624 1 0 120824 81 3322 49 25 0 1 0 487824987 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.52
CPU time (s): 1242.79
CPU user time (s): 1241.48
CPU system time (s): 1.3158
CPU usage (%): 100.997
Max. virtual memory (Kb): 843872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####