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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM270e069f649d19b0da4e4d23c0e1ebfc
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of terms in the objective function 760
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 760
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 760
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 benchmark1175.06
Number of variables760
Total number of constraints41263
Number of constraints which are clauses41263
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 4489

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-13 17:42:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2925 boxname=wulflinc13 idbench=325 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  270e069f649d19b0da4e4d23c0e1ebfc  /oldhome/oroussel/tmp/wulflinc13/normalized-frb40-19-2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-frb40-19-2.opb
IDLAUNCH: 2925
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        925724 kB
Buffers:         33332 kB
Cached:          55628 kB
SwapCached:        392 kB
Active:          46116 kB
Inactive:        46124 kB
HighTotal:      131008 kB
HighFree:        71400 kB
LowTotal:       903652 kB
LowFree:        854324 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11148 kB
Committed_AS:    63448 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 18:04:38 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2925 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-frb40-19-2.opb
c reading problem 
c [nbvar=760]
c [nbconstr=41263]
c time 7.643
c #vars     760
c #clauses  41263
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=0
c Current CPU time (ms) : 8.045
c starts	: 1
c conflicts	: 0
c decisions	: 760
c propagations	: 760
c inspects	: 0
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=-1
c Current CPU time (ms) : 8.371
c starts	: 2
c conflicts	: 0
c decisions	: 1519
c propagations	: 1520
c inspects	: 184
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2
c Current CPU time (ms) : 12.695
c starts	: 3
c conflicts	: 18
c decisions	: 2278
c propagations	: 2469
c inspects	: 2325
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 18
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-30
c Current CPU time (ms) : 12.841
c starts	: 4
c conflicts	: 18
c decisions	: 2308
c propagations	: 3229
c inspects	: 5438
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 18
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-31
c Current CPU time (ms) : 15.405
c starts	: 5
c conflicts	: 36
c decisions	: 2356
c propagations	: 4095
c inspects	: 12456
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 36
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-32
c Current CPU time (ms) : 365.085
c starts	: 10
c conflicts	: 866
c decisions	: 3362
c propagations	: 13464
c inspects	: 527337
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 866
c root simplifications	: 10
c 
c CURRENT OPTIMUM=-33
c Current CPU time (ms) : 579.224
c starts	: 13
c conflicts	: 1224
c decisions	: 3846
c propagations	: 18278
c inspects	: 893046
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1224
c root simplifications	: 13
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.98 2/54 32102
Raw data (stat): 32102 (runsolver) R 32101 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419619144 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0018 s]
Raw data (loadavg): 0.87 0.97 0.98 4/64 32114
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18072 3 1 0 718 50 0 0 25 0 11 0 419619144 858251264 22869 4294967295 134512640 134569956 3221224416 3221213984 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209534 22869 13073 16 0 209518 0
vsize: 838136
[startup+20.003 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18077 3 1 0 1484 50 0 0 24 0 11 0 419619144 859541504 26956 4294967295 134512640 134569956 3221224416 3221214504 1076461328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 26956 13073 16 0 209833 0
vsize: 839396
[startup+30.0036 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 2371 51 0 0 25 0 11 0 419619144 859541504 27128 4294967295 134512640 134569956 3221224416 3221214584 1131415092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 27128 13073 16 0 209833 0
vsize: 839396
[startup+40.0028 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 3278 51 0 0 25 0 11 0 419619144 859541504 27465 4294967295 134512640 134569956 3221224416 3221214728 1131390904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 27465 13073 16 0 209833 0
vsize: 839396
[startup+50.0041 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 4154 51 0 0 25 0 11 0 419619144 859541504 27981 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 27981 13073 16 0 209833 0
vsize: 839396
[startup+60.0046 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 5029 52 0 0 25 0 11 0 419619144 859541504 28360 4294967295 134512640 134569956 3221224416 3221214824 1131425899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 28360 13073 16 0 209833 0
vsize: 839396
[startup+70.0049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 5911 52 0 0 25 0 11 0 419619144 859541504 28993 4294967295 134512640 134569956 3221224416 3221214824 1131425453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 28993 13073 16 0 209833 0
vsize: 839396
[startup+80.0059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 6788 52 0 0 25 0 11 0 419619144 859541504 29341 4294967295 134512640 134569956 3221224416 3221214808 1131357888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 29341 13073 16 0 209833 0
vsize: 839396
[startup+90.0056 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 7657 53 0 0 25 0 11 0 419619144 859541504 29703 4294967295 134512640 134569956 3221224416 3221214808 1131358769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 29703 13073 16 0 209833 0
vsize: 839396
[startup+100.006 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 8525 54 0 0 24 0 11 0 419619144 859541504 30049 4294967295 134512640 134569956 3221224416 3221214808 1131357884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 30049 13073 16 0 209833 0
vsize: 839396
[startup+110.007 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 9414 54 0 0 25 0 11 0 419619144 859541504 30292 4294967295 134512640 134569956 3221224416 3221214712 1131179572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 30292 13073 16 0 209833 0
vsize: 839396
[startup+120.008 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 10295 54 0 0 25 0 11 0 419619144 859541504 30563 4294967295 134512640 134569956 3221224416 3221214712 1131178557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 30563 13073 16 0 209833 0
vsize: 839396
[startup+130.008 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 11178 54 0 0 25 0 11 0 419619144 859541504 30891 4294967295 134512640 134569956 3221224416 3221214712 1131178855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 30891 13073 16 0 209833 0
vsize: 839396
[startup+140.008 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 12066 54 0 0 25 0 11 0 419619144 859541504 31137 4294967295 134512640 134569956 3221224416 3221214712 1131178961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 31137 13073 16 0 209833 0
vsize: 839396
[startup+150.009 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 12952 55 0 0 25 0 11 0 419619144 859541504 31413 4294967295 134512640 134569956 3221224416 3221214824 1131369534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 31413 13073 16 0 209833 0
vsize: 839396
[startup+160.009 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 13838 55 0 0 25 0 11 0 419619144 859541504 31696 4294967295 134512640 134569956 3221224416 3221214712 1131178766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 31696 13073 16 0 209833 0
vsize: 839396
[startup+170.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 14723 55 0 0 25 0 11 0 419619144 859541504 31903 4294967295 134512640 134569956 3221224416 3221214808 1131357573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 31903 13073 16 0 209833 0
vsize: 839396
[startup+180.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 15603 56 0 0 25 0 11 0 419619144 859541504 32280 4294967295 134512640 134569956 3221224416 3221214712 1131178753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 32280 13073 16 0 209833 0
vsize: 839396
[startup+190.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 16496 56 0 0 25 0 11 0 419619144 859541504 32536 4294967295 134512640 134569956 3221224416 3221214712 1131178861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 32536 13073 16 0 209833 0
vsize: 839396
[startup+200.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 17397 56 0 0 25 0 11 0 419619144 859541504 32757 4294967295 134512640 134569956 3221224416 3221214692 1131537523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 32757 13073 16 0 209833 0
vsize: 839396
[startup+210.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 18295 57 0 0 25 0 11 0 419619144 859541504 32958 4294967295 134512640 134569956 3221224416 3221214808 1131357575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 32958 13073 16 0 209833 0
vsize: 839396
[startup+220.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 19197 57 0 0 25 0 11 0 419619144 859541504 33251 4294967295 134512640 134569956 3221224416 3221214712 1131179517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 33251 13073 16 0 209833 0
vsize: 839396
[startup+230.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 20101 57 0 0 25 0 11 0 419619144 859541504 33454 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 33454 13073 16 0 209833 0
vsize: 839396
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 21005 58 0 0 25 0 11 0 419619144 859541504 33711 4294967295 134512640 134569956 3221224416 3221214712 1131178867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 33711 13073 16 0 209833 0
vsize: 839396
[startup+250.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 21911 58 0 0 25 0 11 0 419619144 859541504 33914 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 33914 13073 16 0 209833 0
vsize: 839396
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 22820 58 0 0 25 0 11 0 419619144 859541504 34181 4294967295 134512640 134569956 3221224416 3221214824 1131423671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 34181 13073 16 0 209833 0
vsize: 839396
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 23736 59 0 0 25 0 11 0 419619144 859541504 34336 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 34336 13073 16 0 209833 0
vsize: 839396
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 24650 59 0 0 25 0 11 0 419619144 859541504 34536 4294967295 134512640 134569956 3221224416 3221214576 1131539928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 34536 13073 16 0 209833 0
vsize: 839396
[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 25557 59 0 0 25 0 11 0 419619144 859541504 34781 4294967295 134512640 134569956 3221224416 3221214812 1080203710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 34781 13073 16 0 209833 0
vsize: 839396
[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 26474 60 0 0 25 0 11 0 419619144 859541504 34958 4294967295 134512640 134569956 3221224416 3221214712 1131178594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 34958 13073 16 0 209833 0
vsize: 839396
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 27383 60 0 0 25 0 11 0 419619144 859541504 35223 4294967295 134512640 134569956 3221224416 3221214616 1131240751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 35223 13073 16 0 209833 0
vsize: 839396
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 28303 60 0 0 25 0 11 0 419619144 859541504 35328 4294967295 134512640 134569956 3221224416 3221214824 1131425756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 35328 13073 16 0 209833 0
vsize: 839396
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 29222 61 0 0 25 0 11 0 419619144 859541504 35548 4294967295 134512640 134569956 3221224416 3221214712 1131179086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 35548 13073 16 0 209833 0
vsize: 839396
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 30134 62 0 0 25 0 11 0 419619144 859541504 35743 4294967295 134512640 134569956 3221224416 3221214576 1131540502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 35743 13073 16 0 209833 0
vsize: 839396
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 31054 62 0 0 25 0 11 0 419619144 859541504 35923 4294967295 134512640 134569956 3221224416 3221214712 1131179140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 35923 13073 16 0 209833 0
vsize: 839396
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32117
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 31965 62 0 0 25 0 11 0 419619144 859541504 36152 4294967295 134512640 134569956 3221224416 3221214712 1131178594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 36152 13073 16 0 209833 0
vsize: 839396
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 32869 63 0 0 25 0 11 0 419619144 859541504 36324 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 36324 13073 16 0 209833 0
vsize: 839396
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 33774 63 0 0 25 0 11 0 419619144 859541504 36537 4294967295 134512640 134569956 3221224416 3221214808 1131357888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 36537 13073 16 0 209833 0
vsize: 839396
[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 34675 64 0 0 25 0 11 0 419619144 859541504 36596 4294967295 134512640 134569956 3221224416 3221214712 1131179351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 36596 13073 16 0 209833 0
vsize: 839396
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 35556 64 0 0 25 0 11 0 419619144 859541504 36873 4294967295 134512640 134569956 3221224416 3221214712 1131179874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 36873 13073 16 0 209833 0
vsize: 839396
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 36450 64 0 0 25 0 11 0 419619144 859541504 37030 4294967295 134512640 134569956 3221224416 3221214712 1131178753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 37030 13073 16 0 209833 0
vsize: 839396
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 37351 65 0 0 25 0 11 0 419619144 859541504 37279 4294967295 134512640 134569956 3221224416 3221214808 1131357841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 37279 13073 16 0 209833 0
vsize: 839396
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 38248 65 0 0 23 0 11 0 419619144 859541504 37575 4294967295 134512640 134569956 3221224416 3221214712 1131179545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 37575 13073 16 0 209833 0
vsize: 839396
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 39160 66 0 0 25 0 11 0 419619144 859541504 37810 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 37810 13073 16 0 209833 0
vsize: 839396
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 40078 66 0 0 25 0 11 0 419619144 859541504 38037 4294967295 134512640 134569956 3221224416 3221214808 1131357705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 38037 13073 16 0 209833 0
vsize: 839396
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 40989 66 0 0 24 0 11 0 419619144 859541504 38089 4294967295 134512640 134569956 3221224416 3221214712 1131179104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 38089 13073 16 0 209833 0
vsize: 839396
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 41898 67 0 0 25 0 11 0 419619144 859541504 38237 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 38237 13073 16 0 209833 0
vsize: 839396
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 42806 67 0 0 25 0 11 0 419619144 859541504 38472 4294967295 134512640 134569956 3221224416 3221214808 1131357804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 38472 13073 16 0 209833 0
vsize: 839396
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 43729 68 0 0 25 0 11 0 419619144 859541504 38712 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 38712 13073 16 0 209833 0
vsize: 839396
[startup+500.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 44654 68 0 0 25 0 11 0 419619144 859541504 38873 4294967295 134512640 134569956 3221224416 3221214808 1131358722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 38873 13073 16 0 209833 0
vsize: 839396
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 45580 68 0 0 25 0 11 0 419619144 859541504 38994 4294967295 134512640 134569956 3221224416 3221214712 1131179324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 38994 13073 16 0 209833 0
vsize: 839396
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 46505 69 0 0 24 0 11 0 419619144 859541504 39182 4294967295 134512640 134569956 3221224416 3221214712 1131179122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 39182 13073 16 0 209833 0
vsize: 839396
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 47430 69 0 0 25 0 11 0 419619144 859541504 39332 4294967295 134512640 134569956 3221224416 3221214808 1131357870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 39332 13073 16 0 209833 0
vsize: 839396
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 48347 69 0 0 25 0 11 0 419619144 859541504 39460 4294967295 134512640 134569956 3221224416 3221214808 1131357921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 39460 13073 16 0 209833 0
vsize: 839396
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 49244 70 0 0 24 0 11 0 419619144 859541504 39626 4294967295 134512640 134569956 3221224416 3221214808 1131358707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 39626 13073 16 0 209833 0
vsize: 839396
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 50147 70 0 0 25 0 11 0 419619144 859541504 39782 4294967295 134512640 134569956 3221224416 3221214776 1131640724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 39782 13073 16 0 209833 0
vsize: 839396
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32118
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 51037 70 0 0 25 0 11 0 419619144 859541504 39923 4294967295 134512640 134569956 3221224416 3221214712 1131178842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 39923 13073 16 0 209833 0
vsize: 839396
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 51925 70 0 0 25 0 11 0 419619144 859541504 40159 4294967295 134512640 134569956 3221224416 3221214712 1131179133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 40159 13073 16 0 209833 0
vsize: 839396
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 52808 71 0 0 25 0 11 0 419619144 859541504 40419 4294967295 134512640 134569956 3221224416 3221214712 1131179570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 40419 13073 16 0 209833 0
vsize: 839396
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 53699 72 0 0 24 0 11 0 419619144 859541504 40734 4294967295 134512640 134569956 3221224416 3221214808 1131358733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 40734 13073 16 0 209833 0
vsize: 839396
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 54619 72 0 0 25 0 11 0 419619144 859541504 41014 4294967295 134512640 134569956 3221224416 3221214712 1131179320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 41014 13073 16 0 209833 0
vsize: 839396
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 55543 72 0 0 25 0 11 0 419619144 859541504 41071 4294967295 134512640 134569956 3221224416 3221214808 1131358765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 41071 13073 16 0 209833 0
vsize: 839396
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 56461 73 0 0 25 0 11 0 419619144 859541504 41161 4294967295 134512640 134569956 3221224416 3221214716 1080204182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 41161 13073 16 0 209833 0
vsize: 839396
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 57371 73 0 0 25 0 11 0 419619144 859541504 41386 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 41386 13073 16 0 209833 0
vsize: 839396
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 58288 74 0 0 24 0 11 0 419619144 859541504 41551 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 41551 13073 16 0 209833 0
vsize: 839396
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 59211 74 0 0 25 0 11 0 419619144 859541504 41773 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 41773 13073 16 0 209833 0
vsize: 839396
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 60134 74 0 0 25 0 11 0 419619144 859541504 41895 4294967295 134512640 134569956 3221224416 3221214712 1131179255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 41895 13073 16 0 209833 0
vsize: 839396
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 61056 75 0 0 25 0 11 0 419619144 859541504 42079 4294967295 134512640 134569956 3221224416 3221214784 1131372676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 42079 13073 16 0 209833 0
vsize: 839396
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 61974 75 0 0 25 0 11 0 419619144 859541504 42231 4294967295 134512640 134569956 3221224416 3221214824 1131425132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 42231 13073 16 0 209833 0
vsize: 839396
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 62895 76 0 0 25 0 11 0 419619144 859541504 42260 4294967295 134512640 134569956 3221224416 3221214712 1131179116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 42260 13073 16 0 209833 0
vsize: 839396
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 63807 76 0 0 25 0 11 0 419619144 859541504 42454 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 42454 13073 16 0 209833 0
vsize: 839396
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 64717 76 0 0 25 0 11 0 419619144 859541504 42717 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 42717 13073 16 0 209833 0
vsize: 839396
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 65625 77 0 0 25 0 11 0 419619144 859541504 42839 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 42839 13073 16 0 209833 0
vsize: 839396
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 66525 77 0 0 25 0 11 0 419619144 859541504 42984 4294967295 134512640 134569956 3221224416 3221214672 1131235909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 42984 13073 16 0 209833 0
vsize: 839396
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 67422 78 0 0 25 0 11 0 419619144 859541504 43254 4294967295 134512640 134569956 3221224416 3221214680 1131374151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 43254 13073 16 0 209833 0
vsize: 839396
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 68309 78 0 0 25 0 11 0 419619144 859541504 43395 4294967295 134512640 134569956 3221224416 3221214712 1131179894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 43395 13073 16 0 209833 0
vsize: 839396
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 69217 78 0 0 25 0 11 0 419619144 859541504 43771 4294967295 134512640 134569956 3221224416 3221214808 1131357705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 43771 13073 16 0 209833 0
vsize: 839396
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 70148 79 0 0 25 0 11 0 419619144 859541504 43940 4294967295 134512640 134569956 3221224416 3221214808 1131357888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 43940 13073 16 0 209833 0
vsize: 839396
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 71079 79 0 0 25 0 11 0 419619144 859541504 44072 4294967295 134512640 134569956 3221224416 3221214808 1131358755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 44072 13073 16 0 209833 0
vsize: 839396
[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 72006 80 0 0 25 0 11 0 419619144 859541504 44095 4294967295 134512640 134569956 3221224416 3221214712 1131179572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 44095 13073 16 0 209833 0
vsize: 839396
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 72932 80 0 0 25 0 11 0 419619144 859541504 44287 4294967295 134512640 134569956 3221224416 3221214536 1131154704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 44287 13073 16 0 209833 0
vsize: 839396
[startup+820.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 73864 80 0 0 25 0 11 0 419619144 859541504 44469 4294967295 134512640 134569956 3221224416 3221214712 1131179517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 44469 13073 16 0 209833 0
vsize: 839396
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 74793 80 0 0 25 0 11 0 419619144 859541504 44587 4294967295 134512640 134569956 3221224416 3221214856 1131381585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 44587 13073 16 0 209833 0
vsize: 839396
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 75720 81 0 0 25 0 11 0 419619144 859541504 44731 4294967295 134512640 134569956 3221224416 3221214712 1131179933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 44731 13073 16 0 209833 0
vsize: 839396
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 76650 81 0 0 25 0 11 0 419619144 859541504 44881 4294967295 134512640 134569956 3221224416 3221214804 1131180038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 44881 13073 16 0 209833 0
vsize: 839396
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 77579 82 0 0 24 0 11 0 419619144 859541504 45042 4294967295 134512640 134569956 3221224416 3221214808 1131357936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 45042 13073 16 0 209833 0
vsize: 839396
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 78518 82 0 0 25 0 11 0 419619144 859541504 45189 4294967295 134512640 134569956 3221224416 3221214712 1131178971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 45189 13073 16 0 209833 0
vsize: 839396
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 79461 82 0 0 25 0 11 0 419619144 859541504 45345 4294967295 134512640 134569956 3221224416 3221214624 1131506596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 45345 13073 16 0 209833 0
vsize: 839396
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 80406 83 0 0 25 0 11 0 419619144 859541504 45415 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 45415 13073 16 0 209833 0
vsize: 839396
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 81351 83 0 0 25 0 11 0 419619144 859541504 45526 4294967295 134512640 134569956 3221224416 3221214808 1131357884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 45526 13073 16 0 209833 0
vsize: 839396
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 82291 84 0 0 24 0 11 0 419619144 859541504 45676 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 45676 13073 16 0 209833 0
vsize: 839396
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 83246 84 0 0 25 0 11 0 419619144 859541504 45784 4294967295 134512640 134569956 3221224416 3221214712 1131179349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 45784 13073 16 0 209833 0
vsize: 839396
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 84189 84 0 0 25 0 11 0 419619144 859541504 45873 4294967295 134512640 134569956 3221224416 3221214712 1131178594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 45873 13073 16 0 209833 0
vsize: 839396
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 85125 85 0 0 25 0 11 0 419619144 859541504 45940 4294967295 134512640 134569956 3221224416 3221214808 1131357824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 45940 13073 16 0 209833 0
vsize: 839396
[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 86065 85 0 0 25 0 11 0 419619144 859541504 46101 4294967295 134512640 134569956 3221224416 3221214808 1131357888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 46101 13073 16 0 209833 0
vsize: 839396
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 87009 85 0 0 25 0 11 0 419619144 859541504 46246 4294967295 134512640 134569956 3221224416 3221214808 1131357824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 46246 13073 16 0 209833 0
vsize: 839396
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 87949 85 0 0 25 0 11 0 419619144 859541504 46398 4294967295 134512640 134569956 3221224416 3221214808 1131357437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 46398 13073 16 0 209833 0
vsize: 839396
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 88880 86 0 0 25 0 11 0 419619144 859541504 46425 4294967295 134512640 134569956 3221224416 3221214712 1131179073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 46425 13073 16 0 209833 0
vsize: 839396
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 89795 87 0 0 25 0 11 0 419619144 859541504 46578 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 46578 13073 16 0 209833 0
vsize: 839396
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 90734 87 0 0 25 0 11 0 419619144 859541504 46768 4294967295 134512640 134569956 3221224416 3221214824 1131427372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 46768 13073 16 0 209833 0
vsize: 839396
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 91678 87 0 0 25 0 11 0 419619144 859541504 46892 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 46892 13073 16 0 209833 0
vsize: 839396
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 92602 88 0 0 18 0 11 0 419619144 859541504 46920 4294967295 134512640 134569956 3221224416 3221214712 1131179086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 46920 13073 16 0 209833 0
vsize: 839396
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 93520 88 0 0 25 0 11 0 419619144 859541504 47021 4294967295 134512640 134569956 3221224416 3221214808 1131357437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 47021 13073 16 0 209833 0
vsize: 839396
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32119
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 94449 88 0 0 25 0 11 0 419619144 859541504 47205 4294967295 134512640 134569956 3221224416 3221214712 1131179098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 47205 13073 16 0 209833 0
vsize: 839396
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 5/68 32135
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 95380 92 0 0 25 0 11 0 419619144 859541504 47377 4294967295 134512640 134569956 3221224416 3221214728 1131390775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209849 47377 13073 16 0 209833 0
vsize: 839396
[startup+1060.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 32172
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 96303 99 0 0 25 0 11 0 419619144 859541504 47448 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 47448 13073 16 0 209833 0
vsize: 839396
[startup+1070.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 32172
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 97224 99 0 0 25 0 11 0 419619144 859541504 47567 4294967295 134512640 134569956 3221224416 3221214712 1131178746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209849 47567 13073 16 0 209833 0
vsize: 839396
[startup+1080.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 32172
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 98137 99 0 0 25 0 11 0 419619144 859541504 47732 4294967295 134512640 134569956 3221224416 3221214168 1076460986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 47732 13073 16 0 209833 0
vsize: 839396
[startup+1090.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32172
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 99059 99 0 0 25 0 11 0 419619144 859541504 47900 4294967295 134512640 134569956 3221224416 3221214712 1131178943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 47900 13073 16 0 209833 0
vsize: 839396
[startup+1100.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32172
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 99996 99 0 0 25 0 11 0 419619144 859541504 48116 4294967295 134512640 134569956 3221224416 3221214712 1131179098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 48116 13073 16 0 209833 0
vsize: 839396
[startup+1110.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32172
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 100938 99 0 0 24 0 11 0 419619144 859541504 48221 4294967295 134512640 134569956 3221224416 3221214576 1131541381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 48221 13073 16 0 209833 0
vsize: 839396
[startup+1120.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 101889 100 0 0 25 0 11 0 419619144 859541504 48299 4294967295 134512640 134569956 3221224416 3221214712 1131179236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 48299 13073 16 0 209833 0
vsize: 839396
[startup+1130.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32174
Raw data (stat): 32102 (java) S 32101 30701 30700 0 -1 0 18078 3 1 0 102836 100 0 0 25 0 11 0 419619144 859541504 48401 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 48401 13073 16 0 209833 0
vsize: 839396
[startup+1140.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 103786 100 0 0 25 0 11 0 419619144 859541504 48483 4294967295 134512640 134569956 3221224416 3221214712 1131178569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 48483 13073 16 0 209833 0
vsize: 839396
[startup+1150.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 104726 100 0 0 25 0 11 0 419619144 859541504 48565 4294967295 134512640 134569956 3221224416 3221214764 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209849 48565 13073 16 0 209833 0
vsize: 839396
[startup+1160.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 105657 100 0 0 25 0 11 0 419619144 859541504 48670 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 48670 13073 16 0 209833 0
vsize: 839396
[startup+1170.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 106583 100 0 0 25 0 11 0 419619144 859541504 48758 4294967295 134512640 134569956 3221224416 3221214808 1131357997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 48758 13073 16 0 209833 0
vsize: 839396
[startup+1180.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 107512 101 0 0 25 0 11 0 419619144 859541504 48970 4294967295 134512640 134569956 3221224416 3221214808 1131358707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 48970 13073 16 0 209833 0
vsize: 839396
[startup+1190.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 108442 101 0 0 24 0 11 0 419619144 859541504 49099 4294967295 134512640 134569956 3221224416 3221214440 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 49099 13073 16 0 209833 0
vsize: 839396
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 109376 101 0 0 25 0 11 0 419619144 859541504 49204 4294967295 134512640 134569956 3221224416 3221214856 1131640724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 49204 13073 16 0 209833 0
vsize: 839396
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 110310 101 0 0 25 0 11 0 419619144 859541504 49342 4294967295 134512640 134569956 3221224416 3221214504 1080217015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 49342 13073 16 0 209833 0
vsize: 839396
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 111244 101 0 0 25 0 11 0 419619144 859541504 49416 4294967295 134512640 134569956 3221224416 3221214968 1131516288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 49416 13073 16 0 209833 0
vsize: 839396
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 112185 101 0 0 25 0 11 0 419619144 859541504 49608 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 49608 13073 16 0 209833 0
vsize: 839396
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 113131 101 0 0 25 0 11 0 419619144 859541504 49668 4294967295 134512640 134569956 3221224416 3221214808 1131358788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 49668 13073 16 0 209833 0
vsize: 839396
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 114064 101 0 0 25 0 11 0 419619144 859541504 49783 4294967295 134512640 134569956 3221224416 3221214824 1131424994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 49783 13073 16 0 209833 0
vsize: 839396
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 115005 101 0 0 25 0 11 0 419619144 859541504 49870 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 49870 13073 16 0 209833 0
vsize: 839396
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 115947 101 0 0 25 0 11 0 419619144 859541504 50008 4294967295 134512640 134569956 3221224416 3221214824 1131424083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 50008 13073 16 0 209833 0
vsize: 839396
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 116894 101 0 0 25 0 11 0 419619144 859541504 50097 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 50097 13073 16 0 209833 0
vsize: 839396
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 117837 102 0 0 24 0 11 0 419619144 859541504 50223 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 50223 13073 16 0 209833 0
vsize: 839396
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 118787 102 0 0 25 0 11 0 419619144 859541504 50304 4294967295 134512640 134569956 3221224416 3221214712 1131179069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 50304 13073 16 0 209833 0
vsize: 839396
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 119736 102 0 0 25 0 11 0 419619144 859541504 50392 4294967295 134512640 134569956 3221224416 3221214712 1131179024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 50392 13073 16 0 209833 0
vsize: 839396
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32174
Raw data (stat): 32102 (java) R 32101 30701 30700 0 -1 0 18078 3 1 0 120663 102 0 0 25 0 11 0 419619144 859541504 50483 4294967295 134512640 134569956 3221224416 3221214712 1131179324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209849 50483 13073 16 0 209833 0
vsize: 839396
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32176
Raw data (stat): 32102 (java) Z 32101 30701 30700 0 -1 1036 18078 35949 1 0 120668 111 12038 90 25 0 1 0 419619144 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): 1320.25
CPU time (s): 1329.1
CPU user time (s): 1327.07
CPU system time (s): 2.02069
CPU usage (%): 100.67
Max. virtual memory (Kb): 839396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####