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/miplib3/normalized-mps-v2-13-7-qnet1_o.opb
MD5SUM	1663d824f64922ec9a31929abe96b909
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	2480
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	130023300
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	20945120000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	59755435295
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.047992
Number of variables	4140
Total number of constraints	585
Number of constraints which are clauses	32
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	505
Minimum length of a constraint	2
Maximum length of a constraint	54
Trace number 30057

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-25 14:20:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21460 boxname=wulflinc23 idbench=1448 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  1663d824f64922ec9a31929abe96b909  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-qnet1_o.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-qnet1_o.opb
IDLAUNCH: 21460
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        637352 kB
Buffers:         34232 kB
Cached:         341508 kB
SwapCached:        640 kB
Active:          87940 kB
Inactive:       290260 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        637100 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13500 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:40:35 (client local time) WITH STATUS 143 IN 1226.67 SECONDS
stats: 21460 7 1226.67 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/wulflinc23/normalized-mps-v2-13-7-qnet1_o.opb
c reading problem ... done. Time 7.866 ms.
c #vars     4140
c #constraints  916
c starts	: 10
c conflicts	: 8248
c decisions	: 12534
c propagations	: 53714
c inspects	: 8110534
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8248
c root simplifications	: 260
s UNKNOWN
c Total CPU time (ms) : 1229.093
#### 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.99 1.00 1.00 2/54 16938
Raw data (stat): 16938 (runsolver) R 16937 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839552374 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0121 s]
Raw data (loadavg): 1.15 1.03 1.01 4/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18063 0 1 0 824 40 0 0 25 0 11 0 839552374 859058176 20675 4294967295 134512640 134569956 3221224368 3221213880 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209731 20675 13086 16 0 209715 0
vsize: 838924
[startup+20.0132 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18065 0 1 0 1529 40 0 0 25 0 11 0 839552374 860942336 21698 4294967295 134512640 134569956 3221224368 3221214696 1131278619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210191 21698 13086 16 0 210175 0
vsize: 840764
[startup+30.0138 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18065 0 1 0 2463 41 0 0 25 0 11 0 839552374 860729344 21804 4294967295 134512640 134569956 3221224368 3221214696 1131278601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 21804 13086 16 0 210123 0
vsize: 840556
[startup+40.0149 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18066 0 1 0 3399 41 0 0 24 0 11 0 839552374 860729344 22005 4294967295 134512640 134569956 3221224368 3221214704 1131252772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 22005 13086 16 0 210123 0
vsize: 840556
[startup+50.0151 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18067 0 1 0 4340 42 0 0 25 0 11 0 839552374 860729344 22070 4294967295 134512640 134569956 3221224368 3221214696 1131278605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 22070 13086 16 0 210123 0
vsize: 840556
[startup+60.0149 s]
Raw data (loadavg): 1.06 1.03 1.00 3/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18067 0 1 0 5293 42 0 0 25 0 11 0 839552374 860729344 22635 4294967295 134512640 134569956 3221224368 3221214696 1131278605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210139 22635 13086 16 0 210123 0
vsize: 840556
[startup+70.031 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18067 0 1 0 6278 42 0 0 25 0 11 0 839552374 860729344 22733 4294967295 134512640 134569956 3221224368 3221214696 1131278960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 22733 13086 16 0 210123 0
vsize: 840556
[startup+80.0311 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18067 0 1 0 7262 43 0 0 25 0 11 0 839552374 860729344 22811 4294967295 134512640 134569956 3221224368 3221214672 1131278437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 22811 13086 16 0 210123 0
vsize: 840556
[startup+90.0321 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18067 0 1 0 8249 43 0 0 25 0 11 0 839552374 860729344 22855 4294967295 134512640 134569956 3221224368 3221214672 1131278619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 22855 13086 16 0 210123 0
vsize: 840556
[startup+100.032 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18067 0 1 0 9238 43 0 0 25 0 11 0 839552374 860729344 22892 4294967295 134512640 134569956 3221224368 3221214584 1131220113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210139 22892 13086 16 0 210123 0
vsize: 840556
[startup+110.033 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18067 0 1 0 10226 44 0 0 25 0 11 0 839552374 860729344 22939 4294967295 134512640 134569956 3221224368 3221214456 1131219646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 22939 13086 16 0 210123 0
vsize: 840556
[startup+120.034 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18067 0 1 0 11212 44 0 0 25 0 11 0 839552374 860729344 22982 4294967295 134512640 134569956 3221224368 3221214672 1131278890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 22982 13086 16 0 210123 0
vsize: 840556
[startup+130.034 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 12199 44 0 0 25 0 11 0 839552374 860729344 23015 4294967295 134512640 134569956 3221224368 3221214768 1131458935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210139 23015 13086 16 0 210123 0
vsize: 840556
[startup+140.035 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 13186 45 0 0 25 0 11 0 839552374 860729344 23063 4294967295 134512640 134569956 3221224368 3221214728 1131203584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23063 13086 16 0 210123 0
vsize: 840556
[startup+150.036 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 14174 45 0 0 25 0 11 0 839552374 860729344 23104 4294967295 134512640 134569956 3221224368 3221214672 1131278460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23104 13086 16 0 210123 0
vsize: 840556
[startup+160.036 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 15160 45 0 0 25 0 11 0 839552374 860729344 23169 4294967295 134512640 134569956 3221224368 3221214672 1131278522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23169 13086 16 0 210123 0
vsize: 840556
[startup+170.036 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 16149 46 0 0 25 0 11 0 839552374 860729344 23214 4294967295 134512640 134569956 3221224368 3221214672 1131278483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23214 13086 16 0 210123 0
vsize: 840556
[startup+180.036 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 17139 46 0 0 25 0 11 0 839552374 860729344 23251 4294967295 134512640 134569956 3221224368 3221214672 1131278373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23251 13086 16 0 210123 0
vsize: 840556
[startup+190.037 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 18126 46 0 0 25 0 11 0 839552374 860729344 23282 4294967295 134512640 134569956 3221224368 3221214728 1131203581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23282 13086 16 0 210123 0
vsize: 840556
[startup+200.037 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 19118 46 0 0 25 0 11 0 839552374 860729344 23310 4294967295 134512640 134569956 3221224368 3221214448 1131289137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23310 13086 16 0 210123 0
vsize: 840556
[startup+210.037 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 20109 47 0 0 25 0 11 0 839552374 860729344 23346 4294967295 134512640 134569956 3221224368 3221214672 1131278462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23346 13086 16 0 210123 0
vsize: 840556
[startup+220.038 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 21100 47 0 0 25 0 11 0 839552374 860729344 23382 4294967295 134512640 134569956 3221224368 3221214672 1131278558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23382 13086 16 0 210123 0
vsize: 840556
[startup+230.038 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 22089 47 0 0 25 0 11 0 839552374 860729344 23435 4294967295 134512640 134569956 3221224368 3221214672 1131278324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23435 13086 16 0 210123 0
vsize: 840556
[startup+240.039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 23077 47 0 0 25 0 11 0 839552374 860729344 23514 4294967295 134512640 134569956 3221224368 3221214672 1131278518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23514 13086 16 0 210123 0
vsize: 840556
[startup+250.039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 24066 48 0 0 25 0 11 0 839552374 860729344 23551 4294967295 134512640 134569956 3221224368 3221214728 1131203584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23551 13086 16 0 210123 0
vsize: 840556
[startup+260.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 25061 48 0 0 25 0 11 0 839552374 860729344 23598 4294967295 134512640 134569956 3221224368 3221214672 1131278377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23598 13086 16 0 210123 0
vsize: 840556
[startup+270.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 26056 48 0 0 25 0 11 0 839552374 860729344 23641 4294967295 134512640 134569956 3221224368 3221214672 1131278522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23641 13086 16 0 210123 0
vsize: 840556
[startup+280.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 27051 48 0 0 25 0 11 0 839552374 860729344 23651 4294967295 134512640 134569956 3221224368 3221214672 1131278526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23651 13086 16 0 210123 0
vsize: 840556
[startup+290.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 28043 49 0 0 25 0 11 0 839552374 860729344 23684 4294967295 134512640 134569956 3221224368 3221214368 1131495286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23684 13086 16 0 210123 0
vsize: 840556
[startup+300.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 29038 49 0 0 25 0 11 0 839552374 860729344 23713 4294967295 134512640 134569956 3221224368 3221214672 1131278593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23713 13086 16 0 210123 0
vsize: 840556
[startup+310.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 30032 49 0 0 25 0 11 0 839552374 860729344 23733 4294967295 134512640 134569956 3221224368 3221214416 1131414802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23733 13086 16 0 210123 0
vsize: 840556
[startup+320.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 31026 50 0 0 25 0 11 0 839552374 860729344 23750 4294967295 134512640 134569956 3221224368 3221214672 1131278536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23750 13086 16 0 210123 0
vsize: 840556
[startup+330.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 32012 50 0 0 25 0 11 0 839552374 860729344 23769 4294967295 134512640 134569956 3221224368 3221214672 1131278506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23769 13086 16 0 210123 0
vsize: 840556
[startup+340.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 32998 50 0 0 24 0 11 0 839552374 860729344 23890 4294967295 134512640 134569956 3221224368 3221214672 1131278574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23890 13086 16 0 210123 0
vsize: 840556
[startup+350.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 33987 50 0 0 25 0 11 0 839552374 860729344 23984 4294967295 134512640 134569956 3221224368 3221214672 1131278960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 23984 13086 16 0 210123 0
vsize: 840556
[startup+360.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 34978 51 0 0 25 0 11 0 839552374 860729344 24027 4294967295 134512640 134569956 3221224368 3221214288 1131595716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24027 13086 16 0 210123 0
vsize: 840556
[startup+370.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 35965 51 0 0 24 0 11 0 839552374 860729344 24069 4294967295 134512640 134569956 3221224368 3221214468 1131413691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24069 13086 16 0 210123 0
vsize: 840556
[startup+380.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 36950 51 0 0 25 0 11 0 839552374 860729344 24084 4294967295 134512640 134569956 3221224368 3221214672 1131278443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24084 13086 16 0 210123 0
vsize: 840556
[startup+390.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 37932 52 0 0 25 0 11 0 839552374 860729344 24097 4294967295 134512640 134569956 3221224368 3221214408 1131245333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24097 13086 16 0 210123 0
vsize: 840556
[startup+400.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 38912 52 0 0 25 0 11 0 839552374 860729344 24117 4294967295 134512640 134569956 3221224368 3221214672 1131278516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24117 13086 16 0 210123 0
vsize: 840556
[startup+410.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 39896 52 0 0 25 0 11 0 839552374 860729344 24120 4294967295 134512640 134569956 3221224368 3221213952 1131246008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24120 13086 16 0 210123 0
vsize: 840556
[startup+420.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 40879 53 0 0 25 0 11 0 839552374 860729344 24206 4294967295 134512640 134569956 3221224368 3221214584 1131219066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24206 13086 16 0 210123 0
vsize: 840556
[startup+430.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 41860 54 0 0 25 0 11 0 839552374 860729344 24269 4294967295 134512640 134569956 3221224368 3221214656 1131253215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24269 13086 16 0 210123 0
vsize: 840556
[startup+440.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) S 16937 5562 5561 0 -1 0 18068 0 1 0 42839 55 0 0 25 0 11 0 839552374 860729344 24298 4294967295 134512640 134569956 3221224368 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24298 13086 16 0 210123 0
vsize: 840556
[startup+450.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 43822 55 0 0 25 0 11 0 839552374 860729344 24373 4294967295 134512640 134569956 3221224368 3221214416 1131447440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24373 13086 16 0 210123 0
vsize: 840556
[startup+460.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 44795 55 0 0 25 0 11 0 839552374 860729344 24578 4294967295 134512640 134569956 3221224368 3221214672 1131278120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24578 13086 16 0 210123 0
vsize: 840556
[startup+470.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 45778 55 0 0 25 0 11 0 839552374 860729344 24661 4294967295 134512640 134569956 3221224368 3221214664 1131253086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24661 13086 16 0 210123 0
vsize: 840556
[startup+480.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 46752 55 0 0 25 0 11 0 839552374 860729344 24785 4294967295 134512640 134569956 3221224368 3221213976 1131246039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24785 13086 16 0 210123 0
vsize: 840556
[startup+490.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 47726 56 0 0 25 0 11 0 839552374 860729344 24942 4294967295 134512640 134569956 3221224368 3221213776 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 24942 13086 16 0 210123 0
vsize: 840556
[startup+500.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 48700 56 0 0 25 0 11 0 839552374 860729344 25099 4294967295 134512640 134569956 3221224368 3221214768 1131459397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 25099 13086 16 0 210123 0
vsize: 840556
[startup+510.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 49675 57 0 0 25 0 11 0 839552374 860729344 25099 4294967295 134512640 134569956 3221224368 3221214176 1131595644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 25099 13086 16 0 210123 0
vsize: 840556
[startup+520.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 50649 57 0 0 25 0 11 0 839552374 860729344 25237 4294967295 134512640 134569956 3221224368 3221214728 1131203691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 25237 13086 16 0 210123 0
vsize: 840556
[startup+530.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 51616 57 0 0 25 0 11 0 839552374 860729344 25297 4294967295 134512640 134569956 3221224368 3221213832 1131602974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 25297 13086 16 0 210123 0
vsize: 840556
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 52591 58 0 0 25 0 11 0 839552374 860729344 25400 4294967295 134512640 134569956 3221224368 3221213728 1131246008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 25400 13086 16 0 210123 0
vsize: 840556
[startup+550.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 53566 58 0 0 25 0 11 0 839552374 860729344 25451 4294967295 134512640 134569956 3221224368 3221214728 1131203742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 25451 13086 16 0 210123 0
vsize: 840556
[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 54540 59 0 0 25 0 11 0 839552374 860729344 25538 4294967295 134512640 134569956 3221224368 3221214084 1131245976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 25538 13086 16 0 210123 0
vsize: 840556
[startup+570.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 55516 59 0 0 25 0 11 0 839552374 860729344 25616 4294967295 134512640 134569956 3221224368 3221213752 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 25616 13086 16 0 210123 0
vsize: 840556
[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 56491 59 0 0 25 0 11 0 839552374 860729344 25694 4294967295 134512640 134569956 3221224368 3221214728 1131203740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 25694 13086 16 0 210123 0
vsize: 840556
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 57466 60 0 0 25 0 11 0 839552374 860729344 25811 4294967295 134512640 134569956 3221224368 3221214252 1131246032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210139 25811 13086 16 0 210123 0
vsize: 840556
[startup+600.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 58436 60 0 0 25 0 11 0 839552374 860729344 25935 4294967295 134512640 134569956 3221224368 3221214672 1131278929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 25935 13086 16 0 210123 0
vsize: 840556
[startup+610.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 59413 60 0 0 25 0 11 0 839552374 860729344 26016 4294967295 134512640 134569956 3221224368 3221214768 1131459533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26016 13086 16 0 210123 0
vsize: 840556
[startup+620.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 60391 61 0 0 25 0 11 0 839552374 860729344 26100 4294967295 134512640 134569956 3221224368 3221214168 1085679753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26100 13086 16 0 210123 0
vsize: 840556
[startup+630.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 61370 61 0 0 25 0 11 0 839552374 860729344 26171 4294967295 134512640 134569956 3221224368 3221214672 1131277921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26171 13086 16 0 210123 0
vsize: 840556
[startup+640.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 62341 62 0 0 25 0 11 0 839552374 860729344 26282 4294967295 134512640 134569956 3221224368 3221214672 1131278558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26282 13086 16 0 210123 0
vsize: 840556
[startup+650.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 63321 62 0 0 25 0 11 0 839552374 860729344 26357 4294967295 134512640 134569956 3221224368 3221214448 1131287663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26357 13086 16 0 210123 0
vsize: 840556
[startup+660.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 64301 62 0 0 25 0 11 0 839552374 860729344 26432 4294967295 134512640 134569956 3221224368 3221214368 1131494484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26432 13086 16 0 210123 0
vsize: 840556
[startup+670.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 65281 63 0 0 25 0 11 0 839552374 860729344 26517 4294967295 134512640 134569956 3221224368 3221214188 1131600164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26517 13086 16 0 210123 0
vsize: 840556
[startup+680.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 66262 63 0 0 25 0 11 0 839552374 860729344 26595 4294967295 134512640 134569956 3221224368 3221213976 1131245890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26595 13086 16 0 210123 0
vsize: 840556
[startup+690.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 67242 63 0 0 25 0 11 0 839552374 860729344 26675 4294967295 134512640 134569956 3221224368 3221214728 1131203601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26675 13086 16 0 210123 0
vsize: 840556
[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 68222 64 0 0 25 0 11 0 839552374 860729344 26754 4294967295 134512640 134569956 3221224368 3221213912 1131600188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26754 13086 16 0 210123 0
vsize: 840556
[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 69202 64 0 0 25 0 11 0 839552374 860729344 26833 4294967295 134512640 134569956 3221224368 3221213412 1131246032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26833 13086 16 0 210123 0
vsize: 840556
[startup+720.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 70183 64 0 0 25 0 11 0 839552374 860729344 26897 4294967295 134512640 134569956 3221224368 3221214728 1131203584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26897 13086 16 0 210123 0
vsize: 840556
[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 71157 65 0 0 25 0 11 0 839552374 860729344 26981 4294967295 134512640 134569956 3221224368 3221214672 1131278552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 26981 13086 16 0 210123 0
vsize: 840556
[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 72137 65 0 0 25 0 11 0 839552374 860729344 27038 4294967295 134512640 134569956 3221224368 3221214584 1131219694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27038 13086 16 0 210123 0
vsize: 840556
[startup+750.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 73112 65 0 0 25 0 11 0 839552374 860729344 27121 4294967295 134512640 134569956 3221224368 3221214200 1131246033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27121 13086 16 0 210123 0
vsize: 840556
[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 74093 66 0 0 25 0 11 0 839552374 860729344 27177 4294967295 134512640 134569956 3221224368 3221213720 1131602966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27177 13086 16 0 210123 0
vsize: 840556
[startup+770.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 75073 66 0 0 25 0 11 0 839552374 860729344 27266 4294967295 134512640 134569956 3221224368 3221213720 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27266 13086 16 0 210123 0
vsize: 840556
[startup+780.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 76055 66 0 0 25 0 11 0 839552374 860729344 27341 4294967295 134512640 134569956 3221224368 3221214192 1131600167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27341 13086 16 0 210123 0
vsize: 840556
[startup+790.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 77037 67 0 0 25 0 11 0 839552374 860729344 27404 4294967295 134512640 134569956 3221224368 3221213852 1131245324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27404 13086 16 0 210123 0
vsize: 840556
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) S 16937 5562 5561 0 -1 0 18068 0 1 0 78017 67 0 0 25 0 11 0 839552374 860729344 27479 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27479 13086 16 0 210123 0
vsize: 840556
[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 78997 67 0 0 25 0 11 0 839552374 860729344 27549 4294967295 134512640 134569956 3221224368 3221214464 1131245333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27549 13086 16 0 210123 0
vsize: 840556
[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 79981 67 0 0 25 0 11 0 839552374 860729344 27602 4294967295 134512640 134569956 3221224368 3221213888 1085679267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27602 13086 16 0 210123 0
vsize: 840556
[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 80959 68 0 0 25 0 11 0 839552374 860729344 27672 4294967295 134512640 134569956 3221224368 3221214256 1131246033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27672 13086 16 0 210123 0
vsize: 840556
[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 81943 68 0 0 25 0 11 0 839552374 860729344 27725 4294967295 134512640 134569956 3221224368 3221213584 1085679434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27725 13086 16 0 210123 0
vsize: 840556
[startup+850.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 82921 68 0 0 25 0 11 0 839552374 860729344 27791 4294967295 134512640 134569956 3221224368 3221214760 1131204870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27791 13086 16 0 210123 0
vsize: 840556
[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 83905 68 0 0 25 0 11 0 839552374 860729344 27846 4294967295 134512640 134569956 3221224368 3221214728 1131203584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27846 13086 16 0 210123 0
vsize: 840556
[startup+870.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 84884 68 0 0 25 0 11 0 839552374 860729344 27934 4294967295 134512640 134569956 3221224368 3221214672 1131278605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27934 13086 16 0 210123 0
vsize: 840556
[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 85868 69 0 0 25 0 11 0 839552374 860729344 27986 4294967295 134512640 134569956 3221224368 3221214000 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 27986 13086 16 0 210123 0
vsize: 840556
[startup+890.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 86852 69 0 0 25 0 11 0 839552374 860729344 28027 4294967295 134512640 134569956 3221224368 3221214664 1131253207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28027 13086 16 0 210123 0
vsize: 840556
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 87830 70 0 0 25 0 11 0 839552374 860729344 28089 4294967295 134512640 134569956 3221224368 3221213888 1085679359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28089 13086 16 0 210123 0
vsize: 840556
[startup+910.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 88814 70 0 0 25 0 11 0 839552374 860729344 28142 4294967295 134512640 134569956 3221224368 3221213776 1131602974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28142 13086 16 0 210123 0
vsize: 840556
[startup+920.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 89798 70 0 0 25 0 11 0 839552374 860729344 28185 4294967295 134512640 134569956 3221224368 3221214672 1131278884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28185 13086 16 0 210123 0
vsize: 840556
[startup+930.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 90777 70 0 0 25 0 11 0 839552374 860729344 28247 4294967295 134512640 134569956 3221224368 3221214560 1131289206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28247 13086 16 0 210123 0
vsize: 840556
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 91760 71 0 0 25 0 11 0 839552374 860729344 28301 4294967295 134512640 134569956 3221224368 3221214368 1131495324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28301 13086 16 0 210123 0
vsize: 840556
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 92744 71 0 0 25 0 11 0 839552374 860729344 28340 4294967295 134512640 134569956 3221224368 3221214196 1131246032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28340 13086 16 0 210123 0
vsize: 840556
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 93727 71 0 0 25 0 11 0 839552374 860729344 28391 4294967295 134512640 134569956 3221224368 3221214728 1131203584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28391 13086 16 0 210123 0
vsize: 840556
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 94710 72 0 0 25 0 11 0 839552374 860729344 28450 4294967295 134512640 134569956 3221224368 3221214672 1131278607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28450 13086 16 0 210123 0
vsize: 840556
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 95693 72 0 0 25 0 11 0 839552374 860729344 28499 4294967295 134512640 134569956 3221224368 3221214368 1131246008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28499 13086 16 0 210123 0
vsize: 840556
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 96676 73 0 0 25 0 11 0 839552374 860729344 28540 4294967295 134512640 134569956 3221224368 3221214144 1131246033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28540 13086 16 0 210123 0
vsize: 840556
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 97659 73 0 0 25 0 11 0 839552374 860729344 28589 4294967295 134512640 134569956 3221224368 3221214672 1131278310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28589 13086 16 0 210123 0
vsize: 840556
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 98636 74 0 0 25 0 11 0 839552374 860729344 28658 4294967295 134512640 134569956 3221224368 3221214196 1131246032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28658 13086 16 0 210123 0
vsize: 840556
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 99619 74 0 0 25 0 11 0 839552374 860729344 28705 4294967295 134512640 134569956 3221224368 3221213860 1131245976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28705 13086 16 0 210123 0
vsize: 840556
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 100602 75 0 0 25 0 11 0 839552374 860729344 28751 4294967295 134512640 134569956 3221224368 3221214672 1131278518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28751 13086 16 0 210123 0
vsize: 840556
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 101584 75 0 0 25 0 11 0 839552374 860729344 28822 4294967295 134512640 134569956 3221224368 3221214168 1085679449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28822 13086 16 0 210123 0
vsize: 840556
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 102567 75 0 0 25 0 11 0 839552374 860729344 28878 4294967295 134512640 134569956 3221224368 3221214136 1131600233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28878 13086 16 0 210123 0
vsize: 840556
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 103550 76 0 0 25 0 11 0 839552374 860729344 28948 4294967295 134512640 134569956 3221224368 3221213608 1131602864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28948 13086 16 0 210123 0
vsize: 840556
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 104538 76 0 0 25 0 11 0 839552374 860729344 28979 4294967295 134512640 134569956 3221224368 3221213692 1131246032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 28979 13086 16 0 210123 0
vsize: 840556
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 105521 77 0 0 25 0 11 0 839552374 860729344 29034 4294967295 134512640 134569956 3221224368 3221214332 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29034 13086 16 0 210123 0
vsize: 840556
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 106508 77 0 0 25 0 11 0 839552374 860729344 29063 4294967295 134512640 134569956 3221224368 3221214088 1131245972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29063 13086 16 0 210123 0
vsize: 840556
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 107489 77 0 0 25 0 11 0 839552374 860729344 29108 4294967295 134512640 134569956 3221224368 3221214672 1131278554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29108 13086 16 0 210123 0
vsize: 840556
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 108475 78 0 0 25 0 11 0 839552374 860729344 29134 4294967295 134512640 134569956 3221224368 3221214312 1131246026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29134 13086 16 0 210123 0
vsize: 840556
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 109455 79 0 0 25 0 11 0 839552374 860729344 29178 4294967295 134512640 134569956 3221224368 3221214728 1131203601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29178 13086 16 0 210123 0
vsize: 840556
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 110441 79 0 0 25 0 11 0 839552374 860729344 29208 4294967295 134512640 134569956 3221224368 3221214408 1131401718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29208 13086 16 0 210123 0
vsize: 840556
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 111427 80 0 0 25 0 11 0 839552374 860729344 29239 4294967295 134512640 134569956 3221224368 3221214448 1131288062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29239 13086 16 0 210123 0
vsize: 840556
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 112405 80 0 0 25 0 11 0 839552374 860729344 29271 4294967295 134512640 134569956 3221224368 3221214672 1131278373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29271 13086 16 0 210123 0
vsize: 840556
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 113384 81 0 0 25 0 11 0 839552374 860729344 29325 4294967295 134512640 134569956 3221224368 3221214672 1131277998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29325 13086 16 0 210123 0
vsize: 840556
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 114363 81 0 0 24 0 11 0 839552374 860729344 29376 4294967295 134512640 134569956 3221224368 3221214672 1131278373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29376 13086 16 0 210123 0
vsize: 840556
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 115348 81 0 0 25 0 11 0 839552374 860729344 29419 4294967295 134512640 134569956 3221224368 3221214080 1131600128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29419 13086 16 0 210123 0
vsize: 840556
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 116327 82 0 0 25 0 11 0 839552374 860729344 29485 4294967295 134512640 134569956 3221224368 3221213552 1131602740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29485 13086 16 0 210123 0
vsize: 840556
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 117306 82 0 0 25 0 11 0 839552374 860729344 29535 4294967295 134512640 134569956 3221224368 3221214000 1131602819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29535 13086 16 0 210123 0
vsize: 840556
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 118285 82 0 0 25 0 11 0 839552374 860729344 29641 4294967295 134512640 134569956 3221224368 3221213952 1131246060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29641 13086 16 0 210123 0
vsize: 840556
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 119266 83 0 0 25 0 11 0 839552374 860729344 29742 4294967295 134512640 134569956 3221224368 3221214752 1131587043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29742 13086 16 0 210123 0
vsize: 840556
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16948
Raw data (stat): 16938 (java) R 16937 5562 5561 0 -1 0 18068 0 1 0 120249 83 0 0 25 0 11 0 839552374 860729344 29801 4294967295 134512640 134569956 3221224368 3221214408 1131245333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210139 29801 13086 16 0 210123 0
vsize: 840556
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 16950
Raw data (stat): 16938 (java) Z 16937 5562 5561 0 -1 1036 18068 9806 1 0 120250 83 2309 24 25 0 1 0 839552374 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): 1230.14
CPU time (s): 1226.67
CPU user time (s): 1225.59
CPU system time (s): 1.07883
CPU usage (%): 99.7181
Max. virtual memory (Kb): 840764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####