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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb
MD5SUM62b75258091a8b1382fa8b1c633d9511
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 694
Optimality of the best value was proved NO
Number of terms in the objective function 99
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 4087
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 4087
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.168973
Number of variables99
Total number of constraints185
Number of constraints which are clauses185
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20

Trace number 29288

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 06:06:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20662 boxname=wulflinc27 idbench=252 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  62b75258091a8b1382fa8b1c633d9511  /oldhome/oroussel/tmp/wulflinc27/normalized-cm42a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc27/normalized-cm42a.opb
IDLAUNCH: 20662
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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:        514212 kB
Buffers:         32076 kB
Cached:         467152 kB
SwapCached:        640 kB
Active:          73704 kB
Inactive:       427940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        513960 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13240 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:27:08 (client local time) WITH STATUS 143 IN 1222.84 SECONDS
stats: 20662 0 1222.84 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/wulflinc27/normalized-cm42a.opb
c reading problem ... done. Time 0.348 ms.
c #vars     99
c #constraints  185
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 700 		Current CPU time: 0.50 ms
c CURRENT OPTIMUM=                 694 		Current CPU time: 402.25 ms
c starts	: 7
c conflicts	: 964
c decisions	: 3353
c propagations	: 13601
c inspects	: 538049
c learned literals	: 4
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 959
c root simplifications	: 11
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 x78 -x79 x80 -x81 x82 -x83 x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 
c objectif function=694
c Total CPU time (ms) : 1219.104
#### 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.85 0.97 0.91 2/54 15461
Raw data (stat): 15461 (runsolver) R 15460 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836584698 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0006 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18116 3 1 0 630 39 0 0 25 0 11 0 836584698 868483072 21973 4294967295 134512640 134569956 3221224384 3221214644 1131161376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212032 21973 13086 16 0 212016 0
vsize: 848128
[startup+20.0018 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 1587 39 0 0 25 0 11 0 836584698 868483072 22874 4294967295 134512640 134569956 3221224384 3221214696 1131176741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212032 22874 13086 16 0 212016 0
vsize: 848128
[startup+30.0023 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 2543 39 0 0 25 0 11 0 836584698 867434496 23098 4294967295 134512640 134569956 3221224384 3221214696 1131176539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 23098 13086 16 0 211760 0
vsize: 847104
[startup+40.002 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 3500 40 0 0 25 0 11 0 836584698 867434496 23533 4294967295 134512640 134569956 3221224384 3221214660 1131348563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 23533 13086 16 0 211760 0
vsize: 847104
[startup+50.0032 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 4470 40 0 0 25 0 11 0 836584698 867434496 23535 4294967295 134512640 134569956 3221224384 3221214696 1131176900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 23535 13086 16 0 211760 0
vsize: 847104
[startup+60.0027 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 5432 40 0 0 25 0 11 0 836584698 867434496 23707 4294967295 134512640 134569956 3221224384 3221214696 1131176647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 23707 13086 16 0 211760 0
vsize: 847104
[startup+70.0035 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 6380 40 0 0 25 0 11 0 836584698 867434496 23919 4294967295 134512640 134569956 3221224384 3221214672 1131245123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 23919 13086 16 0 211760 0
vsize: 847104
[startup+80.0047 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 7352 40 0 0 25 0 11 0 836584698 867434496 24011 4294967295 134512640 134569956 3221224384 3221214448 1131356069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 24011 13086 16 0 211760 0
vsize: 847104
[startup+90.0041 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 8313 40 0 0 25 0 11 0 836584698 867434496 24223 4294967295 134512640 134569956 3221224384 3221214536 1131184190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 24223 13086 16 0 211760 0
vsize: 847104
[startup+100.004 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 9302 40 0 0 25 0 11 0 836584698 867434496 24300 4294967295 134512640 134569956 3221224384 3221214616 1131245031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 24300 13086 16 0 211760 0
vsize: 847104
[startup+110.005 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 10280 40 0 0 25 0 11 0 836584698 867434496 24429 4294967295 134512640 134569956 3221224384 3221214752 1131148864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 24429 13086 16 0 211760 0
vsize: 847104
[startup+120.005 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 11252 40 0 0 25 0 11 0 836584698 867434496 24628 4294967295 134512640 134569956 3221224384 3221214536 1131184349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 24628 13086 16 0 211760 0
vsize: 847104
[startup+130.005 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 12243 40 0 0 25 0 11 0 836584698 867434496 24675 4294967295 134512640 134569956 3221224384 3221214496 1131410844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 24675 13086 16 0 211760 0
vsize: 847104
[startup+140.006 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 13229 40 0 0 25 0 11 0 836584698 867434496 24738 4294967295 134512640 134569956 3221224384 3221214608 1131244734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 24738 13086 16 0 211760 0
vsize: 847104
[startup+150.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 14213 40 0 0 25 0 11 0 836584698 867434496 24835 4294967295 134512640 134569956 3221224384 3221214696 1131176496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 24835 13086 16 0 211760 0
vsize: 847104
[startup+160.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 15193 40 0 0 25 0 11 0 836584698 867434496 24963 4294967295 134512640 134569956 3221224384 3221214496 1131415087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 24963 13086 16 0 211760 0
vsize: 847104
[startup+170.009 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 16185 41 0 0 25 0 11 0 836584698 867434496 24988 4294967295 134512640 134569956 3221224384 3221214496 1131415534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 24988 13086 16 0 211760 0
vsize: 847104
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18119 3 1 0 17177 41 0 0 25 0 11 0 836584698 867434496 25015 4294967295 134512640 134569956 3221224384 3221214696 1131176266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25015 13086 16 0 211760 0
vsize: 847104
[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 18169 41 0 0 25 0 11 0 836584698 867434496 25042 4294967295 134512640 134569956 3221224384 3221214496 1131414584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25042 13086 16 0 211760 0
vsize: 847104
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 19165 41 0 0 25 0 11 0 836584698 867434496 25074 4294967295 134512640 134569956 3221224384 3221214696 1131176217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25074 13086 16 0 211760 0
vsize: 847104
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 20152 41 0 0 25 0 11 0 836584698 867434496 25142 4294967295 134512640 134569956 3221224384 3221214696 1131176922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 25142 13086 16 0 211760 0
vsize: 847104
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 21136 41 0 0 25 0 11 0 836584698 867434496 25211 4294967295 134512640 134569956 3221224384 3221214448 1131356071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25211 13086 16 0 211760 0
vsize: 847104
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 22120 41 0 0 25 0 11 0 836584698 867434496 25323 4294967295 134512640 134569956 3221224384 3221214696 1131176647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25323 13086 16 0 211760 0
vsize: 847104
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 23117 41 0 0 25 0 11 0 836584698 867434496 25342 4294967295 134512640 134569956 3221224384 3221214448 1131355895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25342 13086 16 0 211760 0
vsize: 847104
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 24109 41 0 0 25 0 11 0 836584698 867434496 25375 4294967295 134512640 134569956 3221224384 3221214616 1131245129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25375 13086 16 0 211760 0
vsize: 847104
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 25095 41 0 0 25 0 11 0 836584698 867434496 25455 4294967295 134512640 134569956 3221224384 3221214448 1131355929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25455 13086 16 0 211760 0
vsize: 847104
[startup+270.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 26084 41 0 0 25 0 11 0 836584698 867434496 25559 4294967295 134512640 134569956 3221224384 3221214496 1131411698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25559 13086 16 0 211760 0
vsize: 847104
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 27078 42 0 0 25 0 11 0 836584698 867434496 25584 4294967295 134512640 134569956 3221224384 3221214448 1131355528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25584 13086 16 0 211760 0
vsize: 847104
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 28079 42 0 0 25 0 11 0 836584698 867434496 25584 4294967295 134512640 134569956 3221224384 3221214496 1131415168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25584 13086 16 0 211760 0
vsize: 847104
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 29078 42 0 0 25 0 11 0 836584698 867434496 25584 4294967295 134512640 134569956 3221224384 3221214616 1131245112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25584 13086 16 0 211760 0
vsize: 847104
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 30075 42 0 0 25 0 11 0 836584698 867434496 25600 4294967295 134512640 134569956 3221224384 3221214448 1131356006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25600 13086 16 0 211760 0
vsize: 847104
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 31065 42 0 0 25 0 11 0 836584698 867434496 25655 4294967295 134512640 134569956 3221224384 3221214616 1131245143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25655 13086 16 0 211760 0
vsize: 847104
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 32059 42 0 0 25 0 11 0 836584698 867434496 25761 4294967295 134512640 134569956 3221224384 3221214496 1131415168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25761 13086 16 0 211760 0
vsize: 847104
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 33055 42 0 0 25 0 11 0 836584698 867434496 25833 4294967295 134512640 134569956 3221224384 3221214496 1131415291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25833 13086 16 0 211760 0
vsize: 847104
[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 34051 42 0 0 25 0 11 0 836584698 867434496 25858 4294967295 134512640 134569956 3221224384 3221214496 1131415079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 25858 13086 16 0 211760 0
vsize: 847104
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 35051 42 0 0 25 0 11 0 836584698 867434496 25858 4294967295 134512640 134569956 3221224384 3221214448 1131355514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25858 13086 16 0 211760 0
vsize: 847104
[startup+370.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 36048 42 0 0 25 0 11 0 836584698 867434496 25876 4294967295 134512640 134569956 3221224384 3221214496 1131415297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25876 13086 16 0 211760 0
vsize: 847104
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 37048 42 0 0 25 0 11 0 836584698 867434496 25876 4294967295 134512640 134569956 3221224384 3221214608 1131245031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25876 13086 16 0 211760 0
vsize: 847104
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 38045 42 0 0 25 0 11 0 836584698 867434496 25890 4294967295 134512640 134569956 3221224384 3221214616 1131245016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25890 13086 16 0 211760 0
vsize: 847104
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15472
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 39045 42 0 0 25 0 11 0 836584698 867434496 25890 4294967295 134512640 134569956 3221224384 3221214448 1131355514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 25890 13086 16 0 211760 0
vsize: 847104
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 40030 42 0 0 25 0 11 0 836584698 867434496 26011 4294967295 134512640 134569956 3221224384 3221214496 1131410569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26011 13086 16 0 211760 0
vsize: 847104
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 41028 42 0 0 25 0 11 0 836584698 867434496 26021 4294967295 134512640 134569956 3221224384 3221214496 1131415204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26021 13086 16 0 211760 0
vsize: 847104
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 42025 42 0 0 25 0 11 0 836584698 867434496 26039 4294967295 134512640 134569956 3221224384 3221214496 1131415283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26039 13086 16 0 211760 0
vsize: 847104
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 43019 42 0 0 25 0 11 0 836584698 867434496 26073 4294967295 134512640 134569956 3221224384 3221214448 1131355489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26073 13086 16 0 211760 0
vsize: 847104
[startup+450.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 44019 42 0 0 25 0 11 0 836584698 867434496 26073 4294967295 134512640 134569956 3221224384 3221214496 1131410930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 26073 13086 16 0 211760 0
vsize: 847104
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 45012 43 0 0 25 0 11 0 836584698 867434496 26095 4294967295 134512640 134569956 3221224384 3221214752 1131148864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26095 13086 16 0 211760 0
vsize: 847104
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 45999 43 0 0 24 0 11 0 836584698 867434496 26187 4294967295 134512640 134569956 3221224384 3221214696 1131176876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26187 13086 16 0 211760 0
vsize: 847104
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 46988 43 0 0 25 0 11 0 836584698 867434496 26236 4294967295 134512640 134569956 3221224384 3221214416 1131355895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26236 13086 16 0 211760 0
vsize: 847104
[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 47977 43 0 0 25 0 11 0 836584698 867434496 26275 4294967295 134512640 134569956 3221224384 3221214496 1131415280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26275 13086 16 0 211760 0
vsize: 847104
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 48973 43 0 0 25 0 11 0 836584698 867434496 26305 4294967295 134512640 134569956 3221224384 3221214616 1131245153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26305 13086 16 0 211760 0
vsize: 847104
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 49973 43 0 0 25 0 11 0 836584698 867434496 26305 4294967295 134512640 134569956 3221224384 3221214616 1131245178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26305 13086 16 0 211760 0
vsize: 847104
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 50957 43 0 0 25 0 11 0 836584698 867434496 26367 4294967295 134512640 134569956 3221224384 3221214496 1131411474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 26367 13086 16 0 211760 0
vsize: 847104
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 51952 43 0 0 25 0 11 0 836584698 867434496 26395 4294967295 134512640 134569956 3221224384 3221214496 1131411075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26395 13086 16 0 211760 0
vsize: 847104
[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 52940 43 0 0 25 0 11 0 836584698 867434496 26460 4294967295 134512640 134569956 3221224384 3221214616 1131245092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26460 13086 16 0 211760 0
vsize: 847104
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 53936 43 0 0 25 0 11 0 836584698 867434496 26460 4294967295 134512640 134569956 3221224384 3221214696 1131176900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26460 13086 16 0 211760 0
vsize: 847104
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 54917 43 0 0 25 0 11 0 836584698 867434496 26674 4294967295 134512640 134569956 3221224384 3221214616 1131245088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26674 13086 16 0 211760 0
vsize: 847104
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 55913 43 0 0 25 0 11 0 836584698 867434496 26674 4294967295 134512640 134569956 3221224384 3221214672 1131245049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26674 13086 16 0 211760 0
vsize: 847104
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) S 15460 3394 3393 0 -1 0 18120 3 1 0 56904 43 0 0 25 0 11 0 836584698 867434496 26729 4294967295 134512640 134569956 3221224384 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26729 13086 16 0 211760 0
vsize: 847104
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 57884 43 0 0 25 0 11 0 836584698 867434496 26807 4294967295 134512640 134569956 3221224384 3221214496 1131410981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26807 13086 16 0 211760 0
vsize: 847104
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 58876 43 0 0 25 0 11 0 836584698 867434496 26875 4294967295 134512640 134569956 3221224384 3221214496 1131411075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26875 13086 16 0 211760 0
vsize: 847104
[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 59876 43 0 0 25 0 11 0 836584698 867434496 26875 4294967295 134512640 134569956 3221224384 3221214496 1131411091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26875 13086 16 0 211760 0
vsize: 847104
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 60872 43 0 0 25 0 11 0 836584698 867434496 26875 4294967295 134512640 134569956 3221224384 3221214448 1131355776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26875 13086 16 0 211760 0
vsize: 847104
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 61864 43 0 0 25 0 11 0 836584698 867434496 26930 4294967295 134512640 134569956 3221224384 3221214496 1131415263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26930 13086 16 0 211760 0
vsize: 847104
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 62860 43 0 0 25 0 11 0 836584698 867434496 26999 4294967295 134512640 134569956 3221224384 3221214672 1131245139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 26999 13086 16 0 211760 0
vsize: 847104
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 63853 43 0 0 25 0 11 0 836584698 867434496 27094 4294967295 134512640 134569956 3221224384 3221214448 1131355645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27094 13086 16 0 211760 0
vsize: 847104
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 64849 43 0 0 25 0 11 0 836584698 867434496 27101 4294967295 134512640 134569956 3221224384 3221214616 1131245088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27101 13086 16 0 211760 0
vsize: 847104
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 65845 44 0 0 25 0 11 0 836584698 867434496 27142 4294967295 134512640 134569956 3221224384 3221214616 1131244996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27142 13086 16 0 211760 0
vsize: 847104
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 66845 44 0 0 25 0 11 0 836584698 867434496 27142 4294967295 134512640 134569956 3221224384 3221214616 1131245016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27142 13086 16 0 211760 0
vsize: 847104
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 67845 44 0 0 25 0 11 0 836584698 867434496 27142 4294967295 134512640 134569956 3221224384 3221214672 1131245160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27142 13086 16 0 211760 0
vsize: 847104
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 68838 44 0 0 25 0 11 0 836584698 867434496 27188 4294967295 134512640 134569956 3221224384 3221214496 1131414973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27188 13086 16 0 211760 0
vsize: 847104
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 69830 44 0 0 25 0 11 0 836584698 867434496 27226 4294967295 134512640 134569956 3221224384 3221214416 1131356069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27226 13086 16 0 211760 0
vsize: 847104
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 70827 44 0 0 25 0 11 0 836584698 867434496 27226 4294967295 134512640 134569956 3221224384 3221214416 1131355606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27226 13086 16 0 211760 0
vsize: 847104
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 71824 44 0 0 25 0 11 0 836584698 867434496 27274 4294967295 134512640 134569956 3221224384 3221214416 1131355589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27274 13086 16 0 211760 0
vsize: 847104
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 72814 44 0 0 25 0 11 0 836584698 867434496 27367 4294967295 134512640 134569956 3221224384 3221214616 1131245088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 27367 13086 16 0 211760 0
vsize: 847104
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 73810 44 0 0 25 0 11 0 836584698 867434496 27449 4294967295 134512640 134569956 3221224384 3221214696 1131176924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27449 13086 16 0 211760 0
vsize: 847104
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 74804 44 0 0 25 0 11 0 836584698 867434496 27498 4294967295 134512640 134569956 3221224384 3221214608 1131245191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27498 13086 16 0 211760 0
vsize: 847104
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 75799 44 0 0 25 0 11 0 836584698 867434496 27532 4294967295 134512640 134569956 3221224384 3221214496 1131415186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27532 13086 16 0 211760 0
vsize: 847104
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 76795 44 0 0 25 0 11 0 836584698 867434496 27555 4294967295 134512640 134569956 3221224384 3221214496 1131410920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27555 13086 16 0 211760 0
vsize: 847104
[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 77795 44 0 0 25 0 11 0 836584698 867434496 27555 4294967295 134512640 134569956 3221224384 3221214416 1131355672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27555 13086 16 0 211760 0
vsize: 847104
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 78795 45 0 0 25 0 11 0 836584698 867434496 27555 4294967295 134512640 134569956 3221224384 3221214416 1131355802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 27555 13086 16 0 211760 0
vsize: 847104
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 79786 45 0 0 25 0 11 0 836584698 867434496 27630 4294967295 134512640 134569956 3221224384 3221214448 1131356092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27630 13086 16 0 211760 0
vsize: 847104
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 80783 45 0 0 25 0 11 0 836584698 867434496 27630 4294967295 134512640 134569956 3221224384 3221214496 1131415204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 27630 13086 16 0 211760 0
vsize: 847104
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 81776 45 0 0 25 0 11 0 836584698 867434496 27655 4294967295 134512640 134569956 3221224384 3221214536 1131184397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27655 13086 16 0 211760 0
vsize: 847104
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 82773 45 0 0 25 0 11 0 836584698 867434496 27714 4294967295 134512640 134569956 3221224384 3221214616 1131244996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27714 13086 16 0 211760 0
vsize: 847104
[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 83772 45 0 0 25 0 11 0 836584698 867434496 27714 4294967295 134512640 134569956 3221224384 3221214496 1131415063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27714 13086 16 0 211760 0
vsize: 847104
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 84765 45 0 0 25 0 11 0 836584698 867434496 27714 4294967295 134512640 134569956 3221224384 3221214496 1131415160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 27714 13086 16 0 211760 0
vsize: 847104
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 85762 46 0 0 25 0 11 0 836584698 867434496 27756 4294967295 134512640 134569956 3221224384 3221214300 1080217334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 27756 13086 16 0 211760 0
vsize: 847104
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 86758 46 0 0 25 0 11 0 836584698 867434496 27794 4294967295 134512640 134569956 3221224384 3221214496 1131415040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27794 13086 16 0 211760 0
vsize: 847104
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 87757 46 0 0 25 0 11 0 836584698 867434496 27794 4294967295 134512640 134569956 3221224384 3221214496 1131410536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27794 13086 16 0 211760 0
vsize: 847104
[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 88757 46 0 0 25 0 11 0 836584698 867434496 27794 4294967295 134512640 134569956 3221224384 3221214496 1131415313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27794 13086 16 0 211760 0
vsize: 847104
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 89746 46 0 0 25 0 11 0 836584698 867434496 27846 4294967295 134512640 134569956 3221224384 3221214496 1131415046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27846 13086 16 0 211760 0
vsize: 847104
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 90739 46 0 0 25 0 11 0 836584698 867434496 27898 4294967295 134512640 134569956 3221224384 3221214696 1131177272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27898 13086 16 0 211760 0
vsize: 847104
[startup+930.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 91728 46 0 0 25 0 11 0 836584698 867434496 27994 4294967295 134512640 134569956 3221224384 3221214616 1131245143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27994 13086 16 0 211760 0
vsize: 847104
[startup+940.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 92724 46 0 0 25 0 11 0 836584698 867434496 27994 4294967295 134512640 134569956 3221224384 3221214696 1131176914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 27994 13086 16 0 211760 0
vsize: 847104
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 93720 46 0 0 25 0 11 0 836584698 867434496 28000 4294967295 134512640 134569956 3221224384 3221214448 1131355582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28000 13086 16 0 211760 0
vsize: 847104
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 94716 47 0 0 25 0 11 0 836584698 867434496 28075 4294967295 134512640 134569956 3221224384 3221214448 1131355867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28075 13086 16 0 211760 0
vsize: 847104
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 95716 47 0 0 25 0 11 0 836584698 867434496 28075 4294967295 134512640 134569956 3221224384 3221214496 1131415186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28075 13086 16 0 211760 0
vsize: 847104
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 96704 47 0 0 25 0 11 0 836584698 867434496 28193 4294967295 134512640 134569956 3221224384 3221214448 1131355746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28193 13086 16 0 211760 0
vsize: 847104
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 97705 47 0 0 25 0 11 0 836584698 867434496 28193 4294967295 134512640 134569956 3221224384 3221214496 1131415210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28193 13086 16 0 211760 0
vsize: 847104
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 98705 47 0 0 25 0 11 0 836584698 867434496 28193 4294967295 134512640 134569956 3221224384 3221214448 1131355524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28193 13086 16 0 211760 0
vsize: 847104
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 99701 47 0 0 25 0 11 0 836584698 867434496 28257 4294967295 134512640 134569956 3221224384 3221214496 1131411049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 28257 13086 16 0 211760 0
vsize: 847104
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 100700 47 0 0 25 0 11 0 836584698 867434496 28257 4294967295 134512640 134569956 3221224384 3221214616 1131245143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 28257 13086 16 0 211760 0
vsize: 847104
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 101700 47 0 0 25 0 11 0 836584698 867434496 28257 4294967295 134512640 134569956 3221224384 3221214416 1131355754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28257 13086 16 0 211760 0
vsize: 847104
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 102684 47 0 0 25 0 11 0 836584698 867434496 28398 4294967295 134512640 134569956 3221224384 3221214496 1131416211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28398 13086 16 0 211760 0
vsize: 847104
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 103684 47 0 0 25 0 11 0 836584698 867434496 28398 4294967295 134512640 134569956 3221224384 3221214616 1131245129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28398 13086 16 0 211760 0
vsize: 847104
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 104680 47 0 0 25 0 11 0 836584698 867434496 28505 4294967295 134512640 134569956 3221224384 3221214496 1131410974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28505 13086 16 0 211760 0
vsize: 847104
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 105672 47 0 0 25 0 11 0 836584698 867434496 28574 4294967295 134512640 134569956 3221224384 3221214496 1131415278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28574 13086 16 0 211760 0
vsize: 847104
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 106668 47 0 0 25 0 11 0 836584698 867434496 28582 4294967295 134512640 134569956 3221224384 3221214496 1131415221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28582 13086 16 0 211760 0
vsize: 847104
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 107664 47 0 0 25 0 11 0 836584698 867434496 28650 4294967295 134512640 134569956 3221224384 3221214536 1131184155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28650 13086 16 0 211760 0
vsize: 847104
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 108659 47 0 0 25 0 11 0 836584698 867434496 28732 4294967295 134512640 134569956 3221224384 3221214496 1131415138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28732 13086 16 0 211760 0
vsize: 847104
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 109659 47 0 0 25 0 11 0 836584698 867434496 28732 4294967295 134512640 134569956 3221224384 3221214496 1131415227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28732 13086 16 0 211760 0
vsize: 847104
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 110659 47 0 0 25 0 11 0 836584698 867434496 28732 4294967295 134512640 134569956 3221224384 3221214608 1131245088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28732 13086 16 0 211760 0
vsize: 847104
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 111647 47 0 0 25 0 11 0 836584698 867434496 28848 4294967295 134512640 134569956 3221224384 3221214496 1131415052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211776 28848 13086 16 0 211760 0
vsize: 847104
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 112643 47 0 0 25 0 11 0 836584698 867434496 28848 4294967295 134512640 134569956 3221224384 3221214448 1131355996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 28848 13086 16 0 211760 0
vsize: 847104
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 113627 47 0 0 25 0 11 0 836584698 867434496 29040 4294967295 134512640 134569956 3221224384 3221214144 1080217202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 29040 13086 16 0 211760 0
vsize: 847104
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 114611 47 0 0 25 0 11 0 836584698 867434496 29090 4294967295 134512640 134569956 3221224384 3221214616 1131245139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 29090 13086 16 0 211760 0
vsize: 847104
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 115611 47 0 0 25 0 11 0 836584698 867434496 29090 4294967295 134512640 134569956 3221224384 3221214608 1131176856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 29090 13086 16 0 211760 0
vsize: 847104
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 116603 47 0 0 25 0 11 0 836584698 867434496 29240 4294967295 134512640 134569956 3221224384 3221214496 1131415204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 29240 13086 16 0 211760 0
vsize: 847104
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 117591 47 0 0 25 0 11 0 836584698 867434496 29271 4294967295 134512640 134569956 3221224384 3221214696 1131176795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 29271 13086 16 0 211760 0
vsize: 847104
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 118579 47 0 0 25 0 11 0 836584698 867434496 29381 4294967295 134512640 134569956 3221224384 3221214696 1131176809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 29381 13086 16 0 211760 0
vsize: 847104
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 119566 47 0 0 25 0 11 0 836584698 867434496 29442 4294967295 134512640 134569956 3221224384 3221214616 1131245016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 29442 13086 16 0 211760 0
vsize: 847104
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15473
Raw data (stat): 15461 (java) R 15460 3394 3393 0 -1 0 18120 3 1 0 120558 47 0 0 25 0 11 0 836584698 867434496 29578 4294967295 134512640 134569956 3221224384 3221214496 1131416379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211776 29578 13086 16 0 211760 0
vsize: 847104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 15475
Raw data (stat): 15461 (java) Z 15460 3394 3393 0 -1 1036 18120 12758 1 0 120561 47 1646 27 25 0 1 0 836584698 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.16
CPU time (s): 1222.84
CPU user time (s): 1222.08
CPU system time (s): 0.755885
CPU usage (%): 100.219
Max. virtual memory (Kb): 848128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	694
#### END VERIFIER DATA ####