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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb
MD5SUM	ab580cd45d19f5d6d605ce2c4dabd375
Bench Category	optimization, medium integers (OPTMEDINT)
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	25888
Biggest coefficient in the objective function	340787200
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	293013913600
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	340787200
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	293013913600
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.6499
Number of variables	71968
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	960
Trace number 30140

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        848304 kB
Buffers:         29740 kB
Cached:         133680 kB
SwapCached:        528 kB
Active:          34436 kB
Inactive:       131128 kB
HighTotal:      131008 kB
HighFree:        40292 kB
LowTotal:       903652 kB
LowFree:        808012 kB
SwapTotal:     2097892 kB
SwapFree:      2096544 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            15144 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:38:58 (client local time) WITH STATUS 143 IN 1311.87 SECONDS
stats: 21543 7 1311.87 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-B1C1S1.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.085
#### 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 23570
Raw data (stat): 23570 (runsolver) R 23569 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839904702 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.0002 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18011 0 1 0 868 46 0 0 25 0 10 0 839904702 853753856 19346 4294967295 134512640 134569956 3221224368 3221214764 1130883104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208436 19346 13086 16 0 208420 0
vsize: 833744
[startup+20.0007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 1766 46 0 0 18 0 10 0 839904702 854241280 19969 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 19969 13086 16 0 208539 0
vsize: 834220
[startup+30.0003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 2661 46 0 0 24 0 10 0 839904702 854241280 20448 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208555 20448 13086 16 0 208539 0
vsize: 834220
[startup+40.0013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 3574 46 0 0 24 0 10 0 839904702 853819392 20677 4294967295 134512640 134569956 3221224368 3221214768 1131238464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208452 20677 13086 16 0 208436 0
vsize: 833808
[startup+50.0016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 4499 47 0 0 25 0 10 0 839904702 853819392 20838 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208452 20838 13086 16 0 208436 0
vsize: 833808
[startup+60.0022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 5418 47 0 0 25 0 10 0 839904702 853819392 20968 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208452 20968 13086 16 0 208436 0
vsize: 833808
[startup+70.0025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 6345 48 0 0 25 0 10 0 839904702 853753856 21195 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 21195 13086 16 0 208420 0
vsize: 833744
[startup+80.0024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 7285 48 0 0 25 0 10 0 839904702 853753856 21295 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 21295 13086 16 0 208420 0
vsize: 833744
[startup+90.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 8227 48 0 0 25 0 10 0 839904702 853753856 21386 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 21386 13086 16 0 208420 0
vsize: 833744
[startup+100.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 9170 49 0 0 25 0 10 0 839904702 853753856 21471 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 21471 13086 16 0 208420 0
vsize: 833744
[startup+110.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 10113 50 0 0 25 0 10 0 839904702 853753856 21550 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 21550 13086 16 0 208420 0
vsize: 833744
[startup+120.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 11057 50 0 0 25 0 10 0 839904702 853753856 21625 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 21625 13086 16 0 208420 0
vsize: 833744
[startup+130.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 12001 51 0 0 25 0 10 0 839904702 853753856 21696 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 21696 13086 16 0 208420 0
vsize: 833744
[startup+140.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 12945 51 0 0 25 0 10 0 839904702 853753856 21763 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 21763 13086 16 0 208420 0
vsize: 833744
[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 13890 51 0 0 25 0 10 0 839904702 853753856 21828 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 21828 13086 16 0 208420 0
vsize: 833744
[startup+160.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 14835 52 0 0 25 0 10 0 839904702 853753856 21890 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208436 21890 13086 16 0 208420 0
vsize: 833744
[startup+170.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18012 0 1 0 15780 52 0 0 25 0 10 0 839904702 853753856 21947 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 21947 13086 16 0 208420 0
vsize: 833744
[startup+180.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 16713 52 0 0 25 0 10 0 839904702 853753856 22003 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 22003 13086 16 0 208420 0
vsize: 833744
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18012 0 1 0 17630 52 0 0 24 0 10 0 839904702 853753856 22059 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 22059 13086 16 0 208420 0
vsize: 833744
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18020 0 1 0 18554 52 0 0 25 0 10 0 839904702 853753856 22376 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 22376 13086 16 0 208420 0
vsize: 833744
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18021 0 1 0 19487 53 0 0 25 0 10 0 839904702 853753856 22432 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 22432 13086 16 0 208420 0
vsize: 833744
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18021 0 1 0 20423 53 0 0 25 0 10 0 839904702 853753856 22575 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 22575 13086 16 0 208420 0
vsize: 833744
[startup+230.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18021 0 1 0 21352 54 0 0 25 0 10 0 839904702 853753856 22668 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 22668 13086 16 0 208420 0
vsize: 833744
[startup+240.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18022 0 1 0 22289 54 0 0 25 0 10 0 839904702 853753856 22709 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208436 22709 13086 16 0 208420 0
vsize: 833744
[startup+250.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18022 0 1 0 23231 54 0 0 25 0 10 0 839904702 853753856 22741 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 22741 13086 16 0 208420 0
vsize: 833744
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18022 0 1 0 24167 54 0 0 25 0 10 0 839904702 853753856 22795 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 22795 13086 16 0 208420 0
vsize: 833744
[startup+270.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18022 0 1 0 25105 55 0 0 24 0 10 0 839904702 853753856 22832 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208436 22832 13086 16 0 208420 0
vsize: 833744
[startup+280.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18022 0 1 0 26026 55 0 0 25 0 10 0 839904702 854802432 23065 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23065 13086 16 0 208676 0
vsize: 834768
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 26966 56 0 0 25 0 10 0 839904702 854802432 23099 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23099 13086 16 0 208676 0
vsize: 834768
[startup+300.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 27902 56 0 0 25 0 10 0 839904702 854802432 23151 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23151 13086 16 0 208676 0
vsize: 834768
[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 28838 56 0 0 24 0 10 0 839904702 854802432 23202 4294967295 134512640 134569956 3221224368 3221214764 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23202 13086 16 0 208676 0
vsize: 834768
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 29778 57 0 0 25 0 10 0 839904702 854802432 23234 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23234 13086 16 0 208676 0
vsize: 834768
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 30712 57 0 0 24 0 10 0 839904702 854802432 23283 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23283 13086 16 0 208676 0
vsize: 834768
[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 31651 57 0 0 25 0 10 0 839904702 854802432 23314 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23314 13086 16 0 208676 0
vsize: 834768
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 32585 58 0 0 24 0 10 0 839904702 854802432 23410 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23410 13086 16 0 208676 0
vsize: 834768
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 33524 58 0 0 25 0 10 0 839904702 854802432 23440 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23440 13086 16 0 208676 0
vsize: 834768
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 34459 58 0 0 25 0 10 0 839904702 854802432 23487 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23487 13086 16 0 208676 0
vsize: 834768
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 35397 58 0 0 25 0 10 0 839904702 854802432 23516 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23516 13086 16 0 208676 0
vsize: 834768
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 36331 58 0 0 24 0 10 0 839904702 854802432 23513 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23513 13086 16 0 208676 0
vsize: 834768
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 37268 58 0 0 25 0 10 0 839904702 854802432 23541 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23541 13086 16 0 208676 0
vsize: 834768
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 38179 58 0 0 25 0 10 0 839904702 854802432 23596 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23596 13086 16 0 208676 0
vsize: 834768
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 39111 58 0 0 24 0 10 0 839904702 854802432 23625 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23625 13086 16 0 208676 0
vsize: 834768
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 40047 58 0 0 25 0 10 0 839904702 854802432 23670 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23670 13086 16 0 208676 0
vsize: 834768
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 40984 58 0 0 25 0 10 0 839904702 854802432 23697 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23697 13086 16 0 208676 0
vsize: 834768
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 41915 58 0 0 25 0 10 0 839904702 854802432 23743 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23743 13086 16 0 208676 0
vsize: 834768
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 42850 59 0 0 25 0 10 0 839904702 854802432 23769 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23769 13086 16 0 208676 0
vsize: 834768
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 43780 59 0 0 25 0 10 0 839904702 854802432 23815 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23815 13086 16 0 208676 0
vsize: 834768
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 44715 59 0 0 25 0 10 0 839904702 854802432 23842 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23842 13086 16 0 208676 0
vsize: 834768
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18023 0 1 0 45645 59 0 0 25 0 10 0 839904702 854802432 23869 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208692 23869 13086 16 0 208676 0
vsize: 834768
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 46578 59 0 0 25 0 10 0 839904702 854802432 23913 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23913 13086 16 0 208676 0
vsize: 834768
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 47510 60 0 0 25 0 10 0 839904702 854802432 23938 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23938 13086 16 0 208676 0
vsize: 834768
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 48437 60 0 0 24 0 10 0 839904702 854802432 23987 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 23987 13086 16 0 208676 0
vsize: 834768
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 49369 60 0 0 25 0 10 0 839904702 854802432 24017 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24017 13086 16 0 208676 0
vsize: 834768
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 50302 61 0 0 25 0 10 0 839904702 854802432 24047 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24047 13086 16 0 208676 0
vsize: 834768
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18023 0 1 0 51229 61 0 0 25 0 10 0 839904702 854802432 24078 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24078 13086 16 0 208676 0
vsize: 834768
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 52159 61 0 0 25 0 10 0 839904702 854802432 24113 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24113 13086 16 0 208676 0
vsize: 834768
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 53091 62 0 0 25 0 10 0 839904702 854802432 24142 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24142 13086 16 0 208676 0
vsize: 834768
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18023 0 1 0 54019 62 0 0 25 0 10 0 839904702 854802432 24171 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24171 13086 16 0 208676 0
vsize: 834768
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 54946 63 0 0 25 0 10 0 839904702 854802432 24201 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24201 13086 16 0 208676 0
vsize: 834768
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 55876 63 0 0 25 0 10 0 839904702 854802432 24230 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24230 13086 16 0 208676 0
vsize: 834768
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 56806 64 0 0 25 0 10 0 839904702 854802432 24264 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24264 13086 16 0 208676 0
vsize: 834768
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 57736 64 0 0 25 0 10 0 839904702 854802432 24292 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24292 13086 16 0 208676 0
vsize: 834768
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 58661 65 0 0 24 0 10 0 839904702 854802432 24321 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24321 13086 16 0 208676 0
vsize: 834768
[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 59590 65 0 0 25 0 10 0 839904702 854802432 24350 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24350 13086 16 0 208676 0
vsize: 834768
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 60519 65 0 0 25 0 10 0 839904702 854802432 24381 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24381 13086 16 0 208676 0
vsize: 834768
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 61448 65 0 0 25 0 10 0 839904702 854802432 24408 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24408 13086 16 0 208676 0
vsize: 834768
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18023 0 1 0 62373 66 0 0 25 0 10 0 839904702 854802432 24435 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24435 13086 16 0 208676 0
vsize: 834768
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 63300 66 0 0 24 0 10 0 839904702 854802432 24466 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24466 13086 16 0 208676 0
vsize: 834768
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 64228 66 0 0 25 0 10 0 839904702 854802432 24493 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24493 13086 16 0 208676 0
vsize: 834768
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 65155 66 0 0 25 0 10 0 839904702 854802432 24519 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 24519 13086 16 0 208676 0
vsize: 834768
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 66080 67 0 0 25 0 10 0 839904702 854802432 25064 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25064 13086 16 0 208676 0
vsize: 834768
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 67004 68 0 0 25 0 10 0 839904702 854802432 25064 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25064 13086 16 0 208676 0
vsize: 834768
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 67923 68 0 0 25 0 10 0 839904702 854802432 25084 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25084 13086 16 0 208676 0
vsize: 834768
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 68841 68 0 0 25 0 10 0 839904702 854802432 25111 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25111 13086 16 0 208676 0
vsize: 834768
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 69757 68 0 0 25 0 10 0 839904702 854802432 25136 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25136 13086 16 0 208676 0
vsize: 834768
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 70673 69 0 0 25 0 10 0 839904702 854802432 25162 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25162 13086 16 0 208676 0
vsize: 834768
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18023 0 1 0 71589 69 0 0 25 0 10 0 839904702 854802432 25188 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208692 25188 13086 16 0 208676 0
vsize: 834768
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 72463 71 0 0 25 0 10 0 839904702 855834624 30378 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30378 13086 16 0 208928 0
vsize: 835776
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18025 0 1 0 73388 72 0 0 25 0 10 0 839904702 855834624 30378 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30378 13086 16 0 208928 0
vsize: 835776
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 74306 72 0 0 25 0 10 0 839904702 855834624 30386 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30386 13086 16 0 208928 0
vsize: 835776
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 75220 72 0 0 25 0 10 0 839904702 855834624 30412 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30412 13086 16 0 208928 0
vsize: 835776
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 76133 73 0 0 25 0 10 0 839904702 855834624 30438 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30438 13086 16 0 208928 0
vsize: 835776
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 77046 73 0 0 25 0 10 0 839904702 855834624 30465 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30465 13086 16 0 208928 0
vsize: 835776
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 77959 74 0 0 25 0 10 0 839904702 855834624 30491 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30491 13086 16 0 208928 0
vsize: 835776
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 78873 74 0 0 24 0 10 0 839904702 855834624 30517 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30517 13086 16 0 208928 0
vsize: 835776
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18025 0 1 0 79790 74 0 0 25 0 10 0 839904702 855834624 30540 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30540 13086 16 0 208928 0
vsize: 835776
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 80702 75 0 0 25 0 10 0 839904702 855834624 30566 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30566 13086 16 0 208928 0
vsize: 835776
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 81613 75 0 0 25 0 10 0 839904702 855834624 30592 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30592 13086 16 0 208928 0
vsize: 835776
[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 82525 75 0 0 25 0 10 0 839904702 855834624 30617 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30617 13086 16 0 208928 0
vsize: 835776
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 83436 75 0 0 24 0 10 0 839904702 855834624 30642 4294967295 134512640 134569956 3221224368 3221214264 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30642 13086 16 0 208928 0
vsize: 835776
[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 84353 76 0 0 25 0 10 0 839904702 855834624 30666 4294967295 134512640 134569956 3221224368 3221214264 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30666 13086 16 0 208928 0
vsize: 835776
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 85264 76 0 0 25 0 10 0 839904702 855834624 30690 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30690 13086 16 0 208928 0
vsize: 835776
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 86174 77 0 0 25 0 10 0 839904702 855834624 30715 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30715 13086 16 0 208928 0
vsize: 835776
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 87085 77 0 0 25 0 10 0 839904702 855834624 30740 4294967295 134512640 134569956 3221224368 3221214760 1131044812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30740 13086 16 0 208928 0
vsize: 835776
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18025 0 1 0 87999 77 0 0 25 0 10 0 839904702 855834624 30763 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30763 13086 16 0 208928 0
vsize: 835776
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 88909 78 0 0 25 0 10 0 839904702 855834624 30787 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30787 13086 16 0 208928 0
vsize: 835776
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 89815 78 0 0 25 0 10 0 839904702 855834624 30812 4294967295 134512640 134569956 3221224368 3221214168 1076874339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30812 13086 16 0 208928 0
vsize: 835776
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 90727 78 0 0 22 0 10 0 839904702 855834624 30849 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30849 13086 16 0 208928 0
vsize: 835776
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 91631 78 0 0 21 0 10 0 839904702 855834624 30886 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208944 30886 13086 16 0 208928 0
vsize: 835776
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18025 0 1 0 92538 79 0 0 24 0 10 0 839904702 855064576 30774 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 30774 13086 16 0 208740 0
vsize: 835024
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 93445 79 0 0 22 0 10 0 839904702 855064576 30811 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 30811 13086 16 0 208740 0
vsize: 835024
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 94348 80 0 0 20 0 10 0 839904702 855064576 30854 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 30854 13086 16 0 208740 0
vsize: 835024
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 95259 80 0 0 24 0 10 0 839904702 855064576 30876 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 30876 13086 16 0 208740 0
vsize: 835024
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 96163 80 0 0 21 0 10 0 839904702 855064576 30913 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 30913 13086 16 0 208740 0
vsize: 835024
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18025 0 1 0 97069 80 0 0 24 0 10 0 839904702 855064576 30949 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 30949 13086 16 0 208740 0
vsize: 835024
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 97977 81 0 0 22 0 10 0 839904702 855064576 30985 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 30985 13086 16 0 208740 0
vsize: 835024
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 98881 81 0 0 19 0 10 0 839904702 855064576 31021 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31021 13086 16 0 208740 0
vsize: 835024
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 99790 81 0 0 22 0 10 0 839904702 855064576 31056 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31056 13086 16 0 208740 0
vsize: 835024
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 100692 81 0 0 18 0 10 0 839904702 855064576 31093 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31093 13086 16 0 208740 0
vsize: 835024
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 101601 82 0 0 22 0 10 0 839904702 855064576 31114 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31114 13086 16 0 208740 0
vsize: 835024
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 102503 82 0 0 18 0 10 0 839904702 855064576 31150 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31150 13086 16 0 208740 0
vsize: 835024
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 103411 83 0 0 22 0 10 0 839904702 855064576 31185 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31185 13086 16 0 208740 0
vsize: 835024
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 104312 83 0 0 19 0 10 0 839904702 855064576 31222 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31222 13086 16 0 208740 0
vsize: 835024
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 105220 83 0 0 24 0 10 0 839904702 855064576 31256 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31256 13086 16 0 208740 0
vsize: 835024
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 106122 84 0 0 20 0 10 0 839904702 855064576 31292 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31292 13086 16 0 208740 0
vsize: 835024
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 107034 84 0 0 24 0 10 0 839904702 855064576 31313 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31313 13086 16 0 208740 0
vsize: 835024
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 107938 85 0 0 20 0 10 0 839904702 855064576 31335 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31335 13086 16 0 208740 0
vsize: 835024
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 108848 85 0 0 24 0 10 0 839904702 855064576 31355 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31355 13086 16 0 208740 0
vsize: 835024
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 109752 86 0 0 21 0 10 0 839904702 855064576 31377 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31377 13086 16 0 208740 0
vsize: 835024
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 110656 86 0 0 19 0 10 0 839904702 855064576 31399 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31399 13086 16 0 208740 0
vsize: 835024
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 111566 87 0 0 21 0 10 0 839904702 855064576 31419 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31419 13086 16 0 208740 0
vsize: 835024
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 112469 87 0 0 18 0 10 0 839904702 855064576 31441 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31441 13086 16 0 208740 0
vsize: 835024
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 113380 88 0 0 21 0 10 0 839904702 855064576 31461 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31461 13086 16 0 208740 0
vsize: 835024
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 114283 88 0 0 18 0 10 0 839904702 855064576 31483 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31483 13086 16 0 208740 0
vsize: 835024
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 115191 89 0 0 21 0 10 0 839904702 855064576 31503 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31503 13086 16 0 208740 0
vsize: 835024
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) S 23569 7475 7474 0 -1 0 18025 0 1 0 116097 89 0 0 24 0 10 0 839904702 855064576 31522 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31522 13086 16 0 208740 0
vsize: 835024
[startup+1270.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 117001 89 0 0 19 0 10 0 839904702 855064576 31543 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31543 13086 16 0 208740 0
vsize: 835024
[startup+1280.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 117909 90 0 0 23 0 10 0 839904702 855064576 31563 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31563 13086 16 0 208740 0
vsize: 835024
[startup+1290.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 118811 90 0 0 21 0 10 0 839904702 855064576 31585 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31585 13086 16 0 208740 0
vsize: 835024
[startup+1300.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 119718 90 0 0 24 0 10 0 839904702 855064576 31604 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31604 13086 16 0 208740 0
vsize: 835024
[startup+1310.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23579
Raw data (stat): 23570 (java) R 23569 7475 7474 0 -1 0 18025 0 1 0 120619 91 0 0 19 0 10 0 839904702 855064576 31625 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208756 31625 13086 16 0 208740 0
vsize: 835024
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23581
Raw data (stat): 23570 (java) Z 23569 7475 7474 0 -1 1036 18025 14030 1 0 120624 91 10418 52 21 0 1 0 839904702 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): 1310.17
CPU time (s): 1311.87
CPU user time (s): 1310.44
CPU system time (s): 1.43278
CPU usage (%): 100.13
Max. virtual memory (Kb): 835776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####