PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.ja.opb
MD5SUM	14008dcc965a2d6f0a6e83434c8b6300
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	230
Biggest coefficient in the objective function	694596606623744
Number of bits for the biggest coefficient in the objective function	50
Sum of the numbers in the objective function	4435721544887391
Number of bits of the sum of numbers in the objective function	52
Biggest number in a constraint	3141307404910592000000
Number of bits of the biggest number in a constraint	72
Biggest sum of numbers in a constraint	12713246235773393436672
Number of bits of the biggest sum of numbers	74
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.65875
Number of variables	45952
Total number of constraints	1259
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1259
Minimum length of a constraint	10
Maximum length of a constraint	4005
Trace number 17448

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 10:09:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11085 boxname=wulflinc6 idbench=853 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  14008dcc965a2d6f0a6e83434c8b6300  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-pilot.ja.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-pilot.ja.opb
IDLAUNCH: 11085
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        578776 kB
Buffers:         21744 kB
Cached:         411680 kB
SwapCached:        552 kB
Active:          48872 kB
Inactive:       386552 kB
HighTotal:      131008 kB
HighFree:         6972 kB
LowTotal:       903652 kB
LowFree:        571804 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            14768 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 10:31:03 (client local time) WITH STATUS 143 IN 1278.39 SECONDS
stats: 11085 7 1278.39 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-pilot.ja.opb
c reading problem 
c [nbvar=45982]
c [nbconstr=1259]
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)
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 630.549
c #vars     45952
c #clauses  1875
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.64 0.72 0.82 2/54 14790
Raw data (stat): 14790 (runsolver) R 14789 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486026372 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.024 s]
Raw data (loadavg): 0.77 0.74 0.82 3/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18001 0 1 0 861 40 0 0 25 0 10 0 486026372 856420352 19881 4294967295 134512640 134569956 3221224400 3221213528 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209087 19881 13073 16 0 209071 0
vsize: 836348
[startup+20.0285 s]
Raw data (loadavg): 0.80 0.75 0.82 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 1750 41 0 0 25 0 10 0 486026372 856379392 20469 4294967295 134512640 134569956 3221224400 3221214528 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 20469 13073 16 0 209061 0
vsize: 836308
[startup+30.0286 s]
Raw data (loadavg): 0.83 0.76 0.82 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 2619 41 0 0 17 0 10 0 486026372 856379392 21184 4294967295 134512640 134569956 3221224400 3221214408 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 21184 13073 16 0 209061 0
vsize: 836308
[startup+40.0355 s]
Raw data (loadavg): 0.86 0.77 0.83 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 3531 42 0 0 24 0 10 0 486026372 856379392 21352 4294967295 134512640 134569956 3221224400 3221214480 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 21352 13073 16 0 209061 0
vsize: 836308
[startup+50.0359 s]
Raw data (loadavg): 0.95 0.79 0.83 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 4423 42 0 0 21 0 10 0 486026372 856379392 21521 4294967295 134512640 134569956 3221224400 3221214480 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209077 21521 13073 16 0 209061 0
vsize: 836308
[startup+60.0362 s]
Raw data (loadavg): 0.96 0.80 0.83 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 5306 42 0 0 20 0 10 0 486026372 856379392 21752 4294967295 134512640 134569956 3221224400 3221214808 1131178305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 21752 13073 16 0 209061 0
vsize: 836308
[startup+70.0362 s]
Raw data (loadavg): 0.97 0.80 0.83 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 6195 43 0 0 18 0 10 0 486026372 856379392 22096 4294967295 134512640 134569956 3221224400 3221213936 1131168349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 22096 13073 16 0 209061 0
vsize: 836308
[startup+80.0364 s]
Raw data (loadavg): 0.97 0.81 0.83 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 7065 43 0 0 19 0 10 0 486026372 856379392 22637 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209077 22637 13073 16 0 209061 0
vsize: 836308
[startup+90.0366 s]
Raw data (loadavg): 0.97 0.82 0.84 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 7920 44 0 0 17 0 10 0 486026372 856379392 22925 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 22925 13073 16 0 209061 0
vsize: 836308
[startup+100.038 s]
Raw data (loadavg): 0.98 0.82 0.84 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 8788 44 0 0 17 0 10 0 486026372 856379392 23352 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 23352 13073 16 0 209061 0
vsize: 836308
[startup+110.038 s]
Raw data (loadavg): 0.98 0.83 0.84 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 9649 45 0 0 16 0 10 0 486026372 856379392 23817 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 23817 13073 16 0 209061 0
vsize: 836308
[startup+120.039 s]
Raw data (loadavg): 0.98 0.83 0.84 2/63 14799
Raw data (stat): 14790 (java) S 14789 29653 29652 0 -1 0 18002 0 1 0 10504 46 0 0 20 0 10 0 486026372 856379392 24040 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 24040 13073 16 0 209061 0
vsize: 836308
[startup+130.145 s]
Raw data (loadavg): 0.99 0.84 0.84 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 11389 46 0 0 18 0 10 0 486026372 856379392 24428 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 24428 13073 16 0 209061 0
vsize: 836308
[startup+140.146 s]
Raw data (loadavg): 0.99 0.84 0.84 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 12308 47 0 0 21 0 10 0 486026372 856379392 24644 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 24644 13073 16 0 209061 0
vsize: 836308
[startup+150.146 s]
Raw data (loadavg): 0.99 0.85 0.84 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 13181 48 0 0 16 0 10 0 486026372 856379392 24929 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 24929 13073 16 0 209061 0
vsize: 836308
[startup+160.147 s]
Raw data (loadavg): 0.99 0.85 0.84 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 14031 48 0 0 16 0 10 0 486026372 856379392 25031 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 25031 13073 16 0 209061 0
vsize: 836308
[startup+170.147 s]
Raw data (loadavg): 0.99 0.86 0.84 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 14930 49 0 0 24 0 10 0 486026372 856379392 25533 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 25533 13073 16 0 209061 0
vsize: 836308
[startup+180.148 s]
Raw data (loadavg): 0.99 0.86 0.84 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 15839 50 0 0 17 0 10 0 486026372 856379392 25621 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 25621 13073 16 0 209061 0
vsize: 836308
[startup+190.154 s]
Raw data (loadavg): 0.99 0.86 0.85 2/63 14799
Raw data (stat): 14790 (java) S 14789 29653 29652 0 -1 0 18002 0 1 0 16710 51 0 0 20 0 10 0 486026372 856379392 25756 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 25756 13073 16 0 209061 0
vsize: 836308
[startup+200.155 s]
Raw data (loadavg): 0.99 0.87 0.85 2/63 14799
Raw data (stat): 14790 (java) S 14789 29653 29652 0 -1 0 18002 0 1 0 17570 51 0 0 20 0 10 0 486026372 856379392 26694 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 26694 13073 16 0 209061 0
vsize: 836308
[startup+210.154 s]
Raw data (loadavg): 0.99 0.87 0.85 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 18430 52 0 0 20 0 10 0 486026372 856379392 26775 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 26775 13073 16 0 209061 0
vsize: 836308
[startup+220.155 s]
Raw data (loadavg): 0.99 0.87 0.85 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 19309 52 0 0 25 0 10 0 486026372 856379392 27190 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 27190 13073 16 0 209061 0
vsize: 836308
[startup+230.155 s]
Raw data (loadavg): 0.99 0.88 0.85 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 20184 53 0 0 20 0 10 0 486026372 856379392 27274 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 27274 13073 16 0 209061 0
vsize: 836308
[startup+240.155 s]
Raw data (loadavg): 0.99 0.88 0.85 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 21055 53 0 0 17 0 10 0 486026372 856379392 27404 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 27404 13073 16 0 209061 0
vsize: 836308
[startup+250.155 s]
Raw data (loadavg): 0.99 0.89 0.85 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 21977 53 0 0 17 0 10 0 486026372 856379392 27701 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 27701 13073 16 0 209061 0
vsize: 836308
[startup+260.159 s]
Raw data (loadavg): 0.99 0.89 0.85 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 22900 53 0 0 25 0 10 0 486026372 856379392 27762 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 27762 13073 16 0 209061 0
vsize: 836308
[startup+270.159 s]
Raw data (loadavg): 0.99 0.89 0.85 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 23824 54 0 0 20 0 10 0 486026372 856379392 27823 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 27823 13073 16 0 209061 0
vsize: 836308
[startup+280.16 s]
Raw data (loadavg): 0.99 0.89 0.85 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 24747 54 0 0 25 0 10 0 486026372 856379392 27882 4294967295 134512640 134569956 3221224400 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 27882 13073 16 0 209061 0
vsize: 836308
[startup+290.161 s]
Raw data (loadavg): 0.99 0.90 0.86 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 25671 54 0 0 25 0 10 0 486026372 856379392 27940 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 27940 13073 16 0 209061 0
vsize: 836308
[startup+300.162 s]
Raw data (loadavg): 0.99 0.90 0.86 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 26593 55 0 0 25 0 10 0 486026372 856379392 27997 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 27997 13073 16 0 209061 0
vsize: 836308
[startup+310.162 s]
Raw data (loadavg): 0.99 0.90 0.86 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 27514 56 0 0 25 0 10 0 486026372 856379392 28055 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 28055 13073 16 0 209061 0
vsize: 836308
[startup+320.163 s]
Raw data (loadavg): 0.99 0.91 0.86 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 28435 56 0 0 25 0 10 0 486026372 856379392 28111 4294967295 134512640 134569956 3221224400 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 28111 13073 16 0 209061 0
vsize: 836308
[startup+330.163 s]
Raw data (loadavg): 0.99 0.91 0.86 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 29356 57 0 0 25 0 10 0 486026372 856379392 28170 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 28170 13073 16 0 209061 0
vsize: 836308
[startup+340.166 s]
Raw data (loadavg): 0.99 0.91 0.86 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 30252 57 0 0 25 0 10 0 486026372 856379392 28858 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 28858 13073 16 0 209061 0
vsize: 836308
[startup+350.166 s]
Raw data (loadavg): 0.99 0.91 0.86 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 31174 58 0 0 24 0 10 0 486026372 856379392 28858 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 28858 13073 16 0 209061 0
vsize: 836308
[startup+360.168 s]
Raw data (loadavg): 0.99 0.92 0.86 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 32082 58 0 0 25 0 10 0 486026372 856379392 28888 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 28888 13073 16 0 209061 0
vsize: 836308
[startup+370.168 s]
Raw data (loadavg): 0.99 0.92 0.86 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 32983 59 0 0 19 0 10 0 486026372 856379392 29004 4294967295 134512640 134569956 3221224400 3221214156 1076878028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 29004 13073 16 0 209061 0
vsize: 836308
[startup+380.169 s]
Raw data (loadavg): 0.99 0.92 0.86 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 33894 59 0 0 22 0 10 0 486026372 856379392 29090 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 29090 13073 16 0 209061 0
vsize: 836308
[startup+390.169 s]
Raw data (loadavg): 0.99 0.92 0.87 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 34794 59 0 0 19 0 10 0 486026372 856379392 29184 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 29184 13073 16 0 209061 0
vsize: 836308
[startup+400.171 s]
Raw data (loadavg): 0.99 0.92 0.87 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 35680 60 0 0 20 0 10 0 486026372 856379392 29251 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 29251 13073 16 0 209061 0
vsize: 836308
[startup+410.172 s]
Raw data (loadavg): 0.99 0.93 0.87 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 36555 60 0 0 20 0 10 0 486026372 856379392 29369 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 29369 13073 16 0 209061 0
vsize: 836308
[startup+420.172 s]
Raw data (loadavg): 0.99 0.93 0.87 2/63 14799
Raw data (stat): 14790 (java) S 14789 29653 29652 0 -1 0 18002 0 1 0 37444 61 0 0 23 0 10 0 486026372 856379392 29613 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 29613 13073 16 0 209061 0
vsize: 836308
[startup+430.174 s]
Raw data (loadavg): 0.99 0.93 0.87 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 38348 62 0 0 20 0 10 0 486026372 856379392 29701 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 29701 13073 16 0 209061 0
vsize: 836308
[startup+440.175 s]
Raw data (loadavg): 0.99 0.93 0.87 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 39238 62 0 0 18 0 10 0 486026372 856379392 29799 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 29799 13073 16 0 209061 0
vsize: 836308
[startup+450.175 s]
Raw data (loadavg): 0.99 0.93 0.87 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 40122 63 0 0 20 0 10 0 486026372 856379392 29876 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 29876 13073 16 0 209061 0
vsize: 836308
[startup+460.179 s]
Raw data (loadavg): 0.99 0.94 0.87 2/63 14799
Raw data (stat): 14790 (java) S 14789 29653 29652 0 -1 0 18002 0 1 0 41018 63 0 0 23 0 10 0 486026372 856379392 30092 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30092 13073 16 0 209061 0
vsize: 836308
[startup+470.179 s]
Raw data (loadavg): 0.99 0.94 0.87 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 41923 64 0 0 20 0 10 0 486026372 856379392 30180 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30180 13073 16 0 209061 0
vsize: 836308
[startup+480.179 s]
Raw data (loadavg): 0.99 0.94 0.87 2/63 14799
Raw data (stat): 14790 (java) S 14789 29653 29652 0 -1 0 18002 0 1 0 42832 64 0 0 23 0 10 0 486026372 856379392 30231 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30231 13073 16 0 209061 0
vsize: 836308
[startup+490.18 s]
Raw data (loadavg): 0.99 0.94 0.87 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 43728 65 0 0 18 0 10 0 486026372 856379392 30301 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30301 13073 16 0 209061 0
vsize: 836308
[startup+500.181 s]
Raw data (loadavg): 0.99 0.94 0.88 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 44628 65 0 0 20 0 10 0 486026372 856379392 30382 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30382 13073 16 0 209061 0
vsize: 836308
[startup+510.181 s]
Raw data (loadavg): 0.99 0.94 0.88 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 45530 65 0 0 24 0 10 0 486026372 856379392 30475 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30475 13073 16 0 209061 0
vsize: 836308
[startup+520.182 s]
Raw data (loadavg): 0.99 0.94 0.88 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 46434 66 0 0 18 0 10 0 486026372 856379392 30557 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30557 13073 16 0 209061 0
vsize: 836308
[startup+530.182 s]
Raw data (loadavg): 0.99 0.95 0.88 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 47341 67 0 0 21 0 10 0 486026372 856379392 30611 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30611 13073 16 0 209061 0
vsize: 836308
[startup+540.197 s]
Raw data (loadavg): 0.99 0.95 0.88 2/63 14799
Raw data (stat): 14790 (java) S 14789 29653 29652 0 -1 0 18002 0 1 0 48241 67 0 0 24 0 10 0 486026372 856379392 30661 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30661 13073 16 0 209061 0
vsize: 836308
[startup+550.21 s]
Raw data (loadavg): 0.99 0.95 0.88 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 49134 68 0 0 19 0 10 0 486026372 856379392 30792 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30792 13073 16 0 209061 0
vsize: 836308
[startup+560.21 s]
Raw data (loadavg): 0.99 0.95 0.88 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 50040 68 0 0 20 0 10 0 486026372 856379392 30839 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 30839 13073 16 0 209061 0
vsize: 836308
[startup+570.215 s]
Raw data (loadavg): 0.99 0.95 0.88 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 50933 69 0 0 20 0 10 0 486026372 856379392 30899 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209077 30899 13073 16 0 209061 0
vsize: 836308
[startup+580.215 s]
Raw data (loadavg): 1.07 0.97 0.89 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 51820 70 0 0 21 0 10 0 486026372 856379392 31023 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 31023 13073 16 0 209061 0
vsize: 836308
[startup+590.215 s]
Raw data (loadavg): 1.06 0.97 0.89 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 52716 70 0 0 22 0 10 0 486026372 856379392 31103 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 31103 13073 16 0 209061 0
vsize: 836308
[startup+600.216 s]
Raw data (loadavg): 1.05 0.97 0.89 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 53610 70 0 0 22 0 10 0 486026372 856379392 31192 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 31192 13073 16 0 209061 0
vsize: 836308
[startup+610.216 s]
Raw data (loadavg): 1.04 0.97 0.89 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 54492 71 0 0 19 0 10 0 486026372 856379392 31265 4294967295 134512640 134569956 3221224400 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 31265 13073 16 0 209061 0
vsize: 836308
[startup+620.216 s]
Raw data (loadavg): 1.04 0.97 0.89 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 55372 72 0 0 17 0 10 0 486026372 856379392 31453 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 31453 13073 16 0 209061 0
vsize: 836308
[startup+630.217 s]
Raw data (loadavg): 1.03 0.97 0.89 2/63 14799
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18002 0 1 0 56258 72 0 0 21 0 10 0 486026372 856379392 31541 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209077 31541 13073 16 0 209061 0
vsize: 836308
[startup+640.218 s]
Raw data (loadavg): 1.03 0.97 0.89 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18067 0 1 0 57178 73 0 0 24 0 11 0 486026372 856907776 32804 4294967295 134512640 134569956 3221224400 3221214696 1131218997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209206 32804 13073 16 0 209190 0
vsize: 836824
[startup+650.218 s]
Raw data (loadavg): 1.02 0.97 0.90 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 58063 73 0 0 25 0 11 0 486026372 861102080 33870 4294967295 134512640 134569956 3221224400 3221214472 1131234945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210230 33870 13073 16 0 210214 0
vsize: 840920
[startup+660.218 s]
Raw data (loadavg): 1.02 0.97 0.90 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 59060 73 0 0 25 0 11 0 486026372 861102080 33789 4294967295 134512640 134569956 3221224400 3221214464 1131515533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210230 33789 13073 16 0 210214 0
vsize: 840920
[startup+670.218 s]
Raw data (loadavg): 1.01 0.97 0.90 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 60055 73 0 0 25 0 11 0 486026372 861102080 33790 4294967295 134512640 134569956 3221224400 3221214680 1131379531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210230 33790 13073 16 0 210214 0
vsize: 840920
[startup+680.218 s]
Raw data (loadavg): 1.01 0.97 0.90 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 61050 73 0 0 25 0 11 0 486026372 861102080 33791 4294967295 134512640 134569956 3221224400 3221214680 1131379541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210230 33791 13073 16 0 210214 0
vsize: 840920
[startup+690.218 s]
Raw data (loadavg): 1.01 0.97 0.90 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 62038 73 0 0 25 0 11 0 486026372 861102080 33795 4294967295 134512640 134569956 3221224400 3221214768 1131581240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210230 33795 13073 16 0 210214 0
vsize: 840920
[startup+700.219 s]
Raw data (loadavg): 1.01 0.97 0.90 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 63034 73 0 0 25 0 11 0 486026372 861102080 33795 4294967295 134512640 134569956 3221224400 3221214768 1131581260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210230 33795 13073 16 0 210214 0
vsize: 840920
[startup+710.22 s]
Raw data (loadavg): 1.01 0.97 0.90 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 64030 73 0 0 25 0 11 0 486026372 861102080 33795 4294967295 134512640 134569956 3221224400 3221214768 1131581249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210230 33795 13073 16 0 210214 0
vsize: 840920
[startup+720.22 s]
Raw data (loadavg): 1.00 0.97 0.90 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 65026 73 0 0 25 0 11 0 486026372 861102080 33795 4294967295 134512640 134569956 3221224400 3221214768 1131581247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210230 33795 13073 16 0 210214 0
vsize: 840920
[startup+730.22 s]
Raw data (loadavg): 1.00 0.97 0.90 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 66021 73 0 0 25 0 11 0 486026372 861102080 33795 4294967295 134512640 134569956 3221224400 3221214768 1131581240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210230 33795 13073 16 0 210214 0
vsize: 840920
[startup+740.22 s]
Raw data (loadavg): 1.00 0.97 0.90 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 67017 73 0 0 25 0 11 0 486026372 861102080 33795 4294967295 134512640 134569956 3221224400 3221214788 1131218604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210230 33795 13073 16 0 210214 0
vsize: 840920
[startup+750.221 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18071 0 1 0 68007 73 0 0 24 0 11 0 486026372 861102080 33795 4294967295 134512640 134569956 3221224400 3221214768 1131581240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210230 33795 13073 16 0 210214 0
vsize: 840920
[startup+760.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 69001 74 0 0 25 0 11 0 486026372 861102080 33799 4294967295 134512640 134569956 3221224400 3221214480 1131541707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210230 33799 13073 16 0 210214 0
vsize: 840920
[startup+770.223 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 69995 74 0 0 25 0 11 0 486026372 861102080 33799 4294967295 134512640 134569956 3221224400 3221214664 1131581247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210230 33799 13073 16 0 210214 0
vsize: 840920
[startup+780.224 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 70989 74 0 0 25 0 11 0 486026372 861102080 33799 4294967295 134512640 134569956 3221224400 3221214664 1131581232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210230 33799 13073 16 0 210214 0
vsize: 840920
[startup+790.224 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 71983 75 0 0 25 0 11 0 486026372 861102080 33799 4294967295 134512640 134569956 3221224400 3221214664 1131581216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210230 33799 13073 16 0 210214 0
vsize: 840920
[startup+800.224 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 72977 75 0 0 25 0 11 0 486026372 861102080 33799 4294967295 134512640 134569956 3221224400 3221214664 1131581245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210230 33799 13073 16 0 210214 0
vsize: 840920
[startup+810.224 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 73977 75 0 0 25 0 11 0 486026372 861102080 33799 4294967295 134512640 134569956 3221224400 3221214664 1131581236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210230 33799 13073 16 0 210214 0
vsize: 840920
[startup+820.273 s]
Raw data (loadavg): 1.00 0.97 0.91 3/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 74969 75 0 0 25 0 11 0 486026372 863248384 34119 4294967295 134512640 134569956 3221224400 3221214664 1131581262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210754 34119 13073 16 0 210738 0
vsize: 843016
[startup+830.274 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 75961 75 0 0 25 0 11 0 486026372 862572544 34156 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 34156 13073 16 0 210573 0
vsize: 842356
[startup+840.273 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 76954 75 0 0 25 0 11 0 486026372 862572544 34156 4294967295 134512640 134569956 3221224400 3221214720 1131581240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210589 34156 13073 16 0 210573 0
vsize: 842356
[startup+850.274 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 77947 75 0 0 25 0 11 0 486026372 862572544 34156 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210589 34156 13073 16 0 210573 0
vsize: 842356
[startup+860.274 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 78939 75 0 0 25 0 11 0 486026372 862572544 34156 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 34156 13073 16 0 210573 0
vsize: 842356
[startup+870.274 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 79930 76 0 0 25 0 11 0 486026372 862572544 34177 4294967295 134512640 134569956 3221224400 3221214720 1131581240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210589 34177 13073 16 0 210573 0
vsize: 842356
[startup+880.275 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 80923 76 0 0 25 0 11 0 486026372 862572544 34189 4294967295 134512640 134569956 3221224400 3221214756 1131401479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 34189 13073 16 0 210573 0
vsize: 842356
[startup+890.275 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 81915 76 0 0 25 0 11 0 486026372 862572544 34193 4294967295 134512640 134569956 3221224400 3221214720 1131581268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210589 34193 13073 16 0 210573 0
vsize: 842356
[startup+900.275 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 82907 76 0 0 25 0 11 0 486026372 862572544 34197 4294967295 134512640 134569956 3221224400 3221214720 1131581254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 34197 13073 16 0 210573 0
vsize: 842356
[startup+910.276 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 83891 76 0 0 18 0 11 0 486026372 862572544 34207 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 34207 13073 16 0 210573 0
vsize: 842356
[startup+920.277 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 84890 76 0 0 25 0 11 0 486026372 862572544 34207 4294967295 134512640 134569956 3221224400 3221214720 1131581228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210589 34207 13073 16 0 210573 0
vsize: 842356
[startup+930.277 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 85881 76 0 0 25 0 11 0 486026372 862572544 34211 4294967295 134512640 134569956 3221224400 3221214720 1131581232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210589 34211 13073 16 0 210573 0
vsize: 842356
[startup+940.278 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 86873 76 0 0 25 0 11 0 486026372 862572544 34215 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 34215 13073 16 0 210573 0
vsize: 842356
[startup+950.278 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 87864 76 0 0 25 0 11 0 486026372 862572544 34226 4294967295 134512640 134569956 3221224400 3221214720 1131581216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210589 34226 13073 16 0 210573 0
vsize: 842356
[startup+960.279 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 88856 76 0 0 25 0 11 0 486026372 862572544 34249 4294967295 134512640 134569956 3221224400 3221214656 1131465665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 34249 13073 16 0 210573 0
vsize: 842356
[startup+970.292 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 89848 77 0 0 25 0 11 0 486026372 862572544 34277 4294967295 134512640 134569956 3221224400 3221214720 1131581268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 34277 13073 16 0 210573 0
vsize: 842356
[startup+980.293 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 90840 77 0 0 25 0 11 0 486026372 862572544 34299 4294967295 134512640 134569956 3221224400 3221214724 1080203733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 34299 13073 16 0 210573 0
vsize: 842356
[startup+990.301 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 91832 77 0 0 25 0 11 0 486026372 862572544 34333 4294967295 134512640 134569956 3221224400 3221214720 1131581262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210589 34333 13073 16 0 210573 0
vsize: 842356
[startup+1000.3 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 92824 77 0 0 25 0 11 0 486026372 862572544 34353 4294967295 134512640 134569956 3221224400 3221214720 1131581240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210589 34353 13073 16 0 210573 0
vsize: 842356
[startup+1010.3 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 93816 77 0 0 25 0 11 0 486026372 862572544 34375 4294967295 134512640 134569956 3221224400 3221214528 1131234027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210589 34375 13073 16 0 210573 0
vsize: 842356
[startup+1020.3 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 94807 77 0 0 25 0 11 0 486026372 862539776 34390 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210581 34390 13073 16 0 210565 0
vsize: 842324
[startup+1030.31 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 95798 77 0 0 25 0 11 0 486026372 862539776 34418 4294967295 134512640 134569956 3221224400 3221214720 1131581249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210581 34418 13073 16 0 210565 0
vsize: 842324
[startup+1040.31 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 96790 77 0 0 25 0 11 0 486026372 862539776 34438 4294967295 134512640 134569956 3221224400 3221214720 1131581228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210581 34438 13073 16 0 210565 0
vsize: 842324
[startup+1050.31 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 97781 77 0 0 25 0 11 0 486026372 862539776 34460 4294967295 134512640 134569956 3221224400 3221214720 1131581216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210581 34460 13073 16 0 210565 0
vsize: 842324
[startup+1060.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 98774 78 0 0 25 0 11 0 486026372 862539776 34484 4294967295 134512640 134569956 3221224400 3221214760 1131434157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210581 34484 13073 16 0 210565 0
vsize: 842324
[startup+1070.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 99755 78 0 0 25 0 11 0 486026372 862539776 34523 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 34523 13073 16 0 210565 0
vsize: 842324
[startup+1080.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 100745 78 0 0 25 0 11 0 486026372 862539776 34544 4294967295 134512640 134569956 3221224400 3221214720 1131581262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 34544 13073 16 0 210565 0
vsize: 842324
[startup+1090.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 101735 79 0 0 25 0 11 0 486026372 862539776 34571 4294967295 134512640 134569956 3221224400 3221214720 1131581240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210581 34571 13073 16 0 210565 0
vsize: 842324
[startup+1100.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 102726 79 0 0 25 0 11 0 486026372 862539776 34634 4294967295 134512640 134569956 3221224400 3221214720 1131581240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 34634 13073 16 0 210565 0
vsize: 842324
[startup+1110.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 103706 79 0 0 25 0 11 0 486026372 862539776 34700 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 34700 13073 16 0 210565 0
vsize: 842324
[startup+1120.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 104696 79 0 0 25 0 11 0 486026372 862539776 34762 4294967295 134512640 134569956 3221224400 3221214720 1131581260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 34762 13073 16 0 210565 0
vsize: 842324
[startup+1130.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 105686 79 0 0 25 0 11 0 486026372 862539776 34849 4294967295 134512640 134569956 3221224400 3221214760 1131434084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210581 34849 13073 16 0 210565 0
vsize: 842324
[startup+1140.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 106676 80 0 0 25 0 11 0 486026372 862539776 34882 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 34882 13073 16 0 210565 0
vsize: 842324
[startup+1150.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 107667 80 0 0 25 0 11 0 486026372 862539776 34922 4294967295 134512640 134569956 3221224400 3221214720 1131581232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 34922 13073 16 0 210565 0
vsize: 842324
[startup+1160.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 108658 80 0 0 25 0 11 0 486026372 862539776 34951 4294967295 134512640 134569956 3221224400 3221214720 1131581268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 34951 13073 16 0 210565 0
vsize: 842324
[startup+1170.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 109639 80 0 0 25 0 11 0 486026372 862539776 34999 4294967295 134512640 134569956 3221224400 3221214720 1131581245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 34999 13073 16 0 210565 0
vsize: 842324
[startup+1180.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 110630 80 0 0 25 0 11 0 486026372 862539776 35007 4294967295 134512640 134569956 3221224400 3221214720 1131581232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 35007 13073 16 0 210565 0
vsize: 842324
[startup+1190.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 111620 81 0 0 25 0 11 0 486026372 862539776 35058 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210581 35058 13073 16 0 210565 0
vsize: 842324
[startup+1200.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 112611 81 0 0 25 0 11 0 486026372 862539776 35085 4294967295 134512640 134569956 3221224400 3221214720 1131581228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 35085 13073 16 0 210565 0
vsize: 842324
[startup+1210.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 113602 81 0 0 25 0 11 0 486026372 862539776 35085 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 35085 13073 16 0 210565 0
vsize: 842324
[startup+1220.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 114593 81 0 0 24 0 11 0 486026372 862539776 35110 4294967295 134512640 134569956 3221224400 3221214616 1131424027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 35110 13073 16 0 210565 0
vsize: 842324
[startup+1230.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 115592 81 0 0 25 0 11 0 486026372 862539776 35110 4294967295 134512640 134569956 3221224400 3221214720 1131581268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 35110 13073 16 0 210565 0
vsize: 842324
[startup+1240.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 116583 81 0 0 25 0 11 0 486026372 862539776 35110 4294967295 134512640 134569956 3221224400 3221214720 1131581268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210581 35110 13073 16 0 210565 0
vsize: 842324
[startup+1250.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 117574 81 0 0 25 0 11 0 486026372 862539776 35110 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210581 35110 13073 16 0 210565 0
vsize: 842324
[startup+1260.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 118565 81 0 0 25 0 11 0 486026372 862539776 35139 4294967295 134512640 134569956 3221224400 3221214720 1131581236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 35139 13073 16 0 210565 0
vsize: 842324
[startup+1270.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 119556 82 0 0 25 0 11 0 486026372 862539776 35139 4294967295 134512640 134569956 3221224400 3221214528 1131233571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 35139 13073 16 0 210565 0
vsize: 842324
[startup+1280.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 14800
Raw data (stat): 14790 (java) R 14789 29653 29652 0 -1 0 18072 0 1 0 120546 82 0 0 25 0 11 0 486026372 862539776 35177 4294967295 134512640 134569956 3221224400 3221214720 1131581262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210581 35177 13073 16 0 210565 0
vsize: 842324
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.44 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 14802
Raw data (stat): 14790 (java) Z 14789 29653 29652 0 -1 1036 18072 14796 1 0 120550 82 7165 41 25 0 1 0 486026372 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): 1280.43
CPU time (s): 1278.39
CPU user time (s): 1277.15
CPU system time (s): 1.23581
CPU usage (%): 99.8402
Max. virtual memory (Kb): 843016
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####