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-scorpion.opb
MD5SUM	407688f2ee1c26681a4ae06671027d6f
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	5640
Biggest coefficient in the objective function	10536091648
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	589543467975
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	32768000000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	589543467975
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.065989
Number of variables	7160
Total number of constraints	388
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	388
Minimum length of a constraint	20
Maximum length of a constraint	400
Trace number 29868

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 12:17:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21262 boxname=wulflinc10 idbench=1250 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  407688f2ee1c26681a4ae06671027d6f  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-scorpion.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-scorpion.opb
IDLAUNCH: 21262
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        684408 kB
Buffers:         30456 kB
Cached:         297756 kB
SwapCached:         92 kB
Active:          52512 kB
Inactive:       278316 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684156 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            13756 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:38:08 (client local time) WITH STATUS 143 IN 1227.87 SECONDS
stats: 21262 7 1227.87 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/wulflinc10/normalized-mps-v2-13-7-scorpion.opb
c reading problem ... done. Time 19.419 ms.
c #vars     7160
c #constraints  644
c starts	: 6
c conflicts	: 1959
c decisions	: 16129
c propagations	: 152379
c inspects	: 5289224
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1959
c root simplifications	: 1098
s UNKNOWN
c Total CPU time (ms) : 1229.062
#### 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.93 0.98 0.99 2/54 30409
Raw data (stat): 30409 (runsolver) R 30408 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780607404 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 30418
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18007 0 1 0 863 36 0 0 24 0 10 0 780607404 853331968 19426 4294967295 134512640 134569956 3221224368 3221214648 1131191117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208333 19426 13086 16 0 208317 0
vsize: 833332
[startup+20.0018 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 30418
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18018 0 1 0 1687 37 0 0 25 0 10 0 780607404 855101440 20937 4294967295 134512640 134569956 3221224368 3221214808 1131152639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208765 20937 13086 16 0 208749 0
vsize: 835060
[startup+30.0024 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18065 0 1 0 2539 37 0 0 25 0 11 0 780607404 862134272 23488 4294967295 134512640 134569956 3221224368 3221214712 1131321164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210482 23488 13086 16 0 210466 0
vsize: 841928
[startup+40.0026 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18065 0 1 0 3443 38 0 0 25 0 11 0 780607404 860323840 23286 4294967295 134512640 134569956 3221224368 3221214576 1131315032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 23286 13086 16 0 210024 0
vsize: 840160
[startup+50.0036 s]
Raw data (loadavg): 1.10 1.02 1.01 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18065 0 1 0 4357 38 0 0 25 0 11 0 780607404 860323840 23298 4294967295 134512640 134569956 3221224368 3221214576 1131315169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 23298 13086 16 0 210024 0
vsize: 840160
[startup+60.0041 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18065 0 1 0 5274 38 0 0 25 0 11 0 780607404 860323840 23913 4294967295 134512640 134569956 3221224368 3221214576 1131315395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 23913 13086 16 0 210024 0
vsize: 840160
[startup+70.0042 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18065 0 1 0 6245 39 0 0 24 0 11 0 780607404 860323840 24014 4294967295 134512640 134569956 3221224368 3221214576 1131315318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24014 13086 16 0 210024 0
vsize: 840160
[startup+80.0053 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18065 0 1 0 7222 39 0 0 25 0 11 0 780607404 860323840 24080 4294967295 134512640 134569956 3221224368 3221214672 1131430735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24080 13086 16 0 210024 0
vsize: 840160
[startup+90.0057 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18065 0 1 0 8197 40 0 0 25 0 11 0 780607404 860323840 24168 4294967295 134512640 134569956 3221224368 3221214672 1131432017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24168 13086 16 0 210024 0
vsize: 840160
[startup+100.005 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18065 0 1 0 9174 40 0 0 25 0 11 0 780607404 860323840 24227 4294967295 134512640 134569956 3221224368 3221214672 1131432144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24227 13086 16 0 210024 0
vsize: 840160
[startup+110.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 10150 40 0 0 25 0 11 0 780607404 860323840 24286 4294967295 134512640 134569956 3221224368 3221214672 1131432632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24286 13086 16 0 210024 0
vsize: 840160
[startup+120.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 11129 40 0 0 25 0 11 0 780607404 860323840 24339 4294967295 134512640 134569956 3221224368 3221214664 1131258300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24339 13086 16 0 210024 0
vsize: 840160
[startup+130.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 12108 41 0 0 25 0 11 0 780607404 860323840 24420 4294967295 134512640 134569956 3221224368 3221214568 1131319260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24420 13086 16 0 210024 0
vsize: 840160
[startup+140.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 13090 41 0 0 25 0 11 0 780607404 860323840 24463 4294967295 134512640 134569956 3221224368 3221214672 1131437934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24463 13086 16 0 210024 0
vsize: 840160
[startup+150.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 14072 41 0 0 25 0 11 0 780607404 860323840 24511 4294967295 134512640 134569956 3221224368 3221214576 1131315169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24511 13086 16 0 210024 0
vsize: 840160
[startup+160.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 15055 42 0 0 25 0 11 0 780607404 860323840 24546 4294967295 134512640 134569956 3221224368 3221214584 1131218194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24546 13086 16 0 210024 0
vsize: 840160
[startup+170.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 16038 42 0 0 25 0 11 0 780607404 860323840 24587 4294967295 134512640 134569956 3221224368 3221214576 1131315814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24587 13086 16 0 210024 0
vsize: 840160
[startup+180.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 17022 43 0 0 25 0 11 0 780607404 860323840 24620 4294967295 134512640 134569956 3221224368 3221214576 1131315306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24620 13086 16 0 210024 0
vsize: 840160
[startup+190.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 18004 43 0 0 25 0 11 0 780607404 860323840 24661 4294967295 134512640 134569956 3221224368 3221214664 1131258297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24661 13086 16 0 210024 0
vsize: 840160
[startup+200.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 18986 44 0 0 25 0 11 0 780607404 860323840 24694 4294967295 134512640 134569956 3221224368 3221214576 1131315254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24694 13086 16 0 210024 0
vsize: 840160
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 19962 44 0 0 25 0 11 0 780607404 860323840 24727 4294967295 134512640 134569956 3221224368 3221214576 1131315306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24727 13086 16 0 210024 0
vsize: 840160
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 20941 44 0 0 25 0 11 0 780607404 860323840 24766 4294967295 134512640 134569956 3221224368 3221214568 1131319289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24766 13086 16 0 210024 0
vsize: 840160
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 21922 44 0 0 25 0 11 0 780607404 860323840 24843 4294967295 134512640 134569956 3221224368 3221214664 1131258276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24843 13086 16 0 210024 0
vsize: 840160
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 22906 45 0 0 25 0 11 0 780607404 860323840 24901 4294967295 134512640 134569956 3221224368 3221214576 1131315169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24901 13086 16 0 210024 0
vsize: 840160
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 23890 46 0 0 25 0 11 0 780607404 860323840 24936 4294967295 134512640 134569956 3221224368 3221214672 1131437160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24936 13086 16 0 210024 0
vsize: 840160
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 24876 46 0 0 25 0 11 0 780607404 860323840 24961 4294967295 134512640 134569956 3221224368 3221214672 1131437397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24961 13086 16 0 210024 0
vsize: 840160
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 25859 47 0 0 24 0 11 0 780607404 860323840 24994 4294967295 134512640 134569956 3221224368 3221214576 1131315169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 24994 13086 16 0 210024 0
vsize: 840160
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 26845 47 0 0 25 0 11 0 780607404 860323840 25019 4294967295 134512640 134569956 3221224368 3221214668 1131316055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25019 13086 16 0 210024 0
vsize: 840160
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 27830 48 0 0 24 0 11 0 780607404 860323840 25050 4294967295 134512640 134569956 3221224368 3221214584 1131218182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25050 13086 16 0 210024 0
vsize: 840160
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 28812 48 0 0 25 0 11 0 780607404 860323840 25080 4294967295 134512640 134569956 3221224368 3221214576 1131315169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25080 13086 16 0 210024 0
vsize: 840160
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 29798 48 0 0 25 0 11 0 780607404 860323840 25105 4294967295 134512640 134569956 3221224368 3221214360 1131558528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25105 13086 16 0 210024 0
vsize: 840160
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 30784 49 0 0 25 0 11 0 780607404 860323840 25132 4294967295 134512640 134569956 3221224368 3221214728 1131321909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25132 13086 16 0 210024 0
vsize: 840160
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 31771 49 0 0 25 0 11 0 780607404 860323840 25158 4294967295 134512640 134569956 3221224368 3221214568 1131319200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25158 13086 16 0 210024 0
vsize: 840160
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 32758 50 0 0 25 0 11 0 780607404 860323840 25176 4294967295 134512640 134569956 3221224368 3221214828 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25176 13086 16 0 210024 0
vsize: 840160
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 33744 50 0 0 25 0 11 0 780607404 860323840 25200 4294967295 134512640 134569956 3221224368 3221214576 1131316036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25200 13086 16 0 210024 0
vsize: 840160
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 34731 51 0 0 25 0 11 0 780607404 860323840 25225 4294967295 134512640 134569956 3221224368 3221214576 1131316044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25225 13086 16 0 210024 0
vsize: 840160
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 35717 51 0 0 17 0 11 0 780607404 860323840 25249 4294967295 134512640 134569956 3221224368 3221214672 1131432144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25249 13086 16 0 210024 0
vsize: 840160
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 36705 52 0 0 25 0 11 0 780607404 860323840 25266 4294967295 134512640 134569956 3221224368 3221214672 1131432128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25266 13086 16 0 210024 0
vsize: 840160
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 37691 53 0 0 24 0 11 0 780607404 860323840 25291 4294967295 134512640 134569956 3221224368 3221214576 1131315087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25291 13086 16 0 210024 0
vsize: 840160
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 38678 53 0 0 24 0 11 0 780607404 860323840 25315 4294967295 134512640 134569956 3221224368 3221214576 1131315115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25315 13086 16 0 210024 0
vsize: 840160
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 39666 53 0 0 25 0 11 0 780607404 860323840 25332 4294967295 134512640 134569956 3221224368 3221214672 1131437160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25332 13086 16 0 210024 0
vsize: 840160
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 40653 54 0 0 25 0 11 0 780607404 860323840 25355 4294967295 134512640 134569956 3221224368 3221214568 1131319149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25355 13086 16 0 210024 0
vsize: 840160
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 41640 55 0 0 25 0 11 0 780607404 860323840 25374 4294967295 134512640 134569956 3221224368 3221214672 1131430735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25374 13086 16 0 210024 0
vsize: 840160
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 42626 55 0 0 25 0 11 0 780607404 860323840 25390 4294967295 134512640 134569956 3221224368 3221214576 1131315169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25390 13086 16 0 210024 0
vsize: 840160
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 43614 56 0 0 25 0 11 0 780607404 860323840 25415 4294967295 134512640 134569956 3221224368 3221214584 1131218157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25415 13086 16 0 210024 0
vsize: 840160
[startup+460.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 44601 56 0 0 25 0 11 0 780607404 860323840 25432 4294967295 134512640 134569956 3221224368 3221214672 1131430735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25432 13086 16 0 210024 0
vsize: 840160
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 45588 56 0 0 25 0 11 0 780607404 860323840 25457 4294967295 134512640 134569956 3221224368 3221214576 1131315415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25457 13086 16 0 210024 0
vsize: 840160
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 46575 57 0 0 25 0 11 0 780607404 860323840 25473 4294967295 134512640 134569956 3221224368 3221214672 1131430735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25473 13086 16 0 210024 0
vsize: 840160
[startup+490.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 47562 58 0 0 25 0 11 0 780607404 860323840 25490 4294967295 134512640 134569956 3221224368 3221214576 1131316030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25490 13086 16 0 210024 0
vsize: 840160
[startup+500.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 48549 58 0 0 25 0 11 0 780607404 860323840 25515 4294967295 134512640 134569956 3221224368 3221214672 1131432451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25515 13086 16 0 210024 0
vsize: 840160
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 49537 58 0 0 25 0 11 0 780607404 860323840 25531 4294967295 134512640 134569956 3221224368 3221214576 1131315169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25531 13086 16 0 210024 0
vsize: 840160
[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 50524 59 0 0 25 0 11 0 780607404 860323840 25548 4294967295 134512640 134569956 3221224368 3221214576 1131315254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25548 13086 16 0 210024 0
vsize: 840160
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 51511 59 0 0 25 0 11 0 780607404 860323840 25571 4294967295 134512640 134569956 3221224368 3221214576 1131315290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25571 13086 16 0 210024 0
vsize: 840160
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 52498 59 0 0 25 0 11 0 780607404 860323840 25595 4294967295 134512640 134569956 3221224368 3221214584 1131218701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25595 13086 16 0 210024 0
vsize: 840160
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 53481 60 0 0 25 0 11 0 780607404 860323840 25611 4294967295 134512640 134569956 3221224368 3221214576 1131315814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25611 13086 16 0 210024 0
vsize: 840160
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 54461 60 0 0 25 0 11 0 780607404 860323840 25628 4294967295 134512640 134569956 3221224368 3221214576 1131316014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25628 13086 16 0 210024 0
vsize: 840160
[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 55436 61 0 0 25 0 11 0 780607404 860323840 25647 4294967295 134512640 134569956 3221224368 3221214568 1131319226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25647 13086 16 0 210024 0
vsize: 840160
[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) S 30408 15547 15546 0 -1 0 18066 0 1 0 56413 61 0 0 25 0 11 0 780607404 860323840 25714 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25714 13086 16 0 210024 0
vsize: 840160
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 57395 62 0 0 25 0 11 0 780607404 860323840 25770 4294967295 134512640 134569956 3221224368 3221214576 1131315129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25770 13086 16 0 210024 0
vsize: 840160
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 58378 62 0 0 25 0 11 0 780607404 860323840 25859 4294967295 134512640 134569956 3221224368 3221214576 1131315021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25859 13086 16 0 210024 0
vsize: 840160
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 59364 63 0 0 25 0 11 0 780607404 860323840 25881 4294967295 134512640 134569956 3221224368 3221214668 1131258220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210040 25881 13086 16 0 210024 0
vsize: 840160
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 60352 63 0 0 25 0 11 0 780607404 860323840 25900 4294967295 134512640 134569956 3221224368 3221214672 1131437160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25900 13086 16 0 210024 0
vsize: 840160
[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 61339 63 0 0 25 0 11 0 780607404 860323840 25917 4294967295 134512640 134569956 3221224368 3221214672 1131432632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25917 13086 16 0 210024 0
vsize: 840160
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 62326 63 0 0 25 0 11 0 780607404 860323840 25934 4294967295 134512640 134569956 3221224368 3221214672 1131432144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25934 13086 16 0 210024 0
vsize: 840160
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 63313 63 0 0 25 0 11 0 780607404 860323840 25952 4294967295 134512640 134569956 3221224368 3221214672 1131437736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25952 13086 16 0 210024 0
vsize: 840160
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 64300 64 0 0 25 0 11 0 780607404 860323840 25968 4294967295 134512640 134569956 3221224368 3221214672 1131430735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25968 13086 16 0 210024 0
vsize: 840160
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 65287 65 0 0 25 0 11 0 780607404 860323840 25985 4294967295 134512640 134569956 3221224368 3221214048 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 25985 13086 16 0 210024 0
vsize: 840160
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 66273 65 0 0 25 0 11 0 780607404 860323840 26001 4294967295 134512640 134569956 3221224368 3221214672 1131437604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26001 13086 16 0 210024 0
vsize: 840160
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 67260 65 0 0 25 0 11 0 780607404 860323840 26016 4294967295 134512640 134569956 3221224368 3221214184 1131565352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26016 13086 16 0 210024 0
vsize: 840160
[startup+700.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 68247 66 0 0 24 0 11 0 780607404 860323840 26033 4294967295 134512640 134569956 3221224368 3221214576 1131315327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26033 13086 16 0 210024 0
vsize: 840160
[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 69234 66 0 0 24 0 11 0 780607404 860323840 26049 4294967295 134512640 134569956 3221224368 3221214672 1131432632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26049 13086 16 0 210024 0
vsize: 840160
[startup+720.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 70222 66 0 0 25 0 11 0 780607404 860323840 26059 4294967295 134512640 134569956 3221224368 3221214672 1131438057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26059 13086 16 0 210024 0
vsize: 840160
[startup+730.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 71208 67 0 0 25 0 11 0 780607404 860323840 26075 4294967295 134512640 134569956 3221224368 3221214668 1131316055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26075 13086 16 0 210024 0
vsize: 840160
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 72196 67 0 0 25 0 11 0 780607404 860323840 26092 4294967295 134512640 134569956 3221224368 3221214568 1131319885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26092 13086 16 0 210024 0
vsize: 840160
[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 73183 67 0 0 25 0 11 0 780607404 860323840 26108 4294967295 134512640 134569956 3221224368 3221214668 1131315008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26108 13086 16 0 210024 0
vsize: 840160
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 74169 68 0 0 25 0 11 0 780607404 860323840 26125 4294967295 134512640 134569956 3221224368 3221214672 1131433634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26125 13086 16 0 210024 0
vsize: 840160
[startup+770.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 75155 68 0 0 25 0 11 0 780607404 860323840 26140 4294967295 134512640 134569956 3221224368 3221214856 1131390873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26140 13086 16 0 210024 0
vsize: 840160
[startup+780.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 76140 68 0 0 20 0 11 0 780607404 860323840 26161 4294967295 134512640 134569956 3221224368 3221214624 1131259450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26161 13086 16 0 210024 0
vsize: 840160
[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 77127 68 0 0 25 0 11 0 780607404 860323840 26182 4294967295 134512640 134569956 3221224368 3221214672 1131433606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210040 26182 13086 16 0 210024 0
vsize: 840160
[startup+800.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 78111 69 0 0 25 0 11 0 780607404 860323840 26198 4294967295 134512640 134569956 3221224368 3221214576 1131315045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26198 13086 16 0 210024 0
vsize: 840160
[startup+810.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 79096 69 0 0 25 0 11 0 780607404 860323840 26210 4294967295 134512640 134569956 3221224368 3221214672 1131439046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26210 13086 16 0 210024 0
vsize: 840160
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 80081 69 0 0 25 0 11 0 780607404 860323840 26245 4294967295 134512640 134569956 3221224368 3221214664 1131258271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26245 13086 16 0 210024 0
vsize: 840160
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 81067 70 0 0 25 0 11 0 780607404 860323840 26276 4294967295 134512640 134569956 3221224368 3221214672 1131432128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26276 13086 16 0 210024 0
vsize: 840160
[startup+840.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 82053 70 0 0 25 0 11 0 780607404 860323840 26310 4294967295 134512640 134569956 3221224368 3221214576 1131315169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26310 13086 16 0 210024 0
vsize: 840160
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 83039 71 0 0 25 0 11 0 780607404 860323840 26337 4294967295 134512640 134569956 3221224368 3221214664 1131258271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26337 13086 16 0 210024 0
vsize: 840160
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 84024 71 0 0 25 0 11 0 780607404 860323840 26374 4294967295 134512640 134569956 3221224368 3221214756 1131535756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26374 13086 16 0 210024 0
vsize: 840160
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 85009 72 0 0 25 0 11 0 780607404 860323840 26399 4294967295 134512640 134569956 3221224368 3221214672 1131430735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26399 13086 16 0 210024 0
vsize: 840160
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 85993 73 0 0 25 0 11 0 780607404 860323840 26428 4294967295 134512640 134569956 3221224368 3221214576 1131315254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26428 13086 16 0 210024 0
vsize: 840160
[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 86979 73 0 0 25 0 11 0 780607404 860323840 26467 4294967295 134512640 134569956 3221224368 3221214664 1131258294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26467 13086 16 0 210024 0
vsize: 840160
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 87965 73 0 0 25 0 11 0 780607404 860323840 26503 4294967295 134512640 134569956 3221224368 3221214672 1131432144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26503 13086 16 0 210024 0
vsize: 840160
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 88952 73 0 0 25 0 11 0 780607404 860323840 26534 4294967295 134512640 134569956 3221224368 3221214672 1131437409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26534 13086 16 0 210024 0
vsize: 840160
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 89938 74 0 0 25 0 11 0 780607404 860323840 26563 4294967295 134512640 134569956 3221224368 3221214672 1131437956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26563 13086 16 0 210024 0
vsize: 840160
[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 90926 74 0 0 25 0 11 0 780607404 860323840 26585 4294967295 134512640 134569956 3221224368 3221214576 1131315169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26585 13086 16 0 210024 0
vsize: 840160
[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 91913 75 0 0 25 0 11 0 780607404 860323840 26608 4294967295 134512640 134569956 3221224368 3221214672 1131437731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26608 13086 16 0 210024 0
vsize: 840160
[startup+950.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 92901 75 0 0 25 0 11 0 780607404 860323840 26630 4294967295 134512640 134569956 3221224368 3221214568 1131319246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26630 13086 16 0 210024 0
vsize: 840160
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 93888 76 0 0 25 0 11 0 780607404 860323840 26652 4294967295 134512640 134569956 3221224368 3221214584 1131218215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26652 13086 16 0 210024 0
vsize: 840160
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 94876 76 0 0 25 0 11 0 780607404 860323840 26672 4294967295 134512640 134569956 3221224368 3221214672 1131430899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26672 13086 16 0 210024 0
vsize: 840160
[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 95864 76 0 0 25 0 11 0 780607404 860323840 26694 4294967295 134512640 134569956 3221224368 3221214584 1131259094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26694 13086 16 0 210024 0
vsize: 840160
[startup+990.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 96852 77 0 0 25 0 11 0 780607404 860323840 26714 4294967295 134512640 134569956 3221224368 3221214576 1131315231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26714 13086 16 0 210024 0
vsize: 840160
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 97839 77 0 0 25 0 11 0 780607404 860323840 26737 4294967295 134512640 134569956 3221224368 3221214512 1131563000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26737 13086 16 0 210024 0
vsize: 840160
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 98827 77 0 0 25 0 11 0 780607404 860323840 26755 4294967295 134512640 134569956 3221224368 3221214672 1131432060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26755 13086 16 0 210024 0
vsize: 840160
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 99815 78 0 0 25 0 11 0 780607404 860323840 26773 4294967295 134512640 134569956 3221224368 3221214672 1131430735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26773 13086 16 0 210024 0
vsize: 840160
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 100799 79 0 0 25 0 11 0 780607404 860323840 26793 4294967295 134512640 134569956 3221224368 3221214576 1131315259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26793 13086 16 0 210024 0
vsize: 840160
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 101786 79 0 0 25 0 11 0 780607404 860323840 26811 4294967295 134512640 134569956 3221224368 3221214672 1131430781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26811 13086 16 0 210024 0
vsize: 840160
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 102773 79 0 0 25 0 11 0 780607404 860323840 26856 4294967295 134512640 134569956 3221224368 3221214672 1131431813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26856 13086 16 0 210024 0
vsize: 840160
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 103762 79 0 0 25 0 11 0 780607404 860323840 26874 4294967295 134512640 134569956 3221224368 3221214576 1131315108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26874 13086 16 0 210024 0
vsize: 840160
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 104749 80 0 0 25 0 11 0 780607404 860323840 26892 4294967295 134512640 134569956 3221224368 3221214672 1131430735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26892 13086 16 0 210024 0
vsize: 840160
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 105737 80 0 0 25 0 11 0 780607404 860323840 26911 4294967295 134512640 134569956 3221224368 3221214576 1131316014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26911 13086 16 0 210024 0
vsize: 840160
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 106724 81 0 0 25 0 11 0 780607404 860323840 26930 4294967295 134512640 134569956 3221224368 3221214584 1131258794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26930 13086 16 0 210024 0
vsize: 840160
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 107713 81 0 0 25 0 11 0 780607404 860323840 26946 4294967295 134512640 134569956 3221224368 3221214568 1131319194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26946 13086 16 0 210024 0
vsize: 840160
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 108700 82 0 0 24 0 11 0 780607404 860323840 26963 4294967295 134512640 134569956 3221224368 3221214576 1131315327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26963 13086 16 0 210024 0
vsize: 840160
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 109688 82 0 0 25 0 11 0 780607404 860323840 26980 4294967295 134512640 134569956 3221224368 3221214568 1131319210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26980 13086 16 0 210024 0
vsize: 840160
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 110677 82 0 0 25 0 11 0 780607404 860323840 26996 4294967295 134512640 134569956 3221224368 3221214672 1131430742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 26996 13086 16 0 210024 0
vsize: 840160
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 111663 83 0 0 25 0 11 0 780607404 860323840 27014 4294967295 134512640 134569956 3221224368 3221214664 1131258300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 27014 13086 16 0 210024 0
vsize: 840160
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 112649 83 0 0 25 0 11 0 780607404 860323840 27028 4294967295 134512640 134569956 3221224368 3221214568 1131319200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 27028 13086 16 0 210024 0
vsize: 840160
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 113631 84 0 0 25 0 11 0 780607404 860323840 27046 4294967295 134512640 134569956 3221224368 3221214512 1131563004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 27046 13086 16 0 210024 0
vsize: 840160
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 114616 84 0 0 25 0 11 0 780607404 860323840 27060 4294967295 134512640 134569956 3221224368 3221214672 1131438000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 27060 13086 16 0 210024 0
vsize: 840160
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 115599 84 0 0 24 0 11 0 780607404 860323840 27123 4294967295 134512640 134569956 3221224368 3221214576 1131315129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 27123 13086 16 0 210024 0
vsize: 840160
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 116586 85 0 0 25 0 11 0 780607404 860323840 27159 4294967295 134512640 134569956 3221224368 3221214668 1131218144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 27159 13086 16 0 210024 0
vsize: 840160
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 117574 85 0 0 25 0 11 0 780607404 860323840 27173 4294967295 134512640 134569956 3221224368 3221214672 1131432632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 27173 13086 16 0 210024 0
vsize: 840160
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 118561 86 0 0 25 0 11 0 780607404 860323840 27189 4294967295 134512640 134569956 3221224368 3221214576 1131315169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 27189 13086 16 0 210024 0
vsize: 840160
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 119550 86 0 0 25 0 11 0 780607404 860323840 27203 4294967295 134512640 134569956 3221224368 3221214576 1131315039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 27203 13086 16 0 210024 0
vsize: 840160
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30419
Raw data (stat): 30409 (java) R 30408 15547 15546 0 -1 0 18066 0 1 0 120536 86 0 0 25 0 11 0 780607404 860323840 27219 4294967295 134512640 134569956 3221224368 3221214672 1131430735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210040 27219 13086 16 0 210024 0
vsize: 840160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30421
Raw data (stat): 30409 (java) Z 30408 15547 15546 0 -1 1036 18066 7331 1 0 120542 86 2127 30 25 0 1 0 780607404 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.15
CPU time (s): 1227.87
CPU user time (s): 1226.7
CPU system time (s): 1.16582
CPU usage (%): 99.8145
Max. virtual memory (Kb): 841928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####