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-greenbeb.opb
MD5SUM	32c6aa90779c7f105af21c4a840e4d92
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	10569
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	20687385806400
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.949854
Number of variables	104157
Total number of constraints	2676
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	2676
Minimum length of a constraint	8
Maximum length of a constraint	4848
Trace number 29844

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 11:58:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21234 boxname=wulflinc29 idbench=1222 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  32c6aa90779c7f105af21c4a840e4d92  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-greenbeb.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-greenbeb.opb
IDLAUNCH: 21234
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        617264 kB
Buffers:         33752 kB
Cached:         357560 kB
SwapCached:        572 kB
Active:          68332 kB
Inactive:       328552 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        617012 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14888 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:59 (client local time) WITH STATUS 143 IN 1326.45 SECONDS
stats: 21234 7 1326.45 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/wulflinc29/normalized-mps-v2-13-7-greenbeb.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.126
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.02 1.00 1.00 2/54 659
Raw data (stat): 659 (runsolver) R 658 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838699082 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.0012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 668
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18010 0 1 0 889 37 0 0 25 0 10 0 838699082 853798912 19408 4294967295 134512640 134569956 3221224368 3221214648 1131189773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208447 19408 13086 16 0 208431 0
vsize: 833788
[startup+20.0018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 668
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18011 0 1 0 1785 37 0 0 25 0 10 0 838699082 854683648 20160 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 20160 13086 16 0 208647 0
vsize: 834652
[startup+30.0022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 668
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18011 0 1 0 2672 37 0 0 25 0 10 0 838699082 854683648 20709 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 20709 13086 16 0 208647 0
vsize: 834652
[startup+40.0025 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 668
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18020 0 1 0 3576 38 0 0 25 0 10 0 838699082 854683648 21036 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 21036 13086 16 0 208647 0
vsize: 834652
[startup+50.0032 s]
Raw data (loadavg): 1.15 1.03 1.01 2/63 668
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18020 0 1 0 4476 38 0 0 25 0 10 0 838699082 856154112 21559 4294967295 134512640 134569956 3221224368 3221214160 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 21559 13086 16 0 209006 0
vsize: 836088
[startup+60.0045 s]
Raw data (loadavg): 1.13 1.03 1.01 2/63 668
Raw data (stat): 659 (java) S 658 20001 20000 0 -1 0 18021 0 1 0 5373 39 0 0 25 0 10 0 838699082 855695360 21692 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208910 21692 13086 16 0 208894 0
vsize: 835640
[startup+70.0049 s]
Raw data (loadavg): 1.19 1.04 1.01 3/66 708
Raw data (stat): 659 (java) S 658 20001 20000 0 -1 0 18021 0 1 0 6284 40 0 0 25 0 10 0 838699082 855695360 21939 4294967295 134512640 134569956 3221224368 3221213376 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208910 21940 13086 16 0 208894 0
vsize: 835640
[startup+80.0056 s]
Raw data (loadavg): 1.16 1.04 1.01 2/63 721
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 7214 41 0 0 25 0 10 0 838699082 855695360 22074 4294967295 134512640 134569956 3221224368 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208910 22074 13086 16 0 208894 0
vsize: 835640
[startup+90.0058 s]
Raw data (loadavg): 1.21 1.06 1.02 2/63 721
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 8148 41 0 0 25 0 10 0 838699082 856358912 22349 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209072 22349 13086 16 0 209056 0
vsize: 836288
[startup+100.005 s]
Raw data (loadavg): 1.18 1.06 1.01 2/63 721
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 9081 41 0 0 24 0 10 0 838699082 855760896 22337 4294967295 134512640 134569956 3221224368 3221214788 1080204144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208926 22337 13086 16 0 208910 0
vsize: 835704
[startup+110.006 s]
Raw data (loadavg): 1.15 1.05 1.01 2/63 721
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 10019 42 0 0 25 0 10 0 838699082 855760896 22434 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208926 22434 13086 16 0 208910 0
vsize: 835704
[startup+120.007 s]
Raw data (loadavg): 1.13 1.05 1.01 2/63 721
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 10958 42 0 0 25 0 10 0 838699082 855760896 22534 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208926 22534 13086 16 0 208910 0
vsize: 835704
[startup+130.009 s]
Raw data (loadavg): 1.11 1.05 1.01 2/63 721
Raw data (stat): 659 (java) S 658 20001 20000 0 -1 0 18021 0 1 0 11898 42 0 0 25 0 10 0 838699082 855760896 22628 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208926 22628 13086 16 0 208910 0
vsize: 835704
[startup+140.009 s]
Raw data (loadavg): 1.09 1.05 1.01 2/63 721
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 12836 42 0 0 25 0 10 0 838699082 854683648 22458 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 22458 13086 16 0 208647 0
vsize: 834652
[startup+150.011 s]
Raw data (loadavg): 1.08 1.05 1.01 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 13776 42 0 0 25 0 10 0 838699082 854683648 22538 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 22538 13086 16 0 208647 0
vsize: 834652
[startup+160.014 s]
Raw data (loadavg): 1.06 1.04 1.01 2/63 723
Raw data (stat): 659 (java) S 658 20001 20000 0 -1 0 18021 0 1 0 14715 42 0 0 25 0 10 0 838699082 854683648 22621 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 22621 13086 16 0 208647 0
vsize: 834652
[startup+170.014 s]
Raw data (loadavg): 1.05 1.04 1.01 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 15652 42 0 0 25 0 10 0 838699082 854683648 22705 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 22705 13086 16 0 208647 0
vsize: 834652
[startup+180.015 s]
Raw data (loadavg): 1.05 1.04 1.01 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 16576 42 0 0 25 0 10 0 838699082 854683648 22782 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 22782 13086 16 0 208647 0
vsize: 834652
[startup+190.015 s]
Raw data (loadavg): 1.04 1.04 1.01 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 17499 42 0 0 25 0 10 0 838699082 854683648 22856 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 22856 13086 16 0 208647 0
vsize: 834652
[startup+200.015 s]
Raw data (loadavg): 1.03 1.04 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 18433 42 0 0 25 0 10 0 838699082 854683648 23088 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23088 13086 16 0 208647 0
vsize: 834652
[startup+210.017 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 19367 42 0 0 24 0 10 0 838699082 854683648 23162 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23162 13086 16 0 208647 0
vsize: 834652
[startup+220.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 20304 42 0 0 25 0 10 0 838699082 854683648 23231 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23231 13086 16 0 208647 0
vsize: 834652
[startup+230.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 21242 43 0 0 25 0 10 0 838699082 854683648 23297 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23297 13086 16 0 208647 0
vsize: 834652
[startup+240.018 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 22175 43 0 0 24 0 10 0 838699082 854683648 23365 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23365 13086 16 0 208647 0
vsize: 834652
[startup+250.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 23112 43 0 0 25 0 10 0 838699082 854683648 23428 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23428 13086 16 0 208647 0
vsize: 834652
[startup+260.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 24049 43 0 0 25 0 10 0 838699082 854683648 23492 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23492 13086 16 0 208647 0
vsize: 834652
[startup+270.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 24985 43 0 0 25 0 10 0 838699082 854683648 23552 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23552 13086 16 0 208647 0
vsize: 834652
[startup+280.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 25916 43 0 0 25 0 10 0 838699082 854683648 23614 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23614 13086 16 0 208647 0
vsize: 834652
[startup+290.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 26851 44 0 0 25 0 10 0 838699082 854683648 23674 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23674 13086 16 0 208647 0
vsize: 834652
[startup+300.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 27786 44 0 0 25 0 10 0 838699082 854683648 23732 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23732 13086 16 0 208647 0
vsize: 834652
[startup+310.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 28720 44 0 0 25 0 10 0 838699082 854683648 23789 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23789 13086 16 0 208647 0
vsize: 834652
[startup+320.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 723
Raw data (stat): 659 (java) S 658 20001 20000 0 -1 0 18021 0 1 0 29650 44 0 0 25 0 10 0 838699082 854683648 23846 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23846 13086 16 0 208647 0
vsize: 834652
[startup+330.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 30584 44 0 0 25 0 10 0 838699082 854683648 23901 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23901 13086 16 0 208647 0
vsize: 834652
[startup+340.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 31518 44 0 0 25 0 10 0 838699082 854683648 23955 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23955 13086 16 0 208647 0
vsize: 834652
[startup+350.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 32451 44 0 0 25 0 10 0 838699082 854683648 24009 4294967295 134512640 134569956 3221224368 3221214240 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24009 13086 16 0 208647 0
vsize: 834652
[startup+360.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 33384 44 0 0 25 0 10 0 838699082 854683648 24058 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24058 13086 16 0 208647 0
vsize: 834652
[startup+370.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 723
Raw data (stat): 659 (java) S 658 20001 20000 0 -1 0 18021 0 1 0 34316 44 0 0 25 0 10 0 838699082 854683648 24107 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24107 13086 16 0 208647 0
vsize: 834652
[startup+380.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 35244 45 0 0 24 0 10 0 838699082 854683648 24163 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24163 13086 16 0 208647 0
vsize: 834652
[startup+390.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 723
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 36176 45 0 0 25 0 10 0 838699082 854683648 24213 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24213 13086 16 0 208647 0
vsize: 834652
[startup+400.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 37107 45 0 0 25 0 10 0 838699082 854683648 24262 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24262 13086 16 0 208647 0
vsize: 834652
[startup+410.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 38038 45 0 0 25 0 10 0 838699082 854683648 24311 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24311 13086 16 0 208647 0
vsize: 834652
[startup+420.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 38969 45 0 0 25 0 10 0 838699082 854683648 24359 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24359 13086 16 0 208647 0
vsize: 834652
[startup+430.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 39900 45 0 0 25 0 10 0 838699082 854683648 24406 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24406 13086 16 0 208647 0
vsize: 834652
[startup+440.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 725
Raw data (stat): 659 (java) S 658 20001 20000 0 -1 0 18021 0 1 0 40826 45 0 0 25 0 10 0 838699082 854683648 24454 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24454 13086 16 0 208647 0
vsize: 834652
[startup+450.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 41755 45 0 0 25 0 10 0 838699082 854683648 24502 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24502 13086 16 0 208647 0
vsize: 834652
[startup+460.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 42684 45 0 0 25 0 10 0 838699082 854683648 24549 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24549 13086 16 0 208647 0
vsize: 834652
[startup+470.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 43615 45 0 0 18 0 10 0 838699082 854683648 24593 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24593 13086 16 0 208647 0
vsize: 834652
[startup+480.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 44545 46 0 0 25 0 10 0 838699082 854683648 24633 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24633 13086 16 0 208647 0
vsize: 834652
[startup+490.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 45473 46 0 0 24 0 10 0 838699082 854683648 24665 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24665 13086 16 0 208647 0
vsize: 834652
[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 46400 46 0 0 25 0 10 0 838699082 854683648 24712 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24712 13086 16 0 208647 0
vsize: 834652
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 47327 46 0 0 25 0 10 0 838699082 854683648 24760 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24760 13086 16 0 208647 0
vsize: 834652
[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 48254 46 0 0 25 0 10 0 838699082 854683648 24800 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24800 13086 16 0 208647 0
vsize: 834652
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 49179 46 0 0 25 0 10 0 838699082 854683648 24841 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24841 13086 16 0 208647 0
vsize: 834652
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 50103 47 0 0 25 0 10 0 838699082 854683648 24889 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24889 13086 16 0 208647 0
vsize: 834652
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 51027 47 0 0 25 0 10 0 838699082 854683648 24936 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24936 13086 16 0 208647 0
vsize: 834652
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 51952 47 0 0 25 0 10 0 838699082 854683648 24983 4294967295 134512640 134569956 3221224368 3221214240 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24983 13086 16 0 208647 0
vsize: 834652
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 52878 47 0 0 25 0 10 0 838699082 854683648 25024 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25024 13086 16 0 208647 0
vsize: 834652
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 53802 47 0 0 25 0 10 0 838699082 854683648 25064 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25064 13086 16 0 208647 0
vsize: 834652
[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 54727 48 0 0 25 0 10 0 838699082 854683648 25105 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25105 13086 16 0 208647 0
vsize: 834652
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 55651 48 0 0 25 0 10 0 838699082 854683648 25146 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25146 13086 16 0 208647 0
vsize: 834652
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 56574 48 0 0 25 0 10 0 838699082 854683648 25181 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25181 13086 16 0 208647 0
vsize: 834652
[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 57497 48 0 0 25 0 10 0 838699082 854683648 25221 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25221 13086 16 0 208647 0
vsize: 834652
[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 58420 48 0 0 25 0 10 0 838699082 854683648 25258 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25258 13086 16 0 208647 0
vsize: 834652
[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 59343 48 0 0 25 0 10 0 838699082 854683648 25300 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25300 13086 16 0 208647 0
vsize: 834652
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 60266 49 0 0 24 0 10 0 838699082 854683648 25332 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25332 13086 16 0 208647 0
vsize: 834652
[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 61193 49 0 0 25 0 10 0 838699082 854683648 25365 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25365 13086 16 0 208647 0
vsize: 834652
[startup+670.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 62115 49 0 0 25 0 10 0 838699082 854683648 25399 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25399 13086 16 0 208647 0
vsize: 834652
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 63034 49 0 0 25 0 10 0 838699082 854683648 25920 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25920 13086 16 0 208647 0
vsize: 834652
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 63956 49 0 0 24 0 10 0 838699082 854683648 25920 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25920 13086 16 0 208647 0
vsize: 834652
[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 64874 50 0 0 25 0 10 0 838699082 854683648 25938 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 25938 13086 16 0 208647 0
vsize: 834652
[startup+710.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 65785 50 0 0 25 0 10 0 838699082 854683648 25970 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 25970 13086 16 0 208647 0
vsize: 834652
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 66696 50 0 0 24 0 10 0 838699082 854683648 26000 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26000 13086 16 0 208647 0
vsize: 834652
[startup+730.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 67608 51 0 0 25 0 10 0 838699082 854683648 26030 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26030 13086 16 0 208647 0
vsize: 834652
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 68515 52 0 0 24 0 10 0 838699082 854683648 26072 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26072 13086 16 0 208647 0
vsize: 834652
[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 69428 52 0 0 25 0 10 0 838699082 854683648 26107 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26107 13086 16 0 208647 0
vsize: 834652
[startup+760.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 70336 52 0 0 25 0 10 0 838699082 854683648 26147 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26147 13086 16 0 208647 0
vsize: 834652
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 71250 53 0 0 25 0 10 0 838699082 854683648 26181 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26181 13086 16 0 208647 0
vsize: 834652
[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 72158 53 0 0 25 0 10 0 838699082 854683648 26209 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26209 13086 16 0 208647 0
vsize: 834652
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 73071 54 0 0 25 0 10 0 838699082 854683648 26239 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26239 13086 16 0 208647 0
vsize: 834652
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 73975 54 0 0 25 0 10 0 838699082 854683648 26274 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26274 13086 16 0 208647 0
vsize: 834652
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 74886 54 0 0 25 0 10 0 838699082 854683648 26309 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26309 13086 16 0 208647 0
vsize: 834652
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 75792 55 0 0 25 0 10 0 838699082 854683648 26346 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26346 13086 16 0 208647 0
vsize: 834652
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 76704 55 0 0 23 0 10 0 838699082 854683648 26376 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26376 13086 16 0 208647 0
vsize: 834652
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 77610 55 0 0 19 0 10 0 838699082 854683648 26403 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26403 13086 16 0 208647 0
vsize: 834652
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 78519 55 0 0 23 0 10 0 838699082 854683648 26434 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26434 13086 16 0 208647 0
vsize: 834652
[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 79423 56 0 0 19 0 10 0 838699082 854683648 26468 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26468 13086 16 0 208647 0
vsize: 834652
[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 80331 56 0 0 21 0 10 0 838699082 854683648 26503 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26503 13086 16 0 208647 0
vsize: 834652
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 81237 56 0 0 22 0 10 0 838699082 854683648 26539 4294967295 134512640 134569956 3221224368 3221214780 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26539 13086 16 0 208647 0
vsize: 834652
[startup+890.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 82136 57 0 0 19 0 10 0 838699082 854683648 26584 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26584 13086 16 0 208647 0
vsize: 834652
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 83040 57 0 0 20 0 10 0 838699082 854683648 26620 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26620 13086 16 0 208647 0
vsize: 834652
[startup+910.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 83945 58 0 0 23 0 10 0 838699082 854683648 26659 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26659 13086 16 0 208647 0
vsize: 834652
[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 84844 58 0 0 19 0 10 0 838699082 854683648 26704 4294967295 134512640 134569956 3221224368 3221214256 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26704 13086 16 0 208647 0
vsize: 834652
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 85748 59 0 0 20 0 10 0 838699082 854683648 26745 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26745 13086 16 0 208647 0
vsize: 834652
[startup+940.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 86653 59 0 0 22 0 10 0 838699082 854683648 26788 4294967295 134512640 134569956 3221224368 3221214788 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26788 13086 16 0 208647 0
vsize: 834652
[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) S 658 20001 20000 0 -1 0 18021 0 1 0 87556 60 0 0 24 0 10 0 838699082 854683648 26830 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26830 13086 16 0 208647 0
vsize: 834652
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 88461 60 0 0 20 0 10 0 838699082 854683648 26864 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26864 13086 16 0 208647 0
vsize: 834652
[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 89368 61 0 0 22 0 10 0 838699082 854683648 26896 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26896 13086 16 0 208647 0
vsize: 834652
[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) S 658 20001 20000 0 -1 0 18021 0 1 0 90270 61 0 0 24 0 10 0 838699082 854683648 26928 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26928 13086 16 0 208647 0
vsize: 834652
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 91173 62 0 0 19 0 10 0 838699082 854683648 26961 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26961 13086 16 0 208647 0
vsize: 834652
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 92070 62 0 0 20 0 10 0 838699082 854683648 26997 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26997 13086 16 0 208647 0
vsize: 834652
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 92965 63 0 0 20 0 10 0 838699082 854683648 27096 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27096 13086 16 0 208647 0
vsize: 834652
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 93862 63 0 0 20 0 10 0 838699082 854683648 27159 4294967295 134512640 134569956 3221224368 3221214160 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27159 13086 16 0 208647 0
vsize: 834652
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 94755 63 0 0 20 0 10 0 838699082 854683648 27236 4294967295 134512640 134569956 3221224368 3221214788 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27236 13086 16 0 208647 0
vsize: 834652
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 95644 64 0 0 20 0 10 0 838699082 854683648 27297 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27297 13086 16 0 208647 0
vsize: 834652
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 96535 64 0 0 21 0 10 0 838699082 854683648 27388 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27388 13086 16 0 208647 0
vsize: 834652
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 97432 65 0 0 23 0 10 0 838699082 854683648 27487 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27487 13086 16 0 208647 0
vsize: 834652
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 98327 65 0 0 18 0 10 0 838699082 854683648 27517 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27517 13086 16 0 208647 0
vsize: 834652
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 99227 66 0 0 19 0 10 0 838699082 854683648 27562 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27562 13086 16 0 208647 0
vsize: 834652
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 100127 66 0 0 20 0 10 0 838699082 854683648 27594 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27594 13086 16 0 208647 0
vsize: 834652
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 101021 67 0 0 20 0 10 0 838699082 854683648 27635 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27635 13086 16 0 208647 0
vsize: 834652
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 101914 67 0 0 22 0 10 0 838699082 854683648 27786 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 27786 13086 16 0 208647 0
vsize: 834652
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 102815 67 0 0 23 0 10 0 838699082 854683648 27811 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 27811 13086 16 0 208647 0
vsize: 834652
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 103709 68 0 0 18 0 10 0 838699082 854683648 27893 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 27893 13086 16 0 208647 0
vsize: 834652
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 104609 68 0 0 19 0 10 0 838699082 854683648 27919 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 27919 13086 16 0 208647 0
vsize: 834652
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 105509 68 0 0 19 0 10 0 838699082 854683648 27989 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 27989 13086 16 0 208647 0
vsize: 834652
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 106412 68 0 0 21 0 10 0 838699082 854683648 28147 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28147 13086 16 0 208647 0
vsize: 834652
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 107310 68 0 0 21 0 10 0 838699082 854683648 28280 4294967295 134512640 134569956 3221224368 3221214256 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28280 13086 16 0 208647 0
vsize: 834652
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 108210 69 0 0 21 0 10 0 838699082 854683648 28432 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28432 13086 16 0 208647 0
vsize: 834652
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 109115 69 0 0 24 0 10 0 838699082 854683648 28524 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28524 13086 16 0 208647 0
vsize: 834652
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 110010 69 0 0 19 0 10 0 838699082 854683648 28570 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 28570 13086 16 0 208647 0
vsize: 834652
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 110911 69 0 0 20 0 10 0 838699082 854683648 28598 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 28598 13086 16 0 208647 0
vsize: 834652
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 111811 70 0 0 20 0 10 0 838699082 854683648 28627 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 28627 13086 16 0 208647 0
vsize: 834652
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 112711 70 0 0 22 0 10 0 838699082 854683648 28654 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28654 13086 16 0 208647 0
vsize: 834652
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 113605 70 0 0 18 0 10 0 838699082 854683648 28684 4294967295 134512640 134569956 3221224368 3221214788 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 28684 13086 16 0 208647 0
vsize: 834652
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 114505 70 0 0 19 0 10 0 838699082 854683648 28713 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 28713 13086 16 0 208647 0
vsize: 834652
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 115406 71 0 0 21 0 10 0 838699082 854683648 28740 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 28740 13086 16 0 208647 0
vsize: 834652
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 116310 71 0 0 23 0 10 0 838699082 854683648 28814 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 28814 13086 16 0 208647 0
vsize: 834652
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) S 658 20001 20000 0 -1 0 18021 0 1 0 117213 71 0 0 23 0 10 0 838699082 854683648 28898 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 28898 13086 16 0 208647 0
vsize: 834652
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 118117 71 0 0 20 0 10 0 838699082 854683648 28919 4294967295 134512640 134569956 3221224368 3221214212 1130918439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 28919 13086 16 0 208647 0
vsize: 834652
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 119014 72 0 0 19 0 10 0 838699082 854683648 28937 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 28937 13086 16 0 208647 0
vsize: 834652
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 119919 72 0 0 25 0 10 0 838699082 854683648 29160 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 29160 13086 16 0 208647 0
vsize: 834652
[startup+1320.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 725
Raw data (stat): 659 (java) R 658 20001 20000 0 -1 0 18021 0 1 0 120819 72 0 0 25 0 10 0 838699082 854683648 29248 4294967295 134512640 134569956 3221224368 3221214256 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 29248 13086 16 0 208647 0
vsize: 834652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 727
Raw data (stat): 659 (java) Z 658 20001 20000 0 -1 1036 18021 14186 1 0 120825 78 11680 60 25 0 1 0 838699082 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1320.21
CPU time (s): 1326.45
CPU user time (s): 1325.06
CPU system time (s): 1.39179
CPU usage (%): 100.473
Max. virtual memory (Kb): 836288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####