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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dcmulti.opb
MD5SUM	659e380dd1d6168ad99a794b3190043f
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	14235
Biggest coefficient in the objective function	714038312960
Number of bits for the biggest coefficient in the objective function	40
Sum of the numbers in the objective function	68224730472397
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	714038312960
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	68224730472397
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12198
Number of variables	14265
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 29631

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 09:49:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21035 boxname=wulflinc4 idbench=1023 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  659e380dd1d6168ad99a794b3190043f  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-dcmulti.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-dcmulti.opb
IDLAUNCH: 21035
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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		: 451.169
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:        680672 kB
Buffers:         34440 kB
Cached:         298908 kB
SwapCached:        600 kB
Active:          69824 kB
Inactive:       265892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        680420 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12440 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:10:19 (client local time) WITH STATUS 143 IN 1258.2 SECONDS
stats: 21035 7 1258.2 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-dcmulti.opb
c reading problem ... done. Time 62.763 ms.
c #vars     14265
c #constraints  368
c starts	: 6
c conflicts	: 1980
c decisions	: 19126
c propagations	: 56818
c inspects	: 375585
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1979
c root simplifications	: 29
s UNKNOWN
c Total CPU time (ms) : 1259.231
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 374
Raw data (stat): 374 (runsolver) R 373 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779695709 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.0005 s]
Raw data (loadavg): 0.93 0.98 0.99 2/63 383
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18004 0 1 0 874 35 0 0 24 0 10 0 779695709 853782528 19377 4294967295 134512640 134569956 3221224368 3221214644 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208443 19377 13086 16 0 208427 0
vsize: 833772
[startup+20.0013 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 383
Raw data (stat): 374 (java) S 373 21152 21151 0 -1 0 18005 0 1 0 1768 35 0 0 25 0 10 0 779695709 854462464 20018 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 20018 13086 16 0 208593 0
vsize: 834436
[startup+30.0029 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 383
Raw data (stat): 374 (java) S 373 21152 21151 0 -1 0 18005 0 1 0 2665 36 0 0 25 0 10 0 779695709 854462464 20505 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 20505 13086 16 0 208593 0
vsize: 834436
[startup+40.0031 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 383
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18005 0 1 0 3576 37 0 0 24 0 10 0 779695709 854462464 20807 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 20807 13086 16 0 208593 0
vsize: 834436
[startup+50.0029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 383
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18005 0 1 0 4496 37 0 0 24 0 10 0 779695709 854462464 20970 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 20970 13086 16 0 208593 0
vsize: 834436
[startup+60.0043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 383
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18005 0 1 0 5416 37 0 0 25 0 10 0 779695709 854462464 21095 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208609 21095 13086 16 0 208593 0
vsize: 834436
[startup+70.0047 s]
Raw data (loadavg): 1.16 1.03 1.01 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18059 0 1 0 6298 38 0 0 25 0 11 0 779695709 857399296 23898 4294967295 134512640 134569956 3221224368 3221214576 1131406836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 23898 13086 16 0 209310 0
vsize: 837304
[startup+80.0056 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18061 0 1 0 7234 38 0 0 24 0 11 0 779695709 857399296 23925 4294967295 134512640 134569956 3221224368 3221214576 1131361598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 23925 13086 16 0 209310 0
vsize: 837304
[startup+90.0062 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18064 0 1 0 8203 38 0 0 25 0 11 0 779695709 857399296 23935 4294967295 134512640 134569956 3221224368 3221214576 1131362035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 23935 13086 16 0 209310 0
vsize: 837304
[startup+100.006 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18064 0 1 0 9163 38 0 0 25 0 11 0 779695709 857399296 23946 4294967295 134512640 134569956 3221224368 3221214576 1131362282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 23946 13086 16 0 209310 0
vsize: 837304
[startup+110.007 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18064 0 1 0 10107 38 0 0 25 0 11 0 779695709 857399296 23964 4294967295 134512640 134569956 3221224368 3221214576 1131361900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 23964 13086 16 0 209310 0
vsize: 837304
[startup+120.012 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18064 0 1 0 11062 38 0 0 25 0 11 0 779695709 857399296 24019 4294967295 134512640 134569956 3221224368 3221214624 1131345849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 24019 13086 16 0 209310 0
vsize: 837304
[startup+130.013 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 11994 38 0 0 25 0 11 0 779695709 857399296 24425 4294967295 134512640 134569956 3221224368 3221214624 1131345857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 24425 13086 16 0 209310 0
vsize: 837304
[startup+140.014 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 12943 39 0 0 25 0 11 0 779695709 857399296 24650 4294967295 134512640 134569956 3221224368 3221214576 1131362056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 24650 13086 16 0 209310 0
vsize: 837304
[startup+150.014 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 13885 39 0 0 25 0 11 0 779695709 857399296 24766 4294967295 134512640 134569956 3221224368 3221214672 1131376011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 24766 13086 16 0 209310 0
vsize: 837304
[startup+160.014 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 14818 39 0 0 25 0 11 0 779695709 857399296 24898 4294967295 134512640 134569956 3221224368 3221214472 1131565054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 24898 13086 16 0 209310 0
vsize: 837304
[startup+170.014 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 15768 39 0 0 25 0 11 0 779695709 857399296 25061 4294967295 134512640 134569956 3221224368 3221214636 1131259815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 25061 13086 16 0 209310 0
vsize: 837304
[startup+180.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 16716 39 0 0 25 0 11 0 779695709 857399296 25366 4294967295 134512640 134569956 3221224368 3221214588 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 25366 13086 16 0 209310 0
vsize: 837304
[startup+190.021 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 384
Raw data (stat): 374 (java) S 373 21152 21151 0 -1 0 18065 0 1 0 17665 39 0 0 25 0 11 0 779695709 857399296 25544 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 25544 13086 16 0 209310 0
vsize: 837304
[startup+200.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 18622 39 0 0 25 0 11 0 779695709 857399296 25786 4294967295 134512640 134569956 3221224368 3221214640 1131406787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 25786 13086 16 0 209310 0
vsize: 837304
[startup+210.133 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 19584 39 0 0 25 0 11 0 779695709 857399296 26037 4294967295 134512640 134569956 3221224368 3221214636 1131401928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 26037 13086 16 0 209310 0
vsize: 837304
[startup+220.133 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 20534 39 0 0 24 0 11 0 779695709 857399296 26338 4294967295 134512640 134569956 3221224368 3221214736 1131454896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 26338 13086 16 0 209310 0
vsize: 837304
[startup+230.133 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 21506 39 0 0 25 0 11 0 779695709 857399296 26426 4294967295 134512640 134569956 3221224368 3221214536 1131304740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 26426 13086 16 0 209310 0
vsize: 837304
[startup+240.134 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 22469 39 0 0 25 0 11 0 779695709 857399296 26526 4294967295 134512640 134569956 3221224368 3221214640 1131400736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 26526 13086 16 0 209310 0
vsize: 837304
[startup+250.133 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 23432 39 0 0 25 0 11 0 779695709 857399296 26632 4294967295 134512640 134569956 3221224368 3221214616 1131423872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 26632 13086 16 0 209310 0
vsize: 837304
[startup+260.134 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 24403 39 0 0 25 0 11 0 779695709 857399296 26675 4294967295 134512640 134569956 3221224368 3221214520 1131357057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 26675 13086 16 0 209310 0
vsize: 837304
[startup+270.135 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 25366 39 0 0 25 0 11 0 779695709 857399296 26798 4294967295 134512640 134569956 3221224368 3221214616 1131401899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 26798 13086 16 0 209310 0
vsize: 837304
[startup+280.135 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 26327 39 0 0 24 0 11 0 779695709 857399296 26948 4294967295 134512640 134569956 3221224368 3221214588 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 26948 13086 16 0 209310 0
vsize: 837304
[startup+290.136 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 27299 39 0 0 25 0 11 0 779695709 857399296 27004 4294967295 134512640 134569956 3221224368 3221214528 1131435046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 27004 13086 16 0 209310 0
vsize: 837304
[startup+300.136 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 28261 39 0 0 25 0 11 0 779695709 857399296 27139 4294967295 134512640 134569956 3221224368 3221214640 1131400674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 27139 13086 16 0 209310 0
vsize: 837304
[startup+310.136 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 29224 40 0 0 24 0 11 0 779695709 857399296 27313 4294967295 134512640 134569956 3221224368 3221214640 1131400674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 27313 13086 16 0 209310 0
vsize: 837304
[startup+320.136 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 30196 40 0 0 25 0 11 0 779695709 857399296 27364 4294967295 134512640 134569956 3221224368 3221214512 1131291159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 27364 13086 16 0 209310 0
vsize: 837304
[startup+330.138 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 31158 40 0 0 25 0 11 0 779695709 857399296 27469 4294967295 134512640 134569956 3221224368 3221214512 1131291114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 27469 13086 16 0 209310 0
vsize: 837304
[startup+340.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 32130 40 0 0 25 0 11 0 779695709 857399296 27553 4294967295 134512640 134569956 3221224368 3221214536 1131291223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 27553 13086 16 0 209310 0
vsize: 837304
[startup+350.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 33093 40 0 0 25 0 11 0 779695709 857399296 27666 4294967295 134512640 134569956 3221224368 3221214616 1131423330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 27666 13086 16 0 209310 0
vsize: 837304
[startup+360.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 34056 40 0 0 25 0 11 0 779695709 857399296 27771 4294967295 134512640 134569956 3221224368 3221214388 1078032677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 27771 13086 16 0 209310 0
vsize: 837304
[startup+370.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 35028 40 0 0 25 0 11 0 779695709 857399296 27834 4294967295 134512640 134569956 3221224368 3221214512 1131291502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 27834 13086 16 0 209310 0
vsize: 837304
[startup+380.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 35990 40 0 0 25 0 11 0 779695709 857399296 27949 4294967295 134512640 134569956 3221224368 3221214616 1131401889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 27949 13086 16 0 209310 0
vsize: 837304
[startup+390.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 36952 41 0 0 25 0 11 0 779695709 857399296 28071 4294967295 134512640 134569956 3221224368 3221214588 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 28071 13086 16 0 209310 0
vsize: 837304
[startup+400.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 37924 41 0 0 25 0 11 0 779695709 857399296 28155 4294967295 134512640 134569956 3221224368 3221214616 1131423279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 28155 13086 16 0 209310 0
vsize: 837304
[startup+410.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 38886 41 0 0 25 0 11 0 779695709 857399296 28265 4294967295 134512640 134569956 3221224368 3221214640 1131400752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 28265 13086 16 0 209310 0
vsize: 837304
[startup+420.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 39848 41 0 0 24 0 11 0 779695709 857399296 28373 4294967295 134512640 134569956 3221224368 3221214320 1076461501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 28373 13086 16 0 209310 0
vsize: 837304
[startup+430.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 40819 41 0 0 25 0 11 0 779695709 857399296 28462 4294967295 134512640 134569956 3221224368 3221214616 1131423685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 28462 13086 16 0 209310 0
vsize: 837304
[startup+440.142 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 41780 41 0 0 25 0 11 0 779695709 857399296 28567 4294967295 134512640 134569956 3221224368 3221214512 1131291162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 28567 13086 16 0 209310 0
vsize: 837304
[startup+450.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) S 373 21152 21151 0 -1 0 18065 0 1 0 42749 41 0 0 25 0 11 0 779695709 857399296 28673 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 28673 13086 16 0 209310 0
vsize: 837304
[startup+460.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 43713 41 0 0 25 0 11 0 779695709 857399296 28785 4294967295 134512640 134569956 3221224368 3221214512 1131291263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 28785 13086 16 0 209310 0
vsize: 837304
[startup+470.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 44675 41 0 0 25 0 11 0 779695709 857399296 28940 4294967295 134512640 134569956 3221224368 3221214512 1131291263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 28940 13086 16 0 209310 0
vsize: 837304
[startup+480.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 45656 41 0 0 25 0 11 0 779695709 857399296 28992 4294967295 134512640 134569956 3221224368 3221214576 1131362514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 28992 13086 16 0 209310 0
vsize: 837304
[startup+490.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 46606 41 0 0 25 0 11 0 779695709 857399296 29120 4294967295 134512640 134569956 3221224368 3221214528 1131433948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 29120 13086 16 0 209310 0
vsize: 837304
[startup+500.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 47563 41 0 0 25 0 11 0 779695709 857399296 29282 4294967295 134512640 134569956 3221224368 3221214576 1131362576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 29282 13086 16 0 209310 0
vsize: 837304
[startup+510.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 48521 41 0 0 25 0 11 0 779695709 857399296 29345 4294967295 134512640 134569956 3221224368 3221214672 1131374071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 29345 13086 16 0 209310 0
vsize: 837304
[startup+520.148 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 49473 41 0 0 25 0 11 0 779695709 857399296 29526 4294967295 134512640 134569956 3221224368 3221214720 1131354025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 29526 13086 16 0 209310 0
vsize: 837304
[startup+530.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 50432 41 0 0 25 0 11 0 779695709 857399296 29657 4294967295 134512640 134569956 3221224368 3221214672 1131375272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 29657 13086 16 0 209310 0
vsize: 837304
[startup+540.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 51392 41 0 0 24 0 11 0 779695709 857399296 29785 4294967295 134512640 134569956 3221224368 3221214512 1131291114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 29785 13086 16 0 209310 0
vsize: 837304
[startup+550.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) S 373 21152 21151 0 -1 0 18065 0 1 0 52353 42 0 0 25 0 11 0 779695709 857399296 29936 4294967295 134512640 134569956 3221224368 3221213216 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 29936 13086 16 0 209310 0
vsize: 837304
[startup+560.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 53319 42 0 0 25 0 11 0 779695709 857399296 30097 4294967295 134512640 134569956 3221224368 3221214624 1131431788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 30097 13086 16 0 209310 0
vsize: 837304
[startup+570.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 54282 42 0 0 25 0 11 0 779695709 857399296 30212 4294967295 134512640 134569956 3221224368 3221214616 1131423687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 30212 13086 16 0 209310 0
vsize: 837304
[startup+580.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 55238 42 0 0 25 0 11 0 779695709 857399296 30254 4294967295 134512640 134569956 3221224368 3221214528 1131434084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 30254 13086 16 0 209310 0
vsize: 837304
[startup+590.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 56194 42 0 0 25 0 11 0 779695709 857399296 30399 4294967295 134512640 134569956 3221224368 3221214616 1131423391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 30399 13086 16 0 209310 0
vsize: 837304
[startup+600.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 57150 42 0 0 25 0 11 0 779695709 857399296 30685 4294967295 134512640 134569956 3221224368 3221214640 1131406700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 30685 13086 16 0 209310 0
vsize: 837304
[startup+610.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 58096 42 0 0 25 0 11 0 779695709 857399296 30982 4294967295 134512640 134569956 3221224368 3221214616 1131424220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 30982 13086 16 0 209310 0
vsize: 837304
[startup+620.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 59053 42 0 0 25 0 11 0 779695709 857399296 31220 4294967295 134512640 134569956 3221224368 3221214504 1131198975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 31220 13086 16 0 209310 0
vsize: 837304
[startup+630.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 59999 42 0 0 25 0 11 0 779695709 857399296 31496 4294967295 134512640 134569956 3221224368 3221214616 1131423391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 31496 13086 16 0 209310 0
vsize: 837304
[startup+640.153 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 384
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 60953 42 0 0 25 0 11 0 779695709 857399296 31901 4294967295 134512640 134569956 3221224368 3221214616 1131423439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 31901 13086 16 0 209310 0
vsize: 837304
[startup+650.153 s]
Raw data (loadavg): 1.00 1.00 1.00 3/67 422
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 61908 42 0 0 25 0 11 0 779695709 857399296 32126 4294967295 134512640 134569956 3221224368 3221214640 1131406683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 32126 13086 16 0 209310 0
vsize: 837304
[startup+660.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 437
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 62852 42 0 0 24 0 11 0 779695709 857399296 32453 4294967295 134512640 134569956 3221224368 3221214512 1131291571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 32453 13086 16 0 209310 0
vsize: 837304
[startup+670.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 437
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 63809 42 0 0 25 0 11 0 779695709 857399296 32798 4294967295 134512640 134569956 3221224368 3221214512 1131291263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 32798 13086 16 0 209310 0
vsize: 837304
[startup+680.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 437
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 64766 43 0 0 25 0 11 0 779695709 857399296 33007 4294967295 134512640 134569956 3221224368 3221214440 1131560913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 33007 13086 16 0 209310 0
vsize: 837304
[startup+690.157 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 437
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 65726 43 0 0 25 0 11 0 779695709 857399296 33056 4294967295 134512640 134569956 3221224368 3221214512 1131291263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 33056 13086 16 0 209310 0
vsize: 837304
[startup+700.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 437
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 66676 43 0 0 25 0 11 0 779695709 857399296 33138 4294967295 134512640 134569956 3221224368 3221214536 1131291263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 33138 13086 16 0 209310 0
vsize: 837304
[startup+710.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 437
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 67617 43 0 0 25 0 11 0 779695709 857399296 33187 4294967295 134512640 134569956 3221224368 3221214592 1131428838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 33187 13086 16 0 209310 0
vsize: 837304
[startup+720.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 437
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 68564 44 0 0 25 0 11 0 779695709 857399296 33331 4294967295 134512640 134569956 3221224368 3221214528 1131435749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 33331 13086 16 0 209310 0
vsize: 837304
[startup+730.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 69515 44 0 0 25 0 11 0 779695709 857399296 33511 4294967295 134512640 134569956 3221224368 3221214244 1131562354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 33511 13086 16 0 209310 0
vsize: 837304
[startup+740.161 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 70476 44 0 0 25 0 11 0 779695709 857399296 33877 4294967295 134512640 134569956 3221224368 3221214512 1131291114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 33877 13086 16 0 209310 0
vsize: 837304
[startup+750.161 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 71443 44 0 0 25 0 11 0 779695709 857399296 33944 4294967295 134512640 134569956 3221224368 3221214616 1131424104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 33944 13086 16 0 209310 0
vsize: 837304
[startup+760.162 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 72420 44 0 0 25 0 11 0 779695709 857399296 33971 4294967295 134512640 134569956 3221224368 3221214536 1131562306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 33971 13086 16 0 209310 0
vsize: 837304
[startup+770.163 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 73395 44 0 0 25 0 11 0 779695709 857399296 34047 4294967295 134512640 134569956 3221224368 3221214528 1131436455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34047 13086 16 0 209310 0
vsize: 837304
[startup+780.163 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 74370 45 0 0 25 0 11 0 779695709 857399296 34127 4294967295 134512640 134569956 3221224368 3221214792 1131571265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 34127 13086 16 0 209310 0
vsize: 837304
[startup+790.163 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 75340 45 0 0 25 0 11 0 779695709 857399296 34221 4294967295 134512640 134569956 3221224368 3221214612 1131220979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34221 13086 16 0 209310 0
vsize: 837304
[startup+800.163 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 76310 46 0 0 25 0 11 0 779695709 857399296 34302 4294967295 134512640 134569956 3221224368 3221214616 1131424064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34302 13086 16 0 209310 0
vsize: 837304
[startup+810.165 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 77283 46 0 0 25 0 11 0 779695709 857399296 34339 4294967295 134512640 134569956 3221224368 3221214536 1131291114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 34339 13086 16 0 209310 0
vsize: 837304
[startup+820.165 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 78255 46 0 0 25 0 11 0 779695709 857399296 34386 4294967295 134512640 134569956 3221224368 3221214528 1131433854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34386 13086 16 0 209310 0
vsize: 837304
[startup+830.166 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 79231 47 0 0 25 0 11 0 779695709 857399296 34455 4294967295 134512640 134569956 3221224368 3221214160 1131560987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34455 13086 16 0 209310 0
vsize: 837304
[startup+840.166 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 80208 47 0 0 25 0 11 0 779695709 857399296 34521 4294967295 134512640 134569956 3221224368 3221214616 1131423410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34521 13086 16 0 209310 0
vsize: 837304
[startup+850.166 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 81185 47 0 0 25 0 11 0 779695709 857399296 34621 4294967295 134512640 134569956 3221224368 3221214512 1131291223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34621 13086 16 0 209310 0
vsize: 837304
[startup+860.167 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 439
Raw data (stat): 374 (java) S 373 21152 21151 0 -1 0 18065 0 1 0 82155 47 0 0 25 0 11 0 779695709 857399296 34697 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34697 13086 16 0 209310 0
vsize: 837304
[startup+870.168 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 83124 47 0 0 25 0 11 0 779695709 857399296 34727 4294967295 134512640 134569956 3221224368 3221214616 1131423410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34727 13086 16 0 209310 0
vsize: 837304
[startup+880.17 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 84101 48 0 0 25 0 11 0 779695709 857399296 34770 4294967295 134512640 134569956 3221224368 3221214300 1131562354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 34770 13086 16 0 209310 0
vsize: 837304
[startup+890.171 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 85072 48 0 0 25 0 11 0 779695709 857399296 34852 4294967295 134512640 134569956 3221224368 3221214672 1131375065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34852 13086 16 0 209310 0
vsize: 837304
[startup+900.17 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 86047 48 0 0 25 0 11 0 779695709 857399296 34912 4294967295 134512640 134569956 3221224368 3221213800 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 34912 13086 16 0 209310 0
vsize: 837304
[startup+910.172 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 87016 48 0 0 24 0 11 0 779695709 857399296 35006 4294967295 134512640 134569956 3221224368 3221214528 1131436609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 35006 13086 16 0 209310 0
vsize: 837304
[startup+920.172 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 87987 48 0 0 24 0 11 0 779695709 857399296 35091 4294967295 134512640 134569956 3221224368 3221214528 1131433972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 35091 13086 16 0 209310 0
vsize: 837304
[startup+930.173 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 88962 49 0 0 25 0 11 0 779695709 857399296 35114 4294967295 134512640 134569956 3221224368 3221214512 1131291475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 35114 13086 16 0 209310 0
vsize: 837304
[startup+940.174 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 89923 49 0 0 25 0 11 0 779695709 857399296 35175 4294967295 134512640 134569956 3221224368 3221214536 1131291114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 35175 13086 16 0 209310 0
vsize: 837304
[startup+950.175 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 90890 49 0 0 25 0 11 0 779695709 857399296 35251 4294967295 134512640 134569956 3221224368 3221214616 1131423774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 35251 13086 16 0 209310 0
vsize: 837304
[startup+960.175 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 91848 49 0 0 25 0 11 0 779695709 857399296 35332 4294967295 134512640 134569956 3221224368 3221214512 1131291263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 35332 13086 16 0 209310 0
vsize: 837304
[startup+970.176 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 439
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 92807 50 0 0 25 0 11 0 779695709 857399296 35459 4294967295 134512640 134569956 3221224368 3221214576 1131499560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 35459 13086 16 0 209310 0
vsize: 837304
[startup+980.177 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 93774 50 0 0 25 0 11 0 779695709 857399296 35487 4294967295 134512640 134569956 3221224368 3221214640 1131400674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 35487 13086 16 0 209310 0
vsize: 837304
[startup+990.178 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 441
Raw data (stat): 374 (java) S 373 21152 21151 0 -1 0 18065 0 1 0 94739 51 0 0 25 0 11 0 779695709 857399296 35547 4294967295 134512640 134569956 3221224368 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 35547 13086 16 0 209310 0
vsize: 837304
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 95700 51 0 0 25 0 11 0 779695709 857399296 35652 4294967295 134512640 134569956 3221224368 3221214624 1131261665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 35652 13086 16 0 209310 0
vsize: 837304
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 96665 51 0 0 25 0 11 0 779695709 857399296 35892 4294967295 134512640 134569956 3221224368 3221214616 1131423439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 35892 13086 16 0 209310 0
vsize: 837304
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 97631 51 0 0 25 0 11 0 779695709 857399296 36008 4294967295 134512640 134569956 3221224368 3221214136 1130883310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36008 13086 16 0 209310 0
vsize: 837304
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 98598 52 0 0 24 0 11 0 779695709 857399296 36063 4294967295 134512640 134569956 3221224368 3221214464 1131291400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36063 13086 16 0 209310 0
vsize: 837304
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 99569 52 0 0 25 0 11 0 779695709 857399296 36129 4294967295 134512640 134569956 3221224368 3221214464 1131291916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36129 13086 16 0 209310 0
vsize: 837304
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 100533 53 0 0 25 0 11 0 779695709 857399296 36211 4294967295 134512640 134569956 3221224368 3221214568 1131423760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36211 13086 16 0 209310 0
vsize: 837304
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 101498 53 0 0 25 0 11 0 779695709 857399296 36338 4294967295 134512640 134569956 3221224368 3221214508 1131401824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36338 13086 16 0 209310 0
vsize: 837304
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 102470 53 0 0 25 0 11 0 779695709 857399296 36372 4294967295 134512640 134569956 3221224368 3221214480 1131435052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36372 13086 16 0 209310 0
vsize: 837304
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 103431 53 0 0 25 0 11 0 779695709 857399296 36462 4294967295 134512640 134569956 3221224368 3221214568 1131423324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36462 13086 16 0 209310 0
vsize: 837304
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 104390 54 0 0 25 0 11 0 779695709 857399296 36554 4294967295 134512640 134569956 3221224368 3221214568 1131423360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36554 13086 16 0 209310 0
vsize: 837304
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 105356 54 0 0 25 0 11 0 779695709 857399296 36660 4294967295 134512640 134569956 3221224368 3221214488 1131259374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36660 13086 16 0 209310 0
vsize: 837304
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) S 373 21152 21151 0 -1 0 18065 0 1 0 106328 54 0 0 25 0 11 0 779695709 857399296 36706 4294967295 134512640 134569956 3221224368 3221213192 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36706 13086 16 0 209310 0
vsize: 837304
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 107291 55 0 0 25 0 11 0 779695709 857399296 36806 4294967295 134512640 134569956 3221224368 3221214096 1131562287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36806 13086 16 0 209310 0
vsize: 837304
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 108256 55 0 0 25 0 11 0 779695709 857399296 36864 4294967295 134512640 134569956 3221224368 3221214488 1131401875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 36864 13086 16 0 209310 0
vsize: 837304
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 109199 55 0 0 25 0 11 0 779695709 857399296 37023 4294967295 134512640 134569956 3221224368 3221214480 1131434880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 37023 13086 16 0 209310 0
vsize: 837304
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 110154 56 0 0 25 0 11 0 779695709 857399296 37162 4294967295 134512640 134569956 3221224368 3221214512 1131348499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 37162 13086 16 0 209310 0
vsize: 837304
[startup+1160.19 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 111106 56 0 0 25 0 11 0 779695709 857399296 37276 4294967295 134512640 134569956 3221224368 3221214720 1131401905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 37276 13086 16 0 209310 0
vsize: 837304
[startup+1170.19 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 112047 57 0 0 25 0 11 0 779695709 857399296 37394 4294967295 134512640 134569956 3221224368 3221214592 1131400678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 37394 13086 16 0 209310 0
vsize: 837304
[startup+1180.19 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 112996 57 0 0 25 0 11 0 779695709 857399296 37505 4294967295 134512640 134569956 3221224368 3221214480 1131433608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 37505 13086 16 0 209310 0
vsize: 837304
[startup+1190.19 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 113932 57 0 0 25 0 11 0 779695709 857399296 37718 4294967295 134512640 134569956 3221224368 3221214568 1131424104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 37718 13086 16 0 209310 0
vsize: 837304
[startup+1200.19 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 114878 57 0 0 25 0 11 0 779695709 857399296 37817 4294967295 134512640 134569956 3221224368 3221214568 1131424208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 37817 13086 16 0 209310 0
vsize: 837304
[startup+1210.19 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 115829 58 0 0 25 0 11 0 779695709 857399296 37969 4294967295 134512640 134569956 3221224368 3221214524 1131304435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 37969 13086 16 0 209310 0
vsize: 837304
[startup+1220.19 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 441
Raw data (stat): 374 (java) S 373 21152 21151 0 -1 0 18065 0 1 0 116785 58 0 0 25 0 11 0 779695709 857399296 38094 4294967295 134512640 134569956 3221224368 3221213168 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 38094 13086 16 0 209310 0
vsize: 837304
[startup+1230.19 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 117751 58 0 0 25 0 11 0 779695709 857399296 38228 4294967295 134512640 134569956 3221224368 3221214568 1131424078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 38228 13086 16 0 209310 0
vsize: 837304
[startup+1240.19 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 118719 58 0 0 25 0 11 0 779695709 857399296 38352 4294967295 134512640 134569956 3221224368 3221214480 1131434904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 38352 13086 16 0 209310 0
vsize: 837304
[startup+1250.2 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 119688 58 0 0 25 0 11 0 779695709 857399296 38490 4294967295 134512640 134569956 3221224368 3221214516 1131345866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 38490 13086 16 0 209310 0
vsize: 837304
[startup+1260.2 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 441
Raw data (stat): 374 (java) R 373 21152 21151 0 -1 0 18065 0 1 0 120650 58 0 0 25 0 11 0 779695709 857399296 38662 4294967295 134512640 134569956 3221224368 3221214568 1131423880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 38662 13086 16 0 209310 0
vsize: 837304
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.29 s]
Raw data (loadavg): 1.01 1.01 1.00 1/54 443
Raw data (stat): 374 (java) Z 373 21152 21151 0 -1 1036 18065 19374 1 0 120652 58 5067 40 25 0 1 0 779695709 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): 1260.29
CPU time (s): 1258.2
CPU user time (s): 1257.21
CPU system time (s): 0.994848
CPU usage (%): 99.834
Max. virtual memory (Kb): 837304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####