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/logic-synthesis/normalized-alu4.b.opb
MD5SUMdb06e7fbd4f70a4af68f8f196fdb3636
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50
Optimality of the best value was proved NO
Number of terms in the objective function 808
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 808
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 808
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03884
Number of variables807
Total number of constraints1838
Number of constraints which are clauses1823
Number of constraints which are cardinality constraints (but not clauses)15
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98

Trace number 4261 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-13 15:53:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=549 boxname=wulflinc23 idbench=61 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  db06e7fbd4f70a4af68f8f196fdb3636  /oldhome/oroussel/tmp/wulflinc23/normalized-alu4.b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-alu4.b.opb
IDLAUNCH: 549
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        920640 kB
Buffers:         31160 kB
Cached:          39912 kB
SwapCached:        192 kB
Active:          36600 kB
Inactive:        37536 kB
HighTotal:      131008 kB
HighFree:        86772 kB
LowTotal:       903652 kB
LowFree:        833868 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6908 kB
Slab:            34340 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:15:08 (client local time) WITH STATUS 143 IN  SECONDS
stats: 549 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-alu4.b.opb
c reading problem 
c [nbvar=808]
c [nbconstr=1838]
c time 3.75
c #vars     808
c #clauses  1823
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=65
c Current CPU time (ms) : 5.148
c starts	: 1
c conflicts	: 3
c decisions	: 749
c propagations	: 818
c inspects	: 6598
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 1
c 
c CURRENT OPTIMUM=64
c Current CPU time (ms) : 720.409
c starts	: 7
c conflicts	: 1790
c decisions	: 36820
c propagations	: 67700
c inspects	: 529023
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1790
c root simplifications	: 7
#### 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.78 0.27 0.09 2/54 3406
Raw data (stat): 3406 (runsolver) R 3405 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477182603 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.96 0.32 0.11 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18069 4 1 0 650 41 0 0 25 0 11 0 477182603 863911936 21658 4294967295 134512640 134569956 3221224416 3221214680 1131377316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210916 21658 13073 16 0 210900 0
vsize: 843664
[startup+20.0014 s]
Raw data (loadavg): 0.97 0.35 0.12 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18069 4 1 0 1579 41 0 0 25 0 11 0 477182603 863879168 21714 4294967295 134512640 134569956 3221224416 3221214648 1131378715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 21714 13073 16 0 210892 0
vsize: 843632
[startup+30.0025 s]
Raw data (loadavg): 0.97 0.37 0.13 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18069 4 1 0 2516 41 0 0 25 0 11 0 477182603 863879168 21836 4294967295 134512640 134569956 3221224416 3221214744 1131435021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 21836 13073 16 0 210892 0
vsize: 843632
[startup+40.0032 s]
Raw data (loadavg): 1.05 0.40 0.14 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18070 4 1 0 3457 41 0 0 25 0 11 0 477182603 863879168 22327 4294967295 134512640 134569956 3221224416 3221214568 1131415233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 22327 13073 16 0 210892 0
vsize: 843632
[startup+50.0032 s]
Raw data (loadavg): 1.04 0.42 0.15 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18070 4 1 0 4426 41 0 0 25 0 11 0 477182603 863879168 22401 4294967295 134512640 134569956 3221224416 3221214728 1131371273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 22401 13073 16 0 210892 0
vsize: 843632
[startup+60.0034 s]
Raw data (loadavg): 1.03 0.44 0.16 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18070 4 1 0 5362 41 0 0 24 0 11 0 477182603 863879168 22614 4294967295 134512640 134569956 3221224416 3221214732 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 22614 13073 16 0 210892 0
vsize: 843632
[startup+70.0039 s]
Raw data (loadavg): 1.03 0.46 0.17 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18071 4 1 0 6286 41 0 0 25 0 11 0 477182603 863879168 22881 4294967295 134512640 134569956 3221224416 3221214648 1131377760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 22881 13073 16 0 210892 0
vsize: 843632
[startup+80.004 s]
Raw data (loadavg): 1.02 0.48 0.18 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18071 4 1 0 7190 41 0 0 25 0 11 0 477182603 863879168 23146 4294967295 134512640 134569956 3221224416 3221214712 1131229406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 23146 13073 16 0 210892 0
vsize: 843632
[startup+90.0055 s]
Raw data (loadavg): 1.02 0.49 0.19 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18071 4 1 0 8095 42 0 0 25 0 11 0 477182603 863879168 23507 4294967295 134512640 134569956 3221224416 3221214744 1131437686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 23507 13073 16 0 210892 0
vsize: 843632
[startup+100.009 s]
Raw data (loadavg): 1.10 0.53 0.20 2/64 3417
Raw data (stat): 3406 (java) S 3405 3260 3259 0 -1 0 18071 4 1 0 9001 42 0 0 25 0 11 0 477182603 863879168 23897 4294967295 134512640 134569956 3221224416 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 23897 13073 16 0 210892 0
vsize: 843632
[startup+110.01 s]
Raw data (loadavg): 1.08 0.54 0.21 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18071 4 1 0 9900 42 0 0 25 0 11 0 477182603 863879168 24080 4294967295 134512640 134569956 3221224416 3221214568 1131292500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 24080 13073 16 0 210892 0
vsize: 843632
[startup+120.011 s]
Raw data (loadavg): 1.07 0.56 0.22 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18071 4 1 0 10811 42 0 0 25 0 11 0 477182603 863879168 24301 4294967295 134512640 134569956 3221224416 3221214744 1131291751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 24301 13073 16 0 210892 0
vsize: 843632
[startup+130.012 s]
Raw data (loadavg): 1.06 0.57 0.22 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 11731 42 0 0 25 0 11 0 477182603 863879168 24645 4294967295 134512640 134569956 3221224416 3221214664 1131619536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 24645 13073 16 0 210892 0
vsize: 843632
[startup+140.012 s]
Raw data (loadavg): 1.05 0.58 0.23 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 12647 42 0 0 25 0 11 0 477182603 863879168 24858 4294967295 134512640 134569956 3221224416 3221214608 1131378611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 24858 13073 16 0 210892 0
vsize: 843632
[startup+150.013 s]
Raw data (loadavg): 1.04 0.60 0.24 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 13552 42 0 0 25 0 11 0 477182603 863879168 25205 4294967295 134512640 134569956 3221224416 3221214608 1131378005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 25205 13073 16 0 210892 0
vsize: 843632
[startup+160.013 s]
Raw data (loadavg): 1.03 0.61 0.25 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 14465 42 0 0 25 0 11 0 477182603 863879168 25459 4294967295 134512640 134569956 3221224416 3221214624 1131619404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 25459 13073 16 0 210892 0
vsize: 843632
[startup+170.019 s]
Raw data (loadavg): 1.03 0.62 0.26 2/64 3417
Raw data (stat): 3406 (java) S 3405 3260 3259 0 -1 0 18072 4 1 0 15378 43 0 0 25 0 11 0 477182603 863879168 25633 4294967295 134512640 134569956 3221224416 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 25633 13073 16 0 210892 0
vsize: 843632
[startup+180.02 s]
Raw data (loadavg): 1.02 0.63 0.26 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 16304 43 0 0 25 0 11 0 477182603 863879168 25831 4294967295 134512640 134569956 3221224416 3221214624 1131619415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 25831 13073 16 0 210892 0
vsize: 843632
[startup+190.021 s]
Raw data (loadavg): 1.02 0.65 0.27 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 17232 43 0 0 25 0 11 0 477182603 863879168 26252 4294967295 134512640 134569956 3221224416 3221214640 1131313533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 26252 13073 16 0 210892 0
vsize: 843632
[startup+200.022 s]
Raw data (loadavg): 1.02 0.66 0.28 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 18158 43 0 0 25 0 11 0 477182603 863879168 26344 4294967295 134512640 134569956 3221224416 3221214704 1131291881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 26344 13073 16 0 210892 0
vsize: 843632
[startup+210.021 s]
Raw data (loadavg): 1.01 0.67 0.29 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 19098 43 0 0 25 0 11 0 477182603 863879168 26494 4294967295 134512640 134569956 3221224416 3221214704 1131429943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 26494 13073 16 0 210892 0
vsize: 843632
[startup+220.022 s]
Raw data (loadavg): 1.01 0.68 0.29 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 20026 43 0 0 25 0 11 0 477182603 863879168 26567 4294967295 134512640 134569956 3221224416 3221214528 1131291838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 26567 13073 16 0 210892 0
vsize: 843632
[startup+230.023 s]
Raw data (loadavg): 1.01 0.69 0.30 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 20956 43 0 0 24 0 11 0 477182603 863879168 26816 4294967295 134512640 134569956 3221224416 3221214624 1131621319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 26816 13073 16 0 210892 0
vsize: 843632
[startup+240.023 s]
Raw data (loadavg): 1.01 0.70 0.31 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 21906 43 0 0 25 0 11 0 477182603 863879168 27007 4294967295 134512640 134569956 3221224416 3221214416 1131422802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 27007 13073 16 0 210892 0
vsize: 843632
[startup+250.024 s]
Raw data (loadavg): 1.00 0.71 0.31 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 22849 43 0 0 25 0 11 0 477182603 863879168 27108 4294967295 134512640 134569956 3221224416 3221214784 1131323659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 27108 13073 16 0 210892 0
vsize: 843632
[startup+260.024 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 23784 44 0 0 25 0 11 0 477182603 863879168 27278 4294967295 134512640 134569956 3221224416 3221214704 1131436495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 27278 13073 16 0 210892 0
vsize: 843632
[startup+270.025 s]
Raw data (loadavg): 1.00 0.72 0.33 2/64 3417
Raw data (stat): 3406 (java) S 3405 3260 3259 0 -1 0 18072 4 1 0 24706 44 0 0 25 0 11 0 477182603 863879168 27399 4294967295 134512640 134569956 3221224416 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 27399 13073 16 0 210892 0
vsize: 843632
[startup+280.026 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 25630 44 0 0 25 0 11 0 477182603 863879168 27721 4294967295 134512640 134569956 3221224416 3221214608 1131377540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 27721 13073 16 0 210892 0
vsize: 843632
[startup+290.027 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 26546 44 0 0 25 0 11 0 477182603 863879168 27883 4294967295 134512640 134569956 3221224416 3221214784 1131324325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 27883 13073 16 0 210892 0
vsize: 843632
[startup+300.028 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 27435 44 0 0 25 0 11 0 477182603 863879168 28393 4294967295 134512640 134569956 3221224416 3221214632 1131316778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 28393 13073 16 0 210892 0
vsize: 843632
[startup+310.028 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 28326 45 0 0 25 0 11 0 477182603 863879168 28911 4294967295 134512640 134569956 3221224416 3221214688 1131229907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 28911 13073 16 0 210892 0
vsize: 843632
[startup+320.028 s]
Raw data (loadavg): 1.00 0.77 0.36 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 29224 45 0 0 24 0 11 0 477182603 863879168 28997 4294967295 134512640 134569956 3221224416 3221214624 1131619415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 28997 13073 16 0 210892 0
vsize: 843632
[startup+330.029 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 30130 45 0 0 24 0 11 0 477182603 863879168 29158 4294967295 134512640 134569956 3221224416 3221214800 1131309923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 29158 13073 16 0 210892 0
vsize: 843632
[startup+340.029 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 31055 46 0 0 25 0 11 0 477182603 863879168 29594 4294967295 134512640 134569956 3221224416 3221214692 1080203708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 29594 13073 16 0 210892 0
vsize: 843632
[startup+350.029 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 31995 46 0 0 25 0 11 0 477182603 863879168 29869 4294967295 134512640 134569956 3221224416 3221214688 1131229869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 29869 13073 16 0 210892 0
vsize: 843632
[startup+360.03 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 32930 46 0 0 25 0 11 0 477182603 863879168 29917 4294967295 134512640 134569956 3221224416 3221214528 1131291838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 29917 13073 16 0 210892 0
vsize: 843632
[startup+370.03 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 3417
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 33865 46 0 0 25 0 11 0 477182603 863879168 30000 4294967295 134512640 134569956 3221224416 3221214528 1131291720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 30000 13073 16 0 210892 0
vsize: 843632
[startup+380.055 s]
Raw data (loadavg): 1.00 0.81 0.40 3/67 3453
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 34791 49 0 0 17 0 11 0 477182603 863879168 30093 4294967295 134512640 134569956 3221224416 3221214688 1131229476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 30093 13073 16 0 210892 0
vsize: 843632
[startup+390.056 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 3470
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 35722 51 0 0 25 0 11 0 477182603 863879168 30398 4294967295 134512640 134569956 3221224416 3221214688 1131229414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 30398 13073 16 0 210892 0
vsize: 843632
[startup+400.056 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 3470
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 36650 51 0 0 25 0 11 0 477182603 863879168 30532 4294967295 134512640 134569956 3221224416 3221214608 1131376949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 30532 13073 16 0 210892 0
vsize: 843632
[startup+410.057 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 3470
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 37555 51 0 0 25 0 11 0 477182603 863879168 30749 4294967295 134512640 134569956 3221224416 3221214784 1131322506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 30749 13073 16 0 210892 0
vsize: 843632
[startup+420.058 s]
Raw data (loadavg): 1.00 0.83 0.42 2/64 3470
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 38443 51 0 0 25 0 11 0 477182603 863879168 31537 4294967295 134512640 134569956 3221224416 3221214512 1131566384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 31537 13073 16 0 210892 0
vsize: 843632
[startup+430.058 s]
Raw data (loadavg): 1.00 0.83 0.43 2/64 3470
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 39361 52 0 0 25 0 11 0 477182603 863879168 31631 4294967295 134512640 134569956 3221224416 3221214688 1131229646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 31631 13073 16 0 210892 0
vsize: 843632
[startup+440.057 s]
Raw data (loadavg): 1.00 0.84 0.43 2/64 3470
Raw data (stat): 3406 (java) S 3405 3260 3259 0 -1 0 18072 4 1 0 40253 52 0 0 25 0 11 0 477182603 863879168 32169 4294967295 134512640 134569956 3221224416 3221213168 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 32169 13073 16 0 210892 0
vsize: 843632
[startup+450.058 s]
Raw data (loadavg): 1.00 0.84 0.44 2/64 3470
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 41153 52 0 0 25 0 11 0 477182603 863879168 32629 4294967295 134512640 134569956 3221224416 3221214256 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 32629 13073 16 0 210892 0
vsize: 843632
[startup+460.059 s]
Raw data (loadavg): 1.00 0.85 0.44 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 42068 52 0 0 25 0 11 0 477182603 863879168 32952 4294967295 134512640 134569956 3221224416 3221214848 1131506824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 32952 13073 16 0 210892 0
vsize: 843632
[startup+470.061 s]
Raw data (loadavg): 1.00 0.85 0.45 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 42984 53 0 0 25 0 11 0 477182603 863879168 33234 4294967295 134512640 134569956 3221224416 3221214784 1131322399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 33234 13073 16 0 210892 0
vsize: 843632
[startup+480.061 s]
Raw data (loadavg): 1.00 0.86 0.45 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 43887 53 0 0 25 0 11 0 477182603 863879168 33601 4294967295 134512640 134569956 3221224416 3221214784 1131324472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 33601 13073 16 0 210892 0
vsize: 843632
[startup+490.061 s]
Raw data (loadavg): 1.00 0.86 0.46 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 44779 53 0 0 25 0 11 0 477182603 863879168 34291 4294967295 134512640 134569956 3221224416 3221214208 1131629660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 34291 13073 16 0 210892 0
vsize: 843632
[startup+500.061 s]
Raw data (loadavg): 1.00 0.86 0.46 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 45715 54 0 0 25 0 11 0 477182603 863879168 34578 4294967295 134512640 134569956 3221224416 3221214784 1131323312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 34578 13073 16 0 210892 0
vsize: 843632
[startup+510.061 s]
Raw data (loadavg): 1.00 0.87 0.47 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 46643 54 0 0 25 0 11 0 477182603 863879168 34883 4294967295 134512640 134569956 3221224416 3221214672 1131291799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 34883 13073 16 0 210892 0
vsize: 843632
[startup+520.062 s]
Raw data (loadavg): 1.00 0.87 0.47 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 47573 54 0 0 25 0 11 0 477182603 863879168 34924 4294967295 134512640 134569956 3221224416 3221214688 1131229309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 34924 13073 16 0 210892 0
vsize: 843632
[startup+530.063 s]
Raw data (loadavg): 1.00 0.88 0.48 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 48477 54 0 0 25 0 11 0 477182603 863879168 35069 4294967295 134512640 134569956 3221224416 3221214480 1131390923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 35069 13073 16 0 210892 0
vsize: 843632
[startup+540.063 s]
Raw data (loadavg): 1.00 0.88 0.48 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 49381 55 0 0 25 0 11 0 477182603 863879168 35413 4294967295 134512640 134569956 3221224416 3221214704 1131432861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 35413 13073 16 0 210892 0
vsize: 843632
[startup+550.063 s]
Raw data (loadavg): 1.00 0.88 0.49 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 50342 55 0 0 25 0 11 0 477182603 863879168 35575 4294967295 134512640 134569956 3221224416 3221214688 1131229317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 35575 13073 16 0 210892 0
vsize: 843632
[startup+560.063 s]
Raw data (loadavg): 1.00 0.89 0.49 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 51278 55 0 0 25 0 11 0 477182603 863879168 35817 4294967295 134512640 134569956 3221224416 3221214688 1131229325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 35817 13073 16 0 210892 0
vsize: 843632
[startup+570.064 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 52243 55 0 0 25 0 11 0 477182603 863879168 35823 4294967295 134512640 134569956 3221224416 3221214556 1131630409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 35823 13073 16 0 210892 0
vsize: 843632
[startup+580.063 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 53178 55 0 0 25 0 11 0 477182603 863879168 36106 4294967295 134512640 134569956 3221224416 3221214784 1131322441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 36106 13073 16 0 210892 0
vsize: 843632
[startup+590.063 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 54099 56 0 0 25 0 11 0 477182603 863879168 36517 4294967295 134512640 134569956 3221224416 3221214784 1131322441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 36517 13073 16 0 210892 0
vsize: 843632
[startup+600.064 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 55036 56 0 0 25 0 11 0 477182603 863879168 36987 4294967295 134512640 134569956 3221224416 3221214688 1131229313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 36987 13073 16 0 210892 0
vsize: 843632
[startup+610.064 s]
Raw data (loadavg): 1.00 0.90 0.52 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 55968 56 0 0 25 0 11 0 477182603 863879168 37504 4294967295 134512640 134569956 3221224416 3221214688 1131229814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 37504 13073 16 0 210892 0
vsize: 843632
[startup+620.065 s]
Raw data (loadavg): 1.00 0.90 0.52 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 56942 56 0 0 25 0 11 0 477182603 863879168 37648 4294967295 134512640 134569956 3221224416 3221214784 1131322473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 37648 13073 16 0 210892 0
vsize: 843632
[startup+630.066 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 57891 56 0 0 24 0 11 0 477182603 863879168 37834 4294967295 134512640 134569956 3221224416 3221214608 1131376874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 37834 13073 16 0 210892 0
vsize: 843632
[startup+640.066 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 58844 57 0 0 25 0 11 0 477182603 863879168 37964 4294967295 134512640 134569956 3221224416 3221214704 1131435087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 37964 13073 16 0 210892 0
vsize: 843632
[startup+650.067 s]
Raw data (loadavg): 1.00 0.91 0.54 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 59832 57 0 0 25 0 11 0 477182603 863879168 38115 4294967295 134512640 134569956 3221224416 3221214336 1131630388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 38115 13073 16 0 210892 0
vsize: 843632
[startup+660.067 s]
Raw data (loadavg): 1.00 0.91 0.54 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 60774 57 0 0 25 0 11 0 477182603 863879168 38305 4294967295 134512640 134569956 3221224416 3221214200 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 38305 13073 16 0 210892 0
vsize: 843632
[startup+670.068 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 61714 57 0 0 25 0 11 0 477182603 863879168 38831 4294967295 134512640 134569956 3221224416 3221214688 1131229646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 38831 13073 16 0 210892 0
vsize: 843632
[startup+680.069 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 62658 57 0 0 25 0 11 0 477182603 863879168 39531 4294967295 134512640 134569956 3221224416 3221214784 1131323551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 39531 13073 16 0 210892 0
vsize: 843632
[startup+690.068 s]
Raw data (loadavg): 1.00 0.92 0.56 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 63603 58 0 0 25 0 11 0 477182603 863879168 39531 4294967295 134512640 134569956 3221224416 3221214688 1131230327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 39531 13073 16 0 210892 0
vsize: 843632
[startup+700.069 s]
Raw data (loadavg): 1.00 0.92 0.56 2/64 3472
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 64576 58 0 0 25 0 11 0 477182603 863879168 39870 4294967295 134512640 134569956 3221224416 3221214256 1131646128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 39870 13073 16 0 210892 0
vsize: 843632
[startup+710.069 s]
Raw data (loadavg): 1.00 0.92 0.56 2/64 3474
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 65553 58 0 0 25 0 11 0 477182603 863879168 39870 4294967295 134512640 134569956 3221224416 3221213896 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 39870 13073 16 0 210892 0
vsize: 843632
[startup+720.07 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 3474
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 66494 58 0 0 25 0 11 0 477182603 863879168 39870 4294967295 134512640 134569956 3221224416 3221214688 1131229745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 39870 13073 16 0 210892 0
vsize: 843632
[startup+730.071 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 67471 59 0 0 25 0 11 0 477182603 863879168 39871 4294967295 134512640 134569956 3221224416 3221214784 1131322441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 39871 13073 16 0 210892 0
vsize: 843632
[startup+740.071 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 68401 59 0 0 25 0 11 0 477182603 863879168 39929 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 39929 13073 16 0 210892 0
vsize: 843632
[startup+750.072 s]
Raw data (loadavg): 1.00 0.93 0.58 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 69330 59 0 0 25 0 11 0 477182603 863879168 40113 4294967295 134512640 134569956 3221224416 3221214672 1131291881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40113 13073 16 0 210892 0
vsize: 843632
[startup+760.072 s]
Raw data (loadavg): 1.00 0.93 0.58 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 70300 60 0 0 25 0 11 0 477182603 863879168 40193 4294967295 134512640 134569956 3221224416 3221214688 1131229449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40193 13073 16 0 210892 0
vsize: 843632
[startup+770.073 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 71281 60 0 0 25 0 11 0 477182603 863879168 40213 4294967295 134512640 134569956 3221224416 3221214256 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40213 13073 16 0 210892 0
vsize: 843632
[startup+780.074 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 72253 60 0 0 25 0 11 0 477182603 863879168 40605 4294967295 134512640 134569956 3221224416 3221214328 1131629143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40605 13073 16 0 210892 0
vsize: 843632
[startup+790.073 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 73246 61 0 0 25 0 11 0 477182603 863879168 40652 4294967295 134512640 134569956 3221224416 3221214088 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40652 13073 16 0 210892 0
vsize: 843632
[startup+800.074 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 74214 61 0 0 25 0 11 0 477182603 863879168 40745 4294967295 134512640 134569956 3221224416 3221214688 1131230364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40745 13073 16 0 210892 0
vsize: 843632
[startup+810.074 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 75190 61 0 0 25 0 11 0 477182603 863879168 40752 4294967295 134512640 134569956 3221224416 3221213864 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40752 13073 16 0 210892 0
vsize: 843632
[startup+820.075 s]
Raw data (loadavg): 1.00 0.94 0.61 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 76149 62 0 0 25 0 11 0 477182603 863879168 40780 4294967295 134512640 134569956 3221224416 3221214040 1131641400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40780 13073 16 0 210892 0
vsize: 843632
[startup+830.075 s]
Raw data (loadavg): 1.00 0.94 0.61 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 77141 62 0 0 25 0 11 0 477182603 863879168 40783 4294967295 134512640 134569956 3221224416 3221214008 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40783 13073 16 0 210892 0
vsize: 843632
[startup+840.074 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 78117 62 0 0 25 0 11 0 477182603 863879168 40795 4294967295 134512640 134569956 3221224416 3221214480 1131390915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40795 13073 16 0 210892 0
vsize: 843632
[startup+850.075 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 79081 63 0 0 25 0 11 0 477182603 863879168 40846 4294967295 134512640 134569956 3221224416 3221214784 1131322434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40846 13073 16 0 210892 0
vsize: 843632
[startup+860.075 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 80034 63 0 0 25 0 11 0 477182603 863879168 40931 4294967295 134512640 134569956 3221224416 3221214784 1131323598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 40931 13073 16 0 210892 0
vsize: 843632
[startup+870.075 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 80987 63 0 0 25 0 11 0 477182603 863879168 41093 4294967295 134512640 134569956 3221224416 3221214784 1131322414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41093 13073 16 0 210892 0
vsize: 843632
[startup+880.076 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 81945 63 0 0 25 0 11 0 477182603 863879168 41136 4294967295 134512640 134569956 3221224416 3221214808 1131651971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41136 13073 16 0 210892 0
vsize: 843632
[startup+890.076 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 82892 64 0 0 25 0 11 0 477182603 863879168 41293 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41293 13073 16 0 210892 0
vsize: 843632
[startup+900.076 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 83858 64 0 0 25 0 11 0 477182603 863879168 41365 4294967295 134512640 134569956 3221224416 3221214680 1131343070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41365 13073 16 0 210892 0
vsize: 843632
[startup+910.077 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 84835 64 0 0 25 0 11 0 477182603 863879168 41471 4294967295 134512640 134569956 3221224416 3221214280 1131630396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41471 13073 16 0 210892 0
vsize: 843632
[startup+920.077 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 85828 65 0 0 25 0 11 0 477182603 863879168 41486 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41486 13073 16 0 210892 0
vsize: 843632
[startup+930.078 s]
Raw data (loadavg): 1.00 0.95 0.65 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 86793 65 0 0 24 0 11 0 477182603 863879168 41687 4294967295 134512640 134569956 3221224416 3221214688 1131229938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41687 13073 16 0 210892 0
vsize: 843632
[startup+940.077 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 87772 65 0 0 25 0 11 0 477182603 863879168 41696 4294967295 134512640 134569956 3221224416 3221214368 1085679502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41696 13073 16 0 210892 0
vsize: 843632
[startup+950.078 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 88741 65 0 0 25 0 11 0 477182603 863879168 41696 4294967295 134512640 134569956 3221224416 3221214344 1131629624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41696 13073 16 0 210892 0
vsize: 843632
[startup+960.079 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 89709 66 0 0 25 0 11 0 477182603 863879168 41698 4294967295 134512640 134569956 3221224416 3221214028 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41698 13073 16 0 210892 0
vsize: 843632
[startup+970.079 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 90695 66 0 0 25 0 11 0 477182603 863879168 41737 4294967295 134512640 134569956 3221224416 3221214112 1131630396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41737 13073 16 0 210892 0
vsize: 843632
[startup+980.08 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 91665 66 0 0 25 0 11 0 477182603 863879168 41774 4294967295 134512640 134569956 3221224416 3221214216 1131599575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41774 13073 16 0 210892 0
vsize: 843632
[startup+990.081 s]
Raw data (loadavg): 1.00 0.96 0.66 3/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 92615 66 0 0 25 0 11 0 477182603 863879168 41873 4294967295 134512640 134569956 3221224416 3221214624 1131619408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 41873 13073 16 0 210892 0
vsize: 843632
[startup+1000.08 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 3475
Raw data (stat): 3406 (java) S 3405 3260 3259 0 -1 0 18072 4 1 0 93578 66 0 0 25 0 11 0 477182603 863879168 41889 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 41889 13073 16 0 210892 0
vsize: 843632
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 94528 67 0 0 25 0 11 0 477182603 863879168 42094 4294967295 134512640 134569956 3221224416 3221214528 1131291881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42094 13073 16 0 210892 0
vsize: 843632
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 95502 67 0 0 25 0 11 0 477182603 863879168 42110 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42110 13073 16 0 210892 0
vsize: 843632
[startup+1030.08 s]
Raw data (loadavg): 1.00 0.96 0.68 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 96455 67 0 0 25 0 11 0 477182603 863879168 42222 4294967295 134512640 134569956 3221224416 3221214624 1131619415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42222 13073 16 0 210892 0
vsize: 843632
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 97406 67 0 0 24 0 11 0 477182603 863879168 42463 4294967295 134512640 134569956 3221224416 3221214528 1131291881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42463 13073 16 0 210892 0
vsize: 843632
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 98374 68 0 0 25 0 11 0 477182603 863879168 42495 4294967295 134512640 134569956 3221224416 3221213704 1131629676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42495 13073 16 0 210892 0
vsize: 843632
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 99336 68 0 0 24 0 11 0 477182603 863879168 42518 4294967295 134512640 134569956 3221224416 3221214704 1131434413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42518 13073 16 0 210892 0
vsize: 843632
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 100302 68 0 0 24 0 11 0 477182603 863879168 42600 4294967295 134512640 134569956 3221224416 3221214704 1131291881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42600 13073 16 0 210892 0
vsize: 843632
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 101279 69 0 0 25 0 11 0 477182603 863879168 42694 4294967295 134512640 134569956 3221224416 3221214008 1131629624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42694 13073 16 0 210892 0
vsize: 843632
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 102260 69 0 0 25 0 11 0 477182603 863879168 42729 4294967295 134512640 134569956 3221224416 3221214528 1131291838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42729 13073 16 0 210892 0
vsize: 843632
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 103241 69 0 0 25 0 11 0 477182603 863879168 42755 4294967295 134512640 134569956 3221224416 3221214784 1131324428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42755 13073 16 0 210892 0
vsize: 843632
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 104216 70 0 0 25 0 11 0 477182603 863879168 42820 4294967295 134512640 134569956 3221224416 3221214624 1131619415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42820 13073 16 0 210892 0
vsize: 843632
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 105209 70 0 0 25 0 11 0 477182603 863879168 42830 4294967295 134512640 134569956 3221224416 3221214056 1131630396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42830 13073 16 0 210892 0
vsize: 843632
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 106196 71 0 0 25 0 11 0 477182603 863879168 42844 4294967295 134512640 134569956 3221224416 3221213816 1131629606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42844 13073 16 0 210892 0
vsize: 843632
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 107178 71 0 0 25 0 11 0 477182603 863879168 42866 4294967295 134512640 134569956 3221224416 3221214396 1131629592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42866 13073 16 0 210892 0
vsize: 843632
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 108158 71 0 0 25 0 11 0 477182603 863879168 42881 4294967295 134512640 134569956 3221224416 3221214264 1131641572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42881 13073 16 0 210892 0
vsize: 843632
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 109135 72 0 0 25 0 11 0 477182603 863879168 42892 4294967295 134512640 134569956 3221224416 3221214688 1131229979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42892 13073 16 0 210892 0
vsize: 843632
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 110099 72 0 0 25 0 11 0 477182603 863879168 42900 4294967295 134512640 134569956 3221224416 3221214624 1131621405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42900 13073 16 0 210892 0
vsize: 843632
[startup+1180.09 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 111077 72 0 0 25 0 11 0 477182603 863879168 42953 4294967295 134512640 134569956 3221224416 3221214624 1131621340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42953 13073 16 0 210892 0
vsize: 843632
[startup+1190.09 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 112057 73 0 0 25 0 11 0 477182603 863879168 42987 4294967295 134512640 134569956 3221224416 3221214448 1131630396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 42987 13073 16 0 210892 0
vsize: 843632
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 113034 73 0 0 25 0 11 0 477182603 863879168 43039 4294967295 134512640 134569956 3221224416 3221214560 1131630350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 43039 13073 16 0 210892 0
vsize: 843632
[startup+1210.09 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 114014 74 0 0 24 0 11 0 477182603 863879168 43107 4294967295 134512640 134569956 3221224416 3221214688 1131229833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210908 43107 13073 16 0 210892 0
vsize: 843632
[startup+1220.09 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 114995 74 0 0 25 0 11 0 477182603 863879168 43181 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 43181 13073 16 0 210892 0
vsize: 843632
[startup+1230.09 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 115976 74 0 0 25 0 11 0 477182603 863879168 43191 4294967295 134512640 134569956 3221224416 3221214784 1131322151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 43191 13073 16 0 210892 0
vsize: 843632
[startup+1240.09 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 116949 74 0 0 24 0 11 0 477182603 863879168 43203 4294967295 134512640 134569956 3221224416 3221214688 1131229695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 43203 13073 16 0 210892 0
vsize: 843632
[startup+1250.09 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 117923 75 0 0 25 0 11 0 477182603 863879168 43214 4294967295 134512640 134569956 3221224416 3221214552 1131343747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 43214 13073 16 0 210892 0
vsize: 843632
[startup+1260.09 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 118896 75 0 0 25 0 11 0 477182603 863879168 43222 4294967295 134512640 134569956 3221224416 3221214688 1131229353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 43222 13073 16 0 210892 0
vsize: 843632
[startup+1270.09 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 119871 75 0 0 25 0 11 0 477182603 863879168 43239 4294967295 134512640 134569956 3221224416 3221214092 1131630156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 43239 13073 16 0 210892 0
vsize: 843632
[startup+1280.09 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 3475
Raw data (stat): 3406 (java) R 3405 3260 3259 0 -1 0 18072 4 1 0 120838 75 0 0 25 0 11 0 477182603 863879168 43295 4294967295 134512640 134569956 3221224416 3221214168 1131630249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210908 43295 13073 16 0 210892 0
vsize: 843632
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.24 s]
Raw data (loadavg): 1.00 0.97 0.74 1/54 3477
Raw data (stat): 3406 (java) Z 3405 3260 3259 0 -1 1036 18072 29898 1 1 120844 84 8078 79 25 0 1 0 477182603 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): 1280.24
CPU time (s): 1290.87
CPU user time (s): 1289.23
CPU system time (s): 1.64075
CPU usage (%): 100.83
Max. virtual memory (Kb): 843664
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####