PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-greenbea.opb
MD5SUM	44cf829c3f56aa0e06d9c19014e5de34
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	10788
Biggest coefficient in the objective function	524288000000
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	20280599220360
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	524288000000
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	23881563011625
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.958853
Number of variables	104437
Total number of constraints	2675
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	2675
Minimum length of a constraint	8
Maximum length of a constraint	4913
Trace number 29843

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        347248 kB
Buffers:         32192 kB
Cached:         630628 kB
SwapCached:        588 kB
Active:         116296 kB
Inactive:       548800 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        346996 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16540 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:20:56 (client local time) WITH STATUS 143 IN 1319.62 SECONDS
stats: 21233 7 1319.62 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/wulflinc25/normalized-mps-v2-13-7-greenbea.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) : 1318.96
#### 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.93 0.98 0.99 2/54 13337
Raw data (stat): 13337 (runsolver) R 13336 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838717713 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13346
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18019 0 1 0 866 41 0 0 25 0 10 0 838717713 853434368 19326 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208358 19326 13086 16 0 208342 0
vsize: 833432
[startup+20.0017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13346
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18020 0 1 0 1761 41 0 0 25 0 10 0 838717713 855334912 20300 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208822 20300 13086 16 0 208806 0
vsize: 835288
[startup+30.0019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13346
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18020 0 1 0 2650 41 0 0 25 0 10 0 838717713 855269376 20826 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208806 20826 13086 16 0 208790 0
vsize: 835224
[startup+40.0057 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13346
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18028 0 1 0 3562 42 0 0 25 0 10 0 838717713 854204416 20934 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208546 20934 13086 16 0 208530 0
vsize: 834184
[startup+50.0095 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 13346
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18028 0 1 0 4466 42 0 0 23 0 10 0 838717713 854204416 21117 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208546 21118 13086 16 0 208530 0
vsize: 834184
[startup+60.0102 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 13346
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 5361 42 0 0 25 0 10 0 838717713 855572480 21654 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208880 21654 13086 16 0 208864 0
vsize: 835520
[startup+70.0129 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 13347
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 6273 42 0 0 25 0 10 0 838717713 854556672 21675 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208632 21675 13086 16 0 208616 0
vsize: 834528
[startup+80.0139 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 13399
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 7197 44 0 0 25 0 10 0 838717713 854556672 21808 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208632 21808 13086 16 0 208616 0
vsize: 834528
[startup+90.0136 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 13399
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 8131 44 0 0 25 0 10 0 838717713 854204416 21844 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208546 21844 13086 16 0 208530 0
vsize: 834184
[startup+100.013 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 13399
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 9067 44 0 0 25 0 10 0 838717713 855433216 22228 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208846 22228 13086 16 0 208830 0
vsize: 835384
[startup+110.014 s]
Raw data (loadavg): 1.07 1.03 1.00 2/63 13399
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 10000 44 0 0 25 0 10 0 838717713 855433216 22341 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208846 22341 13086 16 0 208830 0
vsize: 835384
[startup+120.015 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 13399
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 10938 45 0 0 25 0 10 0 838717713 855433216 22437 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208846 22437 13086 16 0 208830 0
vsize: 835384
[startup+130.016 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 13399
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 11874 45 0 0 25 0 10 0 838717713 855433216 22534 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208846 22534 13086 16 0 208830 0
vsize: 835384
[startup+140.017 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 12813 45 0 0 25 0 10 0 838717713 854401024 22397 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 22397 13086 16 0 208578 0
vsize: 834376
[startup+150.017 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 13748 45 0 0 25 0 10 0 838717713 854401024 22482 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 22482 13086 16 0 208578 0
vsize: 834376
[startup+160.018 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 14686 45 0 0 25 0 10 0 838717713 854401024 22565 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 22565 13086 16 0 208578 0
vsize: 834376
[startup+170.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 15621 46 0 0 25 0 10 0 838717713 854401024 22648 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 22648 13086 16 0 208578 0
vsize: 834376
[startup+180.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 16542 46 0 0 25 0 10 0 838717713 854401024 22723 4294967295 134512640 134569956 3221224368 3221214256 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 22723 13086 16 0 208578 0
vsize: 834376
[startup+190.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 17464 46 0 0 25 0 10 0 838717713 854401024 22797 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 22797 13086 16 0 208578 0
vsize: 834376
[startup+200.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 18396 46 0 0 25 0 10 0 838717713 854401024 23034 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23034 13086 16 0 208578 0
vsize: 834376
[startup+210.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 19333 46 0 0 25 0 10 0 838717713 854401024 23105 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23105 13086 16 0 208578 0
vsize: 834376
[startup+220.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 20265 46 0 0 24 0 10 0 838717713 854401024 23176 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23176 13086 16 0 208578 0
vsize: 834376
[startup+230.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 21201 46 0 0 25 0 10 0 838717713 854401024 23242 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23242 13086 16 0 208578 0
vsize: 834376
[startup+240.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 22134 46 0 0 24 0 10 0 838717713 854401024 23309 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23309 13086 16 0 208578 0
vsize: 834376
[startup+250.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 23069 47 0 0 25 0 10 0 838717713 854401024 23373 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23373 13086 16 0 208578 0
vsize: 834376
[startup+260.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 24005 47 0 0 25 0 10 0 838717713 854401024 23436 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23436 13086 16 0 208578 0
vsize: 834376
[startup+270.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 24936 47 0 0 25 0 10 0 838717713 854401024 23499 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23499 13086 16 0 208578 0
vsize: 834376
[startup+280.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 25871 47 0 0 25 0 10 0 838717713 854401024 23558 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23558 13086 16 0 208578 0
vsize: 834376
[startup+290.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 26801 47 0 0 24 0 10 0 838717713 854401024 23621 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23621 13086 16 0 208578 0
vsize: 834376
[startup+300.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 27735 47 0 0 25 0 10 0 838717713 854401024 23677 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23677 13086 16 0 208578 0
vsize: 834376
[startup+310.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 28668 47 0 0 25 0 10 0 838717713 854401024 23735 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23735 13086 16 0 208578 0
vsize: 834376
[startup+320.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 29597 47 0 0 25 0 10 0 838717713 854401024 23793 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23793 13086 16 0 208578 0
vsize: 834376
[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 30530 48 0 0 25 0 10 0 838717713 854401024 23847 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23847 13086 16 0 208578 0
vsize: 834376
[startup+340.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 31463 48 0 0 25 0 10 0 838717713 854401024 23901 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23901 13086 16 0 208578 0
vsize: 834376
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 32391 48 0 0 25 0 10 0 838717713 854401024 23958 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 23958 13086 16 0 208578 0
vsize: 834376
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 33324 48 0 0 25 0 10 0 838717713 854401024 24006 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24006 13086 16 0 208578 0
vsize: 834376
[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 34255 48 0 0 25 0 10 0 838717713 854401024 24055 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24055 13086 16 0 208578 0
vsize: 834376
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13401
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 35181 48 0 0 24 0 10 0 838717713 854401024 24109 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24109 13086 16 0 208578 0
vsize: 834376
[startup+390.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 36112 48 0 0 25 0 10 0 838717713 854401024 24160 4294967295 134512640 134569956 3221224368 3221214352 1079668986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24160 13086 16 0 208578 0
vsize: 834376
[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 37043 48 0 0 25 0 10 0 838717713 854401024 24209 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24209 13086 16 0 208578 0
vsize: 834376
[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18029 0 1 0 37972 48 0 0 25 0 10 0 838717713 854401024 24258 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24258 13086 16 0 208578 0
vsize: 834376
[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 38899 49 0 0 25 0 10 0 838717713 854401024 24308 4294967295 134512640 134569956 3221224368 3221214792 1131249774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24308 13086 16 0 208578 0
vsize: 834376
[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 39828 49 0 0 25 0 10 0 838717713 854401024 24356 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24356 13086 16 0 208578 0
vsize: 834376
[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 40757 49 0 0 25 0 10 0 838717713 854401024 24401 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24401 13086 16 0 208578 0
vsize: 834376
[startup+450.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18029 0 1 0 41683 50 0 0 25 0 10 0 838717713 854401024 24449 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24449 13086 16 0 208578 0
vsize: 834376
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 42609 50 0 0 25 0 10 0 838717713 854401024 24496 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24496 13086 16 0 208578 0
vsize: 834376
[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 43538 50 0 0 25 0 10 0 838717713 854401024 24542 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208594 24542 13086 16 0 208578 0
vsize: 834376
[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 44467 50 0 0 25 0 10 0 838717713 854401024 24583 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208594 24583 13086 16 0 208578 0
vsize: 834376
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 45395 51 0 0 25 0 10 0 838717713 854401024 24617 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208594 24617 13086 16 0 208578 0
vsize: 834376
[startup+500.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18029 0 1 0 46319 51 0 0 25 0 10 0 838717713 854401024 24665 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208594 24665 13086 16 0 208578 0
vsize: 834376
[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 47245 52 0 0 25 0 10 0 838717713 854401024 24709 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208594 24709 13086 16 0 208578 0
vsize: 834376
[startup+520.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18029 0 1 0 48171 53 0 0 25 0 10 0 838717713 854401024 24752 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208594 24752 13086 16 0 208578 0
vsize: 834376
[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 49096 53 0 0 25 0 10 0 838717713 854401024 24795 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208594 24795 13086 16 0 208578 0
vsize: 834376
[startup+540.045 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 50008 53 0 0 25 0 10 0 838717713 856678400 25358 4294967295 134512640 134569956 3221224368 3221214788 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25358 13086 16 0 209134 0
vsize: 836600
[startup+550.046 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 50931 54 0 0 25 0 10 0 838717713 856678400 25405 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25405 13086 16 0 209134 0
vsize: 836600
[startup+560.046 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 51855 54 0 0 25 0 10 0 838717713 856678400 25454 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25454 13086 16 0 209134 0
vsize: 836600
[startup+570.047 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 52780 54 0 0 25 0 10 0 838717713 856678400 25495 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25495 13086 16 0 209134 0
vsize: 836600
[startup+580.048 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 53704 55 0 0 25 0 10 0 838717713 856678400 25534 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25534 13086 16 0 209134 0
vsize: 836600
[startup+590.051 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18031 0 1 0 54623 56 0 0 25 0 10 0 838717713 856678400 25576 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25576 13086 16 0 209134 0
vsize: 836600
[startup+600.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 55546 56 0 0 25 0 10 0 838717713 856678400 25616 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25616 13086 16 0 209134 0
vsize: 836600
[startup+610.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 56470 56 0 0 25 0 10 0 838717713 856678400 25654 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25654 13086 16 0 209134 0
vsize: 836600
[startup+620.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 57393 57 0 0 25 0 10 0 838717713 856678400 25693 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25693 13086 16 0 209134 0
vsize: 836600
[startup+630.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 58315 57 0 0 25 0 10 0 838717713 856678400 25728 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25728 13086 16 0 209134 0
vsize: 836600
[startup+640.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 59237 57 0 0 25 0 10 0 838717713 856678400 25770 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209150 25770 13086 16 0 209134 0
vsize: 836600
[startup+650.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 60161 57 0 0 25 0 10 0 838717713 856678400 25804 4294967295 134512640 134569956 3221224368 3221214240 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25804 13086 16 0 209134 0
vsize: 836600
[startup+660.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 61083 58 0 0 25 0 10 0 838717713 856678400 25838 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 25838 13086 16 0 209134 0
vsize: 836600
[startup+670.052 s]
Raw data (loadavg): 1.01 1.00 1.00 3/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 62000 58 0 0 25 0 10 0 838717713 856678400 25985 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209150 25985 13086 16 0 209134 0
vsize: 836600
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 62926 58 0 0 25 0 10 0 838717713 856678400 26366 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26366 13086 16 0 209134 0
vsize: 836600
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 63840 59 0 0 25 0 10 0 838717713 856678400 26368 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26368 13086 16 0 209134 0
vsize: 836600
[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 64751 59 0 0 24 0 10 0 838717713 856678400 26405 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26405 13086 16 0 209134 0
vsize: 836600
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 65669 59 0 0 25 0 10 0 838717713 856678400 26436 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26436 13086 16 0 209134 0
vsize: 836600
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 66580 60 0 0 25 0 10 0 838717713 856678400 26465 4294967295 134512640 134569956 3221224368 3221214240 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26465 13086 16 0 209134 0
vsize: 836600
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 67490 60 0 0 25 0 10 0 838717713 856678400 26496 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26496 13086 16 0 209134 0
vsize: 836600
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 68404 61 0 0 25 0 10 0 838717713 856678400 26532 4294967295 134512640 134569956 3221224368 3221214240 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26532 13086 16 0 209134 0
vsize: 836600
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 69312 61 0 0 25 0 10 0 838717713 856678400 26573 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26573 13086 16 0 209134 0
vsize: 836600
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 70221 62 0 0 25 0 10 0 838717713 856678400 26613 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26613 13086 16 0 209134 0
vsize: 836600
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18031 0 1 0 71133 62 0 0 25 0 10 0 838717713 856678400 26648 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26648 13086 16 0 209134 0
vsize: 836600
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 72045 63 0 0 25 0 10 0 838717713 856678400 26677 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26677 13086 16 0 209134 0
vsize: 836600
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 72951 63 0 0 25 0 10 0 838717713 856678400 26706 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26706 13086 16 0 209134 0
vsize: 836600
[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18031 0 1 0 73863 63 0 0 24 0 10 0 838717713 856678400 26742 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26742 13086 16 0 209134 0
vsize: 836600
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 74770 64 0 0 22 0 10 0 838717713 856678400 26778 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26778 13086 16 0 209134 0
vsize: 836600
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 75676 64 0 0 19 0 10 0 838717713 856678400 26813 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26813 13086 16 0 209134 0
vsize: 836600
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 76589 64 0 0 25 0 10 0 838717713 856678400 26845 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26845 13086 16 0 209134 0
vsize: 836600
[startup+840.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 77496 65 0 0 25 0 10 0 838717713 856678400 26872 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26872 13086 16 0 209134 0
vsize: 836600
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 78406 65 0 0 25 0 10 0 838717713 856678400 26902 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26902 13086 16 0 209134 0
vsize: 836600
[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 79310 65 0 0 25 0 10 0 838717713 856678400 26936 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26936 13086 16 0 209134 0
vsize: 836600
[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 80220 66 0 0 25 0 10 0 838717713 856678400 26972 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 26972 13086 16 0 209134 0
vsize: 836600
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 81122 66 0 0 20 0 10 0 838717713 856678400 27008 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 27008 13086 16 0 209134 0
vsize: 836600
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18031 0 1 0 82029 66 0 0 24 0 10 0 838717713 856678400 27047 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 27047 13086 16 0 209134 0
vsize: 836600
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 82929 66 0 0 21 0 10 0 838717713 856678400 27089 4294967295 134512640 134569956 3221224368 3221214256 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 27089 13086 16 0 209134 0
vsize: 836600
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 83835 67 0 0 24 0 10 0 838717713 856678400 27128 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 27128 13086 16 0 209134 0
vsize: 836600
[startup+920.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 84734 67 0 0 20 0 10 0 838717713 856678400 27169 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 27169 13086 16 0 209134 0
vsize: 836600
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 85638 68 0 0 23 0 10 0 838717713 856678400 27212 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209150 27212 13086 16 0 209134 0
vsize: 836600
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 86536 68 0 0 19 0 10 0 838717713 856678400 27256 4294967295 134512640 134569956 3221224368 3221214256 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209150 27256 13086 16 0 209134 0
vsize: 836600
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 87443 68 0 0 22 0 10 0 838717713 855257088 26993 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 26993 13086 16 0 208787 0
vsize: 835212
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 88345 69 0 0 19 0 10 0 838717713 855257088 27029 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27029 13086 16 0 208787 0
vsize: 835212
[startup+970.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 89252 69 0 0 21 0 10 0 838717713 855257088 27059 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27059 13086 16 0 208787 0
vsize: 835212
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18031 0 1 0 90152 70 0 0 23 0 10 0 838717713 855257088 27093 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27093 13086 16 0 208787 0
vsize: 835212
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 91057 70 0 0 20 0 10 0 838717713 855257088 27126 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27126 13086 16 0 208787 0
vsize: 835212
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 91955 71 0 0 21 0 10 0 838717713 855257088 27196 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27196 13086 16 0 208787 0
vsize: 835212
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18031 0 1 0 92848 71 0 0 23 0 10 0 838717713 855257088 27264 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27264 13086 16 0 208787 0
vsize: 835212
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 93742 71 0 0 18 0 10 0 838717713 855257088 27336 4294967295 134512640 134569956 3221224368 3221214256 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27336 13086 16 0 208787 0
vsize: 835212
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 94634 72 0 0 19 0 10 0 838717713 855257088 27389 4294967295 134512640 134569956 3221224368 3221214256 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27389 13086 16 0 208787 0
vsize: 835212
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 95525 72 0 0 20 0 10 0 838717713 855257088 27508 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27508 13086 16 0 208787 0
vsize: 835212
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 96421 73 0 0 22 0 10 0 838717713 855257088 27582 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27582 13086 16 0 208787 0
vsize: 835212
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 97314 73 0 0 19 0 10 0 838717713 855257088 27667 4294967295 134512640 134569956 3221224368 3221214792 1131248573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27667 13086 16 0 208787 0
vsize: 835212
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 98217 73 0 0 22 0 10 0 838717713 855257088 27696 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27696 13086 16 0 208787 0
vsize: 835212
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 99117 74 0 0 23 0 10 0 838717713 855257088 27735 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27735 13086 16 0 208787 0
vsize: 835212
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 100013 74 0 0 19 0 10 0 838717713 855257088 27774 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27774 13086 16 0 208787 0
vsize: 835212
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 100912 74 0 0 20 0 10 0 838717713 855257088 27852 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27852 13086 16 0 208787 0
vsize: 835212
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 101812 75 0 0 22 0 10 0 838717713 855257088 27944 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27944 13086 16 0 208787 0
vsize: 835212
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18031 0 1 0 102710 75 0 0 23 0 10 0 838717713 855257088 27971 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 27971 13086 16 0 208787 0
vsize: 835212
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 103606 75 0 0 19 0 10 0 838717713 855257088 28051 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208803 28051 13086 16 0 208787 0
vsize: 835212
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 104505 76 0 0 19 0 10 0 838717713 855257088 28113 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28113 13086 16 0 208787 0
vsize: 835212
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 105405 76 0 0 23 0 10 0 838717713 855257088 28184 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28184 13086 16 0 208787 0
vsize: 835212
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 106303 76 0 0 24 0 10 0 838717713 855257088 28347 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28347 13086 16 0 208787 0
vsize: 835212
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 107196 77 0 0 18 0 10 0 838717713 855257088 28443 4294967295 134512640 134569956 3221224368 3221214788 1080204167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28443 13086 16 0 208787 0
vsize: 835212
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 108097 78 0 0 19 0 10 0 838717713 855257088 28661 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28661 13086 16 0 208787 0
vsize: 835212
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 109006 78 0 0 22 0 10 0 838717713 855257088 28696 4294967295 134512640 134569956 3221224368 3221214256 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28696 13086 16 0 208787 0
vsize: 835212
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 109902 78 0 0 18 0 10 0 838717713 855257088 28730 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28730 13086 16 0 208787 0
vsize: 835212
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 110804 78 0 0 20 0 10 0 838717713 855257088 28758 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28758 13086 16 0 208787 0
vsize: 835212
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18031 0 1 0 111702 79 0 0 22 0 10 0 838717713 855257088 28787 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28787 13086 16 0 208787 0
vsize: 835212
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 112601 79 0 0 21 0 10 0 838717713 855257088 28815 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28815 13086 16 0 208787 0
vsize: 835212
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 113502 80 0 0 22 0 10 0 838717713 855257088 28846 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28846 13086 16 0 208787 0
vsize: 835212
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 114398 80 0 0 19 0 10 0 838717713 855257088 28883 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28883 13086 16 0 208787 0
vsize: 835212
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 115301 80 0 0 21 0 10 0 838717713 855257088 28912 4294967295 134512640 134569956 3221224368 3221214788 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28912 13086 16 0 208787 0
vsize: 835212
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 116204 81 0 0 23 0 10 0 838717713 855257088 28938 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 28938 13086 16 0 208787 0
vsize: 835212
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 117102 81 0 0 19 0 10 0 838717713 855257088 29028 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 29028 13086 16 0 208787 0
vsize: 835212
[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 118007 82 0 0 21 0 10 0 838717713 855257088 29100 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 29100 13086 16 0 208787 0
vsize: 835212
[startup+1300.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 118914 82 0 0 23 0 10 0 838717713 855257088 29117 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 29117 13086 16 0 208787 0
vsize: 835212
[startup+1310.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) S 13336 1586 1585 0 -1 0 18031 0 1 0 119813 82 0 0 22 0 10 0 838717713 855257088 29352 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 29352 13086 16 0 208787 0
vsize: 835212
[startup+1320.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13403
Raw data (stat): 13337 (java) R 13336 1586 1585 0 -1 0 18031 0 1 0 120724 83 0 0 21 0 10 0 838717713 855257088 29407 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208803 29407 13086 16 0 208787 0
vsize: 835212
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 13405
Raw data (stat): 13337 (java) Z 13336 1586 1585 0 -1 1036 18031 10642 1 0 120729 83 11098 50 23 0 1 0 838717713 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.19
CPU time (s): 1319.62
CPU user time (s): 1318.28
CPU system time (s): 1.3368
CPU usage (%): 99.9567
Max. virtual memory (Kb): 836600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####