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-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
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	46
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	9.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 29115

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 04:46:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20465 boxname=wulflinc28 idbench=55 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc28/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 20465
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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	: 3
cpu MHz		: 451.077
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:        758172 kB
Buffers:         13208 kB
Cached:         241896 kB
SwapCached:       1052 kB
Active:          24888 kB
Inactive:       232784 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        757892 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:            2228 kB
Writeback:           0 kB
Mapped:           5460 kB
Slab:            13160 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:07:14 (client local time) WITH STATUS 143 IN 1274.08 SECONDS
stats: 20465 7 1274.08 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/wulflinc28/normalized-fpga45_43_sat_pb.cnf.cr.opb
c reading problem ... done. Time 6.125 ms.
c #vars     2903
c #constraints  2066
c starts	: 6
c conflicts	: 1662
c decisions	: 37045
c propagations	: 166308
c inspects	: 1191251
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1662
c root simplifications	: 6
s UNKNOWN
c Total CPU time (ms) : 1265.765
#### 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.92 0.95 0.90 2/54 1478
Raw data (stat): 1478 (runsolver) R 1477 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836111916 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+9.99978 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 1487
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17931 0 95 0 500 44 0 0 25 0 10 0 836111916 855457792 20069 4294967295 134512640 134569956 3221224368 3221214128 1131257053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208852 20069 13086 16 0 208836 0
vsize: 835408
[startup+20.0005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17978 0 95 0 1394 45 0 0 25 0 11 0 836111916 857403392 21959 4294967295 134512640 134569956 3221224368 3221214688 1131310041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209327 21959 13086 16 0 209311 0
vsize: 837308
[startup+30.0001 s]
Raw data (loadavg): 1.16 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17979 0 95 0 2338 45 0 0 25 0 11 0 836111916 858451968 23757 4294967295 134512640 134569956 3221224368 3221214544 1131416227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209583 23757 13086 16 0 209567 0
vsize: 838332
[startup+40.0007 s]
Raw data (loadavg): 1.13 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17979 0 96 0 3313 45 0 0 25 0 11 0 836111916 861597696 24448 4294967295 134512640 134569956 3221224368 3221214596 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24448 13086 16 0 210335 0
vsize: 841404
[startup+50.0015 s]
Raw data (loadavg): 1.11 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17979 0 96 0 4289 45 0 0 25 0 11 0 836111916 861597696 24839 4294967295 134512640 134569956 3221224368 3221214640 1131356781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 24839 13086 16 0 210335 0
vsize: 841404
[startup+60.0011 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17979 0 96 0 5267 45 0 0 25 0 11 0 836111916 861597696 24839 4294967295 134512640 134569956 3221224368 3221214600 1131208875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24839 13086 16 0 210335 0
vsize: 841404
[startup+70.0009 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17979 0 96 0 6243 45 0 0 25 0 11 0 836111916 861597696 25066 4294967295 134512640 134569956 3221224368 3221214648 1131416391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 25066 13086 16 0 210335 0
vsize: 841404
[startup+80.002 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17979 0 96 0 7230 46 0 0 25 0 11 0 836111916 861597696 25189 4294967295 134512640 134569956 3221224368 3221214596 1130885132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 25189 13086 16 0 210335 0
vsize: 841404
[startup+90.0022 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 8171 46 0 0 25 0 11 0 836111916 861597696 25972 4294967295 134512640 134569956 3221224368 3221214688 1131310431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 25972 13086 16 0 210335 0
vsize: 841404
[startup+100.002 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 9134 46 0 0 25 0 11 0 836111916 861597696 26480 4294967295 134512640 134569956 3221224368 3221214708 1131261379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 26480 13086 16 0 210335 0
vsize: 841404
[startup+110.004 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 10113 47 0 0 25 0 11 0 836111916 861597696 26612 4294967295 134512640 134569956 3221224368 3221214552 1131256048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 26612 13086 16 0 210335 0
vsize: 841404
[startup+120.004 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 11094 47 0 0 25 0 11 0 836111916 861597696 26612 4294967295 134512640 134569956 3221224368 3221214608 1131314576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 26612 13086 16 0 210335 0
vsize: 841404
[startup+130.004 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 12065 47 0 0 25 0 11 0 836111916 861597696 26853 4294967295 134512640 134569956 3221224368 3221214712 1131200389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 26853 13086 16 0 210335 0
vsize: 841404
[startup+140.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 13050 47 0 0 25 0 11 0 836111916 861597696 26853 4294967295 134512640 134569956 3221224368 3221214608 1131314688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 26853 13086 16 0 210335 0
vsize: 841404
[startup+150.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 14032 48 0 0 25 0 11 0 836111916 861597696 26853 4294967295 134512640 134569956 3221224368 3221214648 1131384359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 26853 13086 16 0 210335 0
vsize: 841404
[startup+160.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 15005 48 0 0 25 0 11 0 836111916 861597696 26853 4294967295 134512640 134569956 3221224368 3221214648 1131416220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 26853 13086 16 0 210335 0
vsize: 841404
[startup+170.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 15986 48 0 0 25 0 11 0 836111916 861597696 26853 4294967295 134512640 134569956 3221224368 3221214648 1131415854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 26853 13086 16 0 210335 0
vsize: 841404
[startup+180.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 16957 49 0 0 25 0 11 0 836111916 861597696 26853 4294967295 134512640 134569956 3221224368 3221214640 1131356586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 26853 13086 16 0 210335 0
vsize: 841404
[startup+190.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 17938 49 0 0 25 0 11 0 836111916 861597696 26853 4294967295 134512640 134569956 3221224368 3221214748 1131208816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 26853 13086 16 0 210335 0
vsize: 841404
[startup+200.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 18907 49 0 0 25 0 11 0 836111916 861597696 26853 4294967295 134512640 134569956 3221224368 3221214696 1131256260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 26853 13086 16 0 210335 0
vsize: 841404
[startup+210.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 19863 50 0 0 25 0 11 0 836111916 861597696 27179 4294967295 134512640 134569956 3221224368 3221214792 1131335264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 27179 13086 16 0 210335 0
vsize: 841404
[startup+220.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 20817 50 0 0 25 0 11 0 836111916 861597696 27449 4294967295 134512640 134569956 3221224368 3221214624 1131360818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 27449 13086 16 0 210335 0
vsize: 841404
[startup+230.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 21765 50 0 0 25 0 11 0 836111916 861597696 28165 4294967295 134512640 134569956 3221224368 3221214696 1131256474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 28165 13086 16 0 210335 0
vsize: 841404
[startup+240.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 22702 51 0 0 25 0 11 0 836111916 861597696 28904 4294967295 134512640 134569956 3221224368 3221214808 1131424636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 28904 13086 16 0 210335 0
vsize: 841404
[startup+250.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) S 1477 24821 24820 0 -1 0 17980 0 96 0 23641 51 0 0 25 0 11 0 836111916 861597696 29295 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 29295 13086 16 0 210335 0
vsize: 841404
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 24588 51 0 0 25 0 11 0 836111916 861597696 29710 4294967295 134512640 134569956 3221224368 3221214640 1131356619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 29710 13086 16 0 210335 0
vsize: 841404
[startup+270.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 25535 52 0 0 25 0 11 0 836111916 861597696 30391 4294967295 134512640 134569956 3221224368 3221214664 1131154868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 30391 13086 16 0 210335 0
vsize: 841404
[startup+280.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 26482 52 0 0 25 0 11 0 836111916 861597696 30752 4294967295 134512640 134569956 3221224368 3221214696 1131256970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 30752 13086 16 0 210335 0
vsize: 841404
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) S 1477 24821 24820 0 -1 0 17980 0 96 0 27419 52 0 0 25 0 11 0 836111916 861597696 31026 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 31026 13086 16 0 210335 0
vsize: 841404
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 28349 52 0 0 25 0 11 0 836111916 861597696 31331 4294967295 134512640 134569956 3221224368 3221214688 1131310391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 31331 13086 16 0 210335 0
vsize: 841404
[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 29286 52 0 0 25 0 11 0 836111916 861597696 32104 4294967295 134512640 134569956 3221224368 3221214748 1131208821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 32104 13086 16 0 210335 0
vsize: 841404
[startup+320.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 30208 52 0 0 25 0 11 0 836111916 861597696 32327 4294967295 134512640 134569956 3221224368 3221214748 1131127952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 32327 13086 16 0 210335 0
vsize: 841404
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 31131 52 0 0 25 0 11 0 836111916 861597696 33193 4294967295 134512640 134569956 3221224368 3221214664 1131155571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 33193 13086 16 0 210335 0
vsize: 841404
[startup+340.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 32058 52 0 0 25 0 11 0 836111916 861597696 33193 4294967295 134512640 134569956 3221224368 3221214608 1131314705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 33193 13086 16 0 210335 0
vsize: 841404
[startup+350.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 32988 52 0 0 25 0 11 0 836111916 861597696 33638 4294967295 134512640 134569956 3221224368 3221214640 1131356769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 33638 13086 16 0 210335 0
vsize: 841404
[startup+360.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 33939 52 0 0 25 0 11 0 836111916 861597696 34026 4294967295 134512640 134569956 3221224368 3221214648 1131384359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 34026 13086 16 0 210335 0
vsize: 841404
[startup+370.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 34903 52 0 0 25 0 11 0 836111916 861597696 34149 4294967295 134512640 134569956 3221224368 3221214640 1131356619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 34149 13086 16 0 210335 0
vsize: 841404
[startup+380.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 35873 52 0 0 25 0 11 0 836111916 861597696 34258 4294967295 134512640 134569956 3221224368 3221214640 1131356595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 34258 13086 16 0 210335 0
vsize: 841404
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 36819 52 0 0 25 0 11 0 836111916 861597696 34384 4294967295 134512640 134569956 3221224368 3221214648 1131415808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 34384 13086 16 0 210335 0
vsize: 841404
[startup+400.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 37772 53 0 0 25 0 11 0 836111916 861597696 34698 4294967295 134512640 134569956 3221224368 3221214608 1131314564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 34698 13086 16 0 210335 0
vsize: 841404
[startup+410.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 38737 53 0 0 25 0 11 0 836111916 861597696 34865 4294967295 134512640 134569956 3221224368 3221214596 1131208821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 34865 13086 16 0 210335 0
vsize: 841404
[startup+420.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 39706 53 0 0 25 0 11 0 836111916 861597696 34922 4294967295 134512640 134569956 3221224368 3221214624 1131208857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 34922 13086 16 0 210335 0
vsize: 841404
[startup+430.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 40650 53 0 0 25 0 11 0 836111916 861597696 35151 4294967295 134512640 134569956 3221224368 3221214688 1131310111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 35151 13086 16 0 210335 0
vsize: 841404
[startup+440.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) S 1477 24821 24820 0 -1 0 17980 0 96 0 41620 53 0 0 25 0 11 0 836111916 861597696 35284 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 35284 13086 16 0 210335 0
vsize: 841404
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 42588 53 0 0 25 0 11 0 836111916 861597696 35344 4294967295 134512640 134569956 3221224368 3221214688 1131310003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 35344 13086 16 0 210335 0
vsize: 841404
[startup+460.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 43525 53 0 0 25 0 11 0 836111916 861597696 35591 4294967295 134512640 134569956 3221224368 3221214688 1131310943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 35591 13086 16 0 210335 0
vsize: 841404
[startup+470.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 44493 53 0 0 25 0 11 0 836111916 861597696 35735 4294967295 134512640 134569956 3221224368 3221214544 1131256142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 35735 13086 16 0 210335 0
vsize: 841404
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 45453 53 0 0 25 0 11 0 836111916 861597696 35735 4294967295 134512640 134569956 3221224368 3221214648 1131384359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 35735 13086 16 0 210335 0
vsize: 841404
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 46400 53 0 0 25 0 11 0 836111916 861597696 35956 4294967295 134512640 134569956 3221224368 3221214776 1131140931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 35956 13086 16 0 210335 0
vsize: 841404
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) S 1477 24821 24820 0 -1 0 17980 0 96 0 47369 53 0 0 25 0 11 0 836111916 861597696 36094 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 36094 13086 16 0 210335 0
vsize: 841404
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) S 1477 24821 24820 0 -1 0 17980 0 96 0 48327 53 0 0 25 0 11 0 836111916 861597696 36095 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36095 13086 16 0 210335 0
vsize: 841404
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 49265 53 0 0 25 0 11 0 836111916 861597696 36337 4294967295 134512640 134569956 3221224368 3221214544 1131256299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36337 13086 16 0 210335 0
vsize: 841404
[startup+530.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 50233 53 0 0 25 0 11 0 836111916 861597696 36420 4294967295 134512640 134569956 3221224368 3221214536 1131154871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36420 13086 16 0 210335 0
vsize: 841404
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 51192 53 0 0 25 0 11 0 836111916 861597696 36503 4294967295 134512640 134569956 3221224368 3221214608 1131314588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36503 13086 16 0 210335 0
vsize: 841404
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 52129 53 0 0 25 0 11 0 836111916 861597696 36669 4294967295 134512640 134569956 3221224368 3221214648 1131415854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36669 13086 16 0 210335 0
vsize: 841404
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 53085 54 0 0 25 0 11 0 836111916 861597696 36809 4294967295 134512640 134569956 3221224368 3221214640 1131356595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36809 13086 16 0 210335 0
vsize: 841404
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 54055 54 0 0 25 0 11 0 836111916 861597696 36920 4294967295 134512640 134569956 3221224368 3221214688 1131310075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36920 13086 16 0 210335 0
vsize: 841404
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 54991 55 0 0 25 0 11 0 836111916 861597696 37032 4294967295 134512640 134569956 3221224368 3221214696 1131256382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37032 13086 16 0 210335 0
vsize: 841404
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 55939 55 0 0 25 0 11 0 836111916 861597696 37228 4294967295 134512640 134569956 3221224368 3221214640 1131356716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37228 13086 16 0 210335 0
vsize: 841404
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 56918 56 0 0 25 0 11 0 836111916 861597696 37314 4294967295 134512640 134569956 3221224368 3221214720 1131319014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37314 13086 16 0 210335 0
vsize: 841404
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 57879 56 0 0 25 0 11 0 836111916 861597696 37342 4294967295 134512640 134569956 3221224368 3221214640 1131256190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37342 13086 16 0 210335 0
vsize: 841404
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 58825 56 0 0 25 0 11 0 836111916 861597696 37536 4294967295 134512640 134569956 3221224368 3221214616 1131310062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37536 13086 16 0 210335 0
vsize: 841404
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 59765 56 0 0 25 0 11 0 836111916 861597696 37703 4294967295 134512640 134569956 3221224368 3221214704 1131140931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37703 13086 16 0 210335 0
vsize: 841404
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 60706 57 0 0 25 0 11 0 836111916 861597696 37841 4294967295 134512640 134569956 3221224368 3221214700 1131154848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37841 13086 16 0 210335 0
vsize: 841404
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 61644 57 0 0 25 0 11 0 836111916 861597696 38035 4294967295 134512640 134569956 3221224368 3221214696 1131309425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 38035 13086 16 0 210335 0
vsize: 841404
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 62570 58 0 0 25 0 11 0 836111916 861597696 38142 4294967295 134512640 134569956 3221224368 3221214616 1131309989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 38142 13086 16 0 210335 0
vsize: 841404
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 63509 58 0 0 25 0 11 0 836111916 861597696 38395 4294967295 134512640 134569956 3221224368 3221214704 1131140971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 38395 13086 16 0 210335 0
vsize: 841404
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 64438 59 0 0 25 0 11 0 836111916 861597696 38515 4294967295 134512640 134569956 3221224368 3221214616 1131310357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 38515 13086 16 0 210335 0
vsize: 841404
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 65365 59 0 0 25 0 11 0 836111916 861597696 38735 4294967295 134512640 134569956 3221224368 3221214616 1131310403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 38735 13086 16 0 210335 0
vsize: 841404
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 66299 60 0 0 25 0 11 0 836111916 861597696 38944 4294967295 134512640 134569956 3221224368 3221214720 1131318905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 38944 13086 16 0 210335 0
vsize: 841404
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 67232 60 0 0 25 0 11 0 836111916 861597696 39170 4294967295 134512640 134569956 3221224368 3221214592 1131154949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 39170 13086 16 0 210335 0
vsize: 841404
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 68176 60 0 0 25 0 11 0 836111916 861597696 39410 4294967295 134512640 134569956 3221224368 3221214616 1131310437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 39410 13086 16 0 210335 0
vsize: 841404
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 69101 61 0 0 25 0 11 0 836111916 861597696 39730 4294967295 134512640 134569956 3221224368 3221214720 1131318917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 39730 13086 16 0 210335 0
vsize: 841404
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 70041 61 0 0 25 0 11 0 836111916 861597696 39730 4294967295 134512640 134569956 3221224368 3221214616 1131310431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 39730 13086 16 0 210335 0
vsize: 841404
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) S 1477 24821 24820 0 -1 0 17980 0 96 0 70971 61 0 0 25 0 11 0 836111916 861597696 39880 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 39880 13086 16 0 210335 0
vsize: 841404
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 71896 61 0 0 25 0 11 0 836111916 861597696 40015 4294967295 134512640 134569956 3221224368 3221214736 1131335075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 40015 13086 16 0 210335 0
vsize: 841404
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 72817 62 0 0 25 0 11 0 836111916 861597696 40273 4294967295 134512640 134569956 3221224368 3221214616 1131310512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 40273 13086 16 0 210335 0
vsize: 841404
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 73753 62 0 0 25 0 11 0 836111916 861597696 40493 4294967295 134512640 134569956 3221224368 3221214616 1131310471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 40493 13086 16 0 210335 0
vsize: 841404
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 74675 62 0 0 25 0 11 0 836111916 861597696 40699 4294967295 134512640 134569956 3221224368 3221214704 1131140931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 40699 13086 16 0 210335 0
vsize: 841404
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 75599 63 0 0 25 0 11 0 836111916 861597696 41350 4294967295 134512640 134569956 3221224368 3221214528 1131204885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 41350 13086 16 0 210335 0
vsize: 841404
[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 76527 63 0 0 25 0 11 0 836111916 861597696 41481 4294967295 134512640 134569956 3221224368 3221214720 1131319028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 41481 13086 16 0 210335 0
vsize: 841404
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 77441 64 0 0 25 0 11 0 836111916 861597696 41481 4294967295 134512640 134569956 3221224368 3221214616 1131310569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 41481 13086 16 0 210335 0
vsize: 841404
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 78371 64 0 0 25 0 11 0 836111916 861597696 41727 4294967295 134512640 134569956 3221224368 3221214592 1131416200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 41727 13086 16 0 210335 0
vsize: 841404
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1488
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 79339 64 0 0 25 0 11 0 836111916 861597696 41727 4294967295 134512640 134569956 3221224368 3221214488 1131256260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 41727 13086 16 0 210335 0
vsize: 841404
[startup+850.028 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 1543
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 80307 64 0 0 25 0 11 0 836111916 861597696 41728 4294967295 134512640 134569956 3221224368 3221214592 1131415896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 41728 13086 16 0 210335 0
vsize: 841404
[startup+860.028 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 1543
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 81276 64 0 0 25 0 11 0 836111916 861597696 42106 4294967295 134512640 134569956 3221224368 3221214360 1078033249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42106 13086 16 0 210335 0
vsize: 841404
[startup+870.029 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 1543
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 82254 65 0 0 25 0 11 0 836111916 861597696 42107 4294967295 134512640 134569956 3221224368 3221214584 1131356619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42107 13086 16 0 210335 0
vsize: 841404
[startup+880.029 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 1543
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 83225 65 0 0 25 0 11 0 836111916 861597696 42345 4294967295 134512640 134569956 3221224368 3221214544 1131206850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42345 13086 16 0 210335 0
vsize: 841404
[startup+890.031 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 1543
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 84204 65 0 0 25 0 11 0 836111916 861597696 42350 4294967295 134512640 134569956 3221224368 3221214592 1131384359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42350 13086 16 0 210335 0
vsize: 841404
[startup+900.032 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 1543
Raw data (stat): 1478 (java) S 1477 24821 24820 0 -1 0 17980 0 96 0 85184 65 0 0 25 0 11 0 836111916 861597696 42358 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42358 13086 16 0 210335 0
vsize: 841404
[startup+910.033 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 1543
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 86162 66 0 0 25 0 11 0 836111916 861597696 42365 4294967295 134512640 134569956 3221224368 3221214552 1131314576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42365 13086 16 0 210335 0
vsize: 841404
[startup+920.033 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 87137 66 0 0 25 0 11 0 836111916 861597696 42560 4294967295 134512640 134569956 3221224368 3221214584 1131356743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42560 13086 16 0 210335 0
vsize: 841404
[startup+930.034 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 88123 66 0 0 25 0 11 0 836111916 861597696 42561 4294967295 134512640 134569956 3221224368 3221214584 1131356619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42561 13086 16 0 210335 0
vsize: 841404
[startup+940.035 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 89101 66 0 0 25 0 11 0 836111916 861597696 42561 4294967295 134512640 134569956 3221224368 3221214592 1131416332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42561 13086 16 0 210335 0
vsize: 841404
[startup+950.035 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 90076 67 0 0 25 0 11 0 836111916 861597696 42615 4294967295 134512640 134569956 3221224368 3221214616 1131310006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42615 13086 16 0 210335 0
vsize: 841404
[startup+960.036 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 91047 67 0 0 25 0 11 0 836111916 861597696 42615 4294967295 134512640 134569956 3221224368 3221214592 1131415834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42615 13086 16 0 210335 0
vsize: 841404
[startup+970.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 92003 67 0 0 25 0 11 0 836111916 861597696 42730 4294967295 134512640 134569956 3221224368 3221214584 1131356769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42730 13086 16 0 210335 0
vsize: 841404
[startup+980.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 92963 67 0 0 25 0 11 0 836111916 861597696 42778 4294967295 134512640 134569956 3221224368 3221214496 1131256142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42778 13086 16 0 210335 0
vsize: 841404
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 93917 68 0 0 25 0 11 0 836111916 861597696 42863 4294967295 134512640 134569956 3221224368 3221214592 1131154868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 42863 13086 16 0 210335 0
vsize: 841404
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 94859 68 0 0 25 0 11 0 836111916 861597696 43012 4294967295 134512640 134569956 3221224368 3221214704 1131140931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 43012 13086 16 0 210335 0
vsize: 841404
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 95809 68 0 0 25 0 11 0 836111916 861597696 43225 4294967295 134512640 134569956 3221224368 3221214720 1131319009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 43225 13086 16 0 210335 0
vsize: 841404
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 96733 69 0 0 25 0 11 0 836111916 861597696 43372 4294967295 134512640 134569956 3221224368 3221214616 1131311020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 43372 13086 16 0 210335 0
vsize: 841404
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 97677 69 0 0 25 0 11 0 836111916 861597696 43537 4294967295 134512640 134569956 3221224368 3221214704 1131140928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 43537 13086 16 0 210335 0
vsize: 841404
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 98616 69 0 0 25 0 11 0 836111916 861597696 43787 4294967295 134512640 134569956 3221224368 3221214616 1131310907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 43787 13086 16 0 210335 0
vsize: 841404
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 99555 70 0 0 25 0 11 0 836111916 861597696 44010 4294967295 134512640 134569956 3221224368 3221214668 1130885186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 44010 13086 16 0 210335 0
vsize: 841404
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 100487 70 0 0 25 0 11 0 836111916 861597696 44272 4294967295 134512640 134569956 3221224368 3221214696 1131309401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 44272 13086 16 0 210335 0
vsize: 841404
[startup+1070.04 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 101420 70 0 0 25 0 11 0 836111916 861597696 44418 4294967295 134512640 134569956 3221224368 3221214616 1131310528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 44418 13086 16 0 210335 0
vsize: 841404
[startup+1080.04 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 102350 71 0 0 25 0 11 0 836111916 861597696 44684 4294967295 134512640 134569956 3221224368 3221214616 1131310008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 44684 13086 16 0 210335 0
vsize: 841404
[startup+1090.04 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 103267 71 0 0 25 0 11 0 836111916 861597696 44699 4294967295 134512640 134569956 3221224368 3221214616 1131310176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 44699 13086 16 0 210335 0
vsize: 841404
[startup+1100.04 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 104202 71 0 0 25 0 11 0 836111916 861597696 45155 4294967295 134512640 134569956 3221224368 3221214680 1131314576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 45155 13086 16 0 210335 0
vsize: 841404
[startup+1110.04 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 105143 71 0 0 25 0 11 0 836111916 861597696 45213 4294967295 134512640 134569956 3221224368 3221214592 1131154891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 45213 13086 16 0 210335 0
vsize: 841404
[startup+1120.04 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 106091 72 0 0 25 0 11 0 836111916 861597696 45531 4294967295 134512640 134569956 3221224368 3221214720 1131318917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 45531 13086 16 0 210335 0
vsize: 841404
[startup+1130.04 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 107041 72 0 0 25 0 11 0 836111916 861597696 45551 4294967295 134512640 134569956 3221224368 3221214704 1131140931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 45551 13086 16 0 210335 0
vsize: 841404
[startup+1140.05 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 1545
Raw data (stat): 1478 (java) S 1477 24821 24820 0 -1 0 17980 0 96 0 107980 72 0 0 25 0 11 0 836111916 861597696 45605 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 45605 13086 16 0 210335 0
vsize: 841404
[startup+1150.05 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 108905 73 0 0 25 0 11 0 836111916 861597696 45831 4294967295 134512640 134569956 3221224368 3221214616 1131309985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 45831 13086 16 0 210335 0
vsize: 841404
[startup+1160.05 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 109837 73 0 0 25 0 11 0 836111916 861597696 45839 4294967295 134512640 134569956 3221224368 3221214616 1131310912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 45839 13086 16 0 210335 0
vsize: 841404
[startup+1170.05 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 110770 73 0 0 25 0 11 0 836111916 861597696 46188 4294967295 134512640 134569956 3221224368 3221214616 1131309985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 46188 13086 16 0 210335 0
vsize: 841404
[startup+1180.05 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 1545
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 111709 73 0 0 25 0 11 0 836111916 861597696 46480 4294967295 134512640 134569956 3221224368 3221214616 1131310612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 46480 13086 16 0 210335 0
vsize: 841404
[startup+1190.05 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 1547
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 112669 74 0 0 25 0 11 0 836111916 861597696 46585 4294967295 134512640 134569956 3221224368 3221214720 1131319252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 46585 13086 16 0 210335 0
vsize: 841404
[startup+1200.05 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 1547
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 113620 74 0 0 25 0 11 0 836111916 861597696 46613 4294967295 134512640 134569956 3221224368 3221214696 1131309395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 46613 13086 16 0 210335 0
vsize: 841404
[startup+1210.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 1547
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 114563 75 0 0 25 0 11 0 836111916 861597696 46785 4294967295 134512640 134569956 3221224368 3221214624 1131256101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 46785 13086 16 0 210335 0
vsize: 841404
[startup+1220.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 1547
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 115475 75 0 0 24 0 11 0 836111916 861597696 46906 4294967295 134512640 134569956 3221224368 3221214720 1131319232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 46906 13086 16 0 210335 0
vsize: 841404
[startup+1230.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 1547
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 116410 76 0 0 25 0 11 0 836111916 861597696 47054 4294967295 134512640 134569956 3221224368 3221214616 1131310697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 47054 13086 16 0 210335 0
vsize: 841404
[startup+1240.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 1547
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 117312 76 0 0 24 0 11 0 836111916 861597696 47055 4294967295 134512640 134569956 3221224368 3221214616 1131310532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 47055 13086 16 0 210335 0
vsize: 841404
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1547
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 118237 76 0 0 25 0 11 0 836111916 861597696 47565 4294967295 134512640 134569956 3221224368 3221214720 1131318757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 47565 13086 16 0 210335 0
vsize: 841404
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1547
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 119194 77 0 0 25 0 11 0 836111916 861597696 47766 4294967295 134512640 134569956 3221224368 3221214616 1131310253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 47766 13086 16 0 210335 0
vsize: 841404
[startup+1270.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1547
Raw data (stat): 1478 (java) R 1477 24821 24820 0 -1 0 17980 0 96 0 120135 77 0 0 25 0 11 0 836111916 861597696 47914 4294967295 134512640 134569956 3221224368 3221214592 1131154995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 47914 13086 16 0 210335 0
vsize: 841404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.18 s]
Raw data (loadavg): 1.00 1.01 0.94 1/54 1549
Raw data (stat): 1478 (java) Z 1477 24821 24820 0 -1 1036 17980 32931 96 0 120138 86 7104 78 25 0 1 0 836111916 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): 1270.18
CPU time (s): 1274.08
CPU user time (s): 1272.43
CPU system time (s): 1.64475
CPU usage (%): 100.307
Max. virtual memory (Kb): 841404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####