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/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM	48809ba02390b1184dab90aed89aff8e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4517
Optimality of the best value was proved	NO
Number of terms in the objective function	651
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	28138
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	28138
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	651
Total number of constraints	1658
Number of constraints which are clauses	1656
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Trace number 4434

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-13 17:10:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2214 boxname=wulflinc30 idbench=246 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  48809ba02390b1184dab90aed89aff8e  /oldhome/oroussel/tmp/wulflinc30/normalized-9symml.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-9symml.opb
IDLAUNCH: 2214
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        752176 kB
Buffers:         36956 kB
Cached:         205056 kB
SwapCached:          0 kB
Active:          78768 kB
Inactive:       166072 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        751924 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            32056 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:31:13 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2214 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-9symml.opb
c reading problem 
c [nbvar=651]
c [nbconstr=1658]
c time 2.339
c #vars     651
c #clauses  1658
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=5689
c Current CPU time (ms) : 3.771
c starts	: 1
c conflicts	: 8
c decisions	: 650
c propagations	: 1163
c inspects	: 3842
c learned literals	: 3
c learned binary clauses	: 2
c learned ternary clauses	: 0
c learned clauses	: 5
c root simplifications	: 4
#### 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.98 0.98 2/54 12514
Raw data (stat): 12514 (runsolver) R 12513 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477640725 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0012 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18080 3 1 0 677 43 0 0 25 0 11 0 477640725 865005568 21584 4294967295 134512640 134569956 3221224416 3221214576 1130892668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 21584 13073 16 0 211167 0
vsize: 844732
[startup+20.0016 s]
Raw data (loadavg): 1.15 1.03 1.00 3/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 1607 44 0 0 25 0 11 0 477640725 864972800 21936 4294967295 134512640 134569956 3221224416 3221214664 1131340702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211175 21936 13073 16 0 211159 0
vsize: 844700
[startup+30.0061 s]
Raw data (loadavg): 1.13 1.03 1.00 3/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 2552 44 0 0 25 0 11 0 477640725 860987392 21150 4294967295 134512640 134569956 3221224416 3221214576 1131310403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 21150 13073 16 0 210186 0
vsize: 840808
[startup+40.0066 s]
Raw data (loadavg): 1.11 1.03 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 3490 44 0 0 25 0 11 0 477640725 860987392 21381 4294967295 134512640 134569956 3221224416 3221214736 1131310561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 21381 13073 16 0 210186 0
vsize: 840808
[startup+50.007 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 4441 44 0 0 25 0 11 0 477640725 860987392 21746 4294967295 134512640 134569956 3221224416 3221214576 1131310403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 21746 13073 16 0 210186 0
vsize: 840808
[startup+60.0072 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 5400 44 0 0 25 0 11 0 477640725 860987392 21857 4294967295 134512640 134569956 3221224416 3221214680 1131553360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 21857 13073 16 0 210186 0
vsize: 840808
[startup+70.0081 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 6355 45 0 0 25 0 11 0 477640725 860987392 21957 4294967295 134512640 134569956 3221224416 3221214744 1131408519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 21957 13073 16 0 210186 0
vsize: 840808
[startup+80.0092 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 7310 45 0 0 25 0 11 0 477640725 860987392 22029 4294967295 134512640 134569956 3221224416 3221214576 1131310403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 22029 13073 16 0 210186 0
vsize: 840808
[startup+90.0099 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 8267 45 0 0 25 0 11 0 477640725 860987392 22210 4294967295 134512640 134569956 3221224416 3221214680 1131565335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 22210 13073 16 0 210186 0
vsize: 840808
[startup+100.01 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 9229 45 0 0 25 0 11 0 477640725 860987392 22320 4294967295 134512640 134569956 3221224416 3221214872 1131143744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 22320 13073 16 0 210186 0
vsize: 840808
[startup+110.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 10177 45 0 0 25 0 11 0 477640725 860987392 22449 4294967295 134512640 134569956 3221224416 3221214664 1131341217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 22449 13073 16 0 210186 0
vsize: 840808
[startup+120.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 11118 46 0 0 25 0 11 0 477640725 860987392 22509 4294967295 134512640 134569956 3221224416 3221214664 1131339737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 22509 13073 16 0 210186 0
vsize: 840808
[startup+130.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 12050 46 0 0 25 0 11 0 477640725 860987392 22663 4294967295 134512640 134569956 3221224416 3221214664 1131341215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 22663 13073 16 0 210186 0
vsize: 840808
[startup+140.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 12990 46 0 0 25 0 11 0 477640725 860987392 22878 4294967295 134512640 134569956 3221224416 3221214576 1131310132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 22878 13073 16 0 210186 0
vsize: 840808
[startup+150.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18081 3 1 0 13945 46 0 0 25 0 11 0 477640725 860987392 23095 4294967295 134512640 134569956 3221224416 3221214576 1131384349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 23095 13073 16 0 210186 0
vsize: 840808
[startup+160.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 14909 46 0 0 25 0 11 0 477640725 860987392 23182 4294967295 134512640 134569956 3221224416 3221214680 1131565332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 23182 13073 16 0 210186 0
vsize: 840808
[startup+170.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 15863 46 0 0 25 0 11 0 477640725 860987392 23293 4294967295 134512640 134569956 3221224416 3221214744 1131407428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 23293 13073 16 0 210186 0
vsize: 840808
[startup+180.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 16816 46 0 0 25 0 11 0 477640725 860987392 23380 4294967295 134512640 134569956 3221224416 3221214664 1131331792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 23380 13073 16 0 210186 0
vsize: 840808
[startup+190.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 17769 46 0 0 25 0 11 0 477640725 860987392 23472 4294967295 134512640 134569956 3221224416 3221214576 1131310496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 23472 13073 16 0 210186 0
vsize: 840808
[startup+200.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 18730 46 0 0 25 0 11 0 477640725 860987392 23601 4294967295 134512640 134569956 3221224416 3221214872 1131143794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 23601 13073 16 0 210186 0
vsize: 840808
[startup+210.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 19692 46 0 0 25 0 11 0 477640725 860987392 23720 4294967295 134512640 134569956 3221224416 3221214744 1131405887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 23720 13073 16 0 210186 0
vsize: 840808
[startup+220.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 20650 46 0 0 25 0 11 0 477640725 860987392 23835 4294967295 134512640 134569956 3221224416 3221214744 1131410964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 23835 13073 16 0 210186 0
vsize: 840808
[startup+230.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 21610 46 0 0 25 0 11 0 477640725 860987392 23939 4294967295 134512640 134569956 3221224416 3221214584 1131375557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 23939 13073 16 0 210186 0
vsize: 840808
[startup+240.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 22555 46 0 0 25 0 11 0 477640725 860987392 23986 4294967295 134512640 134569956 3221224416 3221214488 1131355890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 23986 13073 16 0 210186 0
vsize: 840808
[startup+250.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 23490 46 0 0 25 0 11 0 477640725 860987392 24091 4294967295 134512640 134569956 3221224416 3221214872 1131143744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 24091 13073 16 0 210186 0
vsize: 840808
[startup+260.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 24432 47 0 0 25 0 11 0 477640725 860987392 24214 4294967295 134512640 134569956 3221224416 3221214744 1131407256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 24214 13073 16 0 210186 0
vsize: 840808
[startup+270.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 25363 47 0 0 25 0 11 0 477640725 860987392 24455 4294967295 134512640 134569956 3221224416 3221214912 1131294085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 24455 13073 16 0 210186 0
vsize: 840808
[startup+280.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 26298 47 0 0 25 0 11 0 477640725 860987392 24687 4294967295 134512640 134569956 3221224416 3221214472 1131357342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 24687 13073 16 0 210186 0
vsize: 840808
[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 27231 47 0 0 25 0 11 0 477640725 860987392 24914 4294967295 134512640 134569956 3221224416 3221214744 1131411208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 24914 13073 16 0 210186 0
vsize: 840808
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 28161 47 0 0 25 0 11 0 477640725 860987392 25117 4294967295 134512640 134569956 3221224416 3221214584 1131375459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 25117 13073 16 0 210186 0
vsize: 840808
[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 29094 47 0 0 25 0 11 0 477640725 860987392 25276 4294967295 134512640 134569956 3221224416 3221214872 1131143794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 25276 13073 16 0 210186 0
vsize: 840808
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) S 12513 11931 11930 0 -1 0 18082 3 1 0 30039 47 0 0 25 0 11 0 477640725 860987392 25522 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 25522 13073 16 0 210186 0
vsize: 840808
[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 30988 47 0 0 25 0 11 0 477640725 860987392 25693 4294967295 134512640 134569956 3221224416 3221214872 1131143761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 25693 13073 16 0 210186 0
vsize: 840808
[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 31953 47 0 0 25 0 11 0 477640725 860987392 25774 4294967295 134512640 134569956 3221224416 3221214888 1131289501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 25774 13073 16 0 210186 0
vsize: 840808
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 32906 48 0 0 25 0 11 0 477640725 860987392 25840 4294967295 134512640 134569956 3221224416 3221214816 1131215969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 25840 13073 16 0 210186 0
vsize: 840808
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 33839 48 0 0 25 0 11 0 477640725 860987392 26014 4294967295 134512640 134569956 3221224416 3221214744 1131407592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 26014 13073 16 0 210186 0
vsize: 840808
[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 34775 48 0 0 25 0 11 0 477640725 860987392 26205 4294967295 134512640 134569956 3221224416 3221214664 1131342851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 26205 13073 16 0 210186 0
vsize: 840808
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 35711 48 0 0 25 0 11 0 477640725 860987392 26292 4294967295 134512640 134569956 3221224416 3221214872 1131143744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 26292 13073 16 0 210186 0
vsize: 840808
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 36641 49 0 0 25 0 11 0 477640725 860987392 26537 4294967295 134512640 134569956 3221224416 3221214816 1131215589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 26537 13073 16 0 210186 0
vsize: 840808
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 37582 49 0 0 24 0 11 0 477640725 860987392 26705 4294967295 134512640 134569956 3221224416 3221214912 1131294087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 26705 13073 16 0 210186 0
vsize: 840808
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 38527 49 0 0 25 0 11 0 477640725 860987392 26809 4294967295 134512640 134569956 3221224416 3221214744 1131410960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 26809 13073 16 0 210186 0
vsize: 840808
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 39474 50 0 0 25 0 11 0 477640725 860987392 26955 4294967295 134512640 134569956 3221224416 3221214576 1131384605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 26955 13073 16 0 210186 0
vsize: 840808
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 40429 50 0 0 25 0 11 0 477640725 860987392 27087 4294967295 134512640 134569956 3221224416 3221214816 1131216555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 27087 13073 16 0 210186 0
vsize: 840808
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 41386 51 0 0 24 0 11 0 477640725 860987392 27248 4294967295 134512640 134569956 3221224416 3221214816 1131216161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 27248 13073 16 0 210186 0
vsize: 840808
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 42344 51 0 0 25 0 11 0 477640725 860987392 27322 4294967295 134512640 134569956 3221224416 3221214760 1131395431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 27322 13073 16 0 210186 0
vsize: 840808
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 43291 51 0 0 25 0 11 0 477640725 860987392 27382 4294967295 134512640 134569956 3221224416 3221214576 1131384391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 27382 13073 16 0 210186 0
vsize: 840808
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 44231 51 0 0 25 0 11 0 477640725 860987392 27511 4294967295 134512640 134569956 3221224416 3221214744 1131409107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 27511 13073 16 0 210186 0
vsize: 840808
[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 45171 52 0 0 25 0 11 0 477640725 860987392 27633 4294967295 134512640 134569956 3221224416 3221214696 1131315568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 27633 13073 16 0 210186 0
vsize: 840808
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 46101 53 0 0 25 0 11 0 477640725 860987392 27817 4294967295 134512640 134569956 3221224416 3221214912 1131294290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 27817 13073 16 0 210186 0
vsize: 840808
[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 47028 53 0 0 25 0 11 0 477640725 860987392 28175 4294967295 134512640 134569956 3221224416 3221214872 1131143783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 28175 13073 16 0 210186 0
vsize: 840808
[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 47937 54 0 0 25 0 11 0 477640725 860987392 28491 4294967295 134512640 134569956 3221224416 3221214816 1131216163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 28491 13073 16 0 210186 0
vsize: 840808
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 48871 54 0 0 25 0 11 0 477640725 860987392 28704 4294967295 134512640 134569956 3221224416 3221214800 1131215753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 28704 13073 16 0 210186 0
vsize: 840808
[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 49815 55 0 0 25 0 11 0 477640725 860987392 28871 4294967295 134512640 134569956 3221224416 3221214896 1131294085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 28871 13073 16 0 210186 0
vsize: 840808
[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 50768 55 0 0 25 0 11 0 477640725 860987392 29140 4294967295 134512640 134569956 3221224416 3221214800 1131215969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 29140 13073 16 0 210186 0
vsize: 840808
[startup+550.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 51735 55 0 0 25 0 11 0 477640725 860987392 29332 4294967295 134512640 134569956 3221224416 3221214744 1131407536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 29332 13073 16 0 210186 0
vsize: 840808
[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 52701 55 0 0 25 0 11 0 477640725 860987392 29469 4294967295 134512640 134569956 3221224416 3221214608 1131336302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 29469 13073 16 0 210186 0
vsize: 840808
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 53664 55 0 0 25 0 11 0 477640725 860987392 29488 4294967295 134512640 134569956 3221224416 3221214856 1131143749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 29488 13073 16 0 210186 0
vsize: 840808
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) S 12513 11931 11930 0 -1 0 18082 3 1 0 54622 56 0 0 25 0 11 0 477640725 860987392 29499 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 29499 13073 16 0 210186 0
vsize: 840808
[startup+590.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 55577 56 0 0 25 0 11 0 477640725 860987392 29627 4294967295 134512640 134569956 3221224416 3221214800 1131215848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 29627 13073 16 0 210186 0
vsize: 840808
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 56535 56 0 0 25 0 11 0 477640725 860987392 29784 4294967295 134512640 134569956 3221224416 3221214800 1131216527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 29784 13073 16 0 210186 0
vsize: 840808
[startup+610.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 57495 57 0 0 25 0 11 0 477640725 860987392 29869 4294967295 134512640 134569956 3221224416 3221214800 1131215869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 29869 13073 16 0 210186 0
vsize: 840808
[startup+620.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 58451 57 0 0 25 0 11 0 477640725 860987392 29952 4294967295 134512640 134569956 3221224416 3221214856 1131143857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 29952 13073 16 0 210186 0
vsize: 840808
[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 59402 57 0 0 25 0 11 0 477640725 860987392 30037 4294967295 134512640 134569956 3221224416 3221214896 1131293801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30037 13073 16 0 210186 0
vsize: 840808
[startup+640.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 60360 57 0 0 25 0 11 0 477640725 860987392 30155 4294967295 134512640 134569956 3221224416 3221214576 1131384813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30155 13073 16 0 210186 0
vsize: 840808
[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 61328 57 0 0 25 0 11 0 477640725 860987392 30265 4294967295 134512640 134569956 3221224416 3221214856 1131143832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30265 13073 16 0 210186 0
vsize: 840808
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 62293 57 0 0 25 0 11 0 477640725 860987392 30360 4294967295 134512640 134569956 3221224416 3221214584 1131375181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30360 13073 16 0 210186 0
vsize: 840808
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 63260 58 0 0 24 0 11 0 477640725 860987392 30434 4294967295 134512640 134569956 3221224416 3221214376 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30434 13073 16 0 210186 0
vsize: 840808
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 64233 58 0 0 25 0 11 0 477640725 860987392 30472 4294967295 134512640 134569956 3221224416 3221214536 1131358888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30472 13073 16 0 210186 0
vsize: 840808
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) S 12513 11931 11930 0 -1 0 18082 3 1 0 65200 58 0 0 25 0 11 0 477640725 860987392 30505 4294967295 134512640 134569956 3221224416 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30505 13073 16 0 210186 0
vsize: 840808
[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 66165 59 0 0 25 0 11 0 477640725 860987392 30618 4294967295 134512640 134569956 3221224416 3221214456 1131574466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30618 13073 16 0 210186 0
vsize: 840808
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 67132 59 0 0 25 0 11 0 477640725 860987392 30657 4294967295 134512640 134569956 3221224416 3221214448 1131484631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30657 13073 16 0 210186 0
vsize: 840808
[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 68097 60 0 0 24 0 11 0 477640725 860987392 30761 4294967295 134512640 134569956 3221224416 3221214800 1131216525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30761 13073 16 0 210186 0
vsize: 840808
[startup+730.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 69067 60 0 0 24 0 11 0 477640725 860987392 30826 4294967295 134512640 134569956 3221224416 3221214536 1131359169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30826 13073 16 0 210186 0
vsize: 840808
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 70044 61 0 0 25 0 11 0 477640725 860987392 30899 4294967295 134512640 134569956 3221224416 3221214376 1080217319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30899 13073 16 0 210186 0
vsize: 840808
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 71021 61 0 0 25 0 11 0 477640725 860987392 30955 4294967295 134512640 134569956 3221224416 3221214576 1131310875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 30955 13073 16 0 210186 0
vsize: 840808
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 72001 61 0 0 25 0 11 0 477640725 860987392 31046 4294967295 134512640 134569956 3221224416 3221214352 1080217052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31046 13073 16 0 210186 0
vsize: 840808
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 72981 61 0 0 25 0 11 0 477640725 860987392 31068 4294967295 134512640 134569956 3221224416 3221214664 1131339903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31068 13073 16 0 210186 0
vsize: 840808
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) S 12513 11931 11930 0 -1 0 18082 3 1 0 73952 61 0 0 25 0 11 0 477640725 860987392 31099 4294967295 134512640 134569956 3221224416 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31099 13073 16 0 210186 0
vsize: 840808
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 74926 62 0 0 25 0 11 0 477640725 860987392 31127 4294967295 134512640 134569956 3221224416 3221214536 1131361403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31127 13073 16 0 210186 0
vsize: 840808
[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 75898 62 0 0 25 0 11 0 477640725 860987392 31204 4294967295 134512640 134569956 3221224416 3221214664 1131341215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31204 13073 16 0 210186 0
vsize: 840808
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 76874 62 0 0 25 0 11 0 477640725 860987392 31271 4294967295 134512640 134569956 3221224416 3221214536 1131361304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31271 13073 16 0 210186 0
vsize: 840808
[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 77850 62 0 0 25 0 11 0 477640725 860987392 31379 4294967295 134512640 134569956 3221224416 3221214456 1131574620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31379 13073 16 0 210186 0
vsize: 840808
[startup+830.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 78823 63 0 0 25 0 11 0 477640725 860987392 31411 4294967295 134512640 134569956 3221224416 3221214584 1131375248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31411 13073 16 0 210186 0
vsize: 840808
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 79796 63 0 0 25 0 11 0 477640725 860987392 31441 4294967295 134512640 134569956 3221224416 3221214680 1131328677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31441 13073 16 0 210186 0
vsize: 840808
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 80769 64 0 0 25 0 11 0 477640725 860987392 31493 4294967295 134512640 134569956 3221224416 3221214532 1131477774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 31493 13073 16 0 210186 0
vsize: 840808
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 81744 64 0 0 25 0 11 0 477640725 860987392 31545 4294967295 134512640 134569956 3221224416 3221214608 1131336866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31545 13073 16 0 210186 0
vsize: 840808
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 82722 65 0 0 22 0 11 0 477640725 860987392 31708 4294967295 134512640 134569956 3221224416 3221214744 1131408940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31708 13073 16 0 210186 0
vsize: 840808
[startup+880.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 83708 65 0 0 25 0 11 0 477640725 860987392 31736 4294967295 134512640 134569956 3221224416 3221214512 1131573954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31736 13073 16 0 210186 0
vsize: 840808
[startup+890.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 84695 65 0 0 25 0 11 0 477640725 860987392 31769 4294967295 134512640 134569956 3221224416 3221214288 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31769 13073 16 0 210186 0
vsize: 840808
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 85682 65 0 0 25 0 11 0 477640725 860987392 31771 4294967295 134512640 134569956 3221224416 3221214376 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31771 13073 16 0 210186 0
vsize: 840808
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 86666 66 0 0 24 0 11 0 477640725 860987392 31790 4294967295 134512640 134569956 3221224416 3221214664 1131339757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31790 13073 16 0 210186 0
vsize: 840808
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 87653 66 0 0 25 0 11 0 477640725 860987392 31808 4294967295 134512640 134569956 3221224416 3221214584 1131373242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31808 13073 16 0 210186 0
vsize: 840808
[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 88640 66 0 0 25 0 11 0 477640725 860987392 31848 4294967295 134512640 134569956 3221224416 3221214744 1131408449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31848 13073 16 0 210186 0
vsize: 840808
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 89628 67 0 0 25 0 11 0 477640725 860987392 31859 4294967295 134512640 134569956 3221224416 3221214608 1131336876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31859 13073 16 0 210186 0
vsize: 840808
[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 90616 67 0 0 25 0 11 0 477640725 860987392 31859 4294967295 134512640 134569956 3221224416 3221214896 1131294087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31859 13073 16 0 210186 0
vsize: 840808
[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 91600 67 0 0 25 0 11 0 477640725 860987392 31904 4294967295 134512640 134569956 3221224416 3221214800 1131216153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31904 13073 16 0 210186 0
vsize: 840808
[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 92580 68 0 0 25 0 11 0 477640725 860987392 31904 4294967295 134512640 134569956 3221224416 3221214800 1131216103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31904 13073 16 0 210186 0
vsize: 840808
[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 93558 68 0 0 25 0 11 0 477640725 860987392 31928 4294967295 134512640 134569956 3221224416 3221214536 1131359235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31928 13073 16 0 210186 0
vsize: 840808
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 94532 68 0 0 25 0 11 0 477640725 860987392 31928 4294967295 134512640 134569956 3221224416 3221214608 1131336422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31928 13073 16 0 210186 0
vsize: 840808
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 95508 69 0 0 25 0 11 0 477640725 860987392 31976 4294967295 134512640 134569956 3221224416 3221214512 1131573924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 31976 13073 16 0 210186 0
vsize: 840808
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 96487 69 0 0 25 0 11 0 477640725 860987392 32037 4294967295 134512640 134569956 3221224416 3221214696 1131310581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32037 13073 16 0 210186 0
vsize: 840808
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 97467 69 0 0 25 0 11 0 477640725 860987392 32121 4294967295 134512640 134569956 3221224416 3221214584 1131375398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32121 13073 16 0 210186 0
vsize: 840808
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 98450 70 0 0 24 0 11 0 477640725 860987392 32171 4294967295 134512640 134569956 3221224416 3221214532 1131573985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32171 13073 16 0 210186 0
vsize: 840808
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 99436 70 0 0 25 0 11 0 477640725 860987392 32171 4294967295 134512640 134569956 3221224416 3221214876 1080204306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32171 13073 16 0 210186 0
vsize: 840808
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 100420 70 0 0 24 0 11 0 477640725 860987392 32194 4294967295 134512640 134569956 3221224416 3221214584 1131373887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32194 13073 16 0 210186 0
vsize: 840808
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 101405 71 0 0 25 0 11 0 477640725 860987392 32232 4294967295 134512640 134569956 3221224416 3221214352 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32232 13073 16 0 210186 0
vsize: 840808
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 102389 71 0 0 25 0 11 0 477640725 860987392 32289 4294967295 134512640 134569956 3221224416 3221214536 1131360086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32289 13073 16 0 210186 0
vsize: 840808
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 103378 71 0 0 25 0 11 0 477640725 860987392 32289 4294967295 134512640 134569956 3221224416 3221214352 1080216989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32289 13073 16 0 210186 0
vsize: 840808
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 104366 72 0 0 25 0 11 0 477640725 860987392 32289 4294967295 134512640 134569956 3221224416 3221214488 1079721539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32289 13073 16 0 210186 0
vsize: 840808
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 105352 72 0 0 25 0 11 0 477640725 860987392 32291 4294967295 134512640 134569956 3221224416 3221214456 1131574589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32291 13073 16 0 210186 0
vsize: 840808
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 106335 72 0 0 25 0 11 0 477640725 860987392 32367 4294967295 134512640 134569956 3221224416 3221214432 1079721536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32367 13073 16 0 210186 0
vsize: 840808
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 107323 72 0 0 25 0 11 0 477640725 860987392 32367 4294967295 134512640 134569956 3221224416 3221214456 1131574771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32367 13073 16 0 210186 0
vsize: 840808
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 108310 73 0 0 25 0 11 0 477640725 860987392 32367 4294967295 134512640 134569956 3221224416 3221214608 1131336876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32367 13073 16 0 210186 0
vsize: 840808
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 109296 73 0 0 25 0 11 0 477640725 860987392 32420 4294967295 134512640 134569956 3221224416 3221214468 1080217099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32420 13073 16 0 210186 0
vsize: 840808
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 110287 73 0 0 25 0 11 0 477640725 860987392 32465 4294967295 134512640 134569956 3221224416 3221214456 1131574694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32465 13073 16 0 210186 0
vsize: 840808
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 111275 74 0 0 25 0 11 0 477640725 860987392 32465 4294967295 134512640 134569956 3221224416 3221214608 1131336462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32465 13073 16 0 210186 0
vsize: 840808
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 112266 74 0 0 25 0 11 0 477640725 860987392 32474 4294967295 134512640 134569956 3221224416 3221214456 1131574673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32474 13073 16 0 210186 0
vsize: 840808
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 113254 74 0 0 25 0 11 0 477640725 860987392 32475 4294967295 134512640 134569956 3221224416 3221214720 1131354645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32475 13073 16 0 210186 0
vsize: 840808
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 114243 75 0 0 25 0 11 0 477640725 860987392 32494 4294967295 134512640 134569956 3221224416 3221214456 1131574826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32494 13073 16 0 210186 0
vsize: 840808
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 115235 75 0 0 25 0 11 0 477640725 860987392 32531 4294967295 134512640 134569956 3221224416 3221214456 1131574650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32531 13073 16 0 210186 0
vsize: 840808
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 116226 75 0 0 25 0 11 0 477640725 860987392 32531 4294967295 134512640 134569956 3221224416 3221214744 1131413556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32531 13073 16 0 210186 0
vsize: 840808
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 117217 76 0 0 25 0 11 0 477640725 860987392 32531 4294967295 134512640 134569956 3221224416 3221214896 1131294081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32531 13073 16 0 210186 0
vsize: 840808
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 118205 76 0 0 25 0 11 0 477640725 860987392 32533 4294967295 134512640 134569956 3221224416 3221214564 1079721456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32533 13073 16 0 210186 0
vsize: 840808
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 119192 76 0 0 25 0 11 0 477640725 860987392 32533 4294967295 134512640 134569956 3221224416 3221214608 1131336766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32533 13073 16 0 210186 0
vsize: 840808
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12525
Raw data (stat): 12514 (java) R 12513 11931 11930 0 -1 0 18082 3 1 0 120176 77 0 0 25 0 11 0 477640725 860987392 32573 4294967295 134512640 134569956 3221224416 3221214456 1131574977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210202 32573 13073 16 0 210186 0
vsize: 840808
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12527
Raw data (stat): 12514 (java) Z 12513 11931 11930 0 -1 1036 18082 12490 1 0 120180 77 4395 37 25 0 1 0 477640725 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): 1250.18
CPU time (s): 1246.9
CPU user time (s): 1245.75
CPU system time (s): 1.15182
CPU usage (%): 99.7381
Max. virtual memory (Kb): 844732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####