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/MIPLIB/miplib2003/normalized-mps-v2-13-7-qiu.opb
MD5SUM	d5e26ade9aa11867ede102dd2fb60449
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	5328
Biggest coefficient in the objective function	8885108736
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	4692033563496
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	8885108736
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	4692033563496
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.138978
Number of variables	15888
Total number of constraints	1240
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	1192
Minimum length of a constraint	1
Maximum length of a constraint	3960
Trace number 29991

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        640608 kB
Buffers:         33576 kB
Cached:         337712 kB
SwapCached:        400 kB
Active:          64128 kB
Inactive:       309376 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        640356 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            14768 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:53:22 (client local time) WITH STATUS 143 IN 1228.8 SECONDS
stats: 21393 7 1228.8 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/wulflinc22/normalized-mps-v2-13-7-qiu.opb
c reading problem ... done. Time 78.278 ms.
c #vars     15888
c #constraints  1324
c starts	: 5
c conflicts	: 1060
c decisions	: 8786
c propagations	: 53710
c inspects	: 3429225
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1060
c root simplifications	: 1040
s UNKNOWN
c Total CPU time (ms) : 1229.115
#### 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 3878
Raw data (stat): 3878 (runsolver) R 3877 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839265947 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 3887
Raw data (stat): 3878 (java) S 3877 23310 23309 0 -1 0 18007 0 1 0 870 39 0 0 25 0 10 0 839265947 853676032 19369 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208417 19369 13086 16 0 208401 0
vsize: 833668
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 3887
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18016 0 1 0 1765 39 0 0 25 0 10 0 839265947 853467136 19955 4294967295 134512640 134569956 3221224368 3221214644 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208366 19955 13086 16 0 208350 0
vsize: 833464
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 3887
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18017 0 1 0 2649 40 0 0 25 0 10 0 839265947 856850432 21279 4294967295 134512640 134569956 3221224368 3221214448 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 21279 13086 16 0 209176 0
vsize: 836768
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 3887
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18018 0 1 0 3557 40 0 0 25 0 10 0 839265947 855650304 21223 4294967295 134512640 134569956 3221224368 3221214800 1131316422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208899 21223 13086 16 0 208883 0
vsize: 835596
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 3887
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18018 0 1 0 4463 40 0 0 25 0 10 0 839265947 854515712 21154 4294967295 134512640 134569956 3221224368 3221214800 1131318517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208622 21154 13086 16 0 208606 0
vsize: 834488
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 3887
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18018 0 1 0 5368 41 0 0 25 0 10 0 839265947 854515712 21345 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208622 21345 13086 16 0 208606 0
vsize: 834488
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 3887
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18018 0 1 0 6284 41 0 0 25 0 10 0 839265947 854515712 21565 4294967295 134512640 134569956 3221224368 3221214800 1131318902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208622 21565 13086 16 0 208606 0
vsize: 834488
[startup+80.0046 s]
Raw data (loadavg): 1.06 1.00 1.00 3/63 3887
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18051 0 1 0 7202 42 0 0 25 0 10 0 839265947 857440256 22700 4294967295 134512640 134569956 3221224368 3221214860 1130918266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209336 22700 13086 16 0 209320 0
vsize: 837344
[startup+90.0126 s]
Raw data (loadavg): 1.12 1.02 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18069 0 1 0 8145 42 0 0 25 0 11 0 839265947 856805376 23786 4294967295 134512640 134569956 3221224368 3221214560 1131265248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 23786 13086 16 0 209165 0
vsize: 836724
[startup+100.013 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18070 0 1 0 9135 43 0 0 25 0 11 0 839265947 857399296 23917 4294967295 134512640 134569956 3221224368 3221214768 1131242303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 23917 13086 16 0 209310 0
vsize: 837304
[startup+110.028 s]
Raw data (loadavg): 1.09 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18071 0 1 0 10128 43 0 0 25 0 11 0 839265947 856805376 23808 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 23808 13086 16 0 209165 0
vsize: 836724
[startup+120.041 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18072 0 1 0 11104 43 0 0 25 0 11 0 839265947 856805376 23835 4294967295 134512640 134569956 3221224368 3221214556 1131224679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 23835 13086 16 0 209165 0
vsize: 836724
[startup+130.042 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 12091 43 0 0 25 0 11 0 839265947 856805376 23860 4294967295 134512640 134569956 3221224368 3221214584 1131354019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 23860 13086 16 0 209165 0
vsize: 836724
[startup+140.041 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 13079 43 0 0 25 0 11 0 839265947 856805376 23885 4294967295 134512640 134569956 3221224368 3221214560 1131264767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 23885 13086 16 0 209165 0
vsize: 836724
[startup+150.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 14068 43 0 0 25 0 11 0 839265947 856805376 23935 4294967295 134512640 134569956 3221224368 3221214560 1131265032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 23935 13086 16 0 209165 0
vsize: 836724
[startup+160.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 15050 43 0 0 25 0 11 0 839265947 856805376 23960 4294967295 134512640 134569956 3221224368 3221214560 1131265010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 23960 13086 16 0 209165 0
vsize: 836724
[startup+170.042 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 16039 43 0 0 25 0 11 0 839265947 856805376 23982 4294967295 134512640 134569956 3221224368 3221214560 1131264666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 23982 13086 16 0 209165 0
vsize: 836724
[startup+180.042 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 17030 44 0 0 25 0 11 0 839265947 856805376 24012 4294967295 134512640 134569956 3221224368 3221214664 1131361485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 24012 13086 16 0 209165 0
vsize: 836724
[startup+190.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 18021 44 0 0 25 0 11 0 839265947 856805376 24030 4294967295 134512640 134569956 3221224368 3221214560 1131264609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24030 13086 16 0 209165 0
vsize: 836724
[startup+200.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 19012 44 0 0 25 0 11 0 839265947 856805376 24050 4294967295 134512640 134569956 3221224368 3221214664 1131247250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24050 13086 16 0 209165 0
vsize: 836724
[startup+210.043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 20002 44 0 0 25 0 11 0 839265947 856805376 24123 4294967295 134512640 134569956 3221224368 3221214560 1131265051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24123 13086 16 0 209165 0
vsize: 836724
[startup+220.044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 20993 45 0 0 25 0 11 0 839265947 856805376 24087 4294967295 134512640 134569956 3221224368 3221214560 1131264984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24087 13086 16 0 209165 0
vsize: 836724
[startup+230.044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 21982 45 0 0 25 0 11 0 839265947 856805376 24104 4294967295 134512640 134569956 3221224368 3221214560 1131265032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24104 13086 16 0 209165 0
vsize: 836724
[startup+240.044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 22971 45 0 0 25 0 11 0 839265947 856805376 24119 4294967295 134512640 134569956 3221224368 3221214472 1131223622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 24119 13086 16 0 209165 0
vsize: 836724
[startup+250.045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 23960 46 0 0 25 0 11 0 839265947 856805376 24155 4294967295 134512640 134569956 3221224368 3221214664 1131366210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24155 13086 16 0 209165 0
vsize: 836724
[startup+260.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 24952 46 0 0 25 0 11 0 839265947 856805376 24171 4294967295 134512640 134569956 3221224368 3221214664 1131362704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24171 13086 16 0 209165 0
vsize: 836724
[startup+270.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 25942 46 0 0 25 0 11 0 839265947 856805376 24185 4294967295 134512640 134569956 3221224368 3221214664 1131361687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24185 13086 16 0 209165 0
vsize: 836724
[startup+280.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 26933 46 0 0 25 0 11 0 839265947 856805376 24200 4294967295 134512640 134569956 3221224368 3221214560 1131265284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24200 13086 16 0 209165 0
vsize: 836724
[startup+290.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 27924 47 0 0 25 0 11 0 839265947 856805376 24213 4294967295 134512640 134569956 3221224368 3221214664 1131363699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 24213 13086 16 0 209165 0
vsize: 836724
[startup+300.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 28915 47 0 0 25 0 11 0 839265947 856805376 24227 4294967295 134512640 134569956 3221224368 3221214584 1131354874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24227 13086 16 0 209165 0
vsize: 836724
[startup+310.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18073 0 1 0 29904 47 0 0 25 0 11 0 839265947 856805376 24242 4294967295 134512640 134569956 3221224368 3221214664 1131361759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24242 13086 16 0 209165 0
vsize: 836724
[startup+320.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 30895 48 0 0 25 0 11 0 839265947 856805376 24256 4294967295 134512640 134569956 3221224368 3221214560 1131264982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 24256 13086 16 0 209165 0
vsize: 836724
[startup+330.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 31886 48 0 0 25 0 11 0 839265947 856805376 24268 4294967295 134512640 134569956 3221224368 3221214556 1131223584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24268 13086 16 0 209165 0
vsize: 836724
[startup+340.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 32877 48 0 0 25 0 11 0 839265947 856805376 24281 4294967295 134512640 134569956 3221224368 3221214784 1131346047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24281 13086 16 0 209165 0
vsize: 836724
[startup+350.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 33866 49 0 0 25 0 11 0 839265947 856805376 24294 4294967295 134512640 134569956 3221224368 3221214664 1131361759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24294 13086 16 0 209165 0
vsize: 836724
[startup+360.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 34857 49 0 0 25 0 11 0 839265947 856805376 24306 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24306 13086 16 0 209165 0
vsize: 836724
[startup+370.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 35846 50 0 0 25 0 11 0 839265947 856805376 24318 4294967295 134512640 134569956 3221224368 3221214664 1131366194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24318 13086 16 0 209165 0
vsize: 836724
[startup+380.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 36836 51 0 0 25 0 11 0 839265947 856805376 24334 4294967295 134512640 134569956 3221224368 3221214560 1131264609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 24334 13086 16 0 209165 0
vsize: 836724
[startup+390.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 37826 51 0 0 25 0 11 0 839265947 856805376 24344 4294967295 134512640 134569956 3221224368 3221214560 1131264617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24344 13086 16 0 209165 0
vsize: 836724
[startup+400.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 38815 52 0 0 25 0 11 0 839265947 856805376 24360 4294967295 134512640 134569956 3221224368 3221214664 1131362796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24360 13086 16 0 209165 0
vsize: 836724
[startup+410.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 39804 52 0 0 25 0 11 0 839265947 856805376 24372 4294967295 134512640 134569956 3221224368 3221214664 1131362535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24372 13086 16 0 209165 0
vsize: 836724
[startup+420.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 40789 53 0 0 24 0 11 0 839265947 856805376 24387 4294967295 134512640 134569956 3221224368 3221214664 1131366957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24387 13086 16 0 209165 0
vsize: 836724
[startup+430.051 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 41774 53 0 0 24 0 11 0 839265947 856805376 24402 4294967295 134512640 134569956 3221224368 3221214560 1131265035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24402 13086 16 0 209165 0
vsize: 836724
[startup+440.051 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 42760 53 0 0 25 0 11 0 839265947 856805376 24427 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24427 13086 16 0 209165 0
vsize: 836724
[startup+450.052 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 43748 53 0 0 25 0 11 0 839265947 856805376 24475 4294967295 134512640 134569956 3221224368 3221214560 1131265164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24475 13086 16 0 209165 0
vsize: 836724
[startup+460.052 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 44736 54 0 0 25 0 11 0 839265947 856805376 24493 4294967295 134512640 134569956 3221224368 3221214560 1131265240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24493 13086 16 0 209165 0
vsize: 836724
[startup+470.053 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 45725 54 0 0 25 0 11 0 839265947 856805376 24510 4294967295 134512640 134569956 3221224368 3221214584 1131353883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24510 13086 16 0 209165 0
vsize: 836724
[startup+480.054 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 46713 55 0 0 25 0 11 0 839265947 856805376 24527 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24527 13086 16 0 209165 0
vsize: 836724
[startup+490.055 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 47701 55 0 0 25 0 11 0 839265947 856805376 24549 4294967295 134512640 134569956 3221224368 3221214560 1131264963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24549 13086 16 0 209165 0
vsize: 836724
[startup+500.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 48690 55 0 0 24 0 11 0 839265947 856805376 24566 4294967295 134512640 134569956 3221224368 3221214664 1131362778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24566 13086 16 0 209165 0
vsize: 836724
[startup+510.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 49679 56 0 0 25 0 11 0 839265947 856805376 24580 4294967295 134512640 134569956 3221224368 3221214560 1131265221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24580 13086 16 0 209165 0
vsize: 836724
[startup+520.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 50669 56 0 0 25 0 11 0 839265947 856805376 24593 4294967295 134512640 134569956 3221224368 3221214560 1131264751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24593 13086 16 0 209165 0
vsize: 836724
[startup+530.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 51658 56 0 0 25 0 11 0 839265947 856805376 24606 4294967295 134512640 134569956 3221224368 3221214560 1131265600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24606 13086 16 0 209165 0
vsize: 836724
[startup+540.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 52647 57 0 0 25 0 11 0 839265947 856805376 24619 4294967295 134512640 134569956 3221224368 3221214560 1131265051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24619 13086 16 0 209165 0
vsize: 836724
[startup+550.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 53636 57 0 0 25 0 11 0 839265947 856805376 24633 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24633 13086 16 0 209165 0
vsize: 836724
[startup+560.062 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 54624 57 0 0 25 0 11 0 839265947 856805376 24646 4294967295 134512640 134569956 3221224368 3221214560 1131264605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24646 13086 16 0 209165 0
vsize: 836724
[startup+570.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 55614 57 0 0 25 0 11 0 839265947 856805376 24659 4294967295 134512640 134569956 3221224368 3221214660 1131264588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24659 13086 16 0 209165 0
vsize: 836724
[startup+580.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 56603 57 0 0 25 0 11 0 839265947 856805376 24672 4294967295 134512640 134569956 3221224368 3221214472 1131223616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24672 13086 16 0 209165 0
vsize: 836724
[startup+590.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 57591 58 0 0 25 0 11 0 839265947 856805376 24684 4294967295 134512640 134569956 3221224368 3221214472 1131223610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24684 13086 16 0 209165 0
vsize: 836724
[startup+600.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 58580 58 0 0 25 0 11 0 839265947 856805376 24696 4294967295 134512640 134569956 3221224368 3221214808 1131359392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24696 13086 16 0 209165 0
vsize: 836724
[startup+610.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 59569 59 0 0 25 0 11 0 839265947 856805376 24707 4294967295 134512640 134569956 3221224368 3221214560 1131265673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24707 13086 16 0 209165 0
vsize: 836724
[startup+620.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 60557 59 0 0 25 0 11 0 839265947 856805376 24720 4294967295 134512640 134569956 3221224368 3221214664 1131361808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24720 13086 16 0 209165 0
vsize: 836724
[startup+630.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 61546 59 0 0 25 0 11 0 839265947 856805376 24731 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24731 13086 16 0 209165 0
vsize: 836724
[startup+640.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 62535 60 0 0 25 0 11 0 839265947 856805376 24743 4294967295 134512640 134569956 3221224368 3221214664 1131366124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24743 13086 16 0 209165 0
vsize: 836724
[startup+650.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 63522 60 0 0 24 0 11 0 839265947 856805376 24755 4294967295 134512640 134569956 3221224368 3221214660 1131418675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24755 13086 16 0 209165 0
vsize: 836724
[startup+660.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 64511 60 0 0 25 0 11 0 839265947 856805376 24767 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24767 13086 16 0 209165 0
vsize: 836724
[startup+670.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 65499 61 0 0 25 0 11 0 839265947 856805376 24777 4294967295 134512640 134569956 3221224368 3221214560 1131264819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24777 13086 16 0 209165 0
vsize: 836724
[startup+680.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 66487 61 0 0 25 0 11 0 839265947 856805376 24788 4294967295 134512640 134569956 3221224368 3221214664 1131366294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24788 13086 16 0 209165 0
vsize: 836724
[startup+690.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 67475 62 0 0 25 0 11 0 839265947 856805376 24800 4294967295 134512640 134569956 3221224368 3221214664 1131361687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24800 13086 16 0 209165 0
vsize: 836724
[startup+700.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 68464 62 0 0 25 0 11 0 839265947 856805376 24810 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24810 13086 16 0 209165 0
vsize: 836724
[startup+710.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 69452 62 0 0 25 0 11 0 839265947 856805376 24821 4294967295 134512640 134569956 3221224368 3221214560 1131264605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24821 13086 16 0 209165 0
vsize: 836724
[startup+720.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 70439 63 0 0 25 0 11 0 839265947 856805376 24831 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24831 13086 16 0 209165 0
vsize: 836724
[startup+730.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 71427 63 0 0 25 0 11 0 839265947 856805376 24843 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24843 13086 16 0 209165 0
vsize: 836724
[startup+740.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 72414 63 0 0 25 0 11 0 839265947 856805376 24858 4294967295 134512640 134569956 3221224368 3221214472 1131223622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24858 13086 16 0 209165 0
vsize: 836724
[startup+750.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 73402 64 0 0 25 0 11 0 839265947 856805376 24869 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24869 13086 16 0 209165 0
vsize: 836724
[startup+760.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 74390 64 0 0 25 0 11 0 839265947 856805376 24883 4294967295 134512640 134569956 3221224368 3221214660 1131212627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24883 13086 16 0 209165 0
vsize: 836724
[startup+770.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 75376 65 0 0 25 0 11 0 839265947 856805376 24894 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24894 13086 16 0 209165 0
vsize: 836724
[startup+780.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 76363 65 0 0 25 0 11 0 839265947 856805376 24905 4294967295 134512640 134569956 3221224368 3221214664 1131361687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24905 13086 16 0 209165 0
vsize: 836724
[startup+790.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 77351 65 0 0 25 0 11 0 839265947 856805376 24914 4294967295 134512640 134569956 3221224368 3221214664 1131366044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24914 13086 16 0 209165 0
vsize: 836724
[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 78338 65 0 0 25 0 11 0 839265947 856805376 24926 4294967295 134512640 134569956 3221224368 3221214916 1130899395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24926 13086 16 0 209165 0
vsize: 836724
[startup+810.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 79325 66 0 0 25 0 11 0 839265947 856805376 24936 4294967295 134512640 134569956 3221224368 3221214764 1131246976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24936 13086 16 0 209165 0
vsize: 836724
[startup+820.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 80309 66 0 0 25 0 11 0 839265947 856805376 24947 4294967295 134512640 134569956 3221224368 3221214664 1131361734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24947 13086 16 0 209165 0
vsize: 836724
[startup+830.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 81289 66 0 0 25 0 11 0 839265947 856805376 24959 4294967295 134512640 134569956 3221224368 3221214560 1131264779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24959 13086 16 0 209165 0
vsize: 836724
[startup+840.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 82270 66 0 0 25 0 11 0 839265947 856805376 24969 4294967295 134512640 134569956 3221224368 3221214472 1131223616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 24969 13086 16 0 209165 0
vsize: 836724
[startup+850.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 83253 67 0 0 25 0 11 0 839265947 856805376 25058 4294967295 134512640 134569956 3221224368 3221214560 1131265332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 25058 13086 16 0 209165 0
vsize: 836724
[startup+860.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 84240 67 0 0 25 0 11 0 839265947 856805376 25069 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 25069 13086 16 0 209165 0
vsize: 836724
[startup+870.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 85228 67 0 0 25 0 11 0 839265947 856805376 25079 4294967295 134512640 134569956 3221224368 3221214560 1131264613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 25079 13086 16 0 209165 0
vsize: 836724
[startup+880.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 86215 67 0 0 25 0 11 0 839265947 856805376 25088 4294967295 134512640 134569956 3221224368 3221214560 1131265005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 25088 13086 16 0 209165 0
vsize: 836724
[startup+890.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) S 3877 23310 23309 0 -1 0 18074 0 1 0 87201 67 0 0 25 0 11 0 839265947 856805376 25097 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 25097 13086 16 0 209165 0
vsize: 836724
[startup+900.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 88188 67 0 0 25 0 11 0 839265947 856805376 25109 4294967295 134512640 134569956 3221224368 3221214664 1131361866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209181 25109 13086 16 0 209165 0
vsize: 836724
[startup+910.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 89175 68 0 0 25 0 11 0 839265947 856805376 25118 4294967295 134512640 134569956 3221224368 3221214560 1131265032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25118 13086 16 0 209165 0
vsize: 836724
[startup+920.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 90162 68 0 0 25 0 11 0 839265947 856805376 25127 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25127 13086 16 0 209165 0
vsize: 836724
[startup+930.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 91149 68 0 0 25 0 11 0 839265947 856805376 25136 4294967295 134512640 134569956 3221224368 3221214664 1131361698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25136 13086 16 0 209165 0
vsize: 836724
[startup+940.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 92135 68 0 0 25 0 11 0 839265947 856805376 25146 4294967295 134512640 134569956 3221224368 3221214664 1131362778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25146 13086 16 0 209165 0
vsize: 836724
[startup+950.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 93123 68 0 0 25 0 11 0 839265947 856805376 25155 4294967295 134512640 134569956 3221224368 3221214560 1131265252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25155 13086 16 0 209165 0
vsize: 836724
[startup+960.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 94110 68 0 0 25 0 11 0 839265947 856805376 25163 4294967295 134512640 134569956 3221224368 3221214560 1131265153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25163 13086 16 0 209165 0
vsize: 836724
[startup+970.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 95095 68 0 0 24 0 11 0 839265947 856805376 25173 4294967295 134512640 134569956 3221224368 3221214560 1131265600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25173 13086 16 0 209165 0
vsize: 836724
[startup+980.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 96082 68 0 0 25 0 11 0 839265947 856805376 25180 4294967295 134512640 134569956 3221224368 3221214556 1131223584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25180 13086 16 0 209165 0
vsize: 836724
[startup+990.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 97068 68 0 0 25 0 11 0 839265947 856805376 25192 4294967295 134512640 134569956 3221224368 3221214560 1131265597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25192 13086 16 0 209165 0
vsize: 836724
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 98055 68 0 0 25 0 11 0 839265947 856805376 25202 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25202 13086 16 0 209165 0
vsize: 836724
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 99040 68 0 0 24 0 11 0 839265947 856805376 25212 4294967295 134512640 134569956 3221224368 3221214560 1131265051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25212 13086 16 0 209165 0
vsize: 836724
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 100027 68 0 0 25 0 11 0 839265947 856805376 25220 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25220 13086 16 0 209165 0
vsize: 836724
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 101013 68 0 0 25 0 11 0 839265947 856805376 25230 4294967295 134512640 134569956 3221224368 3221214664 1131363670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25230 13086 16 0 209165 0
vsize: 836724
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 101999 68 0 0 25 0 11 0 839265947 856805376 25238 4294967295 134512640 134569956 3221224368 3221214664 1131366181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25238 13086 16 0 209165 0
vsize: 836724
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 102985 68 0 0 24 0 11 0 839265947 856805376 25247 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25247 13086 16 0 209165 0
vsize: 836724
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 103971 68 0 0 25 0 11 0 839265947 856805376 25255 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25255 13086 16 0 209165 0
vsize: 836724
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 104957 68 0 0 25 0 11 0 839265947 856805376 25266 4294967295 134512640 134569956 3221224368 3221214560 1131264622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25266 13086 16 0 209165 0
vsize: 836724
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18074 0 1 0 105939 68 0 0 25 0 11 0 839265947 856805376 25281 4294967295 134512640 134569956 3221224368 3221214472 1131223616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25281 13086 16 0 209165 0
vsize: 836724
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 106925 68 0 0 25 0 11 0 839265947 856805376 25289 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25289 13086 16 0 209165 0
vsize: 836724
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 107910 68 0 0 25 0 11 0 839265947 856805376 25301 4294967295 134512640 134569956 3221224368 3221214556 1131223584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25301 13086 16 0 209165 0
vsize: 836724
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 108897 68 0 0 25 0 11 0 839265947 856805376 25309 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25309 13086 16 0 209165 0
vsize: 836724
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 109882 68 0 0 25 0 11 0 839265947 856805376 25320 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25320 13086 16 0 209165 0
vsize: 836724
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 110868 68 0 0 25 0 11 0 839265947 856805376 25331 4294967295 134512640 134569956 3221224368 3221214560 1131264673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25331 13086 16 0 209165 0
vsize: 836724
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 111854 69 0 0 25 0 11 0 839265947 856805376 25338 4294967295 134512640 134569956 3221224368 3221214560 1131265091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25338 13086 16 0 209165 0
vsize: 836724
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 112842 69 0 0 25 0 11 0 839265947 856805376 25346 4294967295 134512640 134569956 3221224368 3221214560 1131264993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25346 13086 16 0 209165 0
vsize: 836724
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 113828 69 0 0 25 0 11 0 839265947 856805376 25354 4294967295 134512640 134569956 3221224368 3221214808 1131359448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25354 13086 16 0 209165 0
vsize: 836724
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 114814 69 0 0 25 0 11 0 839265947 856805376 25361 4294967295 134512640 134569956 3221224368 3221214560 1131264658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25361 13086 16 0 209165 0
vsize: 836724
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 115800 69 0 0 25 0 11 0 839265947 856805376 25370 4294967295 134512640 134569956 3221224368 3221214660 1131264588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25370 13086 16 0 209165 0
vsize: 836724
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 116785 69 0 0 25 0 11 0 839265947 856805376 25377 4294967295 134512640 134569956 3221224368 3221214440 1131557649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25377 13086 16 0 209165 0
vsize: 836724
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 117772 69 0 0 25 0 11 0 839265947 856805376 25385 4294967295 134512640 134569956 3221224368 3221214560 1131265272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25385 13086 16 0 209165 0
vsize: 836724
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 118757 69 0 0 25 0 11 0 839265947 856805376 25391 4294967295 134512640 134569956 3221224368 3221214560 1131265548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25391 13086 16 0 209165 0
vsize: 836724
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 119744 69 0 0 25 0 11 0 839265947 856805376 25397 4294967295 134512640 134569956 3221224368 3221214664 1131361694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25397 13086 16 0 209165 0
vsize: 836724
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3888
Raw data (stat): 3878 (java) R 3877 23310 23309 0 -1 0 18075 0 1 0 120730 69 0 0 25 0 11 0 839265947 856805376 25405 4294967295 134512640 134569956 3221224368 3221214560 1131265609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209181 25405 13086 16 0 209165 0
vsize: 836724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3890
Raw data (stat): 3878 (java) Z 3877 23310 23309 0 -1 1036 18075 6241 1 0 120734 69 2050 25 25 0 1 0 839265947 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): 1230.18
CPU time (s): 1228.8
CPU user time (s): 1227.85
CPU system time (s): 0.951855
CPU usage (%): 99.8879
Max. virtual memory (Kb): 837344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####