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-fpga40_39_sat_pb.cnf.cr.opb
MD5SUM	b0b9c98556325dcf5a5811fc2d17a816
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	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	4.5833
Number of variables	2340
Total number of constraints	1678
Number of constraints which are clauses	1599
Number of constraints which are cardinality constraints (but not clauses)	79
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 29111

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        769648 kB
Buffers:         15448 kB
Cached:         220212 kB
SwapCached:       3972 kB
Active:          45060 kB
Inactive:       197472 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        769396 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            16616 kB
Committed_AS:    92704 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:05:54 (client local time) WITH STATUS 143 IN 1239.68 SECONDS
stats: 20463 7 1239.68 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-fpga40_39_sat_pb.cnf.cr.opb
c reading problem ... done. Time 5.027 ms.
c #vars     2340
c #constraints  1678
c starts	: 3
c conflicts	: 357
c decisions	: 4563
c propagations	: 40602
c inspects	: 108272
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 357
c root simplifications	: 3
s UNKNOWN
c Total CPU time (ms) : 1225.344
#### 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.94 0.90 2/55 18257
Raw data (stat): 18257 (runsolver) R 18256 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 721023853 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.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 4/65 18267
Raw data (stat): 18257 (java) S 18256 8378 8377 0 -1 0 17957 0 93 0 444 42 0 0 25 0 11 0 721023853 856940544 19947 4294967295 134512640 134569956 3221224368 3221214196 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209214 19947 13086 16 0 209198 0
vsize: 836856
[startup+20.0012 s]
Raw data (loadavg): 1.33 1.04 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18003 0 93 0 1299 42 0 0 25 0 11 0 721023853 860794880 22831 4294967295 134512640 134569956 3221224368 3221214528 1131257806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22831 13086 16 0 210139 0
vsize: 840620
[startup+30.0019 s]
Raw data (loadavg): 1.28 1.04 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18003 0 93 0 2271 42 0 0 25 0 11 0 721023853 860139520 23523 4294967295 134512640 134569956 3221224368 3221214504 1131403321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 23523 13086 16 0 209979 0
vsize: 839980
[startup+40.0018 s]
Raw data (loadavg): 1.24 1.04 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 93 0 3253 42 0 0 25 0 11 0 721023853 860139520 23532 4294967295 134512640 134569956 3221224368 3221214520 1131467797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 23532 13086 16 0 209979 0
vsize: 839980
[startup+50.0095 s]
Raw data (loadavg): 1.20 1.03 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 4228 43 0 0 25 0 11 0 721023853 860139520 23533 4294967295 134512640 134569956 3221224368 3221214528 1131257685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 23533 13086 16 0 209979 0
vsize: 839980
[startup+60.0092 s]
Raw data (loadavg): 1.17 1.03 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 5209 43 0 0 25 0 11 0 721023853 860139520 23533 4294967295 134512640 134569956 3221224368 3221214600 1131195048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 23533 13086 16 0 209979 0
vsize: 839980
[startup+70.0101 s]
Raw data (loadavg): 1.14 1.03 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 6191 43 0 0 25 0 11 0 721023853 860139520 23533 4294967295 134512640 134569956 3221224368 3221214520 1131467595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 23533 13086 16 0 209979 0
vsize: 839980
[startup+80.0109 s]
Raw data (loadavg): 1.12 1.03 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 7171 43 0 0 25 0 11 0 721023853 860139520 23533 4294967295 134512640 134569956 3221224368 3221214624 1131340726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 23533 13086 16 0 209979 0
vsize: 839980
[startup+90.0107 s]
Raw data (loadavg): 1.10 1.03 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 8157 43 0 0 25 0 11 0 721023853 860139520 23533 4294967295 134512640 134569956 3221224368 3221214528 1131257850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 23533 13086 16 0 209979 0
vsize: 839980
[startup+100.012 s]
Raw data (loadavg): 1.09 1.03 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 9138 43 0 0 25 0 11 0 721023853 860139520 23533 4294967295 134512640 134569956 3221224368 3221214624 1131340690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 23533 13086 16 0 209979 0
vsize: 839980
[startup+110.012 s]
Raw data (loadavg): 1.07 1.03 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 10116 43 0 0 25 0 11 0 721023853 860139520 23533 4294967295 134512640 134569956 3221224368 3221214520 1131467863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 23533 13086 16 0 209979 0
vsize: 839980
[startup+120.02 s]
Raw data (loadavg): 1.06 1.02 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 11101 43 0 0 25 0 11 0 721023853 860139520 23533 4294967295 134512640 134569956 3221224368 3221214624 1131340881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 23533 13086 16 0 209979 0
vsize: 839980
[startup+130.02 s]
Raw data (loadavg): 1.05 1.02 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 12079 44 0 0 25 0 11 0 721023853 860139520 23533 4294967295 134512640 134569956 3221224368 3221214556 1130885240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 23533 13086 16 0 209979 0
vsize: 839980
[startup+140.02 s]
Raw data (loadavg): 1.04 1.02 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 13058 44 0 0 25 0 11 0 721023853 860139520 23976 4294967295 134512640 134569956 3221224368 3221214528 1131258038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 23976 13086 16 0 209979 0
vsize: 839980
[startup+150.02 s]
Raw data (loadavg): 1.04 1.02 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 14048 44 0 0 25 0 11 0 721023853 860139520 24001 4294967295 134512640 134569956 3221224368 3221214616 1131277911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24001 13086 16 0 209979 0
vsize: 839980
[startup+160.02 s]
Raw data (loadavg): 1.03 1.02 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 15041 44 0 0 25 0 11 0 721023853 860139520 24001 4294967295 134512640 134569956 3221224368 3221214736 1131194375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24001 13086 16 0 209979 0
vsize: 839980
[startup+170.021 s]
Raw data (loadavg): 1.02 1.02 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 16030 44 0 0 25 0 11 0 721023853 860139520 24026 4294967295 134512640 134569956 3221224368 3221214624 1131567600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24026 13086 16 0 209979 0
vsize: 839980
[startup+180.021 s]
Raw data (loadavg): 1.02 1.02 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 17019 45 0 0 24 0 11 0 721023853 860139520 24050 4294967295 134512640 134569956 3221224368 3221214528 1131257897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24050 13086 16 0 209979 0
vsize: 839980
[startup+190.021 s]
Raw data (loadavg): 1.02 1.02 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 18010 45 0 0 25 0 11 0 721023853 860139520 24075 4294967295 134512640 134569956 3221224368 3221214624 1131340659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24075 13086 16 0 209979 0
vsize: 839980
[startup+200.021 s]
Raw data (loadavg): 1.01 1.02 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 19000 45 0 0 25 0 11 0 721023853 860139520 24099 4294967295 134512640 134569956 3221224368 3221214528 1131257753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24099 13086 16 0 209979 0
vsize: 839980
[startup+210.021 s]
Raw data (loadavg): 1.01 1.02 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 19990 45 0 0 25 0 11 0 721023853 860139520 24123 4294967295 134512640 134569956 3221224368 3221214528 1131257897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24123 13086 16 0 209979 0
vsize: 839980
[startup+220.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 20983 45 0 0 25 0 11 0 721023853 860139520 24147 4294967295 134512640 134569956 3221224368 3221214520 1131467783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24147 13086 16 0 209979 0
vsize: 839980
[startup+230.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 21972 45 0 0 25 0 11 0 721023853 860139520 24148 4294967295 134512640 134569956 3221224368 3221214624 1131567743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24148 13086 16 0 209979 0
vsize: 839980
[startup+240.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 22962 45 0 0 25 0 11 0 721023853 860139520 24173 4294967295 134512640 134569956 3221224368 3221214624 1131340646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24173 13086 16 0 209979 0
vsize: 839980
[startup+250.022 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 23954 45 0 0 25 0 11 0 721023853 860139520 24197 4294967295 134512640 134569956 3221224368 3221214608 1131194296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24197 13086 16 0 209979 0
vsize: 839980
[startup+260.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 24943 46 0 0 25 0 11 0 721023853 860139520 24229 4294967295 134512640 134569956 3221224368 3221214624 1131340726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 24229 13086 16 0 209979 0
vsize: 839980
[startup+270.024 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 25933 46 0 0 25 0 11 0 721023853 860139520 24256 4294967295 134512640 134569956 3221224368 3221214624 1131340989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 24256 13086 16 0 209979 0
vsize: 839980
[startup+280.024 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 26923 46 0 0 25 0 11 0 721023853 860139520 24281 4294967295 134512640 134569956 3221224368 3221214520 1131466872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24281 13086 16 0 209979 0
vsize: 839980
[startup+290.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 27915 46 0 0 25 0 11 0 721023853 860139520 24306 4294967295 134512640 134569956 3221224368 3221214528 1131257897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 24306 13086 16 0 209979 0
vsize: 839980
[startup+300.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 28905 46 0 0 25 0 11 0 721023853 860139520 24331 4294967295 134512640 134569956 3221224368 3221214520 1131467803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24331 13086 16 0 209979 0
vsize: 839980
[startup+310.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 29895 46 0 0 25 0 11 0 721023853 860139520 24331 4294967295 134512640 134569956 3221224368 3221214528 1131257897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24331 13086 16 0 209979 0
vsize: 839980
[startup+320.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 30885 47 0 0 25 0 11 0 721023853 860139520 24356 4294967295 134512640 134569956 3221224368 3221214528 1131257854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24356 13086 16 0 209979 0
vsize: 839980
[startup+330.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 31877 47 0 0 25 0 11 0 721023853 860139520 24381 4294967295 134512640 134569956 3221224368 3221214624 1131340613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24381 13086 16 0 209979 0
vsize: 839980
[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 32867 47 0 0 25 0 11 0 721023853 860139520 24405 4294967295 134512640 134569956 3221224368 3221214528 1131257897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24405 13086 16 0 209979 0
vsize: 839980
[startup+350.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 33857 48 0 0 25 0 11 0 721023853 860139520 24429 4294967295 134512640 134569956 3221224368 3221214624 1131340636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24429 13086 16 0 209979 0
vsize: 839980
[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 34847 48 0 0 25 0 11 0 721023853 860139520 24454 4294967295 134512640 134569956 3221224368 3221214580 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24454 13086 16 0 209979 0
vsize: 839980
[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 35840 48 0 0 25 0 11 0 721023853 860139520 24479 4294967295 134512640 134569956 3221224368 3221214520 1131467813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 24479 13086 16 0 209979 0
vsize: 839980
[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 36830 48 0 0 25 0 11 0 721023853 860139520 24503 4294967295 134512640 134569956 3221224368 3221214624 1131567712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24503 13086 16 0 209979 0
vsize: 839980
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 37820 49 0 0 25 0 11 0 721023853 860139520 24528 4294967295 134512640 134569956 3221224368 3221214624 1131340659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24528 13086 16 0 209979 0
vsize: 839980
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 38810 49 0 0 25 0 11 0 721023853 860139520 24528 4294967295 134512640 134569956 3221224368 3221214624 1131340693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24528 13086 16 0 209979 0
vsize: 839980
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 39802 49 0 0 25 0 11 0 721023853 860139520 24552 4294967295 134512640 134569956 3221224368 3221214624 1131340701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24552 13086 16 0 209979 0
vsize: 839980
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 40792 49 0 0 25 0 11 0 721023853 860139520 24576 4294967295 134512640 134569956 3221224368 3221214528 1131257736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24576 13086 16 0 209979 0
vsize: 839980
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 41781 49 0 0 25 0 11 0 721023853 860139520 24600 4294967295 134512640 134569956 3221224368 3221214580 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24600 13086 16 0 209979 0
vsize: 839980
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 42770 50 0 0 18 0 11 0 721023853 860139520 24624 4294967295 134512640 134569956 3221224368 3221214648 1131213539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24624 13086 16 0 209979 0
vsize: 839980
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 43763 50 0 0 25 0 11 0 721023853 860139520 24649 4294967295 134512640 134569956 3221224368 3221214624 1131567743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24649 13086 16 0 209979 0
vsize: 839980
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 44751 50 0 0 25 0 11 0 721023853 860139520 24673 4294967295 134512640 134569956 3221224368 3221214528 1131258124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24673 13086 16 0 209979 0
vsize: 839980
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 45741 50 0 0 25 0 11 0 721023853 860139520 24697 4294967295 134512640 134569956 3221224368 3221214496 1131476614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 24697 13086 16 0 209979 0
vsize: 839980
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 46731 51 0 0 25 0 11 0 721023853 860139520 24697 4294967295 134512640 134569956 3221224368 3221214624 1131340855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24697 13086 16 0 209979 0
vsize: 839980
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 47719 51 0 0 25 0 11 0 721023853 860139520 24721 4294967295 134512640 134569956 3221224368 3221214608 1131194375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24721 13086 16 0 209979 0
vsize: 839980
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 48707 51 0 0 25 0 11 0 721023853 860139520 24745 4294967295 134512640 134569956 3221224368 3221214520 1131468490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24745 13086 16 0 209979 0
vsize: 839980
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 49699 51 0 0 25 0 11 0 721023853 860139520 24769 4294967295 134512640 134569956 3221224368 3221214600 1131195066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24769 13086 16 0 209979 0
vsize: 839980
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 50688 51 0 0 25 0 11 0 721023853 860139520 24795 4294967295 134512640 134569956 3221224368 3221214624 1131340985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24795 13086 16 0 209979 0
vsize: 839980
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 51677 51 0 0 25 0 11 0 721023853 860139520 24833 4294967295 134512640 134569956 3221224368 3221214528 1131257897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24833 13086 16 0 209979 0
vsize: 839980
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 52666 51 0 0 25 0 11 0 721023853 860139520 24862 4294967295 134512640 134569956 3221224368 3221214584 1131195900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24862 13086 16 0 209979 0
vsize: 839980
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 53656 51 0 0 25 0 11 0 721023853 860139520 24889 4294967295 134512640 134569956 3221224368 3221214520 1131466833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24889 13086 16 0 209979 0
vsize: 839980
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) S 18256 8378 8377 0 -1 0 18004 0 94 0 54648 51 0 0 25 0 11 0 721023853 860139520 24914 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24914 13086 16 0 209979 0
vsize: 839980
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 55639 52 0 0 25 0 11 0 721023853 860139520 24914 4294967295 134512640 134569956 3221224368 3221214624 1131340772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24914 13086 16 0 209979 0
vsize: 839980
[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 56628 52 0 0 25 0 11 0 721023853 860139520 24914 4294967295 134512640 134569956 3221224368 3221214624 1131567623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24914 13086 16 0 209979 0
vsize: 839980
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 57616 52 0 0 25 0 11 0 721023853 860139520 24967 4294967295 134512640 134569956 3221224368 3221214528 1131257854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 24967 13086 16 0 209979 0
vsize: 839980
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 58606 52 0 0 25 0 11 0 721023853 860139520 25018 4294967295 134512640 134569956 3221224368 3221214528 1131258567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25018 13086 16 0 209979 0
vsize: 839980
[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 59600 52 0 0 25 0 11 0 721023853 860139520 25018 4294967295 134512640 134569956 3221224368 3221214536 1131466558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25018 13086 16 0 209979 0
vsize: 839980
[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 60590 52 0 0 25 0 11 0 721023853 860139520 25043 4294967295 134512640 134569956 3221224368 3221214544 1131257884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25043 13086 16 0 209979 0
vsize: 839980
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 61581 52 0 0 25 0 11 0 721023853 860139520 25068 4294967295 134512640 134569956 3221224368 3221214760 1131358149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25068 13086 16 0 209979 0
vsize: 839980
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 62571 52 0 0 25 0 11 0 721023853 860139520 25092 4294967295 134512640 134569956 3221224368 3221214600 1131194344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25092 13086 16 0 209979 0
vsize: 839980
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) S 18256 8378 8377 0 -1 0 18004 0 94 0 63563 52 0 0 25 0 11 0 721023853 860139520 25116 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25116 13086 16 0 209979 0
vsize: 839980
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 64556 53 0 0 25 0 11 0 721023853 860139520 25116 4294967295 134512640 134569956 3221224368 3221214640 1131340896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25116 13086 16 0 209979 0
vsize: 839980
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 65547 53 0 0 25 0 11 0 721023853 860139520 25141 4294967295 134512640 134569956 3221224368 3221214544 1131257733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25141 13086 16 0 209979 0
vsize: 839980
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 66537 53 0 0 25 0 11 0 721023853 860139520 25165 4294967295 134512640 134569956 3221224368 3221214596 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 25165 13086 16 0 209979 0
vsize: 839980
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 67528 53 0 0 25 0 11 0 721023853 860139520 25189 4294967295 134512640 134569956 3221224368 3221214536 1131466817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25189 13086 16 0 209979 0
vsize: 839980
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18004 0 94 0 68519 53 0 0 25 0 11 0 721023853 860139520 25213 4294967295 134512640 134569956 3221224368 3221214544 1131257833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25213 13086 16 0 209979 0
vsize: 839980
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 69507 53 0 0 25 0 11 0 721023853 860139520 25239 4294967295 134512640 134569956 3221224368 3221214624 1131194344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25239 13086 16 0 209979 0
vsize: 839980
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 70495 53 0 0 25 0 11 0 721023853 860139520 25263 4294967295 134512640 134569956 3221224368 3221214536 1131466544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25263 13086 16 0 209979 0
vsize: 839980
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 71484 53 0 0 25 0 11 0 721023853 860139520 25263 4294967295 134512640 134569956 3221224368 3221214600 1131194296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25263 13086 16 0 209979 0
vsize: 839980
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 72467 53 0 0 25 0 11 0 721023853 860139520 25287 4294967295 134512640 134569956 3221224368 3221214656 1131310943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25287 13086 16 0 209979 0
vsize: 839980
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 73455 53 0 0 25 0 11 0 721023853 860139520 25311 4294967295 134512640 134569956 3221224368 3221214600 1131195888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25311 13086 16 0 209979 0
vsize: 839980
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 74436 53 0 0 25 0 11 0 721023853 860139520 25335 4294967295 134512640 134569956 3221224368 3221214596 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25335 13086 16 0 209979 0
vsize: 839980
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 75425 53 0 0 25 0 11 0 721023853 860139520 25359 4294967295 134512640 134569956 3221224368 3221214544 1131257897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25359 13086 16 0 209979 0
vsize: 839980
[startup+780.042 s]
Raw data (loadavg): 1.07 1.02 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 76408 53 0 0 25 0 11 0 721023853 860139520 25359 4294967295 134512640 134569956 3221224368 3221214640 1131340964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25359 13086 16 0 209979 0
vsize: 839980
[startup+790.042 s]
Raw data (loadavg): 1.14 1.03 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 77397 53 0 0 25 0 11 0 721023853 860139520 25383 4294967295 134512640 134569956 3221224368 3221214536 1131466817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 25383 13086 16 0 209979 0
vsize: 839980
[startup+800.042 s]
Raw data (loadavg): 1.12 1.03 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 78380 53 0 0 25 0 11 0 721023853 860139520 25408 4294967295 134512640 134569956 3221224368 3221214344 1076461350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25408 13086 16 0 209979 0
vsize: 839980
[startup+810.042 s]
Raw data (loadavg): 1.10 1.03 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 79370 53 0 0 25 0 11 0 721023853 860139520 25432 4294967295 134512640 134569956 3221224368 3221214640 1131340659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25432 13086 16 0 209979 0
vsize: 839980
[startup+820.043 s]
Raw data (loadavg): 1.08 1.03 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 80354 53 0 0 25 0 11 0 721023853 860139520 25432 4294967295 134512640 134569956 3221224368 3221214536 1131466883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25432 13086 16 0 209979 0
vsize: 839980
[startup+830.043 s]
Raw data (loadavg): 1.07 1.03 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 81344 53 0 0 25 0 11 0 721023853 860139520 25432 4294967295 134512640 134569956 3221224368 3221214640 1131340834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25432 13086 16 0 209979 0
vsize: 839980
[startup+840.043 s]
Raw data (loadavg): 1.06 1.03 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 82330 53 0 0 25 0 11 0 721023853 860139520 25745 4294967295 134512640 134569956 3221224368 3221214636 1131194279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25745 13086 16 0 209979 0
vsize: 839980
[startup+850.043 s]
Raw data (loadavg): 1.05 1.02 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 83326 53 0 0 25 0 11 0 721023853 860139520 25745 4294967295 134512640 134569956 3221224368 3221214544 1131257854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25745 13086 16 0 209979 0
vsize: 839980
[startup+860.043 s]
Raw data (loadavg): 1.04 1.02 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 84320 53 0 0 25 0 11 0 721023853 860139520 25745 4294967295 134512640 134569956 3221224368 3221214536 1131467871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25745 13086 16 0 209979 0
vsize: 839980
[startup+870.044 s]
Raw data (loadavg): 1.04 1.02 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 85309 53 0 0 25 0 11 0 721023853 860139520 25820 4294967295 134512640 134569956 3221224368 3221214640 1131567724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25820 13086 16 0 209979 0
vsize: 839980
[startup+880.044 s]
Raw data (loadavg): 1.03 1.02 0.94 2/65 18267
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 86299 53 0 0 25 0 11 0 721023853 860139520 25844 4294967295 134512640 134569956 3221224368 3221214640 1131340881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25844 13086 16 0 209979 0
vsize: 839980
[startup+890.044 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 18320
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 87286 53 0 0 25 0 11 0 721023853 860139520 25844 4294967295 134512640 134569956 3221224368 3221214616 1131229668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 25844 13086 16 0 209979 0
vsize: 839980
[startup+900.044 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 18320
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 88272 53 0 0 25 0 11 0 721023853 860139520 25844 4294967295 134512640 134569956 3221224368 3221214536 1131467012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 25844 13086 16 0 209979 0
vsize: 839980
[startup+910.044 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 18320
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 89248 53 0 0 25 0 11 0 721023853 860139520 25868 4294967295 134512640 134569956 3221224368 3221214640 1131340896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 25868 13086 16 0 209979 0
vsize: 839980
[startup+920.045 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 18320
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 90212 53 0 0 25 0 11 0 721023853 860139520 25987 4294967295 134512640 134569956 3221224368 3221214536 1131467783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 25987 13086 16 0 209979 0
vsize: 839980
[startup+930.045 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 18320
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 91188 53 0 0 25 0 11 0 721023853 860139520 26185 4294967295 134512640 134569956 3221224368 3221214544 1131257897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 26185 13086 16 0 209979 0
vsize: 839980
[startup+940.045 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 18322
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 92156 54 0 0 25 0 11 0 721023853 860139520 26274 4294967295 134512640 134569956 3221224368 3221214532 1131403369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 26274 13086 16 0 209979 0
vsize: 839980
[startup+950.046 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 93125 54 0 0 25 0 11 0 721023853 860139520 26274 4294967295 134512640 134569956 3221224368 3221214624 1131380074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 26274 13086 16 0 209979 0
vsize: 839980
[startup+960.046 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 94091 54 0 0 25 0 11 0 721023853 860139520 26498 4294967295 134512640 134569956 3221224368 3221214716 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 26498 13086 16 0 209979 0
vsize: 839980
[startup+970.046 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 95069 55 0 0 25 0 11 0 721023853 860139520 26622 4294967295 134512640 134569956 3221224368 3221214544 1131258280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 26622 13086 16 0 209979 0
vsize: 839980
[startup+980.046 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 96038 56 0 0 18 0 11 0 721023853 860139520 26744 4294967295 134512640 134569956 3221224368 3221214520 1131403349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 26744 13086 16 0 209979 0
vsize: 839980
[startup+990.045 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 97016 56 0 0 25 0 11 0 721023853 860139520 26842 4294967295 134512640 134569956 3221224368 3221214640 1131340881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 26842 13086 16 0 209979 0
vsize: 839980
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 97994 56 0 0 25 0 11 0 721023853 860139520 26964 4294967295 134512640 134569956 3221224368 3221214640 1131340636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 26964 13086 16 0 209979 0
vsize: 839980
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 98961 56 0 0 25 0 11 0 721023853 860139520 27062 4294967295 134512640 134569956 3221224368 3221214544 1131257897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27062 13086 16 0 209979 0
vsize: 839980
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 99939 57 0 0 25 0 11 0 721023853 860139520 27160 4294967295 134512640 134569956 3221224368 3221214536 1131466936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27160 13086 16 0 209979 0
vsize: 839980
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 18324
Raw data (stat): 18257 (java) S 18256 8378 8377 0 -1 0 18005 0 94 0 100915 57 0 0 25 0 11 0 721023853 860139520 27236 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27236 13086 16 0 209979 0
vsize: 839980
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 101887 57 0 0 25 0 11 0 721023853 860139520 27287 4294967295 134512640 134569956 3221224368 3221214640 1131567753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27287 13086 16 0 209979 0
vsize: 839980
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 102866 57 0 0 25 0 11 0 721023853 860139520 27412 4294967295 134512640 134569956 3221224368 3221214684 1131229928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27412 13086 16 0 209979 0
vsize: 839980
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 103836 57 0 0 25 0 11 0 721023853 860139520 27460 4294967295 134512640 134569956 3221224368 3221214624 1131380141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27460 13086 16 0 209979 0
vsize: 839980
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 104815 57 0 0 25 0 11 0 721023853 860139520 27532 4294967295 134512640 134569956 3221224368 3221214760 1131357476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209995 27532 13086 16 0 209979 0
vsize: 839980
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 105783 57 0 0 25 0 11 0 721023853 860139520 27654 4294967295 134512640 134569956 3221224368 3221214536 1131467012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27654 13086 16 0 209979 0
vsize: 839980
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 106761 58 0 0 25 0 11 0 721023853 860139520 27753 4294967295 134512640 134569956 3221224368 3221214760 1131357072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27753 13086 16 0 209979 0
vsize: 839980
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 107730 58 0 0 25 0 11 0 721023853 860139520 27826 4294967295 134512640 134569956 3221224368 3221214536 1131466883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27826 13086 16 0 209979 0
vsize: 839980
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 108710 58 0 0 25 0 11 0 721023853 860139520 27875 4294967295 134512640 134569956 3221224368 3221214640 1131340613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27875 13086 16 0 209979 0
vsize: 839980
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 109688 58 0 0 25 0 11 0 721023853 860139520 27982 4294967295 134512640 134569956 3221224368 3221214640 1131340999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 27982 13086 16 0 209979 0
vsize: 839980
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 110656 58 0 0 25 0 11 0 721023853 860139520 28055 4294967295 134512640 134569956 3221224368 3221214640 1131340636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 28055 13086 16 0 209979 0
vsize: 839980
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 111635 58 0 0 25 0 11 0 721023853 860139520 28154 4294967295 134512640 134569956 3221224368 3221214592 1131257635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 28154 13086 16 0 209979 0
vsize: 839980
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 112603 59 0 0 25 0 11 0 721023853 860139520 28228 4294967295 134512640 134569956 3221224368 3221214704 1131277915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 28228 13086 16 0 209979 0
vsize: 839980
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 113546 59 0 0 25 0 11 0 721023853 860139520 28423 4294967295 134512640 134569956 3221224368 3221214720 1131195848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 28423 13086 16 0 209979 0
vsize: 839980
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 114462 60 0 0 25 0 11 0 721023853 860139520 29037 4294967295 134512640 134569956 3221224368 3221214560 1131310915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 29037 13086 16 0 209979 0
vsize: 839980
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 115384 60 0 0 25 0 11 0 721023853 860139520 29457 4294967295 134512640 134569956 3221224368 3221214520 1131403337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 29457 13086 16 0 209979 0
vsize: 839980
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 116344 60 0 0 25 0 11 0 721023853 860139520 29530 4294967295 134512640 134569956 3221224368 3221214532 1131403296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 29530 13086 16 0 209979 0
vsize: 839980
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 117307 60 0 0 25 0 11 0 721023853 860139520 29688 4294967295 134512640 134569956 3221224368 3221214640 1131340607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 29688 13086 16 0 209979 0
vsize: 839980
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18324
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 118262 61 0 0 25 0 11 0 721023853 860139520 29688 4294967295 134512640 134569956 3221224368 3221214624 1131380082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 29688 13086 16 0 209979 0
vsize: 839980
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18326
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 119183 61 0 0 25 0 11 0 721023853 860139520 29808 4294967295 134512640 134569956 3221224368 3221214560 1131310943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 29808 13086 16 0 209979 0
vsize: 839980
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 18326
Raw data (stat): 18257 (java) R 18256 8378 8377 0 -1 0 18005 0 94 0 120146 62 0 0 25 0 11 0 721023853 860139520 30070 4294967295 134512640 134569956 3221224368 3221214664 1131592157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209995 30070 13086 16 0 209979 0
vsize: 839980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 18328
Raw data (stat): 18257 (java) Z 18256 8378 8377 0 -1 1036 18005 19963 94 0 120148 67 3692 59 25 0 1 0 721023853 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): 1230.14
CPU time (s): 1239.68
CPU user time (s): 1238.41
CPU system time (s): 1.27081
CPU usage (%): 100.776
Max. virtual memory (Kb): 840620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####