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/submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
MD5SUM	54139ff5e28c6041ec6c692b0d10f866
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.362944
Number of variables	938
Total number of constraints	700
Number of constraints which are clauses	650
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 29053

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 04:40:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20455 boxname=wulflinc4 idbench=45 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  54139ff5e28c6041ec6c692b0d10f866  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga25_25_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-fpga25_25_sat_pb.cnf.cr.opb
IDLAUNCH: 20455
/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:        725744 kB
Buffers:         34000 kB
Cached:         254604 kB
SwapCached:        600 kB
Active:          49356 kB
Inactive:       241664 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        725492 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            12252 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:01:14 (client local time) WITH STATUS 143 IN 1249.12 SECONDS
stats: 20455 7 1249.12 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-fpga25_25_sat_pb.cnf.cr.opb
c reading problem ... done. Time 2.681 ms.
c #vars     938
c #constraints  700
c starts	: 8
c conflicts	: 3879
c decisions	: 31822
c propagations	: 184272
c inspects	: 1341542
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3878
c root simplifications	: 8
s UNKNOWN
c Total CPU time (ms) : 1239.29
#### 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.84 0.90 0.89 2/54 29286
Raw data (stat): 29286 (runsolver) R 29285 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777842994 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.001 s]
Raw data (loadavg): 1.02 0.94 0.90 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18066 0 1 0 725 38 0 0 25 0 11 0 777842994 857341952 20587 4294967295 134512640 134569956 3221224368 3221214768 1131422114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209312 20587 13086 16 0 209296 0
vsize: 837248
[startup+20.0015 s]
Raw data (loadavg): 1.01 0.94 0.90 3/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18068 0 1 0 1665 38 0 0 25 0 11 0 777842994 859889664 22217 4294967295 134512640 134569956 3221224368 3221214536 1131256708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209934 22217 13086 16 0 209918 0
vsize: 839736
[startup+30.0028 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18068 0 1 0 2627 38 0 0 24 0 11 0 777842994 857636864 22032 4294967295 134512640 134569956 3221224368 3221214536 1131257111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209384 22032 13086 16 0 209368 0
vsize: 837536
[startup+40.0021 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18068 0 1 0 3588 38 0 0 25 0 11 0 777842994 857636864 22032 4294967295 134512640 134569956 3221224368 3221214680 1131297572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209384 22032 13086 16 0 209368 0
vsize: 837536
[startup+50.0031 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18068 0 1 0 4544 39 0 0 25 0 11 0 777842994 857276416 22203 4294967295 134512640 134569956 3221224368 3221214600 1131315331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209296 22203 13086 16 0 209280 0
vsize: 837184
[startup+60.0034 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18068 0 1 0 5514 39 0 0 25 0 11 0 777842994 857276416 22397 4294967295 134512640 134569956 3221224368 3221214744 1131150808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209296 22397 13086 16 0 209280 0
vsize: 837184
[startup+70.0046 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 6475 40 0 0 25 0 11 0 777842994 857276416 22539 4294967295 134512640 134569956 3221224368 3221214616 1131174435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209296 22539 13086 16 0 209280 0
vsize: 837184
[startup+80.0057 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 7437 41 0 0 25 0 11 0 777842994 857276416 22539 4294967295 134512640 134569956 3221224368 3221214536 1131461060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209296 22539 13086 16 0 209280 0
vsize: 837184
[startup+90.006 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 8396 41 0 0 25 0 11 0 777842994 857276416 22633 4294967295 134512640 134569956 3221224368 3221214632 1131452674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209296 22633 13086 16 0 209280 0
vsize: 837184
[startup+100.007 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 9354 41 0 0 25 0 11 0 777842994 857276416 22779 4294967295 134512640 134569956 3221224368 3221214632 1131331825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209296 22779 13086 16 0 209280 0
vsize: 837184
[startup+110.007 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 10314 41 0 0 24 0 11 0 777842994 857276416 22909 4294967295 134512640 134569956 3221224368 3221214680 1131297234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209296 22909 13086 16 0 209280 0
vsize: 837184
[startup+120.008 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 11270 42 0 0 25 0 11 0 777842994 857276416 23129 4294967295 134512640 134569956 3221224368 3221214536 1131460213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209296 23129 13086 16 0 209280 0
vsize: 837184
[startup+130.009 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 12202 43 0 0 24 0 11 0 777842994 857243648 23541 4294967295 134512640 134569956 3221224368 3221214440 1131297356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209288 23541 13086 16 0 209272 0
vsize: 837152
[startup+140.009 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 13148 43 0 0 25 0 11 0 777842994 857210880 23752 4294967295 134512640 134569956 3221224368 3221214744 1131150961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209280 23752 13086 16 0 209264 0
vsize: 837120
[startup+150.01 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 14113 43 0 0 25 0 11 0 777842994 857210880 24046 4294967295 134512640 134569956 3221224368 3221214216 1131507341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209280 24046 13086 16 0 209264 0
vsize: 837120
[startup+160.011 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 15076 44 0 0 25 0 11 0 777842994 857210880 24409 4294967295 134512640 134569956 3221224368 3221214544 1131256485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209280 24409 13086 16 0 209264 0
vsize: 837120
[startup+170.01 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 16040 44 0 0 25 0 11 0 777842994 857210880 24625 4294967295 134512640 134569956 3221224368 3221214272 1131507281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209280 24625 13086 16 0 209264 0
vsize: 837120
[startup+180.011 s]
Raw data (loadavg): 1.08 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 17016 45 0 0 25 0 11 0 777842994 858259456 25003 4294967295 134512640 134569956 3221224368 3221214576 1131256485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 25003 13086 16 0 209520 0
vsize: 838144
[startup+190.012 s]
Raw data (loadavg): 1.07 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 17994 45 0 0 25 0 11 0 777842994 858259456 25107 4294967295 134512640 134569956 3221224368 3221213968 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 25107 13086 16 0 209520 0
vsize: 838144
[startup+200.012 s]
Raw data (loadavg): 1.06 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 18971 45 0 0 25 0 11 0 777842994 858259456 25350 4294967295 134512640 134569956 3221224368 3221214096 1131506025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 25350 13086 16 0 209520 0
vsize: 838144
[startup+210.012 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 19950 45 0 0 25 0 11 0 777842994 858259456 25462 4294967295 134512640 134569956 3221224368 3221214432 1131506159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 25462 13086 16 0 209520 0
vsize: 838144
[startup+220.013 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 20929 45 0 0 25 0 11 0 777842994 858259456 25567 4294967295 134512640 134569956 3221224368 3221214268 1131507275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 25567 13086 16 0 209520 0
vsize: 838144
[startup+230.014 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18069 0 1 0 21894 46 0 0 25 0 11 0 777842994 858259456 25713 4294967295 134512640 134569956 3221224368 3221214616 1131174455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 25713 13086 16 0 209520 0
vsize: 838144
[startup+240.014 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 22850 46 0 0 25 0 11 0 777842994 858259456 26081 4294967295 134512640 134569956 3221224368 3221214536 1131459579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 26081 13086 16 0 209520 0
vsize: 838144
[startup+250.015 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 23817 46 0 0 25 0 11 0 777842994 858259456 26179 4294967295 134512640 134569956 3221224368 3221214536 1131459915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 26179 13086 16 0 209520 0
vsize: 838144
[startup+260.015 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 24774 46 0 0 21 0 11 0 777842994 858259456 26293 4294967295 134512640 134569956 3221224368 3221214432 1131492026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 26293 13086 16 0 209520 0
vsize: 838144
[startup+270.015 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 25741 47 0 0 25 0 11 0 777842994 858259456 26437 4294967295 134512640 134569956 3221224368 3221214680 1131296894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 26437 13086 16 0 209520 0
vsize: 838144
[startup+280.119 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 26729 47 0 0 25 0 11 0 777842994 858259456 26482 4294967295 134512640 134569956 3221224368 3221214472 1131501112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 26482 13086 16 0 209520 0
vsize: 838144
[startup+290.12 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 27686 47 0 0 25 0 11 0 777842994 858259456 26722 4294967295 134512640 134569956 3221224368 3221214320 1131505962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 26722 13086 16 0 209520 0
vsize: 838144
[startup+300.12 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 28664 47 0 0 25 0 11 0 777842994 858259456 26830 4294967295 134512640 134569956 3221224368 3221214056 1131507260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 26830 13086 16 0 209520 0
vsize: 838144
[startup+310.121 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 29629 48 0 0 25 0 11 0 777842994 858259456 27171 4294967295 134512640 134569956 3221224368 3221214640 1131296969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 27171 13086 16 0 209520 0
vsize: 838144
[startup+320.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 30595 48 0 0 25 0 11 0 777842994 858259456 27319 4294967295 134512640 134569956 3221224368 3221214624 1131297211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 27319 13086 16 0 209520 0
vsize: 838144
[startup+330.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 31560 48 0 0 25 0 11 0 777842994 858259456 27458 4294967295 134512640 134569956 3221224368 3221214672 1131315331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 27458 13086 16 0 209520 0
vsize: 838144
[startup+340.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 32538 48 0 0 25 0 11 0 777842994 858259456 27559 4294967295 134512640 134569956 3221224368 3221214240 1131506079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 27559 13086 16 0 209520 0
vsize: 838144
[startup+350.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 33515 48 0 0 25 0 11 0 777842994 858259456 27707 4294967295 134512640 134569956 3221224368 3221214472 1131201740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 27707 13086 16 0 209520 0
vsize: 838144
[startup+360.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 34504 48 0 0 25 0 11 0 777842994 858259456 27770 4294967295 134512640 134569956 3221224368 3221214408 1131506217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 27770 13086 16 0 209520 0
vsize: 838144
[startup+370.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 35470 48 0 0 25 0 11 0 777842994 858259456 28009 4294967295 134512640 134569956 3221224368 3221214136 1131507287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 28009 13086 16 0 209520 0
vsize: 838144
[startup+380.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 36447 49 0 0 25 0 11 0 777842994 858259456 28205 4294967295 134512640 134569956 3221224368 3221213908 1131506185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 28205 13086 16 0 209520 0
vsize: 838144
[startup+390.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 37435 49 0 0 25 0 11 0 777842994 858259456 28266 4294967295 134512640 134569956 3221224368 3221214536 1131315325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 28266 13086 16 0 209520 0
vsize: 838144
[startup+400.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 38401 49 0 0 25 0 11 0 777842994 858259456 28497 4294967295 134512640 134569956 3221224368 3221214416 1131507281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 28497 13086 16 0 209520 0
vsize: 838144
[startup+410.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 39390 49 0 0 25 0 11 0 777842994 858259456 28578 4294967295 134512640 134569956 3221224368 3221214704 1131150784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 28578 13086 16 0 209520 0
vsize: 838144
[startup+420.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 40367 49 0 0 25 0 11 0 777842994 858259456 28703 4294967295 134512640 134569956 3221224368 3221214136 1131506151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 28703 13086 16 0 209520 0
vsize: 838144
[startup+430.127 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 41345 49 0 0 25 0 11 0 777842994 858259456 28889 4294967295 134512640 134569956 3221224368 3221214728 1131317923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 28889 13086 16 0 209520 0
vsize: 838144
[startup+440.127 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 42321 49 0 0 25 0 11 0 777842994 858259456 29077 4294967295 134512640 134569956 3221224368 3221214640 1131297287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 29077 13086 16 0 209520 0
vsize: 838144
[startup+450.128 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 43287 49 0 0 25 0 11 0 777842994 858259456 29328 4294967295 134512640 134569956 3221224368 3221214724 1131300900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 29328 13086 16 0 209520 0
vsize: 838144
[startup+460.128 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 44264 49 0 0 25 0 11 0 777842994 858259456 29454 4294967295 134512640 134569956 3221224368 3221214660 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 29454 13086 16 0 209520 0
vsize: 838144
[startup+470.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 45243 49 0 0 25 0 11 0 777842994 858259456 29649 4294967295 134512640 134569956 3221224368 3221214240 1131506102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 29649 13086 16 0 209520 0
vsize: 838144
[startup+480.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 46221 49 0 0 25 0 11 0 777842994 858259456 29833 4294967295 134512640 134569956 3221224368 3221214080 1131507249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 29833 13086 16 0 209520 0
vsize: 838144
[startup+490.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 47198 49 0 0 25 0 11 0 777842994 858259456 29950 4294967295 134512640 134569956 3221224368 3221214672 1131315203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 29950 13086 16 0 209520 0
vsize: 838144
[startup+500.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 48187 50 0 0 25 0 11 0 777842994 858259456 30052 4294967295 134512640 134569956 3221224368 3221213976 1131507341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 30052 13086 16 0 209520 0
vsize: 838144
[startup+510.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 49166 50 0 0 25 0 11 0 777842994 858259456 30148 4294967295 134512640 134569956 3221224368 3221214640 1131296934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 30148 13086 16 0 209520 0
vsize: 838144
[startup+520.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 50143 50 0 0 25 0 11 0 777842994 858259456 30282 4294967295 134512640 134569956 3221224368 3221214536 1131315203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 30282 13086 16 0 209520 0
vsize: 838144
[startup+530.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 51121 50 0 0 25 0 11 0 777842994 858259456 30432 4294967295 134512640 134569956 3221224368 3221214544 1131507281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 30432 13086 16 0 209520 0
vsize: 838144
[startup+540.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 52099 50 0 0 25 0 11 0 777842994 858259456 30567 4294967295 134512640 134569956 3221224368 3221214148 1131505545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 30567 13086 16 0 209520 0
vsize: 838144
[startup+550.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 53078 50 0 0 25 0 11 0 777842994 858259456 30653 4294967295 134512640 134569956 3221224368 3221214136 1131507929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 30653 13086 16 0 209520 0
vsize: 838144
[startup+560.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 54054 50 0 0 25 0 11 0 777842994 858259456 30801 4294967295 134512640 134569956 3221224368 3221214096 1131507281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 30801 13086 16 0 209520 0
vsize: 838144
[startup+570.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 55018 50 0 0 25 0 11 0 777842994 858259456 31089 4294967295 134512640 134569956 3221224368 3221214352 1131501105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 31089 13086 16 0 209520 0
vsize: 838144
[startup+580.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) S 29285 21152 21151 0 -1 0 18070 0 1 0 55996 50 0 0 25 0 11 0 777842994 858259456 31168 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 31168 13086 16 0 209520 0
vsize: 838144
[startup+590.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 56984 50 0 0 25 0 11 0 777842994 858259456 31303 4294967295 134512640 134569956 3221224368 3221214340 1079721552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 31303 13086 16 0 209520 0
vsize: 838144
[startup+600.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 57961 50 0 0 25 0 11 0 777842994 858259456 31439 4294967295 134512640 134569956 3221224368 3221213792 1085679759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 31439 13086 16 0 209520 0
vsize: 838144
[startup+610.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 58938 50 0 0 25 0 11 0 777842994 858259456 31542 4294967295 134512640 134569956 3221224368 3221214432 1131507249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 31542 13086 16 0 209520 0
vsize: 838144
[startup+620.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 59917 50 0 0 25 0 11 0 777842994 858259456 31699 4294967295 134512640 134569956 3221224368 3221214408 1131501112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 31699 13086 16 0 209520 0
vsize: 838144
[startup+630.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 60893 50 0 0 25 0 11 0 777842994 858259456 31796 4294967295 134512640 134569956 3221224368 3221214184 1085632301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 31796 13086 16 0 209520 0
vsize: 838144
[startup+640.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 61881 50 0 0 25 0 11 0 777842994 858259456 31963 4294967295 134512640 134569956 3221224368 3221214416 1131505557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 31963 13086 16 0 209520 0
vsize: 838144
[startup+650.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 62870 50 0 0 25 0 11 0 777842994 858259456 32049 4294967295 134512640 134569956 3221224368 3221214544 1131507256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 32049 13086 16 0 209520 0
vsize: 838144
[startup+660.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 63859 50 0 0 25 0 11 0 777842994 858259456 32119 4294967295 134512640 134569956 3221224368 3221214264 1131507256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 32119 13086 16 0 209520 0
vsize: 838144
[startup+670.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 64846 50 0 0 25 0 11 0 777842994 858259456 32177 4294967295 134512640 134569956 3221224368 3221214532 1131505536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 32177 13086 16 0 209520 0
vsize: 838144
[startup+680.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 65810 50 0 0 25 0 11 0 777842994 858259456 32499 4294967295 134512640 134569956 3221224368 3221214248 1131506178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 32499 13086 16 0 209520 0
vsize: 838144
[startup+690.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 66787 50 0 0 25 0 11 0 777842994 858259456 32694 4294967295 134512640 134569956 3221224368 3221214472 1131506184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 32694 13086 16 0 209520 0
vsize: 838144
[startup+700.143 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 67742 50 0 0 25 0 11 0 777842994 858259456 32982 4294967295 134512640 134569956 3221224368 3221214160 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 32982 13086 16 0 209520 0
vsize: 838144
[startup+710.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 68700 50 0 0 25 0 11 0 777842994 858259456 33208 4294967295 134512640 134569956 3221224368 3221214224 1085679766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 33208 13086 16 0 209520 0
vsize: 838144
[startup+720.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 69660 50 0 0 25 0 11 0 777842994 858259456 33296 4294967295 134512640 134569956 3221224368 3221214544 1131507256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 33296 13086 16 0 209520 0
vsize: 838144
[startup+730.145 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 70629 50 0 0 25 0 11 0 777842994 858259456 33383 4294967295 134512640 134569956 3221224368 3221214144 1131506151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 33383 13086 16 0 209520 0
vsize: 838144
[startup+740.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 71587 50 0 0 25 0 11 0 777842994 858259456 33575 4294967295 134512640 134569956 3221224368 3221214148 1131507216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 33575 13086 16 0 209520 0
vsize: 838144
[startup+750.145 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 72556 50 0 0 25 0 11 0 777842994 858259456 33760 4294967295 134512640 134569956 3221224368 3221214100 1131507280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 33760 13086 16 0 209520 0
vsize: 838144
[startup+760.145 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 73515 50 0 0 25 0 11 0 777842994 858259456 33803 4294967295 134512640 134569956 3221224368 3221214640 1131296865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 33803 13086 16 0 209520 0
vsize: 838144
[startup+770.145 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 74474 50 0 0 25 0 11 0 777842994 858259456 33878 4294967295 134512640 134569956 3221224368 3221214472 1131256442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 33878 13086 16 0 209520 0
vsize: 838144
[startup+780.146 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 75422 50 0 0 25 0 11 0 777842994 858259456 34054 4294967295 134512640 134569956 3221224368 3221214568 1131331791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 34054 13086 16 0 209520 0
vsize: 838144
[startup+790.146 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 76375 50 0 0 25 0 11 0 777842994 858259456 34150 4294967295 134512640 134569956 3221224368 3221214136 1131507877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 34150 13086 16 0 209520 0
vsize: 838144
[startup+800.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) S 29285 21152 21151 0 -1 0 18070 0 1 0 77331 50 0 0 25 0 11 0 777842994 858259456 34298 4294967295 134512640 134569956 3221224368 3221213224 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 34298 13086 16 0 209520 0
vsize: 838144
[startup+810.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 78282 50 0 0 25 0 11 0 777842994 858259456 34388 4294967295 134512640 134569956 3221224368 3221214472 1131461140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 34388 13086 16 0 209520 0
vsize: 838144
[startup+820.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 79238 50 0 0 25 0 11 0 777842994 858259456 34533 4294967295 134512640 134569956 3221224368 3221214184 1131501160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 34533 13086 16 0 209520 0
vsize: 838144
[startup+830.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 80199 50 0 0 25 0 11 0 777842994 858259456 34695 4294967295 134512640 134569956 3221224368 3221214640 1131297906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 34695 13086 16 0 209520 0
vsize: 838144
[startup+840.155 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) S 29285 21152 21151 0 -1 0 18070 0 1 0 81159 50 0 0 25 0 11 0 777842994 858259456 34787 4294967295 134512640 134569956 3221224368 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 34787 13086 16 0 209520 0
vsize: 838144
[startup+850.157 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 82133 50 0 0 25 0 11 0 777842994 858259456 34882 4294967295 134512640 134569956 3221224368 3221214136 1131505554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 34882 13086 16 0 209520 0
vsize: 838144
[startup+860.157 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 83102 50 0 0 25 0 11 0 777842994 858259456 34949 4294967295 134512640 134569956 3221224368 3221214660 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 34949 13086 16 0 209520 0
vsize: 838144
[startup+870.158 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 84061 51 0 0 25 0 11 0 777842994 858259456 35062 4294967295 134512640 134569956 3221224368 3221214472 1131461196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 35062 13086 16 0 209520 0
vsize: 838144
[startup+880.158 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 85013 51 0 0 25 0 11 0 777842994 858259456 35210 4294967295 134512640 134569956 3221224368 3221214704 1131150784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 35210 13086 16 0 209520 0
vsize: 838144
[startup+890.158 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 85957 51 0 0 25 0 11 0 777842994 858259456 35339 4294967295 134512640 134569956 3221224368 3221214640 1131297607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 35339 13086 16 0 209520 0
vsize: 838144
[startup+900.159 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 86912 51 0 0 25 0 11 0 777842994 858259456 35491 4294967295 134512640 134569956 3221224368 3221214640 1131297329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 35491 13086 16 0 209520 0
vsize: 838144
[startup+910.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 87878 51 0 0 25 0 11 0 777842994 858259456 35577 4294967295 134512640 134569956 3221224368 3221214036 1131506148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 35577 13086 16 0 209520 0
vsize: 838144
[startup+920.161 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 88837 52 0 0 25 0 11 0 777842994 858259456 35774 4294967295 134512640 134569956 3221224368 3221214640 1131506184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 35774 13086 16 0 209520 0
vsize: 838144
[startup+930.161 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 89804 52 0 0 25 0 11 0 777842994 858259456 35884 4294967295 134512640 134569956 3221224368 3221214568 1131331571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 35884 13086 16 0 209520 0
vsize: 838144
[startup+940.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 90787 52 0 0 25 0 11 0 777842994 858259456 35929 4294967295 134512640 134569956 3221224368 3221214568 1131331619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 35929 13086 16 0 209520 0
vsize: 838144
[startup+950.161 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 91777 52 0 0 25 0 11 0 777842994 858259456 35948 4294967295 134512640 134569956 3221224368 3221214544 1131507117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 35948 13086 16 0 209520 0
vsize: 838144
[startup+960.161 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 92768 52 0 0 25 0 11 0 777842994 858259456 35972 4294967295 134512640 134569956 3221224368 3221214640 1131297821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 35972 13086 16 0 209520 0
vsize: 838144
[startup+970.161 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 93749 52 0 0 25 0 11 0 777842994 858259456 36008 4294967295 134512640 134569956 3221224368 3221213992 1131507256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 36008 13086 16 0 209520 0
vsize: 838144
[startup+980.162 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 94738 52 0 0 25 0 11 0 777842994 858259456 36026 4294967295 134512640 134569956 3221224368 3221214640 1131296861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 36026 13086 16 0 209520 0
vsize: 838144
[startup+990.162 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 95704 52 0 0 24 0 11 0 777842994 858259456 36111 4294967295 134512640 134569956 3221224368 3221214704 1131150784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 36111 13086 16 0 209520 0
vsize: 838144
[startup+1000.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 96681 52 0 0 25 0 11 0 777842994 858259456 36207 4294967295 134512640 134569956 3221224368 3221214472 1131461064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 36207 13086 16 0 209520 0
vsize: 838144
[startup+1010.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 97658 52 0 0 25 0 11 0 777842994 858259456 36330 4294967295 134512640 134569956 3221224368 3221214320 1131507228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 36330 13086 16 0 209520 0
vsize: 838144
[startup+1020.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 98625 52 0 0 25 0 11 0 777842994 858259456 36494 4294967295 134512640 134569956 3221224368 3221214096 1131507292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 36494 13086 16 0 209520 0
vsize: 838144
[startup+1030.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 99602 52 0 0 25 0 11 0 777842994 858259456 36594 4294967295 134512640 134569956 3221224368 3221214528 1131506184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 36594 13086 16 0 209520 0
vsize: 838144
[startup+1040.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 100579 52 0 0 25 0 11 0 777842994 858259456 36712 4294967295 134512640 134569956 3221224368 3221214080 1131507900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 36712 13086 16 0 209520 0
vsize: 838144
[startup+1050.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 101554 52 0 0 25 0 11 0 777842994 858259456 36866 4294967295 134512640 134569956 3221224368 3221214032 1131506178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 36866 13086 16 0 209520 0
vsize: 838144
[startup+1060.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 102542 52 0 0 25 0 11 0 777842994 858259456 36932 4294967295 134512640 134569956 3221224368 3221214264 1131507294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 36932 13086 16 0 209520 0
vsize: 838144
[startup+1070.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 103542 52 0 0 25 0 11 0 777842994 858259456 36932 4294967295 134512640 134569956 3221224368 3221213872 1131505971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 36932 13086 16 0 209520 0
vsize: 838144
[startup+1080.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 104529 52 0 0 25 0 11 0 777842994 858259456 37086 4294967295 134512640 134569956 3221224368 3221213992 1131507173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 37086 13086 16 0 209520 0
vsize: 838144
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 105518 52 0 0 25 0 11 0 777842994 858259456 37165 4294967295 134512640 134569956 3221224368 3221214648 1131505962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 37165 13086 16 0 209520 0
vsize: 838144
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 106507 52 0 0 25 0 11 0 777842994 858259456 37219 4294967295 134512640 134569956 3221224368 3221214432 1131507138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 37219 13086 16 0 209520 0
vsize: 838144
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 107483 52 0 0 25 0 11 0 777842994 858259456 37405 4294967295 134512640 134569956 3221224368 3221214480 1131506172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 37405 13086 16 0 209520 0
vsize: 838144
[startup+1120.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 108472 53 0 0 25 0 11 0 777842994 858259456 37450 4294967295 134512640 134569956 3221224368 3221213992 1131507228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 37450 13086 16 0 209520 0
vsize: 838144
[startup+1130.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 109460 53 0 0 25 0 11 0 777842994 858259456 37539 4294967295 134512640 134569956 3221224368 3221214640 1131297776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 37539 13086 16 0 209520 0
vsize: 838144
[startup+1140.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 110437 53 0 0 25 0 11 0 777842994 858259456 37704 4294967295 134512640 134569956 3221224368 3221214228 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 37704 13086 16 0 209520 0
vsize: 838144
[startup+1150.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 111415 53 0 0 25 0 11 0 777842994 858259456 37827 4294967295 134512640 134569956 3221224368 3221214472 1131459550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 37827 13086 16 0 209520 0
vsize: 838144
[startup+1160.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 112392 53 0 0 25 0 11 0 777842994 858259456 37960 4294967295 134512640 134569956 3221224368 3221213792 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 37960 13086 16 0 209520 0
vsize: 838144
[startup+1170.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 29296
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 113383 53 0 0 25 0 11 0 777842994 858259456 38054 4294967295 134512640 134569956 3221224368 3221214376 1131507341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 38054 13086 16 0 209520 0
vsize: 838144
[startup+1180.21 s]
Raw data (loadavg): 1.15 1.01 0.93 2/64 29349
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 114370 53 0 0 25 0 11 0 777842994 858259456 38109 4294967295 134512640 134569956 3221224368 3221213736 1085679356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 38109 13086 16 0 209520 0
vsize: 838144
[startup+1190.21 s]
Raw data (loadavg): 1.13 1.00 0.93 2/64 29349
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 115347 53 0 0 25 0 11 0 777842994 858259456 38171 4294967295 134512640 134569956 3221224368 3221214288 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 38171 13086 16 0 209520 0
vsize: 838144
[startup+1200.21 s]
Raw data (loadavg): 1.11 1.00 0.93 2/64 29349
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 116334 53 0 0 25 0 11 0 777842994 858259456 38264 4294967295 134512640 134569956 3221224368 3221214424 1131505945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 38264 13086 16 0 209520 0
vsize: 838144
[startup+1210.21 s]
Raw data (loadavg): 1.09 1.00 0.93 2/64 29349
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 117323 53 0 0 25 0 11 0 777842994 858259456 38325 4294967295 134512640 134569956 3221224368 3221214060 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 38325 13086 16 0 209520 0
vsize: 838144
[startup+1220.21 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 29349
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 118322 54 0 0 25 0 11 0 777842994 858259456 38325 4294967295 134512640 134569956 3221224368 3221214488 1131507281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 38325 13086 16 0 209520 0
vsize: 838144
[startup+1230.21 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 29349
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 119310 54 0 0 25 0 11 0 777842994 858259456 38407 4294967295 134512640 134569956 3221224368 3221213612 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209536 38407 13086 16 0 209520 0
vsize: 838144
[startup+1240.21 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 29349
Raw data (stat): 29286 (java) R 29285 21152 21151 0 -1 0 18070 0 1 0 120297 54 0 0 25 0 11 0 777842994 858259456 38490 4294967295 134512640 134569956 3221224368 3221214680 1131174386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209536 38490 13086 16 0 209520 0
vsize: 838144
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.34 s]
Raw data (loadavg): 1.05 1.00 0.93 1/54 29351
Raw data (stat): 29286 (java) Z 29285 21152 21151 0 -1 1036 18070 24700 1 0 120303 61 4493 53 25 0 1 0 777842994 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.33
CPU time (s): 1249.12
CPU user time (s): 1247.97
CPU system time (s): 1.15082
CPU usage (%): 100.708
Max. virtual memory (Kb): 839736
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####