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-fpga35_34_sat_pb.cnf.cr.opb
MD5SUM	f49e527e8d063bcfa5508a2b00211475
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	36
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.75752
Number of variables	1785
Total number of constraints	1293
Number of constraints which are clauses	1224
Number of constraints which are cardinality constraints (but not clauses)	69
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 29109

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        797608 kB
Buffers:         27780 kB
Cached:         187820 kB
SwapCached:        640 kB
Active:          61284 kB
Inactive:       156760 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        797356 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13188 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:04:37 (client local time) WITH STATUS 143 IN 1233.76 SECONDS
stats: 20460 7 1233.76 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-fpga35_34_sat_pb.cnf.cr.opb
c reading problem ... done. Time 3.953 ms.
c #vars     1785
c #constraints  1293
c starts	: 5
c conflicts	: 1272
c decisions	: 19986
c propagations	: 106525
c inspects	: 411267
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1271
c root simplifications	: 5
s UNKNOWN
c Total CPU time (ms) : 1235.394
#### 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.97 0.95 2/54 13087
Raw data (stat): 13087 (runsolver) R 13086 5562 5561 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 836095124 1052672 97 4294967295 134512640 135381576 3221224400 3221219840 134514522 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.09 1.00 0.96 3/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18012 0 87 0 411 46 0 0 25 0 11 0 836095124 860700672 20255 4294967295 134512640 134569956 3221224368 3221214560 1131301545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210132 20255 13086 16 0 210116 0
vsize: 840528
[startup+20.0012 s]
Raw data (loadavg): 1.08 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18018 0 87 0 1318 46 0 0 25 0 11 0 836095124 860639232 22090 4294967295 134512640 134569956 3221224368 3221214616 1131291587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 22090 13086 16 0 210101 0
vsize: 840468
[startup+30.0022 s]
Raw data (loadavg): 1.07 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18018 0 88 0 2276 47 0 0 25 0 11 0 836095124 860639232 22131 4294967295 134512640 134569956 3221224368 3221214612 1131229356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 22131 13086 16 0 210101 0
vsize: 840468
[startup+40.0022 s]
Raw data (loadavg): 1.06 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18018 0 88 0 3247 47 0 0 25 0 11 0 836095124 860639232 22248 4294967295 134512640 134569956 3221224368 3221214608 1131444093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 22248 13086 16 0 210101 0
vsize: 840468
[startup+50.0031 s]
Raw data (loadavg): 1.05 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18018 0 88 0 4210 48 0 0 25 0 11 0 836095124 860639232 22970 4294967295 134512640 134569956 3221224368 3221214592 1131229434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 22970 13086 16 0 210101 0
vsize: 840468
[startup+60.0027 s]
Raw data (loadavg): 1.04 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18018 0 88 0 5202 48 0 0 25 0 11 0 836095124 860639232 22970 4294967295 134512640 134569956 3221224368 3221214608 1131444316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 22970 13086 16 0 210101 0
vsize: 840468
[startup+70.0038 s]
Raw data (loadavg): 1.03 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18018 0 88 0 6190 48 0 0 25 0 11 0 836095124 860639232 22970 4294967295 134512640 134569956 3221224368 3221214564 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 22970 13086 16 0 210101 0
vsize: 840468
[startup+80.0039 s]
Raw data (loadavg): 1.03 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18018 0 88 0 7177 49 0 0 25 0 11 0 836095124 860639232 22970 4294967295 134512640 134569956 3221224368 3221214512 1131244716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 22970 13086 16 0 210101 0
vsize: 840468
[startup+90.0036 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 8162 49 0 0 25 0 11 0 836095124 860639232 22971 4294967295 134512640 134569956 3221224368 3221214192 1080217232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 22971 13086 16 0 210101 0
vsize: 840468
[startup+100.005 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 9151 49 0 0 25 0 11 0 836095124 860639232 22971 4294967295 134512640 134569956 3221224368 3221214612 1131291017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 22971 13086 16 0 210101 0
vsize: 840468
[startup+110.005 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 10134 49 0 0 25 0 11 0 836095124 860639232 22971 4294967295 134512640 134569956 3221224368 3221214592 1131229456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 22971 13086 16 0 210101 0
vsize: 840468
[startup+120.006 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 11117 50 0 0 25 0 11 0 836095124 860639232 22971 4294967295 134512640 134569956 3221224368 3221214496 1131156580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 22971 13086 16 0 210101 0
vsize: 840468
[startup+130.006 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 12104 50 0 0 25 0 11 0 836095124 860639232 22971 4294967295 134512640 134569956 3221224368 3221214616 1131291720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 22971 13086 16 0 210101 0
vsize: 840468
[startup+140.005 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 13086 50 0 0 25 0 11 0 836095124 860639232 23047 4294967295 134512640 134569956 3221224368 3221214560 1131299099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23047 13086 16 0 210101 0
vsize: 840468
[startup+150.005 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 14074 50 0 0 25 0 11 0 836095124 860639232 23065 4294967295 134512640 134569956 3221224368 3221214496 1131155895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23065 13086 16 0 210101 0
vsize: 840468
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 15057 51 0 0 25 0 11 0 836095124 860639232 23174 4294967295 134512640 134569956 3221224368 3221214612 1131304782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23174 13086 16 0 210101 0
vsize: 840468
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 16042 51 0 0 25 0 11 0 836095124 860639232 23234 4294967295 134512640 134569956 3221224368 3221214564 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23234 13086 16 0 210101 0
vsize: 840468
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 17033 51 0 0 25 0 11 0 836095124 860639232 23254 4294967295 134512640 134569956 3221224368 3221214536 1131244730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23254 13086 16 0 210101 0
vsize: 840468
[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 18019 51 0 0 25 0 11 0 836095124 860639232 23293 4294967295 134512640 134569956 3221224368 3221214656 1131293469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23293 13086 16 0 210101 0
vsize: 840468
[startup+200.006 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 19000 51 0 0 25 0 11 0 836095124 860639232 23368 4294967295 134512640 134569956 3221224368 3221214560 1131299076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 23368 13086 16 0 210101 0
vsize: 840468
[startup+210.005 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 19980 51 0 0 25 0 11 0 836095124 860639232 23406 4294967295 134512640 134569956 3221224368 3221214588 1131299172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23406 13086 16 0 210101 0
vsize: 840468
[startup+220.01 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 20968 51 0 0 25 0 11 0 836095124 860639232 23442 4294967295 134512640 134569956 3221224368 3221214560 1131299045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23442 13086 16 0 210101 0
vsize: 840468
[startup+230.011 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 21955 51 0 0 25 0 11 0 836095124 860639232 23460 4294967295 134512640 134569956 3221224368 3221214520 1131244773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23460 13086 16 0 210101 0
vsize: 840468
[startup+240.01 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 22942 51 0 0 25 0 11 0 836095124 860639232 23496 4294967295 134512640 134569956 3221224368 3221214560 1131299103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23496 13086 16 0 210101 0
vsize: 840468
[startup+250.011 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 23935 51 0 0 25 0 11 0 836095124 860639232 23514 4294967295 134512640 134569956 3221224368 3221214560 1131299111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23514 13086 16 0 210101 0
vsize: 840468
[startup+260.018 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 24924 51 0 0 25 0 11 0 836095124 860639232 23533 4294967295 134512640 134569956 3221224368 3221214560 1131299103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23533 13086 16 0 210101 0
vsize: 840468
[startup+270.018 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 25911 51 0 0 25 0 11 0 836095124 860639232 23586 4294967295 134512640 134569956 3221224368 3221214512 1131244523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23586 13086 16 0 210101 0
vsize: 840468
[startup+280.018 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 26898 51 0 0 25 0 11 0 836095124 860639232 23604 4294967295 134512640 134569956 3221224368 3221214608 1131443950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23604 13086 16 0 210101 0
vsize: 840468
[startup+290.019 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 27889 52 0 0 25 0 11 0 836095124 860639232 23622 4294967295 134512640 134569956 3221224368 3221214592 1131259653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23622 13086 16 0 210101 0
vsize: 840468
[startup+300.019 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 28877 52 0 0 25 0 11 0 836095124 860639232 23769 4294967295 134512640 134569956 3221224368 3221214592 1131229583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23769 13086 16 0 210101 0
vsize: 840468
[startup+310.019 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 29867 52 0 0 25 0 11 0 836095124 860639232 23769 4294967295 134512640 134569956 3221224368 3221214520 1131244621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23769 13086 16 0 210101 0
vsize: 840468
[startup+320.02 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 30856 52 0 0 24 0 11 0 836095124 860639232 23769 4294967295 134512640 134569956 3221224368 3221214592 1131304224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23769 13086 16 0 210101 0
vsize: 840468
[startup+330.02 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 31848 52 0 0 25 0 11 0 836095124 860639232 23769 4294967295 134512640 134569956 3221224368 3221214612 1131259628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23769 13086 16 0 210101 0
vsize: 840468
[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 32835 52 0 0 25 0 11 0 836095124 860639232 23794 4294967295 134512640 134569956 3221224368 3221214536 1131520706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23794 13086 16 0 210101 0
vsize: 840468
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 33822 52 0 0 25 0 11 0 836095124 860639232 23812 4294967295 134512640 134569956 3221224368 3221214604 1131155872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23812 13086 16 0 210101 0
vsize: 840468
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 34808 52 0 0 25 0 11 0 836095124 860639232 23830 4294967295 134512640 134569956 3221224368 3221214520 1131244730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23830 13086 16 0 210101 0
vsize: 840468
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 35799 53 0 0 25 0 11 0 836095124 860639232 23830 4294967295 134512640 134569956 3221224368 3221214496 1131155923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23830 13086 16 0 210101 0
vsize: 840468
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 36786 53 0 0 25 0 11 0 836095124 860639232 23891 4294967295 134512640 134569956 3221224368 3221214616 1131291634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23891 13086 16 0 210101 0
vsize: 840468
[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 37772 53 0 0 25 0 11 0 836095124 860639232 23926 4294967295 134512640 134569956 3221224368 3221214608 1131326951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23926 13086 16 0 210101 0
vsize: 840468
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 38758 53 0 0 25 0 11 0 836095124 860639232 23961 4294967295 134512640 134569956 3221224368 3221214608 1131444316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23961 13086 16 0 210101 0
vsize: 840468
[startup+410.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 39749 53 0 0 25 0 11 0 836095124 860639232 23978 4294967295 134512640 134569956 3221224368 3221214608 1131444316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23978 13086 16 0 210101 0
vsize: 840468
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 40736 53 0 0 25 0 11 0 836095124 860639232 24013 4294967295 134512640 134569956 3221224368 3221214520 1131244773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24013 13086 16 0 210101 0
vsize: 840468
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 41722 53 0 0 25 0 11 0 836095124 860639232 24049 4294967295 134512640 134569956 3221224368 3221214592 1131229527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24049 13086 16 0 210101 0
vsize: 840468
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 42704 53 0 0 25 0 11 0 836095124 860639232 24101 4294967295 134512640 134569956 3221224368 3221214588 1131127964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24101 13086 16 0 210101 0
vsize: 840468
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 43692 53 0 0 25 0 11 0 836095124 860639232 24136 4294967295 134512640 134569956 3221224368 3221214564 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24136 13086 16 0 210101 0
vsize: 840468
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 44676 53 0 0 25 0 11 0 836095124 860639232 24171 4294967295 134512640 134569956 3221224368 3221214612 1131244428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24171 13086 16 0 210101 0
vsize: 840468
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 45664 53 0 0 25 0 11 0 836095124 860639232 24206 4294967295 134512640 134569956 3221224368 3221214616 1131291733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24206 13086 16 0 210101 0
vsize: 840468
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 46653 53 0 0 25 0 11 0 836095124 860639232 24240 4294967295 134512640 134569956 3221224368 3221214592 1131229560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24240 13086 16 0 210101 0
vsize: 840468
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 47644 53 0 0 25 0 11 0 836095124 860639232 24275 4294967295 134512640 134569956 3221224368 3221214588 1131298995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24275 13086 16 0 210101 0
vsize: 840468
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 48635 53 0 0 25 0 11 0 836095124 860639232 24310 4294967295 134512640 134569956 3221224368 3221214608 1131444469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24310 13086 16 0 210101 0
vsize: 840468
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 49625 53 0 0 25 0 11 0 836095124 860639232 24361 4294967295 134512640 134569956 3221224368 3221214592 1131229535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24361 13086 16 0 210101 0
vsize: 840468
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18019 0 88 0 50618 53 0 0 25 0 11 0 836095124 860639232 24361 4294967295 134512640 134569956 3221224368 3221214592 1131304185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24361 13086 16 0 210101 0
vsize: 840468
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 51592 54 0 0 25 0 11 0 836095124 860639232 24440 4294967295 134512640 134569956 3221224368 3221214760 1131450108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24440 13086 16 0 210101 0
vsize: 840468
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 52538 54 0 0 25 0 11 0 836095124 860639232 24683 4294967295 134512640 134569956 3221224368 3221214624 1131326974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24683 13086 16 0 210101 0
vsize: 840468
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 53483 54 0 0 25 0 11 0 836095124 860639232 25007 4294967295 134512640 134569956 3221224368 3221214608 1131229487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25007 13086 16 0 210101 0
vsize: 840468
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 54430 54 0 0 25 0 11 0 836095124 860639232 25148 4294967295 134512640 134569956 3221224368 3221214576 1131299067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25148 13086 16 0 210101 0
vsize: 840468
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 55390 54 0 0 25 0 11 0 836095124 860639232 25237 4294967295 134512640 134569956 3221224368 3221214568 1131218132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25237 13086 16 0 210101 0
vsize: 840468
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 56349 54 0 0 25 0 11 0 836095124 860639232 25374 4294967295 134512640 134569956 3221224368 3221214520 1131285949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25374 13086 16 0 210101 0
vsize: 840468
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 57304 54 0 0 24 0 11 0 836095124 860639232 25374 4294967295 134512640 134569956 3221224368 3221214580 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25374 13086 16 0 210101 0
vsize: 840468
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 58266 54 0 0 25 0 11 0 836095124 860639232 25374 4294967295 134512640 134569956 3221224368 3221214616 1131408126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25374 13086 16 0 210101 0
vsize: 840468
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 59227 54 0 0 25 0 11 0 836095124 860639232 25664 4294967295 134512640 134569956 3221224368 3221214656 1131293763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25664 13086 16 0 210101 0
vsize: 840468
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 60199 54 0 0 25 0 11 0 836095124 860639232 25940 4294967295 134512640 134569956 3221224368 3221214608 1131304723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25940 13086 16 0 210101 0
vsize: 840468
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 61183 55 0 0 25 0 11 0 836095124 860639232 26054 4294967295 134512640 134569956 3221224368 3221214656 1131293827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 26054 13086 16 0 210101 0
vsize: 840468
[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 62166 55 0 0 25 0 11 0 836095124 860639232 26113 4294967295 134512640 134569956 3221224368 3221214656 1131293857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 26113 13086 16 0 210101 0
vsize: 840468
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 63130 55 0 0 25 0 11 0 836095124 860639232 26180 4294967295 134512640 134569956 3221224368 3221214648 1131155892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 26180 13086 16 0 210101 0
vsize: 840468
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 64088 55 0 0 25 0 11 0 836095124 860639232 26231 4294967295 134512640 134569956 3221224368 3221214720 1131189977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 26231 13086 16 0 210101 0
vsize: 840468
[startup+670.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 65001 55 0 0 25 0 11 0 836095124 860639232 26987 4294967295 134512640 134569956 3221224368 3221214652 1131217056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 26987 13086 16 0 210101 0
vsize: 840468
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 0.97 3/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 65916 55 0 0 25 0 11 0 836095124 860639232 27840 4294967295 134512640 134569956 3221224368 3221214656 1131300007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 27840 13086 16 0 210101 0
vsize: 840468
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 66879 55 0 0 25 0 11 0 836095124 860639232 28177 4294967295 134512640 134569956 3221224368 3221214620 1131156608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 28177 13086 16 0 210101 0
vsize: 840468
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 67832 55 0 0 25 0 11 0 836095124 860639232 28363 4294967295 134512640 134569956 3221224368 3221214608 1131259641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 28363 13086 16 0 210101 0
vsize: 840468
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 68799 55 0 0 25 0 11 0 836095124 860639232 28621 4294967295 134512640 134569956 3221224368 3221214608 1131259658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 28621 13086 16 0 210101 0
vsize: 840468
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 69757 55 0 0 25 0 11 0 836095124 860639232 28739 4294967295 134512640 134569956 3221224368 3221214624 1131444428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 28739 13086 16 0 210101 0
vsize: 840468
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) S 13086 5562 5561 0 -1 0 18020 0 88 0 70733 55 0 0 25 0 11 0 836095124 860639232 28745 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 28745 13086 16 0 210101 0
vsize: 840468
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 71692 55 0 0 25 0 11 0 836095124 860639232 28940 4294967295 134512640 134569956 3221224368 3221214580 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 28940 13086 16 0 210101 0
vsize: 840468
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 72657 55 0 0 25 0 11 0 836095124 860639232 29173 4294967295 134512640 134569956 3221224368 3221214536 1131291638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 29173 13086 16 0 210101 0
vsize: 840468
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 73588 55 0 0 25 0 11 0 836095124 860639232 29471 4294967295 134512640 134569956 3221224368 3221214680 1131449512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 29471 13086 16 0 210101 0
vsize: 840468
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 74509 56 0 0 25 0 11 0 836095124 860639232 29828 4294967295 134512640 134569956 3221224368 3221214680 1131449512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 29828 13086 16 0 210101 0
vsize: 840468
[startup+780.033 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18020 0 88 0 75427 56 0 0 24 0 11 0 836095124 860639232 30309 4294967295 134512640 134569956 3221224368 3221214568 1131155936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 30309 13086 16 0 210101 0
vsize: 840468
[startup+790.032 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 13097
Raw data (stat): 13087 (java) S 13086 5562 5561 0 -1 0 18021 0 88 0 76364 56 0 0 25 0 11 0 836095124 860639232 30593 4294967295 134512640 134569956 3221224368 3221213168 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 30593 13086 16 0 210101 0
vsize: 840468
[startup+800.033 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 77327 56 0 0 25 0 11 0 836095124 860639232 30895 4294967295 134512640 134569956 3221224368 3221214144 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 30895 13086 16 0 210101 0
vsize: 840468
[startup+810.032 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 78286 56 0 0 25 0 11 0 836095124 860639232 30895 4294967295 134512640 134569956 3221224368 3221214560 1131444420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 30895 13086 16 0 210101 0
vsize: 840468
[startup+820.036 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 13097
Raw data (stat): 13087 (java) S 13086 5562 5561 0 -1 0 18021 0 88 0 79244 56 0 0 25 0 11 0 836095124 860639232 31000 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 31000 13086 16 0 210101 0
vsize: 840468
[startup+830.036 s]
Raw data (loadavg): 1.10 1.03 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 80204 56 0 0 25 0 11 0 836095124 860639232 31262 4294967295 134512640 134569956 3221224368 3221214560 1131326951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 31262 13086 16 0 210101 0
vsize: 840468
[startup+840.035 s]
Raw data (loadavg): 1.09 1.03 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 81164 56 0 0 25 0 11 0 836095124 860639232 31716 4294967295 134512640 134569956 3221224368 3221214568 1131155936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 31716 13086 16 0 210101 0
vsize: 840468
[startup+850.036 s]
Raw data (loadavg): 1.07 1.03 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 82129 56 0 0 25 0 11 0 836095124 860639232 31904 4294967295 134512640 134569956 3221224368 3221214140 1131560651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 31904 13086 16 0 210101 0
vsize: 840468
[startup+860.036 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 83095 56 0 0 25 0 11 0 836095124 860639232 32056 4294967295 134512640 134569956 3221224368 3221214516 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 32056 13086 16 0 210101 0
vsize: 840468
[startup+870.035 s]
Raw data (loadavg): 1.05 1.02 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 84061 56 0 0 25 0 11 0 836095124 860639232 32139 4294967295 134512640 134569956 3221224368 3221214652 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 32139 13086 16 0 210101 0
vsize: 840468
[startup+880.035 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 85030 56 0 0 25 0 11 0 836095124 860639232 32139 4294967295 134512640 134569956 3221224368 3221214516 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 32139 13086 16 0 210101 0
vsize: 840468
[startup+890.036 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 85996 57 0 0 25 0 11 0 836095124 860639232 32188 4294967295 134512640 134569956 3221224368 3221214464 1131244730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 32188 13086 16 0 210101 0
vsize: 840468
[startup+900.036 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 86965 57 0 0 25 0 11 0 836095124 860639232 32280 4294967295 134512640 134569956 3221224368 3221214540 1131298988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 32280 13086 16 0 210101 0
vsize: 840468
[startup+910.036 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 87934 57 0 0 25 0 11 0 836095124 860639232 32280 4294967295 134512640 134569956 3221224368 3221214568 1131291634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 32280 13086 16 0 210101 0
vsize: 840468
[startup+920.035 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 88912 57 0 0 25 0 11 0 836095124 860639232 32373 4294967295 134512640 134569956 3221224368 3221214464 1131244885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 32373 13086 16 0 210101 0
vsize: 840468
[startup+930.035 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 89880 57 0 0 25 0 11 0 836095124 860639232 32373 4294967295 134512640 134569956 3221224368 3221214448 1131155994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 32373 13086 16 0 210101 0
vsize: 840468
[startup+940.035 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 90850 57 0 0 25 0 11 0 836095124 860639232 32539 4294967295 134512640 134569956 3221224368 3221214448 1131156556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 32539 13086 16 0 210101 0
vsize: 840468
[startup+950.035 s]
Raw data (loadavg): 1.09 1.03 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 91821 58 0 0 25 0 11 0 836095124 860639232 32660 4294967295 134512640 134569956 3221224368 3221214512 1131299085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 32660 13086 16 0 210101 0
vsize: 840468
[startup+960.035 s]
Raw data (loadavg): 1.08 1.03 0.98 2/64 13097
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 92797 58 0 0 25 0 11 0 836095124 860639232 32862 4294967295 134512640 134569956 3221224368 3221214568 1131291587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 32862 13086 16 0 210101 0
vsize: 840468
[startup+970.035 s]
Raw data (loadavg): 1.06 1.03 0.98 2/67 13100
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 93774 60 0 0 25 0 11 0 836095124 860639232 32942 4294967295 134512640 134569956 3221224368 3221214544 1131229560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 32942 13086 16 0 210101 0
vsize: 840468
[startup+980.036 s]
Raw data (loadavg): 1.13 1.04 0.99 2/64 13150
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 94752 60 0 0 25 0 11 0 836095124 860639232 32995 4294967295 134512640 134569956 3221224368 3221214560 1131327056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 32995 13086 16 0 210101 0
vsize: 840468
[startup+990.036 s]
Raw data (loadavg): 1.11 1.04 0.99 2/64 13150
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 95730 60 0 0 25 0 11 0 836095124 860639232 33038 4294967295 134512640 134569956 3221224368 3221214448 1131155895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33038 13086 16 0 210101 0
vsize: 840468
[startup+1000.04 s]
Raw data (loadavg): 1.09 1.04 0.99 2/64 13150
Raw data (stat): 13087 (java) S 13086 5562 5561 0 -1 0 18021 0 88 0 96710 60 0 0 25 0 11 0 836095124 860639232 33079 4294967295 134512640 134569956 3221224368 3221213168 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33079 13086 16 0 210101 0
vsize: 840468
[startup+1010.04 s]
Raw data (loadavg): 1.08 1.04 0.99 2/64 13150
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 97694 61 0 0 25 0 11 0 836095124 860639232 33133 4294967295 134512640 134569956 3221224368 3221214560 1131327064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33133 13086 16 0 210101 0
vsize: 840468
[startup+1020.04 s]
Raw data (loadavg): 1.06 1.04 0.99 2/64 13150
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 98672 61 0 0 25 0 11 0 836095124 860639232 33193 4294967295 134512640 134569956 3221224368 3221214568 1131291573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33193 13086 16 0 210101 0
vsize: 840468
[startup+1030.04 s]
Raw data (loadavg): 1.05 1.03 0.99 2/64 13150
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 99650 62 0 0 25 0 11 0 836095124 860639232 33249 4294967295 134512640 134569956 3221224368 3221214560 1131444080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 33249 13086 16 0 210101 0
vsize: 840468
[startup+1040.04 s]
Raw data (loadavg): 1.05 1.03 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 100627 62 0 0 25 0 11 0 836095124 860639232 33292 4294967295 134512640 134569956 3221224368 3221214680 1131347566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33292 13086 16 0 210101 0
vsize: 840468
[startup+1050.04 s]
Raw data (loadavg): 1.04 1.03 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 101605 63 0 0 25 0 11 0 836095124 860639232 33363 4294967295 134512640 134569956 3221224368 3221214560 1131444469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33363 13086 16 0 210101 0
vsize: 840468
[startup+1060.04 s]
Raw data (loadavg): 1.03 1.03 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 102583 63 0 0 25 0 11 0 836095124 860639232 33409 4294967295 134512640 134569956 3221224368 3221214600 1131495659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33409 13086 16 0 210101 0
vsize: 840468
[startup+1070.04 s]
Raw data (loadavg): 1.03 1.03 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 103562 63 0 0 25 0 11 0 836095124 860639232 33469 4294967295 134512640 134569956 3221224368 3221214512 1131299045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33469 13086 16 0 210101 0
vsize: 840468
[startup+1080.04 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 104540 63 0 0 25 0 11 0 836095124 860639232 33510 4294967295 134512640 134569956 3221224368 3221214680 1131348653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33510 13086 16 0 210101 0
vsize: 840468
[startup+1090.04 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 105518 64 0 0 25 0 11 0 836095124 860639232 33570 4294967295 134512640 134569956 3221224368 3221214472 1131244773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 33570 13086 16 0 210101 0
vsize: 840468
[startup+1100.04 s]
Raw data (loadavg): 1.02 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 106496 64 0 0 25 0 11 0 836095124 860639232 33625 4294967295 134512640 134569956 3221224368 3221214460 1131510592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33625 13086 16 0 210101 0
vsize: 840468
[startup+1110.04 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 107473 65 0 0 25 0 11 0 836095124 860639232 33687 4294967295 134512640 134569956 3221224368 3221214280 1076460986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33687 13086 16 0 210101 0
vsize: 840468
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 108451 65 0 0 25 0 11 0 836095124 860639232 33742 4294967295 134512640 134569956 3221224368 3221214576 1131294186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33742 13086 16 0 210101 0
vsize: 840468
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 109430 65 0 0 25 0 11 0 836095124 860639232 33782 4294967295 134512640 134569956 3221224368 3221214568 1131291673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33782 13086 16 0 210101 0
vsize: 840468
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 110409 65 0 0 25 0 11 0 836095124 860639232 33843 4294967295 134512640 134569956 3221224368 3221214544 1131229438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33843 13086 16 0 210101 0
vsize: 840468
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 111388 65 0 0 25 0 11 0 836095124 860639232 33887 4294967295 134512640 134569956 3221224368 3221214560 1131444318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33887 13086 16 0 210101 0
vsize: 840468
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 112366 66 0 0 25 0 11 0 836095124 860639232 33958 4294967295 134512640 134569956 3221224368 3221214560 1131444316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33958 13086 16 0 210101 0
vsize: 840468
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 113345 66 0 0 25 0 11 0 836095124 860639232 33989 4294967295 134512640 134569956 3221224368 3221214560 1131444469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 33989 13086 16 0 210101 0
vsize: 840468
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 114324 66 0 0 25 0 11 0 836095124 860639232 34060 4294967295 134512640 134569956 3221224368 3221214448 1131155892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 34060 13086 16 0 210101 0
vsize: 840468
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 115309 66 0 0 25 0 11 0 836095124 860639232 34090 4294967295 134512640 134569956 3221224368 3221214540 1131189947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 34090 13086 16 0 210101 0
vsize: 840468
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 116281 66 0 0 24 0 11 0 836095124 860639232 34175 4294967295 134512640 134569956 3221224368 3221214568 1131291599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 34175 13086 16 0 210101 0
vsize: 840468
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 117267 66 0 0 25 0 11 0 836095124 860639232 34205 4294967295 134512640 134569956 3221224368 3221214544 1131229510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 34205 13086 16 0 210101 0
vsize: 840468
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 13152
Raw data (stat): 13087 (java) S 13086 5562 5561 0 -1 0 18021 0 88 0 118243 67 0 0 25 0 11 0 836095124 860639232 34244 4294967295 134512640 134569956 3221224368 3221213176 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 34244 13086 16 0 210101 0
vsize: 840468
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 119224 67 0 0 25 0 11 0 836095124 860639232 34305 4294967295 134512640 134569956 3221224368 3221214568 1131291673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 34305 13086 16 0 210101 0
vsize: 840468
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 13152
Raw data (stat): 13087 (java) R 13086 5562 5561 0 -1 0 18021 0 88 0 120202 67 0 0 25 0 11 0 836095124 860639232 34349 4294967295 134512640 134569956 3221224368 3221214168 1131285996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 34349 13086 16 0 210101 0
vsize: 840468
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.23 s]
Raw data (loadavg): 1.00 1.01 0.99 1/54 13154
Raw data (stat): 13087 (java) Z 13086 5562 5561 0 -1 1036 18021 14395 88 0 120206 67 3066 34 25 0 1 0 836095124 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.23
CPU time (s): 1233.76
CPU user time (s): 1232.74
CPU system time (s): 1.01984
CPU usage (%): 99.4783
Max. virtual memory (Kb): 840528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####