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-degen2.opb
MD5SUM	30256c883dd8af773c334a2b26410bd9
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	9400
Biggest coefficient in the objective function	2494038016
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	391862963250
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	2494038016
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	391862963250
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.092985
Number of variables	10680
Total number of constraints	444
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	444
Minimum length of a constraint	40
Maximum length of a constraint	1700
Trace number 29825

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 11:55:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21219 boxname=wulflinc4 idbench=1207 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  30256c883dd8af773c334a2b26410bd9  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-degen2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-degen2.opb
IDLAUNCH: 21219
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        655560 kB
Buffers:         34540 kB
Cached:         323764 kB
SwapCached:        600 kB
Active:          74088 kB
Inactive:       286664 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        655308 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12564 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:16:39 (client local time) WITH STATUS 143 IN 1248.82 SECONDS
stats: 21219 7 1248.82 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/wulflinc4/normalized-mps-v2-13-7-degen2.opb
c reading problem ... done. Time 40.293 ms.
c #vars     10680
c #constraints  665
c starts	: 5
c conflicts	: 877
c decisions	: 35616
c propagations	: 104167
c inspects	: 641970
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 876
c root simplifications	: 29
s UNKNOWN
c Total CPU time (ms) : 1249.203
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 1126
Raw data (stat): 1126 (runsolver) R 1125 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780454781 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 1135
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18007 0 1 0 869 39 0 0 25 0 10 0 780454781 854020096 19441 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208501 19441 13086 16 0 208485 0
vsize: 834004
[startup+20.002 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 1135
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18008 0 1 0 1764 40 0 0 25 0 10 0 780454781 854843392 20109 4294967295 134512640 134569956 3221224368 3221214688 1131186305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208702 20109 13086 16 0 208686 0
vsize: 834808
[startup+30.0038 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 1135
Raw data (stat): 1126 (java) S 1125 21152 21151 0 -1 0 18008 0 1 0 2654 40 0 0 25 0 10 0 780454781 854601728 20560 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208643 20560 13086 16 0 208627 0
vsize: 834572
[startup+40.0042 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 1135
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18019 0 1 0 3536 42 0 0 25 0 10 0 780454781 856834048 21342 4294967295 134512640 134569956 3221224368 3221214528 1130904122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209188 21342 13086 16 0 209172 0
vsize: 836752
[startup+50.0046 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18067 0 1 0 4439 43 0 0 25 0 11 0 780454781 857362432 24575 4294967295 134512640 134569956 3221224368 3221214560 1131339983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209317 24575 13086 16 0 209301 0
vsize: 837268
[startup+60.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18067 0 1 0 5389 43 0 0 25 0 11 0 780454781 857034752 24457 4294967295 134512640 134569956 3221224368 3221214664 1131365681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 24457 13086 16 0 209221 0
vsize: 836948
[startup+70.0063 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18068 0 1 0 6343 44 0 0 25 0 11 0 780454781 857034752 24467 4294967295 134512640 134569956 3221224368 3221214664 1131364772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 24467 13086 16 0 209221 0
vsize: 836948
[startup+80.0113 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) S 1125 21152 21151 0 -1 0 18068 0 1 0 7306 45 0 0 25 0 11 0 780454781 857034752 24676 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 24677 13086 16 0 209221 0
vsize: 836948
[startup+90.0116 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18069 0 1 0 8286 45 0 0 25 0 11 0 780454781 857034752 24740 4294967295 134512640 134569956 3221224368 3221214472 1131243489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 24740 13086 16 0 209221 0
vsize: 836948
[startup+100.012 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18069 0 1 0 9257 45 0 0 24 0 11 0 780454781 857034752 24778 4294967295 134512640 134569956 3221224368 3221214560 1131340077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 24778 13086 16 0 209221 0
vsize: 836948
[startup+110.014 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18069 0 1 0 10229 45 0 0 25 0 11 0 780454781 857034752 24785 4294967295 134512640 134569956 3221224368 3221214652 1131339347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 24785 13086 16 0 209221 0
vsize: 836948
[startup+120.013 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18069 0 1 0 11193 45 0 0 25 0 11 0 780454781 857034752 24817 4294967295 134512640 134569956 3221224368 3221214496 1131290957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 24817 13086 16 0 209221 0
vsize: 836948
[startup+130.014 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 12163 45 0 0 25 0 11 0 780454781 857034752 24829 4294967295 134512640 134569956 3221224368 3221214884 1130917347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 24829 13086 16 0 209221 0
vsize: 836948
[startup+140.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 13109 45 0 0 25 0 11 0 780454781 857034752 24957 4294967295 134512640 134569956 3221224368 3221214660 1131347904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 24957 13086 16 0 209221 0
vsize: 836948
[startup+150.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 14060 45 0 0 25 0 11 0 780454781 857034752 25105 4294967295 134512640 134569956 3221224368 3221214512 1131408977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25105 13086 16 0 209221 0
vsize: 836948
[startup+160.019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 15030 46 0 0 25 0 11 0 780454781 857034752 25192 4294967295 134512640 134569956 3221224368 3221214616 1131401834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25192 13086 16 0 209221 0
vsize: 836948
[startup+170.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 16006 46 0 0 25 0 11 0 780454781 857034752 25302 4294967295 134512640 134569956 3221224368 3221214616 1131401831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25302 13086 16 0 209221 0
vsize: 836948
[startup+180.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 16986 46 0 0 25 0 11 0 780454781 857034752 25376 4294967295 134512640 134569956 3221224368 3221214560 1131340370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25376 13086 16 0 209221 0
vsize: 836948
[startup+190.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 17967 46 0 0 25 0 11 0 780454781 857034752 25479 4294967295 134512640 134569956 3221224368 3221214560 1131339843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25479 13086 16 0 209221 0
vsize: 836948
[startup+200.032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 18952 46 0 0 25 0 11 0 780454781 857034752 25479 4294967295 134512640 134569956 3221224368 3221214560 1131340280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25479 13086 16 0 209221 0
vsize: 836948
[startup+210.032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 19931 46 0 0 25 0 11 0 780454781 857034752 25520 4294967295 134512640 134569956 3221224368 3221214664 1131363760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25520 13086 16 0 209221 0
vsize: 836948
[startup+220.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 20896 46 0 0 25 0 11 0 780454781 857034752 25556 4294967295 134512640 134569956 3221224368 3221214512 1131291003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25556 13086 16 0 209221 0
vsize: 836948
[startup+230.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 21872 46 0 0 25 0 11 0 780454781 857034752 25565 4294967295 134512640 134569956 3221224368 3221214512 1131408067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25565 13086 16 0 209221 0
vsize: 836948
[startup+240.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 22842 46 0 0 25 0 11 0 780454781 857034752 25566 4294967295 134512640 134569956 3221224368 3221214600 1131416202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25566 13086 16 0 209221 0
vsize: 836948
[startup+250.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1136
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 23815 46 0 0 25 0 11 0 780454781 857034752 25630 4294967295 134512640 134569956 3221224368 3221214512 1131291003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25630 13086 16 0 209221 0
vsize: 836948
[startup+260.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/67 1172
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 24788 46 0 0 25 0 11 0 780454781 857034752 25809 4294967295 134512640 134569956 3221224368 3221214744 1131356254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25809 13086 16 0 209221 0
vsize: 836948
[startup+270.054 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1189
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 25749 47 0 0 25 0 11 0 780454781 857034752 25872 4294967295 134512640 134569956 3221224368 3221214660 1131339347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 25872 13086 16 0 209221 0
vsize: 836948
[startup+280.055 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 1189
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 26698 47 0 0 25 0 11 0 780454781 857034752 25906 4294967295 134512640 134569956 3221224368 3221214560 1131340055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 25906 13086 16 0 209221 0
vsize: 836948
[startup+290.055 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1189
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 27651 48 0 0 25 0 11 0 780454781 857034752 25994 4294967295 134512640 134569956 3221224368 3221214472 1131243456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 25994 13086 16 0 209221 0
vsize: 836948
[startup+300.055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1189
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 28618 48 0 0 25 0 11 0 780454781 857034752 26152 4294967295 134512640 134569956 3221224368 3221214496 1131291003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 26152 13086 16 0 209221 0
vsize: 836948
[startup+310.056 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1189
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 29559 49 0 0 25 0 11 0 780454781 857034752 26304 4294967295 134512640 134569956 3221224368 3221214560 1131340323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 26304 13086 16 0 209221 0
vsize: 836948
[startup+320.057 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1189
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 30504 49 0 0 24 0 11 0 780454781 857034752 26311 4294967295 134512640 134569956 3221224368 3221214360 1131291167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 26311 13086 16 0 209221 0
vsize: 836948
[startup+330.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1189
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 31439 49 0 0 25 0 11 0 780454781 857034752 26329 4294967295 134512640 134569956 3221224368 3221214616 1131363455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 26329 13086 16 0 209221 0
vsize: 836948
[startup+340.059 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 32377 50 0 0 25 0 11 0 780454781 857034752 26682 4294967295 134512640 134569956 3221224368 3221214376 1131291092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 26682 13086 16 0 209221 0
vsize: 836948
[startup+350.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 33342 50 0 0 25 0 11 0 780454781 857034752 26803 4294967295 134512640 134569956 3221224368 3221214420 1131457523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 26803 13086 16 0 209221 0
vsize: 836948
[startup+360.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 34304 51 0 0 25 0 11 0 780454781 857034752 26936 4294967295 134512640 134569956 3221224368 3221214512 1131339917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 26936 13086 16 0 209221 0
vsize: 836948
[startup+370.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 35286 51 0 0 25 0 11 0 780454781 857034752 27075 4294967295 134512640 134569956 3221224368 3221214512 1131339803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27075 13086 16 0 209221 0
vsize: 836948
[startup+380.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 36273 52 0 0 25 0 11 0 780454781 857034752 27075 4294967295 134512640 134569956 3221224368 3221214376 1131409754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27075 13086 16 0 209221 0
vsize: 836948
[startup+390.063 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 37250 52 0 0 24 0 11 0 780454781 857034752 27085 4294967295 134512640 134569956 3221224368 3221214616 1131363467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27085 13086 16 0 209221 0
vsize: 836948
[startup+400.063 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 38224 53 0 0 25 0 11 0 780454781 857034752 27086 4294967295 134512640 134569956 3221224368 3221214512 1131340289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27086 13086 16 0 209221 0
vsize: 836948
[startup+410.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 39192 53 0 0 25 0 11 0 780454781 857034752 27155 4294967295 134512640 134569956 3221224368 3221214568 1131303289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27155 13086 16 0 209221 0
vsize: 836948
[startup+420.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 40169 54 0 0 25 0 11 0 780454781 857034752 27221 4294967295 134512640 134569956 3221224368 3221214480 1131396525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27221 13086 16 0 209221 0
vsize: 836948
[startup+430.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 41146 54 0 0 25 0 11 0 780454781 857034752 27266 4294967295 134512640 134569956 3221224368 3221214616 1131363676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27266 13086 16 0 209221 0
vsize: 836948
[startup+440.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 42114 55 0 0 25 0 11 0 780454781 857034752 27307 4294967295 134512640 134569956 3221224368 3221214512 1131339794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27307 13086 16 0 209221 0
vsize: 836948
[startup+450.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 43077 55 0 0 25 0 11 0 780454781 857034752 27311 4294967295 134512640 134569956 3221224368 3221214568 1131261077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27311 13086 16 0 209221 0
vsize: 836948
[startup+460.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 44038 55 0 0 25 0 11 0 780454781 857034752 27386 4294967295 134512640 134569956 3221224368 3221214512 1131339372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27386 13086 16 0 209221 0
vsize: 836948
[startup+470.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 45009 55 0 0 25 0 11 0 780454781 857034752 27521 4294967295 134512640 134569956 3221224368 3221214512 1131339803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27521 13086 16 0 209221 0
vsize: 836948
[startup+480.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 45982 56 0 0 25 0 11 0 780454781 857034752 27574 4294967295 134512640 134569956 3221224368 3221214512 1131340061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27574 13086 16 0 209221 0
vsize: 836948
[startup+490.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 46959 56 0 0 25 0 11 0 780454781 857034752 27630 4294967295 134512640 134569956 3221224368 3221214512 1131339451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27630 13086 16 0 209221 0
vsize: 836948
[startup+500.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 47935 56 0 0 25 0 11 0 780454781 857034752 27677 4294967295 134512640 134569956 3221224368 3221214512 1131339803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27677 13086 16 0 209221 0
vsize: 836948
[startup+510.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 48915 57 0 0 25 0 11 0 780454781 857034752 27698 4294967295 134512640 134569956 3221224368 3221214512 1131339803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27698 13086 16 0 209221 0
vsize: 836948
[startup+520.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 49891 57 0 0 25 0 11 0 780454781 857034752 27732 4294967295 134512640 134569956 3221224368 3221214512 1131340408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27732 13086 16 0 209221 0
vsize: 836948
[startup+530.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 50872 57 0 0 25 0 11 0 780454781 857034752 27776 4294967295 134512640 134569956 3221224368 3221214568 1131261236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27776 13086 16 0 209221 0
vsize: 836948
[startup+540.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 51850 57 0 0 25 0 11 0 780454781 857034752 27827 4294967295 134512640 134569956 3221224368 3221214616 1131363741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27827 13086 16 0 209221 0
vsize: 836948
[startup+550.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 52821 58 0 0 25 0 11 0 780454781 857034752 27835 4294967295 134512640 134569956 3221224368 3221214512 1131339902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27835 13086 16 0 209221 0
vsize: 836948
[startup+560.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 53792 58 0 0 25 0 11 0 780454781 857034752 27859 4294967295 134512640 134569956 3221224368 3221214512 1131339936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27859 13086 16 0 209221 0
vsize: 836948
[startup+570.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 54763 58 0 0 25 0 11 0 780454781 857034752 27915 4294967295 134512640 134569956 3221224368 3221214512 1131340405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27915 13086 16 0 209221 0
vsize: 836948
[startup+580.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1191
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 55734 59 0 0 25 0 11 0 780454781 857034752 27998 4294967295 134512640 134569956 3221224368 3221214512 1131339762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 27998 13086 16 0 209221 0
vsize: 836948
[startup+590.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 56702 60 0 0 25 0 11 0 780454781 857034752 28000 4294967295 134512640 134569956 3221224368 3221214512 1131339843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28000 13086 16 0 209221 0
vsize: 836948
[startup+600.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 57660 60 0 0 25 0 11 0 780454781 857034752 28111 4294967295 134512640 134569956 3221224368 3221214640 1131380239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28111 13086 16 0 209221 0
vsize: 836948
[startup+610.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 58613 60 0 0 25 0 11 0 780454781 857034752 28173 4294967295 134512640 134569956 3221224368 3221214532 1130917559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28173 13086 16 0 209221 0
vsize: 836948
[startup+620.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 59557 61 0 0 25 0 11 0 780454781 857034752 28280 4294967295 134512640 134569956 3221224368 3221214616 1131363676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28280 13086 16 0 209221 0
vsize: 836948
[startup+630.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 60506 61 0 0 24 0 11 0 780454781 857034752 28374 4294967295 134512640 134569956 3221224368 3221214512 1131339372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28374 13086 16 0 209221 0
vsize: 836948
[startup+640.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 61468 62 0 0 25 0 11 0 780454781 857034752 28545 4294967295 134512640 134569956 3221224368 3221214376 1131291003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28545 13086 16 0 209221 0
vsize: 836948
[startup+650.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 62446 62 0 0 25 0 11 0 780454781 857034752 28624 4294967295 134512640 134569956 3221224368 3221214376 1131291717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28624 13086 16 0 209221 0
vsize: 836948
[startup+660.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 63425 62 0 0 25 0 11 0 780454781 857034752 28660 4294967295 134512640 134569956 3221224368 3221214616 1131364637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28660 13086 16 0 209221 0
vsize: 836948
[startup+670.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18071 0 1 0 64397 63 0 0 25 0 11 0 780454781 857034752 28760 4294967295 134512640 134569956 3221224368 3221214512 1131339936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28760 13086 16 0 209221 0
vsize: 836948
[startup+680.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 65370 63 0 0 25 0 11 0 780454781 857034752 28770 4294967295 134512640 134569956 3221224368 3221214248 1078032391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28770 13086 16 0 209221 0
vsize: 836948
[startup+690.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 66337 63 0 0 25 0 11 0 780454781 857034752 28775 4294967295 134512640 134569956 3221224368 3221214376 1131408067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28775 13086 16 0 209221 0
vsize: 836948
[startup+700.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 67279 63 0 0 25 0 11 0 780454781 857034752 28853 4294967295 134512640 134569956 3221224368 3221214512 1131339372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28853 13086 16 0 209221 0
vsize: 836948
[startup+710.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 68211 64 0 0 25 0 11 0 780454781 857034752 28861 4294967295 134512640 134569956 3221224368 3221214376 1131408196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28861 13086 16 0 209221 0
vsize: 836948
[startup+720.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 69159 64 0 0 25 0 11 0 780454781 857034752 28889 4294967295 134512640 134569956 3221224368 3221214512 1131339843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 28889 13086 16 0 209221 0
vsize: 836948
[startup+730.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 70106 64 0 0 25 0 11 0 780454781 857034752 29405 4294967295 134512640 134569956 3221224368 3221214616 1131363774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29405 13086 16 0 209221 0
vsize: 836948
[startup+740.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 71083 65 0 0 25 0 11 0 780454781 857034752 29492 4294967295 134512640 134569956 3221224368 3221214512 1131339546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29492 13086 16 0 209221 0
vsize: 836948
[startup+750.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 72056 65 0 0 25 0 11 0 780454781 857034752 29498 4294967295 134512640 134569956 3221224368 3221214512 1131340408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29498 13086 16 0 209221 0
vsize: 836948
[startup+760.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 73030 65 0 0 25 0 11 0 780454781 857034752 29577 4294967295 134512640 134569956 3221224368 3221214512 1131339843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29577 13086 16 0 209221 0
vsize: 836948
[startup+770.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 74001 66 0 0 24 0 11 0 780454781 857034752 29644 4294967295 134512640 134569956 3221224368 3221214736 1131425456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29644 13086 16 0 209221 0
vsize: 836948
[startup+780.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 74969 66 0 0 25 0 11 0 780454781 857034752 29670 4294967295 134512640 134569956 3221224368 3221214512 1131340268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29670 13086 16 0 209221 0
vsize: 836948
[startup+790.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 75933 66 0 0 25 0 11 0 780454781 857034752 29673 4294967295 134512640 134569956 3221224368 3221214616 1131365599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29673 13086 16 0 209221 0
vsize: 836948
[startup+800.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 76902 67 0 0 25 0 11 0 780454781 857034752 29741 4294967295 134512640 134569956 3221224368 3221214568 1131261077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29741 13086 16 0 209221 0
vsize: 836948
[startup+810.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 77873 67 0 0 25 0 11 0 780454781 857034752 29882 4294967295 134512640 134569956 3221224368 3221214360 1131290780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29882 13086 16 0 209221 0
vsize: 836948
[startup+820.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 78846 67 0 0 25 0 11 0 780454781 857034752 29912 4294967295 134512640 134569956 3221224368 3221214616 1131363741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29912 13086 16 0 209221 0
vsize: 836948
[startup+830.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 79817 68 0 0 25 0 11 0 780454781 857034752 29952 4294967295 134512640 134569956 3221224368 3221214512 1131340320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29952 13086 16 0 209221 0
vsize: 836948
[startup+840.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 80788 68 0 0 25 0 11 0 780454781 857034752 29952 4294967295 134512640 134569956 3221224368 3221214392 1131540581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 29952 13086 16 0 209221 0
vsize: 836948
[startup+850.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 81764 68 0 0 25 0 11 0 780454781 857034752 30044 4294967295 134512640 134569956 3221224368 3221214616 1131363676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30044 13086 16 0 209221 0
vsize: 836948
[startup+860.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 82732 68 0 0 25 0 11 0 780454781 857034752 30115 4294967295 134512640 134569956 3221224368 3221214512 1131339822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30115 13086 16 0 209221 0
vsize: 836948
[startup+870.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 83704 68 0 0 25 0 11 0 780454781 857034752 30119 4294967295 134512640 134569956 3221224368 3221214464 1131415819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30119 13086 16 0 209221 0
vsize: 836948
[startup+880.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 84676 68 0 0 25 0 11 0 780454781 857034752 30120 4294967295 134512640 134569956 3221224368 3221214480 1131401831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30120 13086 16 0 209221 0
vsize: 836948
[startup+890.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 85650 69 0 0 25 0 11 0 780454781 857034752 30254 4294967295 134512640 134569956 3221224368 3221214464 1131416244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30254 13086 16 0 209221 0
vsize: 836948
[startup+900.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 86632 69 0 0 24 0 11 0 780454781 857034752 30303 4294967295 134512640 134569956 3221224368 3221214360 1131291003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30303 13086 16 0 209221 0
vsize: 836948
[startup+910.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 87620 70 0 0 25 0 11 0 780454781 857034752 30303 4294967295 134512640 134569956 3221224368 3221214464 1131415503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30303 13086 16 0 209221 0
vsize: 836948
[startup+920.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 88605 70 0 0 25 0 11 0 780454781 857034752 30311 4294967295 134512640 134569956 3221224368 3221214376 1131290974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30311 13086 16 0 209221 0
vsize: 836948
[startup+930.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 89588 70 0 0 25 0 11 0 780454781 857034752 30348 4294967295 134512640 134569956 3221224368 3221214480 1131401824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30348 13086 16 0 209221 0
vsize: 836948
[startup+940.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 90572 70 0 0 25 0 11 0 780454781 857034752 30348 4294967295 134512640 134569956 3221224368 3221214436 1130885240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30348 13086 16 0 209221 0
vsize: 836948
[startup+950.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 91554 70 0 0 25 0 11 0 780454781 857034752 30388 4294967295 134512640 134569956 3221224368 3221214464 1131415554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30388 13086 16 0 209221 0
vsize: 836948
[startup+960.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 92528 71 0 0 24 0 11 0 780454781 857034752 30440 4294967295 134512640 134569956 3221224368 3221214616 1131363741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30440 13086 16 0 209221 0
vsize: 836948
[startup+970.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 93501 72 0 0 25 0 11 0 780454781 857034752 30478 4294967295 134512640 134569956 3221224368 3221214512 1131340280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30478 13086 16 0 209221 0
vsize: 836948
[startup+980.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 94474 72 0 0 25 0 11 0 780454781 857034752 30478 4294967295 134512640 134569956 3221224368 3221214616 1131364772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30478 13086 16 0 209221 0
vsize: 836948
[startup+990.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 95440 73 0 0 24 0 11 0 780454781 857034752 30558 4294967295 134512640 134569956 3221224368 3221214568 1131261114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30558 13086 16 0 209221 0
vsize: 836948
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 96409 73 0 0 25 0 11 0 780454781 857034752 30621 4294967295 134512640 134569956 3221224368 3221214376 1131409090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30621 13086 16 0 209221 0
vsize: 836948
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 97379 73 0 0 25 0 11 0 780454781 857034752 30682 4294967295 134512640 134569956 3221224368 3221214480 1131396489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30682 13086 16 0 209221 0
vsize: 836948
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 98352 74 0 0 25 0 11 0 780454781 857034752 30741 4294967295 134512640 134569956 3221224368 3221214616 1131364900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30741 13086 16 0 209221 0
vsize: 836948
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 99316 74 0 0 25 0 11 0 780454781 857034752 30771 4294967295 134512640 134569956 3221224368 3221214408 1131518204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30771 13086 16 0 209221 0
vsize: 836948
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 100291 74 0 0 25 0 11 0 780454781 857034752 30871 4294967295 134512640 134569956 3221224368 3221214512 1131339394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30871 13086 16 0 209221 0
vsize: 836948
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 101260 75 0 0 25 0 11 0 780454781 857034752 30943 4294967295 134512640 134569956 3221224368 3221214480 1131396458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 30943 13086 16 0 209221 0
vsize: 836948
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 102230 75 0 0 25 0 11 0 780454781 857034752 31021 4294967295 134512640 134569956 3221224368 3221214128 1131518204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 31021 13086 16 0 209221 0
vsize: 836948
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 103188 75 0 0 25 0 11 0 780454781 857034752 31027 4294967295 134512640 134569956 3221224368 3221214512 1131340094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 31027 13086 16 0 209221 0
vsize: 836948
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 104126 75 0 0 25 0 11 0 780454781 857034752 31205 4294967295 134512640 134569956 3221224368 3221214448 1131290974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 31205 13086 16 0 209221 0
vsize: 836948
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 105055 76 0 0 25 0 11 0 780454781 857034752 31555 4294967295 134512640 134569956 3221224368 3221214296 1131518152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 31555 13086 16 0 209221 0
vsize: 836948
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 105969 76 0 0 25 0 11 0 780454781 857034752 31606 4294967295 134512640 134569956 3221224368 3221214296 1131518183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 31606 13086 16 0 209221 0
vsize: 836948
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 106906 76 0 0 25 0 11 0 780454781 857034752 31606 4294967295 134512640 134569956 3221224368 3221214584 1131253891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 31606 13086 16 0 209221 0
vsize: 836948
[startup+1120.11 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 107851 76 0 0 25 0 11 0 780454781 857034752 31815 4294967295 134512640 134569956 3221224368 3221214512 1131339843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 31815 13086 16 0 209221 0
vsize: 836948
[startup+1130.12 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 108794 77 0 0 25 0 11 0 780454781 857034752 32207 4294967295 134512640 134569956 3221224368 3221214048 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 32207 13086 16 0 209221 0
vsize: 836948
[startup+1140.12 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 109760 77 0 0 25 0 11 0 780454781 857034752 32478 4294967295 134512640 134569956 3221224368 3221214040 1131547088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 32478 13086 16 0 209221 0
vsize: 836948
[startup+1150.12 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 110723 77 0 0 25 0 11 0 780454781 857034752 32484 4294967295 134512640 134569956 3221224368 3221214512 1131339507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 32484 13086 16 0 209221 0
vsize: 836948
[startup+1160.12 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 111684 78 0 0 25 0 11 0 780454781 857034752 32550 4294967295 134512640 134569956 3221224368 3221214480 1131396468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 32550 13086 16 0 209221 0
vsize: 836948
[startup+1170.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 112649 78 0 0 25 0 11 0 780454781 857034752 32586 4294967295 134512640 134569956 3221224368 3221214480 1131396482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 32586 13086 16 0 209221 0
vsize: 836948
[startup+1180.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 113620 78 0 0 25 0 11 0 780454781 857034752 32652 4294967295 134512640 134569956 3221224368 3221214588 1131349740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 32652 13086 16 0 209221 0
vsize: 836948
[startup+1190.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 114582 79 0 0 25 0 11 0 780454781 857034752 32813 4294967295 134512640 134569956 3221224368 3221214044 1131544544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 32813 13086 16 0 209221 0
vsize: 836948
[startup+1200.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1193
Raw data (stat): 1126 (java) S 1125 21152 21151 0 -1 0 18072 0 1 0 115558 79 0 0 25 0 11 0 780454781 857034752 32847 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 32847 13086 16 0 209221 0
vsize: 836948
[startup+1210.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 116531 79 0 0 25 0 11 0 780454781 857034752 32878 4294967295 134512640 134569956 3221224368 3221214044 1131546057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 32878 13086 16 0 209221 0
vsize: 836948
[startup+1220.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 117501 80 0 0 25 0 11 0 780454781 857034752 32943 4294967295 134512640 134569956 3221224368 3221214056 1131544721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 32943 13086 16 0 209221 0
vsize: 836948
[startup+1230.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 118487 80 0 0 25 0 11 0 780454781 857034752 33039 4294967295 134512640 134569956 3221224368 3221214616 1131364799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 33039 13086 16 0 209221 0
vsize: 836948
[startup+1240.12 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 119454 80 0 0 25 0 11 0 780454781 857034752 33043 4294967295 134512640 134569956 3221224368 3221214512 1131339451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 33043 13086 16 0 209221 0
vsize: 836948
[startup+1250.12 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1193
Raw data (stat): 1126 (java) R 1125 21152 21151 0 -1 0 18072 0 1 0 120422 81 0 0 25 0 11 0 780454781 857034752 33044 4294967295 134512640 134569956 3221224368 3221214536 1131415627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209237 33044 13086 16 0 209221 0
vsize: 836948
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.24 s]
Raw data (loadavg): 1.01 1.00 1.00 1/54 1195
Raw data (stat): 1126 (java) Z 1125 21152 21151 0 -1 1036 18072 13879 1 0 120427 81 4333 39 25 0 1 0 780454781 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): 1250.24
CPU time (s): 1248.82
CPU user time (s): 1247.61
CPU system time (s): 1.21181
CPU usage (%): 99.8867
Max. virtual memory (Kb): 837268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####