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/miplib/normalized-mps-v2-13-7-khb05250.opb
MD5SUM	16cce9479fbccbb902b090a1fce13788
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	25004
Biggest coefficient in the objective function	6104809472
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	5527422840150
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	6104809472
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	5527422840150
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.221965
Number of variables	25544
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	102
Minimum length of a constraint	1
Maximum length of a constraint	1020
Trace number 19215

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        679008 kB
Buffers:         22948 kB
Cached:         308988 kB
SwapCached:        516 kB
Active:          17656 kB
Inactive:       316296 kB
HighTotal:      131008 kB
HighFree:        94332 kB
LowTotal:       903652 kB
LowFree:        584676 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            15892 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 18:41:11 (client local time) WITH STATUS 143 IN 1233.41 SECONDS
stats: 16883 7 1233.41 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-khb05250.opb
c reading problem 
c [nbvar=25544]
c [nbconstr=126]
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 201.445
c #vars     25544
c #clauses  178
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.92 0.95 0.90 2/54 10551
Raw data (stat): 10551 (runsolver) R 10550 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547192879 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17889 0 91 0 548 48 0 0 22 0 10 0 547192879 853348352 18928 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208337 18928 13073 16 0 208321 0
vsize: 833348
[startup+20.0016 s]
Raw data (loadavg): 1.08 0.99 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 1466 48 0 0 25 0 10 0 547192879 855699456 20028 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208911 20028 13073 16 0 208895 0
vsize: 835644
[startup+30.0023 s]
Raw data (loadavg): 1.07 0.99 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 2350 49 0 0 25 0 10 0 547192879 854269952 20238 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 20238 13073 16 0 208546 0
vsize: 834248
[startup+40.0034 s]
Raw data (loadavg): 1.06 0.99 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 3270 49 0 0 25 0 10 0 547192879 854269952 20532 4294967295 134512640 134569956 3221224400 3221214824 1131209744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 20532 13073 16 0 208546 0
vsize: 834248
[startup+50.0042 s]
Raw data (loadavg): 1.05 0.99 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 4204 50 0 0 25 0 10 0 547192879 854269952 20676 4294967295 134512640 134569956 3221224400 3221214824 1131208828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 20676 13073 16 0 208546 0
vsize: 834248
[startup+60.0045 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 5135 50 0 0 25 0 10 0 547192879 854269952 20785 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 20785 13073 16 0 208546 0
vsize: 834248
[startup+70.0059 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 6070 50 0 0 25 0 10 0 547192879 854269952 20889 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208562 20889 13073 16 0 208546 0
vsize: 834248
[startup+80.0065 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 7014 51 0 0 25 0 10 0 547192879 854269952 21107 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21107 13073 16 0 208546 0
vsize: 834248
[startup+90.0067 s]
Raw data (loadavg): 1.10 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 7963 51 0 0 25 0 10 0 547192879 854269952 21184 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21184 13073 16 0 208546 0
vsize: 834248
[startup+100.007 s]
Raw data (loadavg): 1.08 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 8913 52 0 0 25 0 10 0 547192879 854269952 21254 4294967295 134512640 134569956 3221224400 3221214344 1079300817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21254 13073 16 0 208546 0
vsize: 834248
[startup+110.009 s]
Raw data (loadavg): 1.07 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 9864 52 0 0 25 0 10 0 547192879 854269952 21320 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21320 13073 16 0 208546 0
vsize: 834248
[startup+120.009 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 10814 52 0 0 25 0 10 0 547192879 854269952 21383 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21383 13073 16 0 208546 0
vsize: 834248
[startup+130.009 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 11765 53 0 0 25 0 10 0 547192879 854269952 21442 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21442 13073 16 0 208546 0
vsize: 834248
[startup+140.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 12716 53 0 0 25 0 10 0 547192879 854269952 21499 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21499 13073 16 0 208546 0
vsize: 834248
[startup+150.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 13667 54 0 0 25 0 10 0 547192879 854269952 21553 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21553 13073 16 0 208546 0
vsize: 834248
[startup+160.011 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 14617 54 0 0 25 0 10 0 547192879 854269952 21606 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21606 13073 16 0 208546 0
vsize: 834248
[startup+170.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 15567 54 0 0 25 0 10 0 547192879 854269952 21656 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21656 13073 16 0 208546 0
vsize: 834248
[startup+180.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 16517 55 0 0 25 0 10 0 547192879 854269952 21704 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21704 13073 16 0 208546 0
vsize: 834248
[startup+190.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17890 0 91 0 17452 55 0 0 25 0 10 0 547192879 854269952 21751 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208562 21751 13073 16 0 208546 0
vsize: 834248
[startup+200.014 s]
Raw data (loadavg): 1.09 1.02 0.93 2/63 10560
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17898 0 91 0 18172 56 0 0 25 0 10 0 547192879 857583616 24574 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209371 24574 13073 16 0 209355 0
vsize: 837484
[startup+210.014 s]
Raw data (loadavg): 1.07 1.02 0.93 3/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17931 0 91 0 19081 58 0 0 25 0 11 0 547192879 859160576 26718 4294967295 134512640 134569956 3221224400 3221214672 1130883196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209756 26718 13073 16 0 209740 0
vsize: 839024
[startup+220.022 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17979 0 92 0 19971 59 0 0 25 0 11 0 547192879 861257728 27336 4294967295 134512640 134569956 3221224400 3221214848 1131456226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210268 27336 13073 16 0 210252 0
vsize: 841072
[startup+230.022 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17979 0 92 0 20963 59 0 0 25 0 11 0 547192879 861257728 27336 4294967295 134512640 134569956 3221224400 3221214752 1131319361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210268 27336 13073 16 0 210252 0
vsize: 841072
[startup+240.022 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 21943 60 0 0 25 0 11 0 547192879 861999104 27564 4294967295 134512640 134569956 3221224400 3221214696 1131334454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 27564 13073 16 0 210433 0
vsize: 841796
[startup+250.023 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 22929 60 0 0 25 0 11 0 547192879 861999104 27564 4294967295 134512640 134569956 3221224400 3221214696 1131376782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 27564 13073 16 0 210433 0
vsize: 841796
[startup+260.027 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 10561
Raw data (stat): 10551 (java) S 10550 27565 27564 0 -1 0 17980 0 92 0 23891 60 0 0 25 0 11 0 547192879 861999104 27564 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 27564 13073 16 0 210433 0
vsize: 841796
[startup+270.028 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 24791 60 0 0 25 0 11 0 547192879 861999104 28061 4294967295 134512640 134569956 3221224400 3221214760 1131354196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 28061 13073 16 0 210433 0
vsize: 841796
[startup+280.028 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 25726 60 0 0 25 0 11 0 547192879 861999104 28494 4294967295 134512640 134569956 3221224400 3221214936 1131271641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 28494 13073 16 0 210433 0
vsize: 841796
[startup+290.028 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 26636 60 0 0 25 0 11 0 547192879 861999104 29182 4294967295 134512640 134569956 3221224400 3221214808 1131494963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 29182 13073 16 0 210433 0
vsize: 841796
[startup+300.034 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 10561
Raw data (stat): 10551 (java) S 10550 27565 27564 0 -1 0 17980 0 92 0 27557 60 0 0 25 0 11 0 547192879 861999104 29190 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 29190 13073 16 0 210433 0
vsize: 841796
[startup+310.036 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 28498 60 0 0 25 0 11 0 547192879 861999104 29611 4294967295 134512640 134569956 3221224400 3221214168 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 29611 13073 16 0 210433 0
vsize: 841796
[startup+320.036 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 29444 60 0 0 25 0 11 0 547192879 861999104 29611 4294967295 134512640 134569956 3221224400 3221214808 1131492499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 29611 13073 16 0 210433 0
vsize: 841796
[startup+330.036 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 30394 60 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214168 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+340.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 31387 60 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214712 1131524827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+350.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 32381 60 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214760 1131541379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+360.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 33375 60 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214692 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+370.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 34369 60 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214740 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+380.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 35363 60 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214840 1131455975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+390.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 36357 60 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214840 1131456229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+400.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 37351 60 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 38344 61 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214728 1131459474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+420.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 39339 61 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214168 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+430.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 40332 61 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214552 1079721457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 41326 61 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214632 1131596226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 42320 61 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131495868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+460.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 43313 61 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214576 1131534061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+470.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 44308 61 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214352 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+480.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 45301 61 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214840 1131456226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 46295 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214432 1080217052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+500.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 47289 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131495068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+510.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 48282 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131495237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+520.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 49276 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131495539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+530.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 50270 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214592 1131573252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+540.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 51264 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214632 1131595338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+550.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 52257 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214692 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 53251 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214740 1080204306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 54246 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214876 1080204322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 55239 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214744 1131319273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 56233 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131493301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 57227 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214368 1080217276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 58221 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214712 1131524193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+620.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 59215 62 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131493987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+630.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 60207 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214664 1131541346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+640.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 61201 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214692 1080204241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+650.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 62195 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214744 1080203665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+660.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 63189 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214664 1131474679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 64183 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214168 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+680.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 65176 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214796 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+690.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 66171 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214740 1080204314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+700.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 67164 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214744 1131319331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+710.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 68158 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214744 1131319521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+720.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 69152 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214752 1131542506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 70146 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214748 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+740.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 71140 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131492869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+750.062 s]
Raw data (loadavg): 1.24 1.05 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 72133 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131495613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+760.062 s]
Raw data (loadavg): 1.20 1.05 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 73128 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214764 1131459079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+770.063 s]
Raw data (loadavg): 1.17 1.05 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 74121 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214768 1131427017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+780.062 s]
Raw data (loadavg): 1.14 1.04 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 75115 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214576 1131534041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+790.064 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 76109 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214592 1131571998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+800.064 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 77103 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131493700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+810.064 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 78097 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214168 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+820.065 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 79090 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214740 1080204306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+830.065 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 80084 63 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+840.072 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 81079 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214840 1131455975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+850.072 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 82073 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214840 1131456229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+860.071 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 83066 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214744 1131334927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+870.072 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 84060 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214632 1131595792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+880.072 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 85055 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214712 1131524763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+890.072 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 86048 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214796 1080203717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+900.072 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 87041 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214712 1131523109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+910.072 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 88035 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131494315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+920.073 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 89029 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214712 1131524091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+930.072 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 90023 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214592 1131572240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+940.073 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 91016 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131492869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+950.074 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 92010 64 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131493962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+960.074 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 93004 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214692 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+970.075 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 93998 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214664 1131541323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+980.075 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 94992 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214352 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+990.076 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 95985 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 96979 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214840 1131455968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 97972 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214840 1131456229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 98966 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214712 1131524258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 99960 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214368 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 100955 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214664 1131474518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 101948 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131494315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 102942 65 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214652 1080203741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 103935 66 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131495529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 104930 66 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214632 1131596144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 105924 66 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214712 1131523727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 106917 66 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214168 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 107910 66 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214664 1131541379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 108905 66 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214744 1131319032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 109898 66 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214744 1131319273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 110892 66 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214744 1131334979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 111886 66 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214728 1131459474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 112879 67 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131492817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 113873 67 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214712 1131523782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 114867 67 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214592 1131572054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 115861 67 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131493675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 116855 67 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131492869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 117849 67 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214576 1131533580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 118842 67 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131495182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 119835 68 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214808 1131493972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 10561
Raw data (stat): 10551 (java) R 10550 27565 27564 0 -1 0 17980 0 92 0 120830 68 0 0 25 0 11 0 547192879 861999104 30051 4294967295 134512640 134569956 3221224400 3221214352 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 30051 13073 16 0 210433 0
vsize: 841796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 10563
Raw data (stat): 10551 (java) Z 10550 27565 27564 0 -1 1036 17980 9945 92 1 120835 68 2400 37 25 0 1 0 547192879 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.19
CPU time (s): 1233.41
CPU user time (s): 1232.36
CPU system time (s): 1.05184
CPU usage (%): 99.4536
Max. virtual memory (Kb): 841796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####