PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stair.opb
MD5SUM	07f65f29ee2937de43752221c6dbdf88
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	516561567744
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	3615347139525
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.349946
Number of variables	7646
Total number of constraints	362
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	362
Minimum length of a constraint	10
Maximum length of a constraint	540
Trace number 29888

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 12:24:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21281 boxname=wulflinc19 idbench=1269 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  07f65f29ee2937de43752221c6dbdf88  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-stair.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-stair.opb
IDLAUNCH: 21281
/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:        436584 kB
Buffers:         34288 kB
Cached:         536768 kB
SwapCached:        416 kB
Active:          52048 kB
Inactive:       521300 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        436332 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            19076 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:45:02 (client local time) WITH STATUS 143 IN 1218.2 SECONDS
stats: 21281 7 1218.2 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/wulflinc19/normalized-mps-v2-13-7-stair.opb
c reading problem ... done. Time 22.637 ms.
c #vars     7646
c #constraints  571
c starts	: 5
c conflicts	: 1092
c decisions	: 10717
c propagations	: 130433
c inspects	: 7257787
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1092
c root simplifications	: 1094
s UNKNOWN
c Total CPU time (ms) : 1219.151
#### 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.98 2/54 23733
Raw data (stat): 23733 (runsolver) R 23732 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838850517 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.16 1.00 1.00 2/63 23742
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18031 0 1 0 818 37 0 0 25 0 10 0 838850517 854552576 20260 4294967295 134512640 134569956 3221224368 3221213868 1076462545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208631 20260 13086 16 0 208615 0
vsize: 834524
[startup+20.0019 s]
Raw data (loadavg): 1.13 1.00 1.00 2/63 23742
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18031 0 1 0 1677 37 0 0 25 0 10 0 838850517 854552576 21482 4294967295 134512640 134569956 3221224368 3221214312 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208631 21482 13086 16 0 208615 0
vsize: 834524
[startup+30.0022 s]
Raw data (loadavg): 1.27 1.04 1.01 3/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18105 0 1 0 2524 38 0 0 25 0 11 0 838850517 862060544 23663 4294967295 134512640 134569956 3221224368 3221214552 1131304695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210464 23663 13086 16 0 210448 0
vsize: 841856
[startup+40.0021 s]
Raw data (loadavg): 1.30 1.05 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18106 0 1 0 3420 38 0 0 25 0 11 0 838850517 860536832 23295 4294967295 134512640 134569956 3221224368 3221214576 1131306467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 23295 13086 16 0 210076 0
vsize: 840368
[startup+50.0033 s]
Raw data (loadavg): 1.25 1.05 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18107 0 1 0 4328 39 0 0 25 0 11 0 838850517 860536832 23296 4294967295 134512640 134569956 3221224368 3221214720 1131322657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 23296 13086 16 0 210076 0
vsize: 840368
[startup+60.0037 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18107 0 1 0 5244 39 0 0 25 0 11 0 838850517 860536832 23770 4294967295 134512640 134569956 3221224368 3221214672 1131432153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 23770 13086 16 0 210076 0
vsize: 840368
[startup+70.0045 s]
Raw data (loadavg): 1.18 1.04 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18107 0 1 0 6220 39 0 0 25 0 11 0 838850517 860536832 24159 4294967295 134512640 134569956 3221224368 3221214576 1131304622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24159 13086 16 0 210076 0
vsize: 840368
[startup+80.0058 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18107 0 1 0 7209 39 0 0 25 0 11 0 838850517 860536832 24197 4294967295 134512640 134569956 3221224368 3221214576 1131304404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24197 13086 16 0 210076 0
vsize: 840368
[startup+90.0051 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 8198 39 0 0 25 0 11 0 838850517 860536832 24228 4294967295 134512640 134569956 3221224368 3221214576 1131304471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24228 13086 16 0 210076 0
vsize: 840368
[startup+100.005 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 9188 39 0 0 25 0 11 0 838850517 860536832 24251 4294967295 134512640 134569956 3221224368 3221214672 1131432412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24251 13086 16 0 210076 0
vsize: 840368
[startup+110.006 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 10178 39 0 0 25 0 11 0 838850517 860536832 24292 4294967295 134512640 134569956 3221224368 3221214672 1131439386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24292 13086 16 0 210076 0
vsize: 840368
[startup+120.008 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 11169 39 0 0 25 0 11 0 838850517 860536832 24313 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24313 13086 16 0 210076 0
vsize: 840368
[startup+130.007 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 12161 39 0 0 25 0 11 0 838850517 860536832 24330 4294967295 134512640 134569956 3221224368 3221214856 1131490775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24330 13086 16 0 210076 0
vsize: 840368
[startup+140.008 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 13153 39 0 0 25 0 11 0 838850517 860536832 24346 4294967295 134512640 134569956 3221224368 3221214664 1131206639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24346 13086 16 0 210076 0
vsize: 840368
[startup+150.008 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 14140 39 0 0 25 0 11 0 838850517 860536832 24368 4294967295 134512640 134569956 3221224368 3221214672 1131438716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24368 13086 16 0 210076 0
vsize: 840368
[startup+160.009 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 15132 39 0 0 25 0 11 0 838850517 860536832 24385 4294967295 134512640 134569956 3221224368 3221214672 1131439386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24385 13086 16 0 210076 0
vsize: 840368
[startup+170.01 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 16123 40 0 0 25 0 11 0 838850517 860536832 24398 4294967295 134512640 134569956 3221224368 3221214312 1131570431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24398 13086 16 0 210076 0
vsize: 840368
[startup+180.009 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 17113 40 0 0 25 0 11 0 838850517 860536832 24410 4294967295 134512640 134569956 3221224368 3221214808 1131533720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24410 13086 16 0 210076 0
vsize: 840368
[startup+190.009 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 18103 40 0 0 24 0 11 0 838850517 860536832 24423 4294967295 134512640 134569956 3221224368 3221214576 1131304471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24423 13086 16 0 210076 0
vsize: 840368
[startup+200.01 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 19094 40 0 0 25 0 11 0 838850517 860536832 24452 4294967295 134512640 134569956 3221224368 3221214672 1131434340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24452 13086 16 0 210076 0
vsize: 840368
[startup+210.01 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 20087 40 0 0 25 0 11 0 838850517 860536832 24480 4294967295 134512640 134569956 3221224368 3221214640 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24480 13086 16 0 210076 0
vsize: 840368
[startup+220.011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 21079 40 0 0 25 0 11 0 838850517 860536832 24491 4294967295 134512640 134569956 3221224368 3221214668 1131303759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24491 13086 16 0 210076 0
vsize: 840368
[startup+230.01 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 22071 40 0 0 25 0 11 0 838850517 860536832 24501 4294967295 134512640 134569956 3221224368 3221214576 1131304560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24501 13086 16 0 210076 0
vsize: 840368
[startup+240.01 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 23064 40 0 0 25 0 11 0 838850517 860536832 24511 4294967295 134512640 134569956 3221224368 3221214576 1131304662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24511 13086 16 0 210076 0
vsize: 840368
[startup+250.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 24056 40 0 0 25 0 11 0 838850517 860536832 24521 4294967295 134512640 134569956 3221224368 3221214720 1131322720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24521 13086 16 0 210076 0
vsize: 840368
[startup+260.011 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 25048 40 0 0 25 0 11 0 838850517 860536832 24531 4294967295 134512640 134569956 3221224368 3221214576 1131305281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24531 13086 16 0 210076 0
vsize: 840368
[startup+270.012 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 26040 40 0 0 25 0 11 0 838850517 860536832 24541 4294967295 134512640 134569956 3221224368 3221214664 1131206649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24541 13086 16 0 210076 0
vsize: 840368
[startup+280.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 27032 41 0 0 25 0 11 0 838850517 860536832 24550 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24550 13086 16 0 210076 0
vsize: 840368
[startup+290.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 28024 41 0 0 25 0 11 0 838850517 860536832 24560 4294967295 134512640 134569956 3221224368 3221214668 1131303759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24560 13086 16 0 210076 0
vsize: 840368
[startup+300.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 29016 41 0 0 25 0 11 0 838850517 860536832 24568 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24568 13086 16 0 210076 0
vsize: 840368
[startup+310.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 30009 41 0 0 25 0 11 0 838850517 860536832 24576 4294967295 134512640 134569956 3221224368 3221214672 1131432206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24576 13086 16 0 210076 0
vsize: 840368
[startup+320.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 31000 41 0 0 25 0 11 0 838850517 860536832 24585 4294967295 134512640 134569956 3221224368 3221214576 1131306284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24585 13086 16 0 210076 0
vsize: 840368
[startup+330.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 31991 42 0 0 25 0 11 0 838850517 860536832 24593 4294967295 134512640 134569956 3221224368 3221214672 1131439252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24593 13086 16 0 210076 0
vsize: 840368
[startup+340.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 32982 42 0 0 25 0 11 0 838850517 860536832 24602 4294967295 134512640 134569956 3221224368 3221214576 1131304397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24602 13086 16 0 210076 0
vsize: 840368
[startup+350.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 33975 42 0 0 25 0 11 0 838850517 860536832 24609 4294967295 134512640 134569956 3221224368 3221214672 1131439252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24609 13086 16 0 210076 0
vsize: 840368
[startup+360.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 34967 42 0 0 25 0 11 0 838850517 860536832 24618 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24618 13086 16 0 210076 0
vsize: 840368
[startup+370.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 35958 43 0 0 25 0 11 0 838850517 860536832 24626 4294967295 134512640 134569956 3221224368 3221214672 1131438604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24626 13086 16 0 210076 0
vsize: 840368
[startup+380.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 36950 43 0 0 25 0 11 0 838850517 860536832 24633 4294967295 134512640 134569956 3221224368 3221214576 1131207405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24633 13086 16 0 210076 0
vsize: 840368
[startup+390.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 37940 43 0 0 25 0 11 0 838850517 860536832 24641 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24641 13086 16 0 210076 0
vsize: 840368
[startup+400.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 38932 43 0 0 25 0 11 0 838850517 860536832 24648 4294967295 134512640 134569956 3221224368 3221214576 1131304705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24648 13086 16 0 210076 0
vsize: 840368
[startup+410.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 39924 43 0 0 25 0 11 0 838850517 860536832 24655 4294967295 134512640 134569956 3221224368 3221214672 1131434470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24655 13086 16 0 210076 0
vsize: 840368
[startup+420.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 40915 43 0 0 25 0 11 0 838850517 860536832 24663 4294967295 134512640 134569956 3221224368 3221214672 1131439252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24663 13086 16 0 210076 0
vsize: 840368
[startup+430.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 41907 44 0 0 25 0 11 0 838850517 860536832 24669 4294967295 134512640 134569956 3221224368 3221214576 1131306423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24669 13086 16 0 210076 0
vsize: 840368
[startup+440.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 42897 44 0 0 25 0 11 0 838850517 860536832 24677 4294967295 134512640 134569956 3221224368 3221214576 1131306407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24677 13086 16 0 210076 0
vsize: 840368
[startup+450.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 43887 44 0 0 25 0 11 0 838850517 860536832 24684 4294967295 134512640 134569956 3221224368 3221214576 1131305853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24684 13086 16 0 210076 0
vsize: 840368
[startup+460.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 44876 44 0 0 25 0 11 0 838850517 860536832 24691 4294967295 134512640 134569956 3221224368 3221214672 1131435406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24691 13086 16 0 210076 0
vsize: 840368
[startup+470.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23743
Raw data (stat): 23733 (java) S 23732 10795 10794 0 -1 0 18108 0 1 0 45865 44 0 0 24 0 11 0 838850517 860536832 24699 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24699 13086 16 0 210076 0
vsize: 840368
[startup+480.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 46855 45 0 0 25 0 11 0 838850517 860536832 24715 4294967295 134512640 134569956 3221224368 3221214672 1131433358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24715 13086 16 0 210076 0
vsize: 840368
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 47845 45 0 0 25 0 11 0 838850517 860536832 24720 4294967295 134512640 134569956 3221224368 3221214576 1131207415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24720 13086 16 0 210076 0
vsize: 840368
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 48836 45 0 0 25 0 11 0 838850517 860536832 24724 4294967295 134512640 134569956 3221224368 3221214672 1131432077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24724 13086 16 0 210076 0
vsize: 840368
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 49826 45 0 0 25 0 11 0 838850517 860536832 24727 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24727 13086 16 0 210076 0
vsize: 840368
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 50816 45 0 0 25 0 11 0 838850517 860536832 24732 4294967295 134512640 134569956 3221224368 3221214576 1131306438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24732 13086 16 0 210076 0
vsize: 840368
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 51803 45 0 0 25 0 11 0 838850517 860536832 24735 4294967295 134512640 134569956 3221224368 3221214672 1131438332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24735 13086 16 0 210076 0
vsize: 840368
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 52789 45 0 0 25 0 11 0 838850517 860536832 24738 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24738 13086 16 0 210076 0
vsize: 840368
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 53774 45 0 0 25 0 11 0 838850517 860536832 24756 4294967295 134512640 134569956 3221224368 3221214576 1131305392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24756 13086 16 0 210076 0
vsize: 840368
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 54762 45 0 0 25 0 11 0 838850517 860536832 24806 4294967295 134512640 134569956 3221224368 3221214668 1131303759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24806 13086 16 0 210076 0
vsize: 840368
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 55752 45 0 0 25 0 11 0 838850517 860536832 24817 4294967295 134512640 134569956 3221224368 3221214576 1131303098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24817 13086 16 0 210076 0
vsize: 840368
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 56743 45 0 0 25 0 11 0 838850517 860536832 24821 4294967295 134512640 134569956 3221224368 3221214576 1131305319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24821 13086 16 0 210076 0
vsize: 840368
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 57733 45 0 0 25 0 11 0 838850517 860536832 24825 4294967295 134512640 134569956 3221224368 3221214672 1131439252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24825 13086 16 0 210076 0
vsize: 840368
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 58722 45 0 0 25 0 11 0 838850517 860536832 24828 4294967295 134512640 134569956 3221224368 3221214576 1131304759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24828 13086 16 0 210076 0
vsize: 840368
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 59711 45 0 0 25 0 11 0 838850517 860536832 24832 4294967295 134512640 134569956 3221224368 3221214576 1131304787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24832 13086 16 0 210076 0
vsize: 840368
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 60700 45 0 0 25 0 11 0 838850517 860536832 24835 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24835 13086 16 0 210076 0
vsize: 840368
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 61690 45 0 0 24 0 11 0 838850517 860536832 24839 4294967295 134512640 134569956 3221224368 3221214672 1131438716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24839 13086 16 0 210076 0
vsize: 840368
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 62679 45 0 0 25 0 11 0 838850517 860536832 24846 4294967295 134512640 134569956 3221224368 3221214672 1131432408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24846 13086 16 0 210076 0
vsize: 840368
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 63669 45 0 0 25 0 11 0 838850517 860536832 24853 4294967295 134512640 134569956 3221224368 3221214576 1131304695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24853 13086 16 0 210076 0
vsize: 840368
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 64658 45 0 0 25 0 11 0 838850517 860536832 24856 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24856 13086 16 0 210076 0
vsize: 840368
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 65648 46 0 0 25 0 11 0 838850517 860536832 24860 4294967295 134512640 134569956 3221224368 3221214672 1131432077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24860 13086 16 0 210076 0
vsize: 840368
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 66637 46 0 0 25 0 11 0 838850517 860536832 24863 4294967295 134512640 134569956 3221224368 3221214664 1131206606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24863 13086 16 0 210076 0
vsize: 840368
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 67625 46 0 0 25 0 11 0 838850517 860536832 24866 4294967295 134512640 134569956 3221224368 3221214576 1131304457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24866 13086 16 0 210076 0
vsize: 840368
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 68613 46 0 0 24 0 11 0 838850517 860536832 24870 4294967295 134512640 134569956 3221224368 3221214664 1131206639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24870 13086 16 0 210076 0
vsize: 840368
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 69602 47 0 0 25 0 11 0 838850517 860536832 24873 4294967295 134512640 134569956 3221224368 3221214672 1131433848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24873 13086 16 0 210076 0
vsize: 840368
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 70590 47 0 0 25 0 11 0 838850517 860536832 24876 4294967295 134512640 134569956 3221224368 3221214664 1131206631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24876 13086 16 0 210076 0
vsize: 840368
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 71578 47 0 0 25 0 11 0 838850517 860536832 24879 4294967295 134512640 134569956 3221224368 3221214720 1131322756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24879 13086 16 0 210076 0
vsize: 840368
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 72566 48 0 0 25 0 11 0 838850517 860536832 24883 4294967295 134512640 134569956 3221224368 3221214576 1131304595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24883 13086 16 0 210076 0
vsize: 840368
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 73554 48 0 0 25 0 11 0 838850517 860536832 24887 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 24887 13086 16 0 210076 0
vsize: 840368
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 74543 48 0 0 25 0 11 0 838850517 860536832 24890 4294967295 134512640 134569956 3221224368 3221214576 1131304465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24890 13086 16 0 210076 0
vsize: 840368
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 75530 49 0 0 25 0 11 0 838850517 860536832 24894 4294967295 134512640 134569956 3221224368 3221214576 1131304545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24894 13086 16 0 210076 0
vsize: 840368
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 76519 49 0 0 25 0 11 0 838850517 860536832 24897 4294967295 134512640 134569956 3221224368 3221214664 1131206623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24897 13086 16 0 210076 0
vsize: 840368
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 77507 50 0 0 25 0 11 0 838850517 860536832 24900 4294967295 134512640 134569956 3221224368 3221214672 1131434263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24900 13086 16 0 210076 0
vsize: 840368
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 78495 50 0 0 25 0 11 0 838850517 860536832 24903 4294967295 134512640 134569956 3221224368 3221214576 1131306477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24903 13086 16 0 210076 0
vsize: 840368
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 79483 50 0 0 25 0 11 0 838850517 860536832 24907 4294967295 134512640 134569956 3221224368 3221214632 1131252971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24907 13086 16 0 210076 0
vsize: 840368
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 80471 50 0 0 25 0 11 0 838850517 860536832 24910 4294967295 134512640 134569956 3221224368 3221214672 1131434157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24910 13086 16 0 210076 0
vsize: 840368
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) S 23732 10795 10794 0 -1 0 18108 0 1 0 81458 50 0 0 25 0 11 0 838850517 860536832 24913 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24913 13086 16 0 210076 0
vsize: 840368
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 82446 51 0 0 25 0 11 0 838850517 860536832 24918 4294967295 134512640 134569956 3221224368 3221214672 1131434185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24918 13086 16 0 210076 0
vsize: 840368
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 83434 51 0 0 25 0 11 0 838850517 860536832 24921 4294967295 134512640 134569956 3221224368 3221214576 1131305447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24921 13086 16 0 210076 0
vsize: 840368
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 84423 51 0 0 25 0 11 0 838850517 860536832 24924 4294967295 134512640 134569956 3221224368 3221214664 1131206613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24924 13086 16 0 210076 0
vsize: 840368
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 85411 52 0 0 25 0 11 0 838850517 860536832 24927 4294967295 134512640 134569956 3221224368 3221214576 1131304412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24927 13086 16 0 210076 0
vsize: 840368
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 86399 52 0 0 25 0 11 0 838850517 860536832 24930 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24930 13086 16 0 210076 0
vsize: 840368
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 87387 52 0 0 25 0 11 0 838850517 860536832 24933 4294967295 134512640 134569956 3221224368 3221214672 1131434340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24933 13086 16 0 210076 0
vsize: 840368
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 88374 53 0 0 24 0 11 0 838850517 860536832 24937 4294967295 134512640 134569956 3221224368 3221214576 1131304529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24937 13086 16 0 210076 0
vsize: 840368
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 89363 53 0 0 25 0 11 0 838850517 860536832 24939 4294967295 134512640 134569956 3221224368 3221214672 1131438716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24939 13086 16 0 210076 0
vsize: 840368
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 90351 53 0 0 25 0 11 0 838850517 860536832 24943 4294967295 134512640 134569956 3221224368 3221214672 1131438591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24943 13086 16 0 210076 0
vsize: 840368
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 91339 54 0 0 25 0 11 0 838850517 860536832 24946 4294967295 134512640 134569956 3221224368 3221214672 1131432197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24946 13086 16 0 210076 0
vsize: 840368
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 92327 54 0 0 25 0 11 0 838850517 860536832 24949 4294967295 134512640 134569956 3221224368 3221214668 1131305480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 24949 13086 16 0 210076 0
vsize: 840368
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 93315 54 0 0 25 0 11 0 838850517 860536832 25108 4294967295 134512640 134569956 3221224368 3221214576 1131304695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25108 13086 16 0 210076 0
vsize: 840368
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 94302 55 0 0 24 0 11 0 838850517 860536832 25071 4294967295 134512640 134569956 3221224368 3221214576 1131303098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25071 13086 16 0 210076 0
vsize: 840368
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 95290 55 0 0 25 0 11 0 838850517 860536832 25074 4294967295 134512640 134569956 3221224368 3221214672 1131432465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25074 13086 16 0 210076 0
vsize: 840368
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 96278 56 0 0 25 0 11 0 838850517 860536832 25077 4294967295 134512640 134569956 3221224368 3221214576 1131304741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25077 13086 16 0 210076 0
vsize: 840368
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 97266 56 0 0 25 0 11 0 838850517 860536832 25080 4294967295 134512640 134569956 3221224368 3221214576 1131303088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25080 13086 16 0 210076 0
vsize: 840368
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 98253 57 0 0 25 0 11 0 838850517 860536832 25083 4294967295 134512640 134569956 3221224368 3221214672 1131440526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25083 13086 16 0 210076 0
vsize: 840368
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 99241 57 0 0 25 0 11 0 838850517 860536832 25086 4294967295 134512640 134569956 3221224368 3221214672 1131434493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25086 13086 16 0 210076 0
vsize: 840368
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 100228 58 0 0 25 0 11 0 838850517 860536832 25089 4294967295 134512640 134569956 3221224368 3221214576 1131304753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25089 13086 16 0 210076 0
vsize: 840368
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 101216 58 0 0 25 0 11 0 838850517 860536832 25091 4294967295 134512640 134569956 3221224368 3221214672 1131438716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25091 13086 16 0 210076 0
vsize: 840368
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 102203 59 0 0 25 0 11 0 838850517 860536832 25095 4294967295 134512640 134569956 3221224368 3221214668 1131206572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25095 13086 16 0 210076 0
vsize: 840368
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 103190 59 0 0 25 0 11 0 838850517 860536832 25098 4294967295 134512640 134569956 3221224368 3221214216 1131546872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25098 13086 16 0 210076 0
vsize: 840368
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 104178 59 0 0 25 0 11 0 838850517 860536832 25100 4294967295 134512640 134569956 3221224368 3221214668 1131206572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25100 13086 16 0 210076 0
vsize: 840368
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 105166 59 0 0 25 0 11 0 838850517 860536832 25104 4294967295 134512640 134569956 3221224368 3221214576 1131304729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25104 13086 16 0 210076 0
vsize: 840368
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 106154 59 0 0 25 0 11 0 838850517 860536832 25106 4294967295 134512640 134569956 3221224368 3221214672 1131432408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25106 13086 16 0 210076 0
vsize: 840368
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 107142 59 0 0 25 0 11 0 838850517 860536832 25109 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25109 13086 16 0 210076 0
vsize: 840368
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 108130 59 0 0 25 0 11 0 838850517 860536832 25112 4294967295 134512640 134569956 3221224368 3221214672 1131432358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25112 13086 16 0 210076 0
vsize: 840368
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 109118 59 0 0 25 0 11 0 838850517 860536832 25115 4294967295 134512640 134569956 3221224368 3221214720 1131321947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25115 13086 16 0 210076 0
vsize: 840368
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 110106 60 0 0 25 0 11 0 838850517 860536832 25118 4294967295 134512640 134569956 3221224368 3221214576 1131304415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25118 13086 16 0 210076 0
vsize: 840368
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 111094 60 0 0 25 0 11 0 838850517 860536832 25121 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25121 13086 16 0 210076 0
vsize: 840368
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 112082 60 0 0 25 0 11 0 838850517 860536832 25124 4294967295 134512640 134569956 3221224368 3221214576 1131304705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25124 13086 16 0 210076 0
vsize: 840368
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 113070 60 0 0 25 0 11 0 838850517 860536832 25126 4294967295 134512640 134569956 3221224368 3221214576 1131304397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25126 13086 16 0 210076 0
vsize: 840368
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 114058 60 0 0 25 0 11 0 838850517 860536832 25129 4294967295 134512640 134569956 3221224368 3221214672 1131433345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25129 13086 16 0 210076 0
vsize: 840368
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 115045 60 0 0 25 0 11 0 838850517 860536832 25132 4294967295 134512640 134569956 3221224368 3221214576 1131304465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25132 13086 16 0 210076 0
vsize: 840368
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 116033 60 0 0 25 0 11 0 838850517 860536832 25134 4294967295 134512640 134569956 3221224368 3221214576 1131304753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25134 13086 16 0 210076 0
vsize: 840368
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 117021 60 0 0 25 0 11 0 838850517 860536832 25137 4294967295 134512640 134569956 3221224368 3221214576 1131305319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25137 13086 16 0 210076 0
vsize: 840368
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 118009 60 0 0 25 0 11 0 838850517 860536832 25140 4294967295 134512640 134569956 3221224368 3221214672 1131432365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25140 13086 16 0 210076 0
vsize: 840368
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 118997 60 0 0 25 0 11 0 838850517 860536832 25143 4294967295 134512640 134569956 3221224368 3221214672 1131432408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25143 13086 16 0 210076 0
vsize: 840368
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23743
Raw data (stat): 23733 (java) R 23732 10795 10794 0 -1 0 18108 0 1 0 119985 60 0 0 25 0 11 0 838850517 860536832 25145 4294967295 134512640 134569956 3221224368 3221214576 1131304741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25145 13086 16 0 210076 0
vsize: 840368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23745
Raw data (stat): 23733 (java) Z 23732 10795 10794 0 -1 1036 18108 5087 1 0 119986 60 1745 26 25 0 1 0 838850517 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): 1220.14
CPU time (s): 1218.2
CPU user time (s): 1217.32
CPU system time (s): 0.875866
CPU usage (%): 99.8407
Max. virtual memory (Kb): 841856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####