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/MIPLIB/miplib3/normalized-mps-v2-20-10-rentacar.opb
MD5SUM	7d26272ea1585b40e7b5583a6da2286f
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	5310
Biggest coefficient in the objective function	26843545600000
Number of bits for the biggest coefficient in the objective function	45
Sum of the numbers in the objective function	6957856676716407
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	26843545600000
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	14026955228261965
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.52062
Number of variables	264240
Total number of constraints	6965
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	6910
Minimum length of a constraint	1
Maximum length of a constraint	60540
Trace number 29678

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 10:15:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21077 boxname=wulflinc5 idbench=1065 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  7d26272ea1585b40e7b5583a6da2286f  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-rentacar.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-rentacar.opb
IDLAUNCH: 21077
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        730108 kB
Buffers:         27160 kB
Cached:         255520 kB
SwapCached:        472 kB
Active:          88192 kB
Inactive:       196600 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        729856 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            14076 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:37:43 (client local time) WITH STATUS 143 IN 1326.79 SECONDS
stats: 21077 7 1326.79 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-rentacar.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1319.2
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.03 1.02 1.00 2/54 22300
Raw data (stat): 22300 (runsolver) R 22299 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779862409 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18013 0 1 0 877 41 0 0 25 0 10 0 779862409 853811200 19418 4294967295 134512640 134569956 3221224368 3221214416 1076461328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 19418 13086 16 0 208434 0
vsize: 833800
[startup+20.0025 s]
Raw data (loadavg): 1.09 1.04 1.01 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18022 0 1 0 1768 41 0 0 25 0 10 0 779862409 856772608 20610 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209173 20610 13086 16 0 209157 0
vsize: 836692
[startup+30.0034 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 2631 41 0 0 25 0 10 0 779862409 856772608 21415 4294967295 134512640 134569956 3221224368 3221214412 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209173 21415 13086 16 0 209157 0
vsize: 836692
[startup+40.0051 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 3541 42 0 0 25 0 10 0 779862409 860966912 22410 4294967295 134512640 134569956 3221224368 3221214168 1076874544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210197 22410 13086 16 0 210181 0
vsize: 840788
[startup+50.0059 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 4450 42 0 0 19 0 10 0 779862409 859918336 22448 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 22448 13086 16 0 209925 0
vsize: 839764
[startup+60.0066 s]
Raw data (loadavg): 1.05 1.03 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 5342 42 0 0 25 0 10 0 779862409 859918336 22611 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 22611 13086 16 0 209925 0
vsize: 839764
[startup+70.0074 s]
Raw data (loadavg): 1.04 1.03 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 6263 42 0 0 25 0 10 0 779862409 859918336 22829 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 22829 13086 16 0 209925 0
vsize: 839764
[startup+80.0083 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 7190 43 0 0 24 0 10 0 779862409 859918336 23008 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23008 13086 16 0 209925 0
vsize: 839764
[startup+90.0098 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 8122 43 0 0 25 0 10 0 779862409 859918336 23082 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23082 13086 16 0 209925 0
vsize: 839764
[startup+100.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 9056 43 0 0 25 0 10 0 779862409 859918336 23207 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23207 13086 16 0 209925 0
vsize: 839764
[startup+110.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 9988 43 0 0 20 0 10 0 779862409 859918336 23323 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23323 13086 16 0 209925 0
vsize: 839764
[startup+120.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 10927 43 0 0 25 0 10 0 779862409 859918336 23416 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23416 13086 16 0 209925 0
vsize: 839764
[startup+130.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18023 0 1 0 11861 43 0 0 24 0 10 0 779862409 859918336 23526 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23526 13086 16 0 209925 0
vsize: 839764
[startup+140.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 12797 43 0 0 25 0 10 0 779862409 859918336 23627 4294967295 134512640 134569956 3221224368 3221214248 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23627 13086 16 0 209925 0
vsize: 839764
[startup+150.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 13733 43 0 0 25 0 10 0 779862409 859918336 23681 4294967295 134512640 134569956 3221224368 3221213384 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23681 13086 16 0 209925 0
vsize: 839764
[startup+160.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 14668 43 0 0 25 0 10 0 779862409 859918336 23805 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23805 13086 16 0 209925 0
vsize: 839764
[startup+170.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 15605 44 0 0 25 0 10 0 779862409 859918336 23918 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23918 13086 16 0 209925 0
vsize: 839764
[startup+180.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 16529 44 0 0 25 0 10 0 779862409 859918336 23987 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 23987 13086 16 0 209925 0
vsize: 839764
[startup+190.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 17447 44 0 0 25 0 10 0 779862409 859918336 24070 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 24070 13086 16 0 209925 0
vsize: 839764
[startup+200.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 18378 44 0 0 25 0 10 0 779862409 859918336 24314 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 24314 13086 16 0 209925 0
vsize: 839764
[startup+210.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 19313 45 0 0 25 0 10 0 779862409 859918336 24391 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 24391 13086 16 0 209925 0
vsize: 839764
[startup+220.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 20244 45 0 0 24 0 10 0 779862409 859918336 24471 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 24471 13086 16 0 209925 0
vsize: 839764
[startup+230.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 21178 45 0 0 25 0 10 0 779862409 859918336 24537 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 24537 13086 16 0 209925 0
vsize: 839764
[startup+240.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 22113 45 0 0 25 0 10 0 779862409 859918336 24618 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 24618 13086 16 0 209925 0
vsize: 839764
[startup+250.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 23043 45 0 0 24 0 10 0 779862409 859918336 24682 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 24682 13086 16 0 209925 0
vsize: 839764
[startup+260.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 23975 45 0 0 25 0 10 0 779862409 859918336 24761 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 24761 13086 16 0 209925 0
vsize: 839764
[startup+270.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 24904 45 0 0 25 0 10 0 779862409 859918336 24829 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 24829 13086 16 0 209925 0
vsize: 839764
[startup+280.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 25827 46 0 0 25 0 10 0 779862409 859918336 24891 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 24891 13086 16 0 209925 0
vsize: 839764
[startup+290.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 26745 46 0 0 25 0 10 0 779862409 859918336 25022 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25022 13086 16 0 209925 0
vsize: 839764
[startup+300.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 27662 46 0 0 25 0 10 0 779862409 859918336 25078 4294967295 134512640 134569956 3221224368 3221214736 1131193942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25078 13086 16 0 209925 0
vsize: 839764
[startup+310.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 28584 46 0 0 25 0 10 0 779862409 859918336 25238 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25238 13086 16 0 209925 0
vsize: 839764
[startup+320.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 29502 46 0 0 25 0 10 0 779862409 859918336 25294 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25294 13086 16 0 209925 0
vsize: 839764
[startup+330.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 30419 47 0 0 25 0 10 0 779862409 859918336 25444 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25444 13086 16 0 209925 0
vsize: 839764
[startup+340.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 31338 47 0 0 25 0 10 0 779862409 859918336 25495 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 25495 13086 16 0 209925 0
vsize: 839764
[startup+350.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 32262 47 0 0 25 0 10 0 779862409 859918336 25632 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25632 13086 16 0 209925 0
vsize: 839764
[startup+360.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 33190 47 0 0 24 0 10 0 779862409 859918336 25682 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25682 13086 16 0 209925 0
vsize: 839764
[startup+370.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 34121 47 0 0 25 0 10 0 779862409 859918336 25736 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25736 13086 16 0 209925 0
vsize: 839764
[startup+380.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 35052 48 0 0 25 0 10 0 779862409 859918336 25796 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25796 13086 16 0 209925 0
vsize: 839764
[startup+390.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 35983 48 0 0 25 0 10 0 779862409 859918336 25848 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25848 13086 16 0 209925 0
vsize: 839764
[startup+400.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 36910 48 0 0 24 0 10 0 779862409 859918336 25904 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25904 13086 16 0 209925 0
vsize: 839764
[startup+410.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 37839 48 0 0 25 0 10 0 779862409 859918336 25948 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 25948 13086 16 0 209925 0
vsize: 839764
[startup+420.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 38767 48 0 0 25 0 10 0 779862409 859918336 26010 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26010 13086 16 0 209925 0
vsize: 839764
[startup+430.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 39696 48 0 0 25 0 10 0 779862409 859918336 26062 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26062 13086 16 0 209925 0
vsize: 839764
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 40624 48 0 0 25 0 10 0 779862409 859918336 26116 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26116 13086 16 0 209925 0
vsize: 839764
[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 41553 48 0 0 25 0 10 0 779862409 859918336 26165 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26165 13086 16 0 209925 0
vsize: 839764
[startup+460.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 42479 48 0 0 25 0 10 0 779862409 859918336 26211 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26211 13086 16 0 209925 0
vsize: 839764
[startup+470.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 43405 48 0 0 25 0 10 0 779862409 859918336 26266 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26266 13086 16 0 209925 0
vsize: 839764
[startup+480.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 44332 48 0 0 25 0 10 0 779862409 859918336 26314 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26314 13086 16 0 209925 0
vsize: 839764
[startup+490.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 45259 49 0 0 25 0 10 0 779862409 859918336 26361 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26361 13086 16 0 209925 0
vsize: 839764
[startup+500.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 46186 49 0 0 25 0 10 0 779862409 859918336 26409 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26409 13086 16 0 209925 0
vsize: 839764
[startup+510.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 47112 49 0 0 25 0 10 0 779862409 859918336 26456 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26456 13086 16 0 209925 0
vsize: 839764
[startup+520.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 48026 49 0 0 25 0 10 0 779862409 859918336 26498 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26498 13086 16 0 209925 0
vsize: 839764
[startup+530.058 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 48918 50 0 0 25 0 10 0 779862409 859918336 26633 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26633 13086 16 0 209925 0
vsize: 839764
[startup+540.059 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 49807 50 0 0 24 0 10 0 779862409 859918336 26805 4294967295 134512640 134569956 3221224368 3221214040 1076877667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26805 13086 16 0 209925 0
vsize: 839764
[startup+550.059 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 50721 50 0 0 25 0 10 0 779862409 859918336 26976 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 26976 13086 16 0 209925 0
vsize: 839764
[startup+560.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 51632 51 0 0 25 0 10 0 779862409 859918336 27030 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27030 13086 16 0 209925 0
vsize: 839764
[startup+570.062 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 52545 51 0 0 25 0 10 0 779862409 859918336 27112 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27112 13086 16 0 209925 0
vsize: 839764
[startup+580.063 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 53458 51 0 0 25 0 10 0 779862409 859918336 27183 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27183 13086 16 0 209925 0
vsize: 839764
[startup+590.067 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 54372 52 0 0 25 0 10 0 779862409 859918336 27256 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27256 13086 16 0 209925 0
vsize: 839764
[startup+600.068 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 55288 52 0 0 25 0 10 0 779862409 859918336 27330 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27330 13086 16 0 209925 0
vsize: 839764
[startup+610.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 56205 52 0 0 25 0 10 0 779862409 859918336 27403 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27403 13086 16 0 209925 0
vsize: 839764
[startup+620.069 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 57126 52 0 0 25 0 10 0 779862409 859918336 27461 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27461 13086 16 0 209925 0
vsize: 839764
[startup+630.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 58049 52 0 0 25 0 10 0 779862409 859918336 27500 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27500 13086 16 0 209925 0
vsize: 839764
[startup+640.071 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 58969 52 0 0 25 0 10 0 779862409 859918336 27539 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27539 13086 16 0 209925 0
vsize: 839764
[startup+650.072 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 59887 52 0 0 25 0 10 0 779862409 859918336 27577 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 27577 13086 16 0 209925 0
vsize: 839764
[startup+660.072 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 60807 52 0 0 25 0 10 0 779862409 859918336 27634 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27634 13086 16 0 209925 0
vsize: 839764
[startup+670.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 61726 52 0 0 25 0 10 0 779862409 859918336 27672 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 27672 13086 16 0 209925 0
vsize: 839764
[startup+680.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 62642 52 0 0 25 0 10 0 779862409 859918336 28234 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 28234 13086 16 0 209925 0
vsize: 839764
[startup+690.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 63562 53 0 0 25 0 10 0 779862409 859918336 28234 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 28234 13086 16 0 209925 0
vsize: 839764
[startup+700.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 64470 53 0 0 25 0 10 0 779862409 859918336 28255 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 28255 13086 16 0 209925 0
vsize: 839764
[startup+710.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 65383 53 0 0 25 0 10 0 779862409 859918336 28324 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 28324 13086 16 0 209925 0
vsize: 839764
[startup+720.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 66293 53 0 0 25 0 10 0 779862409 859918336 28362 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 28362 13086 16 0 209925 0
vsize: 839764
[startup+730.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 67203 53 0 0 25 0 10 0 779862409 859918336 28399 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 28399 13086 16 0 209925 0
vsize: 839764
[startup+740.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 68110 53 0 0 24 0 10 0 779862409 859918336 28437 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 28437 13086 16 0 209925 0
vsize: 839764
[startup+750.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 69021 53 0 0 25 0 10 0 779862409 859918336 28467 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28467 13086 16 0 209925 0
vsize: 839764
[startup+760.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 69928 53 0 0 25 0 10 0 779862409 859918336 28519 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28519 13086 16 0 209925 0
vsize: 839764
[startup+770.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 70835 53 0 0 25 0 10 0 779862409 859918336 28556 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28556 13086 16 0 209925 0
vsize: 839764
[startup+780.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 71744 54 0 0 25 0 10 0 779862409 859918336 28591 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28591 13086 16 0 209925 0
vsize: 839764
[startup+790.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 72647 55 0 0 25 0 10 0 779862409 859918336 28627 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28627 13086 16 0 209925 0
vsize: 839764
[startup+800.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 73552 55 0 0 25 0 10 0 779862409 859918336 28681 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28681 13086 16 0 209925 0
vsize: 839764
[startup+810.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 74459 55 0 0 25 0 10 0 779862409 859918336 28711 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28711 13086 16 0 209925 0
vsize: 839764
[startup+820.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 75369 55 0 0 25 0 10 0 779862409 859918336 28746 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28746 13086 16 0 209925 0
vsize: 839764
[startup+830.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 76269 56 0 0 25 0 10 0 779862409 859918336 28782 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28782 13086 16 0 209925 0
vsize: 839764
[startup+840.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 77174 56 0 0 25 0 10 0 779862409 859918336 28832 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28832 13086 16 0 209925 0
vsize: 839764
[startup+850.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 78077 57 0 0 25 0 10 0 779862409 859918336 28876 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28876 13086 16 0 209925 0
vsize: 839764
[startup+860.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 78981 57 0 0 25 0 10 0 779862409 859918336 28917 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28917 13086 16 0 209925 0
vsize: 839764
[startup+870.087 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 79891 57 0 0 25 0 10 0 779862409 859918336 28946 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28946 13086 16 0 209925 0
vsize: 839764
[startup+880.088 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 80793 57 0 0 25 0 10 0 779862409 859918336 28981 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 28981 13086 16 0 209925 0
vsize: 839764
[startup+890.088 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 81692 58 0 0 24 0 10 0 779862409 859918336 29017 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29017 13086 16 0 209925 0
vsize: 839764
[startup+900.088 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 82596 58 0 0 25 0 10 0 779862409 859918336 29064 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29064 13086 16 0 209925 0
vsize: 839764
[startup+910.088 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 83499 58 0 0 25 0 10 0 779862409 859918336 29106 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29106 13086 16 0 209925 0
vsize: 839764
[startup+920.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 84408 59 0 0 25 0 10 0 779862409 859918336 29139 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29139 13086 16 0 209925 0
vsize: 839764
[startup+930.091 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 85310 60 0 0 25 0 10 0 779862409 859918336 29169 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29169 13086 16 0 209925 0
vsize: 839764
[startup+940.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 86212 60 0 0 24 0 10 0 779862409 859918336 29207 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29207 13086 16 0 209925 0
vsize: 839764
[startup+950.091 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 87116 60 0 0 25 0 10 0 779862409 859918336 29235 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29235 13086 16 0 209925 0
vsize: 839764
[startup+960.092 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 88011 61 0 0 24 0 10 0 779862409 859918336 29285 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29285 13086 16 0 209925 0
vsize: 839764
[startup+970.094 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 88910 61 0 0 20 0 10 0 779862409 859918336 29325 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29325 13086 16 0 209925 0
vsize: 839764
[startup+980.094 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 89805 61 0 0 23 0 10 0 779862409 859918336 29394 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29394 13086 16 0 209925 0
vsize: 839764
[startup+990.095 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 90700 62 0 0 20 0 10 0 779862409 859918336 29450 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29450 13086 16 0 209925 0
vsize: 839764
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 91599 63 0 0 22 0 10 0 779862409 859918336 29490 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29490 13086 16 0 209925 0
vsize: 839764
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 92489 63 0 0 17 0 10 0 779862409 859918336 29542 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29542 13086 16 0 209925 0
vsize: 839764
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 93389 63 0 0 20 0 10 0 779862409 859918336 29608 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29608 13086 16 0 209925 0
vsize: 839764
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 94285 64 0 0 22 0 10 0 779862409 859918336 29663 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29663 13086 16 0 209925 0
vsize: 839764
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 95174 64 0 0 22 0 10 0 779862409 859918336 29797 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29797 13086 16 0 209925 0
vsize: 839764
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 96071 64 0 0 19 0 10 0 779862409 859918336 29913 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29913 13086 16 0 209925 0
vsize: 839764
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 96970 65 0 0 22 0 10 0 779862409 859918336 29942 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29942 13086 16 0 209925 0
vsize: 839764
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 97861 65 0 0 18 0 10 0 779862409 859918336 29983 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 29983 13086 16 0 209925 0
vsize: 839764
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 98765 66 0 0 21 0 10 0 779862409 859918336 30037 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30037 13086 16 0 209925 0
vsize: 839764
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 99664 66 0 0 19 0 10 0 779862409 859918336 30073 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30073 13086 16 0 209925 0
vsize: 839764
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 100569 67 0 0 22 0 10 0 779862409 859918336 30101 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30101 13086 16 0 209925 0
vsize: 839764
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 101467 67 0 0 19 0 10 0 779862409 859918336 30129 4294967295 134512640 134569956 3221224368 3221214152 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30129 13086 16 0 209925 0
vsize: 839764
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 102372 68 0 0 22 0 10 0 779862409 859918336 30150 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30150 13086 16 0 209925 0
vsize: 839764
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 103272 68 0 0 23 0 10 0 779862409 859918336 30177 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30177 13086 16 0 209925 0
vsize: 839764
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 104172 69 0 0 20 0 10 0 779862409 859918336 30204 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 30204 13086 16 0 209925 0
vsize: 839764
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 105072 69 0 0 21 0 10 0 779862409 859918336 30230 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30230 13086 16 0 209925 0
vsize: 839764
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 105965 70 0 0 18 0 10 0 779862409 859918336 30272 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30272 13086 16 0 209925 0
vsize: 839764
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 106868 71 0 0 22 0 10 0 779862409 859918336 30302 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30302 13086 16 0 209925 0
vsize: 839764
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 107764 71 0 0 24 0 10 0 779862409 859918336 30328 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30328 13086 16 0 209925 0
vsize: 839764
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 108667 72 0 0 20 0 10 0 779862409 859918336 30354 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30354 13086 16 0 209925 0
vsize: 839764
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 109570 72 0 0 23 0 10 0 779862409 859918336 30380 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30380 13086 16 0 209925 0
vsize: 839764
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 110465 73 0 0 19 0 10 0 779862409 859918336 30407 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30407 13086 16 0 209925 0
vsize: 839764
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 111366 73 0 0 21 0 10 0 779862409 859918336 30436 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30436 13086 16 0 209925 0
vsize: 839764
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 112261 74 0 0 23 0 10 0 779862409 859918336 30486 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30486 13086 16 0 209925 0
vsize: 839764
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 113161 74 0 0 19 0 10 0 779862409 859918336 30493 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30493 13086 16 0 209925 0
vsize: 839764
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 114061 75 0 0 21 0 10 0 779862409 859918336 30542 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30542 13086 16 0 209925 0
vsize: 839764
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 114956 76 0 0 23 0 10 0 779862409 859918336 30578 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30578 13086 16 0 209925 0
vsize: 839764
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 115858 76 0 0 20 0 10 0 779862409 859918336 30610 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30610 13086 16 0 209925 0
vsize: 839764
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 116762 76 0 0 22 0 10 0 779862409 859918336 30630 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30630 13086 16 0 209925 0
vsize: 839764
[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 117661 76 0 0 20 0 10 0 779862409 859918336 30659 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30659 13086 16 0 209925 0
vsize: 839764
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 118564 77 0 0 21 0 10 0 779862409 859918336 30672 4294967295 134512640 134569956 3221224368 3221214796 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30672 13086 16 0 209925 0
vsize: 839764
[startup+1310.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) S 22299 7266 7265 0 -1 0 18024 0 1 0 119463 77 0 0 22 0 10 0 779862409 859918336 30693 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30693 13086 16 0 209925 0
vsize: 839764
[startup+1320.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 22309
Raw data (stat): 22300 (java) R 22299 7266 7265 0 -1 0 18024 0 1 0 120367 78 0 0 25 0 10 0 779862409 859918336 30784 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209941 30784 13086 16 0 209925 0
vsize: 839764
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 22311
Raw data (stat): 22300 (java) Z 22299 7266 7265 0 -1 1036 18024 14987 1 0 120371 83 12163 60 25 0 1 0 779862409 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): 1320.22
CPU time (s): 1326.79
CPU user time (s): 1325.35
CPU system time (s): 1.43978
CPU usage (%): 100.498
Max. virtual memory (Kb): 840788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####