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-prom2.pi.opb
MD5SUM4a63080ba3e63c3b77e35782a700d569
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 330
Optimality of the best value was proved NO
Number of terms in the objective function 2618
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 2618
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2618
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 benchmark1.71974
Number of variables2617
Total number of constraints1988
Number of constraints which are clauses1988
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 constraint1
Maximum length of a constraint30

Trace number 4288 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-13 16:13:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=639 boxname=wulflinc31 idbench=71 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4a63080ba3e63c3b77e35782a700d569  /oldhome/oroussel/tmp/wulflinc31/normalized-prom2.pi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-prom2.pi.opb
IDLAUNCH: 639
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        919416 kB
Buffers:         33072 kB
Cached:          43512 kB
SwapCached:        392 kB
Active:          36432 kB
Inactive:        43292 kB
HighTotal:      131008 kB
HighFree:        83860 kB
LowTotal:       903652 kB
LowFree:        835556 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            29864 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:35:02 (client local time) WITH STATUS 143 IN  SECONDS
stats: 639 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-prom2.pi.opb
c reading problem 
c [nbvar=2618]
c [nbconstr=1988]
c time 5.538
c #vars     2618
c #clauses  1988
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=497
c Current CPU time (ms) : 6.789
c starts	: 1
c conflicts	: 0
c decisions	: 2121
c propagations	: 2618
c inspects	: 5613
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=496
c Current CPU time (ms) : 12.548
c starts	: 2
c conflicts	: 1
c decisions	: 4236
c propagations	: 5232
c inspects	: 7927
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 2
c 
c CURRENT OPTIMUM=495
c Current CPU time (ms) : 43.689
c starts	: 3
c conflicts	: 20
c decisions	: 6435
c propagations	: 8280
c inspects	: 14404
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 3
c 
c CURRENT OPTIMUM=494
c Current CPU time (ms) : 76.731
c starts	: 4
c conflicts	: 27
c decisions	: 8532
c propagations	: 10992
c inspects	: 25841
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 27
c root simplifications	: 4
c 
c CURRENT OPTIMUM=493
c Current CPU time (ms) : 236.309
c starts	: 5
c conflicts	: 123
c decisions	: 10854
c propagations	: 16805
c inspects	: 42555
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 123
c root simplifications	: 5
c 
c CURRENT OPTIMUM=480
c Current CPU time (ms) : 318.036
c starts	: 6
c conflicts	: 123
c decisions	: 12995
c propagations	: 19414
c inspects	: 72264
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 123
c root simplifications	: 6
c 
c CURRENT OPTIMUM=479
c Current CPU time (ms) : 321.017
c starts	: 7
c conflicts	: 128
c decisions	: 15141
c propagations	: 22069
c inspects	: 74104
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 128
c root simplifications	: 7
c 
c CURRENT OPTIMUM=478
c Current CPU time (ms) : 684.37
c starts	: 9
c conflicts	: 254
c decisions	: 19681
c propagations	: 31070
c inspects	: 171287
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 254
c root simplifications	: 9
c 
c CURRENT OPTIMUM=476
c Current CPU time (ms) : 882.021
c starts	: 10
c conflicts	: 266
c decisions	: 21872
c propagations	: 33802
c inspects	: 244037
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 266
c root simplifications	: 10
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.73 2/54 23379
Raw data (stat): 23379 (runsolver) R 23378 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477291437 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0013 s]
Raw data (loadavg): 1.09 0.99 0.74 2/64 23390
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18034 3 1 0 773 48 0 0 25 0 11 0 477291437 860106752 20571 4294967295 134512640 134569956 3221224416 3221214688 1131215529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209987 20571 13073 16 0 209971 0
vsize: 839948
[startup+20.0017 s]
Raw data (loadavg): 1.08 0.99 0.75 2/64 23391
Raw data (stat): 23379 (java) S 23378 23176 23175 0 -1 0 18074 3 1 0 1628 48 0 0 25 0 11 0 477291437 860233728 21180 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210018 21180 13073 16 0 210002 0
vsize: 840072
[startup+30.0047 s]
Raw data (loadavg): 1.07 0.99 0.75 2/64 23391
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 2515 48 0 0 25 0 11 0 477291437 860135424 21876 4294967295 134512640 134569956 3221224416 3221214504 1131418755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 21876 13073 16 0 209978 0
vsize: 839976
[startup+40.0051 s]
Raw data (loadavg): 1.06 0.99 0.75 2/64 23391
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 3408 49 0 0 25 0 11 0 477291437 860135424 22265 4294967295 134512640 134569956 3221224416 3221214632 1131401788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209994 22265 13073 16 0 209978 0
vsize: 839976
[startup+50.0055 s]
Raw data (loadavg): 1.13 1.00 0.76 2/64 23392
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 4311 49 0 0 25 0 11 0 477291437 863281152 23251 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23251 13073 16 0 210746 0
vsize: 843048
[startup+60.0064 s]
Raw data (loadavg): 1.11 1.00 0.76 2/64 23392
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 5229 49 0 0 24 0 11 0 477291437 863281152 23427 4294967295 134512640 134569956 3221224416 3221214680 1131215732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23427 13073 16 0 210746 0
vsize: 843048
[startup+70.0078 s]
Raw data (loadavg): 1.09 1.00 0.76 2/64 23392
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 6161 49 0 0 25 0 11 0 477291437 863281152 23746 4294967295 134512640 134569956 3221224416 3221214872 1131408099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23746 13073 16 0 210746 0
vsize: 843048
[startup+80.0092 s]
Raw data (loadavg): 1.08 1.00 0.76 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 7106 49 0 0 25 0 11 0 477291437 863281152 24081 4294967295 134512640 134569956 3221224416 3221214776 1131349208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24081 13073 16 0 210746 0
vsize: 843048
[startup+90.0091 s]
Raw data (loadavg): 1.06 1.00 0.77 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 8057 49 0 0 25 0 11 0 477291437 863281152 24129 4294967295 134512640 134569956 3221224416 3221214680 1131214980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24129 13073 16 0 210746 0
vsize: 843048
[startup+100.009 s]
Raw data (loadavg): 1.05 1.00 0.77 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 9004 50 0 0 25 0 11 0 477291437 863281152 24134 4294967295 134512640 134569956 3221224416 3221214680 1131215037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 24134 13073 16 0 210746 0
vsize: 843048
[startup+110.01 s]
Raw data (loadavg): 1.04 1.00 0.77 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 9939 50 0 0 25 0 11 0 477291437 863281152 24383 4294967295 134512640 134569956 3221224416 3221214704 1131439893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24383 13073 16 0 210746 0
vsize: 843048
[startup+120.011 s]
Raw data (loadavg): 1.03 1.00 0.77 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 10882 50 0 0 24 0 11 0 477291437 863281152 24573 4294967295 134512640 134569956 3221224416 3221214720 1131303261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24573 13073 16 0 210746 0
vsize: 843048
[startup+130.015 s]
Raw data (loadavg): 1.03 1.00 0.77 2/64 23393
Raw data (stat): 23379 (java) S 23378 23176 23175 0 -1 0 18075 3 1 0 11808 50 0 0 25 0 11 0 477291437 863281152 24588 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24588 13073 16 0 210746 0
vsize: 843048
[startup+140.015 s]
Raw data (loadavg): 1.02 1.00 0.78 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 12695 51 0 0 24 0 11 0 477291437 863281152 24804 4294967295 134512640 134569956 3221224416 3221214728 1131214989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24804 13073 16 0 210746 0
vsize: 843048
[startup+150.016 s]
Raw data (loadavg): 1.02 1.00 0.78 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18075 3 1 0 13577 51 0 0 25 0 11 0 477291437 863281152 25371 4294967295 134512640 134569956 3221224416 3221214644 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25371 13073 16 0 210746 0
vsize: 843048
[startup+160.017 s]
Raw data (loadavg): 1.02 1.00 0.78 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 14466 51 0 0 25 0 11 0 477291437 863281152 25728 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25728 13073 16 0 210746 0
vsize: 843048
[startup+170.016 s]
Raw data (loadavg): 1.01 1.00 0.78 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 15347 51 0 0 25 0 11 0 477291437 863281152 26200 4294967295 134512640 134569956 3221224416 3221214704 1131440632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26200 13073 16 0 210746 0
vsize: 843048
[startup+180.017 s]
Raw data (loadavg): 1.01 1.00 0.78 2/64 23393
Raw data (stat): 23379 (java) S 23378 23176 23175 0 -1 0 18076 3 1 0 16249 51 0 0 25 0 11 0 477291437 863281152 26297 4294967295 134512640 134569956 3221224416 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 26297 13073 16 0 210746 0
vsize: 843048
[startup+190.019 s]
Raw data (loadavg): 1.01 1.00 0.79 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 17154 51 0 0 25 0 11 0 477291437 863281152 26556 4294967295 134512640 134569956 3221224416 3221214704 1131440303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 26556 13073 16 0 210746 0
vsize: 843048
[startup+200.019 s]
Raw data (loadavg): 1.01 1.00 0.79 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 18031 52 0 0 25 0 11 0 477291437 863281152 26953 4294967295 134512640 134569956 3221224416 3221214916 1131189043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 26953 13073 16 0 210746 0
vsize: 843048
[startup+210.02 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 18932 52 0 0 25 0 11 0 477291437 863281152 27299 4294967295 134512640 134569956 3221224416 3221214504 1131418787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 27299 13073 16 0 210746 0
vsize: 843048
[startup+220.021 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 19823 53 0 0 25 0 11 0 477291437 863281152 27510 4294967295 134512640 134569956 3221224416 3221214680 1131215037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 27510 13073 16 0 210746 0
vsize: 843048
[startup+230.022 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 23393
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 20712 53 0 0 25 0 11 0 477291437 863281152 28170 4294967295 134512640 134569956 3221224416 3221214720 1131303261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 28170 13073 16 0 210746 0
vsize: 843048
[startup+240.023 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 23394
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 21622 53 0 0 25 0 11 0 477291437 863281152 28608 4294967295 134512640 134569956 3221224416 3221214776 1131350142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 28608 13073 16 0 210746 0
vsize: 843048
[startup+250.023 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 23394
Raw data (stat): 23379 (java) S 23378 23176 23175 0 -1 0 18076 3 1 0 22549 53 0 0 25 0 11 0 477291437 863281152 28608 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 28608 13073 16 0 210746 0
vsize: 843048
[startup+260.025 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 23394
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 23471 54 0 0 25 0 11 0 477291437 863281152 28608 4294967295 134512640 134569956 3221224416 3221214680 1131214625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 28608 13073 16 0 210746 0
vsize: 843048
[startup+270.026 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 23394
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 24377 54 0 0 25 0 11 0 477291437 863281152 28709 4294967295 134512640 134569956 3221224416 3221214680 1131215922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 28709 13073 16 0 210746 0
vsize: 843048
[startup+280.027 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 23394
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 25317 55 0 0 25 0 11 0 477291437 863281152 29420 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29420 13073 16 0 210746 0
vsize: 843048
[startup+290.027 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23394
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 26305 55 0 0 25 0 11 0 477291437 863281152 29481 4294967295 134512640 134569956 3221224416 3221214680 1131215037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29481 13073 16 0 210746 0
vsize: 843048
[startup+300.027 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23394
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 27298 55 0 0 25 0 11 0 477291437 863281152 29492 4294967295 134512640 134569956 3221224416 3221214776 1131350258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29492 13073 16 0 210746 0
vsize: 843048
[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23394
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 28290 56 0 0 25 0 11 0 477291437 863281152 29502 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29502 13073 16 0 210746 0
vsize: 843048
[startup+320.03 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23395
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 29279 56 0 0 25 0 11 0 477291437 863281152 29508 4294967295 134512640 134569956 3221224416 3221214772 1131215931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29508 13073 16 0 210746 0
vsize: 843048
[startup+330.03 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 30252 56 0 0 25 0 11 0 477291437 863281152 29512 4294967295 134512640 134569956 3221224416 3221214680 1131214625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29512 13073 16 0 210746 0
vsize: 843048
[startup+340.03 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 31214 57 0 0 25 0 11 0 477291437 863281152 29514 4294967295 134512640 134569956 3221224416 3221214776 1131349183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29514 13073 16 0 210746 0
vsize: 843048
[startup+350.03 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 32169 57 0 0 25 0 11 0 477291437 863281152 29519 4294967295 134512640 134569956 3221224416 3221214680 1131215018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29519 13073 16 0 210746 0
vsize: 843048
[startup+360.031 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 33119 57 0 0 25 0 11 0 477291437 863281152 29524 4294967295 134512640 134569956 3221224416 3221214776 1131349208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29524 13073 16 0 210746 0
vsize: 843048
[startup+370.031 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 34094 58 0 0 25 0 11 0 477291437 863281152 29856 4294967295 134512640 134569956 3221224416 3221214776 1131350162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29856 13073 16 0 210746 0
vsize: 843048
[startup+380.032 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 35087 58 0 0 25 0 11 0 477291437 863281152 29862 4294967295 134512640 134569956 3221224416 3221214776 1131348928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29862 13073 16 0 210746 0
vsize: 843048
[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 36080 58 0 0 25 0 11 0 477291437 863281152 29868 4294967295 134512640 134569956 3221224416 3221214680 1131214757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29868 13073 16 0 210746 0
vsize: 843048
[startup+400.033 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 37049 59 0 0 25 0 11 0 477291437 863281152 29873 4294967295 134512640 134569956 3221224416 3221214704 1131439076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29873 13073 16 0 210746 0
vsize: 843048
[startup+410.033 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23396
Raw data (stat): 23379 (java) S 23378 23176 23175 0 -1 0 18076 3 1 0 37977 59 0 0 25 0 11 0 477291437 863281152 29878 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29878 13073 16 0 210746 0
vsize: 843048
[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 38873 59 0 0 25 0 11 0 477291437 863281152 29883 4294967295 134512640 134569956 3221224416 3221214824 1131494973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 29883 13073 16 0 210746 0
vsize: 843048
[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 39768 60 0 0 25 0 11 0 477291437 863281152 30195 4294967295 134512640 134569956 3221224416 3221214704 1131440027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 30195 13073 16 0 210746 0
vsize: 843048
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 40675 60 0 0 25 0 11 0 477291437 863281152 30498 4294967295 134512640 134569956 3221224416 3221214704 1131438070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 30498 13073 16 0 210746 0
vsize: 843048
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 41576 61 0 0 25 0 11 0 477291437 863281152 30752 4294967295 134512640 134569956 3221224416 3221214632 1131400148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 30752 13073 16 0 210746 0
vsize: 843048
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 42463 61 0 0 25 0 11 0 477291437 863281152 30870 4294967295 134512640 134569956 3221224416 3221214680 1131502699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 30870 13073 16 0 210746 0
vsize: 843048
[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 43362 61 0 0 25 0 11 0 477291437 863281152 31088 4294967295 134512640 134569956 3221224416 3221214680 1131214629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 31088 13073 16 0 210746 0
vsize: 843048
[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 44230 62 0 0 25 0 11 0 477291437 863281152 34040 4294967295 134512640 134569956 3221224416 3221214776 1131350070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 34040 13073 16 0 210746 0
vsize: 843048
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 45131 62 0 0 20 0 11 0 477291437 863281152 34040 4294967295 134512640 134569956 3221224416 3221214552 1131474496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 34040 13073 16 0 210746 0
vsize: 843048
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 46021 62 0 0 18 0 11 0 477291437 863281152 34321 4294967295 134512640 134569956 3221224416 3221214704 1131438447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 34321 13073 16 0 210746 0
vsize: 843048
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 46922 63 0 0 25 0 11 0 477291437 863281152 35375 4294967295 134512640 134569956 3221224416 3221214776 1131348965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 35375 13073 16 0 210746 0
vsize: 843048
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 47880 63 0 0 25 0 11 0 477291437 863281152 35375 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 35375 13073 16 0 210746 0
vsize: 843048
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 48827 64 0 0 25 0 11 0 477291437 863281152 35375 4294967295 134512640 134569956 3221224416 3221214776 1131349208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 35375 13073 16 0 210746 0
vsize: 843048
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 49761 64 0 0 25 0 11 0 477291437 863281152 35375 4294967295 134512640 134569956 3221224416 3221214680 1131215286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 35375 13073 16 0 210746 0
vsize: 843048
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 50684 64 0 0 25 0 11 0 477291437 863281152 35375 4294967295 134512640 134569956 3221224416 3221214680 1131215037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 35375 13073 16 0 210746 0
vsize: 843048
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 51623 65 0 0 25 0 11 0 477291437 863281152 36062 4294967295 134512640 134569956 3221224416 3221214680 1131215037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36062 13073 16 0 210746 0
vsize: 843048
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 52610 65 0 0 25 0 11 0 477291437 863281152 36167 4294967295 134512640 134569956 3221224416 3221214776 1131349105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36167 13073 16 0 210746 0
vsize: 843048
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 53602 65 0 0 25 0 11 0 477291437 863281152 36182 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36182 13073 16 0 210746 0
vsize: 843048
[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23396
Raw data (stat): 23379 (java) S 23378 23176 23175 0 -1 0 18076 3 1 0 54594 65 0 0 25 0 11 0 477291437 863281152 36192 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36192 13073 16 0 210746 0
vsize: 843048
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 55587 65 0 0 25 0 11 0 477291437 863281152 36201 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36201 13073 16 0 210746 0
vsize: 843048
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 56579 66 0 0 25 0 11 0 477291437 863281152 36210 4294967295 134512640 134569956 3221224416 3221214680 1131215121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36210 13073 16 0 210746 0
vsize: 843048
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 57571 67 0 0 25 0 11 0 477291437 863281152 36215 4294967295 134512640 134569956 3221224416 3221214776 1131349318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36215 13073 16 0 210746 0
vsize: 843048
[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 58563 67 0 0 25 0 11 0 477291437 863281152 36223 4294967295 134512640 134569956 3221224416 3221214776 1131351081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36223 13073 16 0 210746 0
vsize: 843048
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 59557 68 0 0 25 0 11 0 477291437 863281152 36231 4294967295 134512640 134569956 3221224416 3221214680 1131215269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36231 13073 16 0 210746 0
vsize: 843048
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 60549 68 0 0 25 0 11 0 477291437 863281152 36237 4294967295 134512640 134569956 3221224416 3221214680 1131215732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36237 13073 16 0 210746 0
vsize: 843048
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 61543 68 0 0 25 0 11 0 477291437 863281152 36239 4294967295 134512640 134569956 3221224416 3221214680 1131214730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36239 13073 16 0 210746 0
vsize: 843048
[startup+670.048 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 62534 69 0 0 25 0 11 0 477291437 863281152 36246 4294967295 134512640 134569956 3221224416 3221214776 1131350244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36246 13073 16 0 210746 0
vsize: 843048
[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23396
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 63474 69 0 0 25 0 11 0 477291437 863281152 36252 4294967295 134512640 134569956 3221224416 3221214656 1131558100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36252 13073 16 0 210746 0
vsize: 843048
[startup+690.05 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 64425 69 0 0 25 0 11 0 477291437 863281152 36256 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36256 13073 16 0 210746 0
vsize: 843048
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 65384 70 0 0 25 0 11 0 477291437 863281152 36258 4294967295 134512640 134569956 3221224416 3221214776 1131349227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36258 13073 16 0 210746 0
vsize: 843048
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 66323 70 0 0 24 0 11 0 477291437 863281152 36260 4294967295 134512640 134569956 3221224416 3221214776 1131349136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 36260 13073 16 0 210746 0
vsize: 843048
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 67261 70 0 0 25 0 11 0 477291437 863281152 36263 4294967295 134512640 134569956 3221224416 3221214680 1131215053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 36263 13073 16 0 210746 0
vsize: 843048
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 68206 70 0 0 25 0 11 0 477291437 863281152 36797 4294967295 134512640 134569956 3221224416 3221214776 1131349278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 36797 13073 16 0 210746 0
vsize: 843048
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 69184 70 0 0 25 0 11 0 477291437 863281152 36927 4294967295 134512640 134569956 3221224416 3221214776 1131349975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 36927 13073 16 0 210746 0
vsize: 843048
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 70176 70 0 0 25 0 11 0 477291437 863281152 36984 4294967295 134512640 134569956 3221224416 3221214776 1131350225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 36984 13073 16 0 210746 0
vsize: 843048
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 71170 70 0 0 25 0 11 0 477291437 863281152 36988 4294967295 134512640 134569956 3221224416 3221214680 1131214629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 36988 13073 16 0 210746 0
vsize: 843048
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 72163 70 0 0 25 0 11 0 477291437 863281152 36994 4294967295 134512640 134569956 3221224416 3221214680 1131215037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 36994 13073 16 0 210746 0
vsize: 843048
[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 73158 70 0 0 25 0 11 0 477291437 863281152 36999 4294967295 134512640 134569956 3221224416 3221214776 1131350229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 36999 13073 16 0 210746 0
vsize: 843048
[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 74152 70 0 0 25 0 11 0 477291437 863281152 37004 4294967295 134512640 134569956 3221224416 3221214680 1131214740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37004 13073 16 0 210746 0
vsize: 843048
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 75146 70 0 0 25 0 11 0 477291437 863281152 37007 4294967295 134512640 134569956 3221224416 3221214776 1131350233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37007 13073 16 0 210746 0
vsize: 843048
[startup+810.058 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 76140 70 0 0 25 0 11 0 477291437 863281152 37010 4294967295 134512640 134569956 3221224416 3221214680 1131215922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37010 13073 16 0 210746 0
vsize: 843048
[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 77134 70 0 0 25 0 11 0 477291437 863281152 37012 4294967295 134512640 134569956 3221224416 3221214776 1131350233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37012 13073 16 0 210746 0
vsize: 843048
[startup+830.059 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 78129 70 0 0 25 0 11 0 477291437 863281152 37014 4294967295 134512640 134569956 3221224416 3221214776 1131350217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37014 13073 16 0 210746 0
vsize: 843048
[startup+840.06 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 79123 71 0 0 25 0 11 0 477291437 863281152 37017 4294967295 134512640 134569956 3221224416 3221214680 1131214703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37017 13073 16 0 210746 0
vsize: 843048
[startup+850.06 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 80117 71 0 0 25 0 11 0 477291437 863281152 37020 4294967295 134512640 134569956 3221224416 3221214776 1131351033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37020 13073 16 0 210746 0
vsize: 843048
[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 81111 71 0 0 25 0 11 0 477291437 863281152 37022 4294967295 134512640 134569956 3221224416 3221214776 1131348973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37022 13073 16 0 210746 0
vsize: 843048
[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 82103 71 0 0 25 0 11 0 477291437 863281152 37025 4294967295 134512640 134569956 3221224416 3221214776 1131350165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37025 13073 16 0 210746 0
vsize: 843048
[startup+880.063 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 23397
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 83092 71 0 0 25 0 11 0 477291437 863281152 37027 4294967295 134512640 134569956 3221224416 3221214920 1131569745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37027 13073 16 0 210746 0
vsize: 843048
[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 23398
Raw data (stat): 23379 (java) S 23378 23176 23175 0 -1 0 18076 3 1 0 84056 71 0 0 25 0 11 0 477291437 863281152 37029 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37029 13073 16 0 210746 0
vsize: 843048
[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 85006 71 0 0 24 0 11 0 477291437 863281152 37030 4294967295 134512640 134569956 3221224416 3221214680 1131215578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37030 13073 16 0 210746 0
vsize: 843048
[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 85954 71 0 0 25 0 11 0 477291437 863281152 37032 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37032 13073 16 0 210746 0
vsize: 843048
[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 86901 71 0 0 25 0 11 0 477291437 863281152 37034 4294967295 134512640 134569956 3221224416 3221214776 1131349241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37034 13073 16 0 210746 0
vsize: 843048
[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 87841 71 0 0 25 0 11 0 477291437 863281152 37037 4294967295 134512640 134569956 3221224416 3221214856 1131188099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37037 13073 16 0 210746 0
vsize: 843048
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 88807 71 0 0 25 0 11 0 477291437 863281152 37625 4294967295 134512640 134569956 3221224416 3221214776 1131349377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37625 13073 16 0 210746 0
vsize: 843048
[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 89802 72 0 0 25 0 11 0 477291437 863281152 37629 4294967295 134512640 134569956 3221224416 3221214680 1131214661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37629 13073 16 0 210746 0
vsize: 843048
[startup+960.07 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 90796 72 0 0 25 0 11 0 477291437 863281152 37632 4294967295 134512640 134569956 3221224416 3221214776 1131349175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37632 13073 16 0 210746 0
vsize: 843048
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 91791 72 0 0 25 0 11 0 477291437 863281152 37634 4294967295 134512640 134569956 3221224416 3221214680 1131215193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37634 13073 16 0 210746 0
vsize: 843048
[startup+980.071 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 92785 72 0 0 25 0 11 0 477291437 863281152 37636 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37636 13073 16 0 210746 0
vsize: 843048
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 93780 72 0 0 25 0 11 0 477291437 863281152 37637 4294967295 134512640 134569956 3221224416 3221214680 1131215624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37637 13073 16 0 210746 0
vsize: 843048
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 94774 72 0 0 25 0 11 0 477291437 863281152 37639 4294967295 134512640 134569956 3221224416 3221214680 1131214629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37639 13073 16 0 210746 0
vsize: 843048
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 95768 72 0 0 25 0 11 0 477291437 863281152 37640 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37640 13073 16 0 210746 0
vsize: 843048
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 96762 72 0 0 25 0 11 0 477291437 863281152 37642 4294967295 134512640 134569956 3221224416 3221214776 1131350176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37642 13073 16 0 210746 0
vsize: 843048
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 97756 73 0 0 25 0 11 0 477291437 863281152 37645 4294967295 134512640 134569956 3221224416 3221214680 1131214692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37645 13073 16 0 210746 0
vsize: 843048
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 98750 73 0 0 25 0 11 0 477291437 863281152 37647 4294967295 134512640 134569956 3221224416 3221214776 1131349212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37647 13073 16 0 210746 0
vsize: 843048
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 99743 73 0 0 25 0 11 0 477291437 863281152 37648 4294967295 134512640 134569956 3221224416 3221214776 1131350225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 37648 13073 16 0 210746 0
vsize: 843048
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 100717 73 0 0 25 0 11 0 477291437 863281152 37652 4294967295 134512640 134569956 3221224416 3221214552 1131474511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 37652 13073 16 0 210746 0
vsize: 843048
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 101645 73 0 0 24 0 11 0 477291437 863281152 37654 4294967295 134512640 134569956 3221224416 3221214656 1131558100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 37654 13073 16 0 210746 0
vsize: 843048
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 102555 73 0 0 25 0 11 0 477291437 863281152 37656 4294967295 134512640 134569956 3221224416 3221214704 1131439435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 37656 13073 16 0 210746 0
vsize: 843048
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 103454 73 0 0 25 0 11 0 477291437 863281152 37868 4294967295 134512640 134569956 3221224416 3221214728 1131215037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 37868 13073 16 0 210746 0
vsize: 843048
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 104335 73 0 0 25 0 11 0 477291437 863281152 38136 4294967295 134512640 134569956 3221224416 3221214704 1131438060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 38136 13073 16 0 210746 0
vsize: 843048
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 105232 74 0 0 24 0 11 0 477291437 863281152 38304 4294967295 134512640 134569956 3221224416 3221214776 1131350919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 38304 13073 16 0 210746 0
vsize: 843048
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 106145 74 0 0 25 0 11 0 477291437 863281152 38554 4294967295 134512640 134569956 3221224416 3221214584 1131303386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 38554 13073 16 0 210746 0
vsize: 843048
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 107015 74 0 0 25 0 11 0 477291437 863281152 39764 4294967295 134512640 134569956 3221224416 3221214704 1131437736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 39764 13073 16 0 210746 0
vsize: 843048
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 107921 74 0 0 25 0 11 0 477291437 863281152 39764 4294967295 134512640 134569956 3221224416 3221214600 1131522355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 39764 13073 16 0 210746 0
vsize: 843048
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 108817 74 0 0 25 0 11 0 477291437 863281152 39772 4294967295 134512640 134569956 3221224416 3221214552 1131474227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 39772 13073 16 0 210746 0
vsize: 843048
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 109700 75 0 0 25 0 11 0 477291437 863281152 40328 4294967295 134512640 134569956 3221224416 3221214704 1131437628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 40328 13073 16 0 210746 0
vsize: 843048
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23398
Raw data (stat): 23379 (java) S 23378 23176 23175 0 -1 0 18076 3 1 0 110624 75 0 0 25 0 11 0 477291437 863281152 40564 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 40564 13073 16 0 210746 0
vsize: 843048
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 111514 75 0 0 25 0 11 0 477291437 863281152 40662 4294967295 134512640 134569956 3221224416 3221214776 1131348955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 40662 13073 16 0 210746 0
vsize: 843048
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 112425 76 0 0 25 0 11 0 477291437 863281152 40868 4294967295 134512640 134569956 3221224416 3221214632 1131400645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 40868 13073 16 0 210746 0
vsize: 843048
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 113302 76 0 0 25 0 11 0 477291437 863281152 41243 4294967295 134512640 134569956 3221224416 3221214716 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 41243 13073 16 0 210746 0
vsize: 843048
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 114252 76 0 0 25 0 11 0 477291437 863281152 41399 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 41399 13073 16 0 210746 0
vsize: 843048
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 115204 76 0 0 25 0 11 0 477291437 863281152 41407 4294967295 134512640 134569956 3221224416 3221214776 1131349109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 41407 13073 16 0 210746 0
vsize: 843048
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 116137 76 0 0 25 0 11 0 477291437 863281152 41448 4294967295 134512640 134569956 3221224416 3221214680 1131215053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 41448 13073 16 0 210746 0
vsize: 843048
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 117070 77 0 0 25 0 11 0 477291437 863281152 41449 4294967295 134512640 134569956 3221224416 3221214776 1131349143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 41449 13073 16 0 210746 0
vsize: 843048
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 118014 77 0 0 25 0 11 0 477291437 863281152 41847 4294967295 134512640 134569956 3221224416 3221214776 1131350029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 41847 13073 16 0 210746 0
vsize: 843048
[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 118982 77 0 0 25 0 11 0 477291437 863281152 42242 4294967295 134512640 134569956 3221224416 3221214680 1131214625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 42242 13073 16 0 210746 0
vsize: 843048
[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 23398
Raw data (stat): 23379 (java) R 23378 23176 23175 0 -1 0 18076 3 1 0 119976 78 0 0 25 0 11 0 477291437 863281152 42245 4294967295 134512640 134569956 3221224416 3221214680 1131215037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 42245 13073 16 0 210746 0
vsize: 843048
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.18 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 23400
Raw data (stat): 23379 (java) Z 23378 23176 23175 0 -1 1036 18076 30423 1 0 119978 86 8188 78 25 0 1 0 477291437 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1270.18
CPU time (s): 1283.32
CPU user time (s): 1281.67
CPU system time (s): 1.65175
CPU usage (%): 101.034
Max. virtual memory (Kb): 843048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####