PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-atlanta-ip.opb
MD5SUM	5c887381904b4849f12f155c2e7ab40c
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	31296
Biggest coefficient in the objective function	1700000000000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	81421012358779
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	1700000000000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	81421012358779
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.841871
Number of variables	71516
Total number of constraints	70354
Number of constraints which are clauses	2311
Number of constraints which are cardinality constraints (but not clauses)	47534
Number of constraints which are nor clauses,nor cardinality constraints	20509
Minimum length of a constraint	1
Maximum length of a constraint	2790
Trace number 29955

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        645568 kB
Buffers:         32816 kB
Cached:         325992 kB
SwapCached:       3972 kB
Active:          83212 kB
Inactive:       282488 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        645316 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            17624 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:28:41 (client local time) WITH STATUS 143 IN 1318.64 SECONDS
stats: 21356 7 1318.64 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/wulflinc1/normalized-mps-v2-13-7-atlanta-ip.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) : 1309.241
#### 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.01 1.00 1.00 2/55 21970
Raw data (stat): 21970 (runsolver) R 21969 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 724032944 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.0001 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18004 0 1 0 873 38 0 0 25 0 10 0 724032944 853528576 19255 4294967295 134512640 134569956 3221224368 3221214412 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208381 19255 13086 16 0 208365 0
vsize: 833524
[startup+20.0008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 1770 39 0 0 25 0 10 0 724032944 854642688 20017 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208653 20017 13086 16 0 208637 0
vsize: 834612
[startup+30.0007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 2661 39 0 0 25 0 10 0 724032944 854564864 20493 4294967295 134512640 134569956 3221224368 3221214644 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208634 20493 13086 16 0 208618 0
vsize: 834536
[startup+40.0016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 3578 39 0 0 25 0 10 0 724032944 854577152 20855 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 20855 13086 16 0 208621 0
vsize: 834548
[startup+50.0023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 4500 39 0 0 25 0 10 0 724032944 854577152 21017 4294967295 134512640 134569956 3221224368 3221214768 1131244160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21017 13086 16 0 208621 0
vsize: 834548
[startup+60.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 5422 39 0 0 25 0 10 0 724032944 854577152 21144 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21144 13086 16 0 208621 0
vsize: 834548
[startup+70.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 6348 40 0 0 25 0 10 0 724032944 854577152 21271 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21271 13086 16 0 208621 0
vsize: 834548
[startup+80.0027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 7291 40 0 0 25 0 10 0 724032944 854577152 21369 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21369 13086 16 0 208621 0
vsize: 834548
[startup+90.0036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 8231 40 0 0 25 0 10 0 724032944 854577152 21464 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21464 13086 16 0 208621 0
vsize: 834548
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 9172 41 0 0 24 0 10 0 724032944 854577152 21553 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21553 13086 16 0 208621 0
vsize: 834548
[startup+110.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 10116 41 0 0 25 0 10 0 724032944 854577152 21630 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21630 13086 16 0 208621 0
vsize: 834548
[startup+120.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 11058 41 0 0 25 0 10 0 724032944 854577152 21709 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21709 13086 16 0 208621 0
vsize: 834548
[startup+130.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 12000 42 0 0 25 0 10 0 724032944 854577152 21783 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21783 13086 16 0 208621 0
vsize: 834548
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 12947 42 0 0 25 0 10 0 724032944 854577152 21849 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21849 13086 16 0 208621 0
vsize: 834548
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 13889 42 0 0 25 0 10 0 724032944 854577152 21916 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21916 13086 16 0 208621 0
vsize: 834548
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 14831 42 0 0 25 0 10 0 724032944 854577152 21980 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 21980 13086 16 0 208621 0
vsize: 834548
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 15773 43 0 0 25 0 10 0 724032944 854577152 22039 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 22039 13086 16 0 208621 0
vsize: 834548
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 16686 43 0 0 24 0 10 0 724032944 854577152 22099 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 22099 13086 16 0 208621 0
vsize: 834548
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 17608 43 0 0 25 0 10 0 724032944 854577152 22410 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208637 22410 13086 16 0 208621 0
vsize: 834548
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 18546 43 0 0 25 0 10 0 724032944 854577152 22467 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208637 22467 13086 16 0 208621 0
vsize: 834548
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 19488 43 0 0 25 0 10 0 724032944 854577152 22518 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208637 22518 13086 16 0 208621 0
vsize: 834548
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 20427 43 0 0 25 0 10 0 724032944 854577152 22572 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208637 22572 13086 16 0 208621 0
vsize: 834548
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 21364 43 0 0 25 0 10 0 724032944 854577152 22624 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208637 22624 13086 16 0 208621 0
vsize: 834548
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 22305 43 0 0 25 0 10 0 724032944 854577152 22672 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208637 22672 13086 16 0 208621 0
vsize: 834548
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 23242 44 0 0 25 0 10 0 724032944 854577152 22722 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208637 22722 13086 16 0 208621 0
vsize: 834548
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 24178 44 0 0 25 0 10 0 724032944 854577152 22770 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208637 22770 13086 16 0 208621 0
vsize: 834548
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18005 0 1 0 25117 44 0 0 25 0 10 0 724032944 854577152 22821 4294967295 134512640 134569956 3221224368 3221214720 1130916188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208637 22821 13086 16 0 208621 0
vsize: 834548
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18018 0 1 0 26020 46 0 0 25 0 10 0 724032944 856043520 23260 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208995 23260 13086 16 0 208979 0
vsize: 835980
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18019 0 1 0 26948 46 0 0 25 0 10 0 724032944 856043520 23304 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208995 23304 13086 16 0 208979 0
vsize: 835980
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18019 0 1 0 27879 46 0 0 25 0 10 0 724032944 856043520 23448 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208995 23448 13086 16 0 208979 0
vsize: 835980
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18019 0 1 0 28816 47 0 0 25 0 10 0 724032944 855973888 23448 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208978 23448 13086 16 0 208962 0
vsize: 835912
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18019 0 1 0 29748 47 0 0 24 0 10 0 724032944 855941120 23489 4294967295 134512640 134569956 3221224368 3221214232 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208970 23489 13086 16 0 208954 0
vsize: 835880
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18019 0 1 0 30684 47 0 0 25 0 10 0 724032944 855941120 23533 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208970 23533 13086 16 0 208954 0
vsize: 835880
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 31619 48 0 0 25 0 10 0 724032944 861184000 24968 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210250 24968 13086 16 0 210234 0
vsize: 841000
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 32553 48 0 0 25 0 10 0 724032944 860135424 24748 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 24748 13086 16 0 209978 0
vsize: 839976
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 33484 48 0 0 25 0 10 0 724032944 860135424 24804 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 24804 13086 16 0 209978 0
vsize: 839976
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 34418 48 0 0 25 0 10 0 724032944 860135424 24846 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 24846 13086 16 0 209978 0
vsize: 839976
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 35348 48 0 0 24 0 10 0 724032944 860135424 24890 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 24890 13086 16 0 209978 0
vsize: 839976
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 36282 49 0 0 25 0 10 0 724032944 860135424 24931 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 24931 13086 16 0 209978 0
vsize: 839976
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 37215 49 0 0 25 0 10 0 724032944 860135424 24971 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 24971 13086 16 0 209978 0
vsize: 839976
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 38143 49 0 0 25 0 10 0 724032944 860135424 25013 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 25013 13086 16 0 209978 0
vsize: 839976
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 39076 49 0 0 25 0 10 0 724032944 860135424 25052 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 25052 13086 16 0 209978 0
vsize: 839976
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 40007 50 0 0 25 0 10 0 724032944 860135424 25090 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 25090 13086 16 0 209978 0
vsize: 839976
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 40934 50 0 0 25 0 10 0 724032944 860135424 25132 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 25132 13086 16 0 209978 0
vsize: 839976
[startup+450.021 s]
Raw data (loadavg): 1.08 1.02 1.01 3/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 41864 50 0 0 25 0 10 0 724032944 864645120 26110 4294967295 134512640 134569956 3221224368 3221214772 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211095 26110 13086 16 0 211079 0
vsize: 844380
[startup+460.021 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 42795 50 0 0 25 0 10 0 724032944 862130176 25677 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 25677 13086 16 0 210465 0
vsize: 841924
[startup+470.021 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 43726 50 0 0 25 0 10 0 724032944 862130176 25728 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210481 25728 13086 16 0 210465 0
vsize: 841924
[startup+480.021 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 44651 50 0 0 25 0 10 0 724032944 861335552 25589 4294967295 134512640 134569956 3221224368 3221214272 1077558129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25589 13086 16 0 210271 0
vsize: 841148
[startup+490.022 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 45581 51 0 0 25 0 10 0 724032944 861335552 25632 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25632 13086 16 0 210271 0
vsize: 841148
[startup+500.023 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 46511 51 0 0 25 0 10 0 724032944 861335552 25667 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25667 13086 16 0 210271 0
vsize: 841148
[startup+510.022 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 47440 52 0 0 25 0 10 0 724032944 861335552 25702 4294967295 134512640 134569956 3221224368 3221214248 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25702 13086 16 0 210271 0
vsize: 841148
[startup+520.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 48365 52 0 0 24 0 10 0 724032944 861335552 25739 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25739 13086 16 0 210271 0
vsize: 841148
[startup+530.023 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 49294 52 0 0 25 0 10 0 724032944 861335552 25774 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25774 13086 16 0 210271 0
vsize: 841148
[startup+540.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 50223 52 0 0 25 0 10 0 724032944 861335552 25808 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25808 13086 16 0 210271 0
vsize: 841148
[startup+550.024 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 51148 52 0 0 25 0 10 0 724032944 861335552 25842 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25842 13086 16 0 210271 0
vsize: 841148
[startup+560.024 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 52073 52 0 0 25 0 10 0 724032944 861335552 25877 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25877 13086 16 0 210271 0
vsize: 841148
[startup+570.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 53000 53 0 0 25 0 10 0 724032944 861335552 25910 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25910 13086 16 0 210271 0
vsize: 841148
[startup+580.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 53926 53 0 0 25 0 10 0 724032944 861335552 25943 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25943 13086 16 0 210271 0
vsize: 841148
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 54851 54 0 0 25 0 10 0 724032944 861335552 25976 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 25976 13086 16 0 210271 0
vsize: 841148
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 55772 54 0 0 25 0 10 0 724032944 861335552 26010 4294967295 134512640 134569956 3221224368 3221214248 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 26010 13086 16 0 210271 0
vsize: 841148
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 56697 54 0 0 25 0 10 0 724032944 861335552 26043 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 26043 13086 16 0 210271 0
vsize: 841148
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 57623 54 0 0 25 0 10 0 724032944 861335552 26075 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 26075 13086 16 0 210271 0
vsize: 841148
[startup+630.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 58548 54 0 0 25 0 10 0 724032944 861335552 26106 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 26106 13086 16 0 210271 0
vsize: 841148
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 59473 55 0 0 25 0 10 0 724032944 861335552 26137 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 26137 13086 16 0 210271 0
vsize: 841148
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 60392 55 0 0 24 0 10 0 724032944 861335552 26170 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26170 13086 16 0 210271 0
vsize: 841148
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 61314 55 0 0 25 0 10 0 724032944 861335552 26201 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26201 13086 16 0 210271 0
vsize: 841148
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 62231 56 0 0 24 0 10 0 724032944 861335552 26781 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26781 13086 16 0 210271 0
vsize: 841148
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 63156 56 0 0 25 0 10 0 724032944 861335552 26781 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26781 13086 16 0 210271 0
vsize: 841148
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 64071 56 0 0 25 0 10 0 724032944 861335552 26790 4294967295 134512640 134569956 3221224368 3221214152 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26790 13086 16 0 210271 0
vsize: 841148
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 64984 57 0 0 25 0 10 0 724032944 861335552 26820 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26820 13086 16 0 210271 0
vsize: 841148
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 65895 57 0 0 25 0 10 0 724032944 861335552 26850 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26850 13086 16 0 210271 0
vsize: 841148
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 66805 57 0 0 19 0 10 0 724032944 861335552 26879 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26879 13086 16 0 210271 0
vsize: 841148
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 67717 57 0 0 25 0 10 0 724032944 861335552 26909 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26909 13086 16 0 210271 0
vsize: 841148
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 68628 58 0 0 24 0 10 0 724032944 861335552 26938 4294967295 134512640 134569956 3221224368 3221214248 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26938 13086 16 0 210271 0
vsize: 841148
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 69540 58 0 0 24 0 10 0 724032944 861335552 26967 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26967 13086 16 0 210271 0
vsize: 841148
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 70453 58 0 0 25 0 10 0 724032944 861335552 26994 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 26994 13086 16 0 210271 0
vsize: 841148
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 71367 58 0 0 25 0 10 0 724032944 861335552 27022 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27022 13086 16 0 210271 0
vsize: 841148
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 72279 59 0 0 25 0 10 0 724032944 861335552 27050 4294967295 134512640 134569956 3221224368 3221214232 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27050 13086 16 0 210271 0
vsize: 841148
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 73191 59 0 0 25 0 10 0 724032944 861335552 27075 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27075 13086 16 0 210271 0
vsize: 841148
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 74103 59 0 0 25 0 10 0 724032944 861335552 27099 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27099 13086 16 0 210271 0
vsize: 841148
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 75013 59 0 0 25 0 10 0 724032944 861335552 27123 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27123 13086 16 0 210271 0
vsize: 841148
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 75923 59 0 0 25 0 10 0 724032944 861335552 27146 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27146 13086 16 0 210271 0
vsize: 841148
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 76833 59 0 0 25 0 10 0 724032944 861335552 27170 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27170 13086 16 0 210271 0
vsize: 841148
[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 77742 59 0 0 25 0 10 0 724032944 861335552 27194 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27194 13086 16 0 210271 0
vsize: 841148
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 78653 59 0 0 25 0 10 0 724032944 861335552 27217 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27217 13086 16 0 210271 0
vsize: 841148
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 79567 59 0 0 25 0 10 0 724032944 861335552 27240 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27240 13086 16 0 210271 0
vsize: 841148
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 80475 60 0 0 25 0 10 0 724032944 861335552 27263 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27263 13086 16 0 210271 0
vsize: 841148
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 81382 60 0 0 25 0 10 0 724032944 861335552 27286 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27286 13086 16 0 210271 0
vsize: 841148
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 82292 61 0 0 25 0 10 0 724032944 861335552 27305 4294967295 134512640 134569956 3221224368 3221214248 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27305 13086 16 0 210271 0
vsize: 841148
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 83199 61 0 0 19 0 10 0 724032944 861335552 27325 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27325 13086 16 0 210271 0
vsize: 841148
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 84113 61 0 0 25 0 10 0 724032944 861335552 27343 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27343 13086 16 0 210271 0
vsize: 841148
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 85022 62 0 0 24 0 10 0 724032944 861335552 27362 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27362 13086 16 0 210271 0
vsize: 841148
[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 85931 62 0 0 22 0 10 0 724032944 861335552 27381 4294967295 134512640 134569956 3221224368 3221214232 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27381 13086 16 0 210271 0
vsize: 841148
[startup+940.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 86838 62 0 0 21 0 10 0 724032944 861335552 27400 4294967295 134512640 134569956 3221224368 3221214232 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27400 13086 16 0 210271 0
vsize: 841148
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 87746 62 0 0 19 0 10 0 724032944 861335552 27418 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27418 13086 16 0 210271 0
vsize: 841148
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 88658 62 0 0 23 0 10 0 724032944 861335552 27437 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27437 13086 16 0 210271 0
vsize: 841148
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 89563 62 0 0 22 0 10 0 724032944 861335552 27460 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 27460 13086 16 0 210271 0
vsize: 841148
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 90470 63 0 0 21 0 10 0 724032944 861335552 27480 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 27480 13086 16 0 210271 0
vsize: 841148
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 91377 63 0 0 25 0 10 0 724032944 861335552 27504 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 27504 13086 16 0 210271 0
vsize: 841148
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 92289 63 0 0 25 0 10 0 724032944 861335552 27525 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 27525 13086 16 0 210271 0
vsize: 841148
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 93196 63 0 0 25 0 10 0 724032944 861335552 27547 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 27547 13086 16 0 210271 0
vsize: 841148
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 94102 63 0 0 25 0 10 0 724032944 861335552 27565 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 27565 13086 16 0 210271 0
vsize: 841148
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 95008 64 0 0 25 0 10 0 724032944 861335552 27591 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 27591 13086 16 0 210271 0
vsize: 841148
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 95918 64 0 0 25 0 10 0 724032944 861335552 27610 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210287 27610 13086 16 0 210271 0
vsize: 841148
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 96822 64 0 0 25 0 10 0 724032944 861335552 27632 4294967295 134512640 134569956 3221224368 3221214248 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27632 13086 16 0 210271 0
vsize: 841148
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 97725 65 0 0 25 0 10 0 724032944 861335552 27652 4294967295 134512640 134569956 3221224368 3221214232 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27652 13086 16 0 210271 0
vsize: 841148
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 98634 65 0 0 24 0 10 0 724032944 861335552 27674 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27674 13086 16 0 210271 0
vsize: 841148
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 99537 65 0 0 22 0 10 0 724032944 861335552 27695 4294967295 134512640 134569956 3221224368 3221214772 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27695 13086 16 0 210271 0
vsize: 841148
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 100441 65 0 0 20 0 10 0 724032944 861335552 27716 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27716 13086 16 0 210271 0
vsize: 841148
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 101344 65 0 0 19 0 10 0 724032944 861335552 27733 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27733 13086 16 0 210271 0
vsize: 841148
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 102252 65 0 0 22 0 10 0 724032944 861335552 27750 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27750 13086 16 0 210271 0
vsize: 841148
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 103154 65 0 0 20 0 10 0 724032944 861335552 27777 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27777 13086 16 0 210271 0
vsize: 841148
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 104057 65 0 0 24 0 10 0 724032944 861335552 27799 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27799 13086 16 0 210271 0
vsize: 841148
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 104964 66 0 0 22 0 10 0 724032944 861335552 27815 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27815 13086 16 0 210271 0
vsize: 841148
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 105866 66 0 0 20 0 10 0 724032944 861335552 27838 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27838 13086 16 0 210271 0
vsize: 841148
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 106770 66 0 0 24 0 10 0 724032944 861335552 27858 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27858 13086 16 0 210271 0
vsize: 841148
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 107674 66 0 0 21 0 10 0 724032944 861335552 27877 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27877 13086 16 0 210271 0
vsize: 841148
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 108574 66 0 0 19 0 10 0 724032944 861335552 27894 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27894 13086 16 0 210271 0
vsize: 841148
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 109481 66 0 0 24 0 10 0 724032944 861335552 27917 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27917 13086 16 0 210271 0
vsize: 841148
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 110380 67 0 0 20 0 10 0 724032944 861335552 27938 4294967295 134512640 134569956 3221224368 3221214248 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27938 13086 16 0 210271 0
vsize: 841148
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 111278 67 0 0 18 0 10 0 724032944 861335552 27959 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27959 13086 16 0 210271 0
vsize: 841148
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 112182 67 0 0 22 0 10 0 724032944 861335552 27977 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27977 13086 16 0 210271 0
vsize: 841148
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 113083 68 0 0 19 0 10 0 724032944 861335552 27997 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 27997 13086 16 0 210271 0
vsize: 841148
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 113988 68 0 0 24 0 10 0 724032944 861335552 28015 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 28015 13086 16 0 210271 0
vsize: 841148
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 114887 68 0 0 20 0 10 0 724032944 861335552 28035 4294967295 134512640 134569956 3221224368 3221214232 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 28035 13086 16 0 210271 0
vsize: 841148
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) S 21969 8378 8377 0 -1 0 18020 0 1 0 115788 68 0 0 23 0 10 0 724032944 861335552 28053 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 28053 13086 16 0 210271 0
vsize: 841148
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 116690 69 0 0 22 0 10 0 724032944 861335552 28071 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 28071 13086 16 0 210271 0
vsize: 841148
[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 117589 69 0 0 19 0 10 0 724032944 861335552 28089 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 28089 13086 16 0 210271 0
vsize: 841148
[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 118493 69 0 0 22 0 10 0 724032944 861335552 28106 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 28106 13086 16 0 210271 0
vsize: 841148
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 119392 69 0 0 19 0 10 0 724032944 861335552 28138 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 28138 13086 16 0 210271 0
vsize: 841148
[startup+1310.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21979
Raw data (stat): 21970 (java) R 21969 8378 8377 0 -1 0 18020 0 1 0 120298 69 0 0 23 0 10 0 724032944 861335552 28155 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210287 28155 13086 16 0 210271 0
vsize: 841148
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.38 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 21981
Raw data (stat): 21970 (java) Z 21969 8378 8377 0 -1 1036 18020 14980 1 0 120303 75 11419 65 15 0 1 0 724032944 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): 1310.38
CPU time (s): 1318.64
CPU user time (s): 1317.23
CPU system time (s): 1.40679
CPU usage (%): 100.63
Max. virtual memory (Kb): 844380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####