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/frb59-26-opb/normalized-frb59-26-1.opb
MD5SUM42c2d619b73aa24781f1b54bddde28cc
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of terms in the objective function 1534
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 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.13
Number of variables1534
Total number of constraints126555
Number of constraints which are clauses126555
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 4514 

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        854364 kB
Buffers:         33556 kB
Cached:         111560 kB
SwapCached:       2376 kB
Active:          51152 kB
Inactive:        99288 kB
HighTotal:      131008 kB
HighFree:        15960 kB
LowTotal:       903652 kB
LowFree:        838404 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7036 kB
Slab:            24196 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 18:24:18 (client local time) WITH STATUS 143 IN  SECONDS
stats: 3141 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-frb59-26-1.opb
c reading problem 
c [nbvar=1534]
c [nbconstr=126555]
c time 18.393
c #vars     1534
c #clauses  126555
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) : 18.921
c starts	: 1
c conflicts	: 0
c decisions	: 1534
c propagations	: 1534
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) : 19.156
c starts	: 2
c conflicts	: 0
c decisions	: 3067
c propagations	: 3068
c inspects	: 198
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) : 25.851
c starts	: 3
c conflicts	: 25
c decisions	: 4600
c propagations	: 4952
c inspects	: 5186
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 25
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-43
c Current CPU time (ms) : 26.293
c starts	: 4
c conflicts	: 25
c decisions	: 4643
c propagations	: 6486
c inspects	: 12074
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 25
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-44
c Current CPU time (ms) : 29.604
c starts	: 5
c conflicts	: 34
c decisions	: 4699
c propagations	: 8097
c inspects	: 24411
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 34
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-45
c Current CPU time (ms) : 100.082
c starts	: 7
c conflicts	: 157
c decisions	: 4933
c propagations	: 12020
c inspects	: 95076
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 157
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-46
c Current CPU time (ms) : 109.424
c starts	: 8
c conflicts	: 160
c decisions	: 4982
c propagations	: 13586
c inspects	: 115821
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 160
c root simplifications	: 8
#### 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): 1.00 1.01 1.00 2/55 22756
Raw data (stat): 22756 (runsolver) R 22755 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477961157 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.0014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22765
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 17991 0 1 0 797 43 0 0 25 0 10 0 477961157 854507520 23076 4294967295 134512640 134569956 3221224416 3221214856 1131153862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208620 23076 13073 16 0 208604 0
vsize: 834480
[startup+20.0353 s]
Raw data (loadavg): 1.00 1.00 1.00 3/65 22768
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18048 3 1 0 1674 45 0 0 25 0 11 0 477961157 855035904 29526 4294967295 134512640 134569956 3221224416 3221201192 1074835150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208749 29526 13073 16 0 208733 0
vsize: 834996
[startup+30.0361 s]
Raw data (loadavg): 1.15 1.04 1.01 2/65 22770
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18065 3 1 0 2270 46 0 0 25 0 11 0 477961157 865128448 37954 4294967295 134512640 134569956 3221224416 3221214616 1131434679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211213 37954 13073 16 0 211197 0
vsize: 844852
[startup+40.0358 s]
Raw data (loadavg): 1.13 1.03 1.01 2/65 22771
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18065 3 1 0 3161 46 0 0 25 0 11 0 477961157 865128448 38076 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211213 38079 13073 16 0 211197 0
vsize: 844852
[startup+50.0367 s]
Raw data (loadavg): 1.11 1.03 1.01 2/65 22771
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 4036 46 0 0 25 0 11 0 477961157 863326208 38278 4294967295 134512640 134569956 3221224416 3221214600 1131661439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210773 38278 13073 16 0 210757 0
vsize: 843092
[startup+60.0369 s]
Raw data (loadavg): 1.09 1.03 1.01 2/65 22771
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 4951 46 0 0 25 0 11 0 477961157 862441472 38503 4294967295 134512640 134569956 3221224416 3221214600 1131662911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 38503 13073 16 0 210541 0
vsize: 842228
[startup+70.038 s]
Raw data (loadavg): 1.08 1.03 1.01 2/65 22771
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 5860 46 0 0 25 0 11 0 477961157 862441472 38896 4294967295 134512640 134569956 3221224416 3221214624 1131439138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 38896 13073 16 0 210541 0
vsize: 842228
[startup+80.0394 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 22771
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 6781 46 0 0 25 0 11 0 477961157 862441472 39095 4294967295 134512640 134569956 3221224416 3221214784 1131365565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 39095 13073 16 0 210541 0
vsize: 842228
[startup+90.0397 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 22771
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 7673 46 0 0 25 0 11 0 477961157 862441472 39587 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 39587 13073 16 0 210541 0
vsize: 842228
[startup+100.039 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 22771
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 8544 47 0 0 25 0 11 0 477961157 862441472 40058 4294967295 134512640 134569956 3221224416 3221214656 1131249341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 40058 13073 16 0 210541 0
vsize: 842228
[startup+110.044 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 22772
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 9389 47 0 0 19 0 11 0 477961157 862441472 40401 4294967295 134512640 134569956 3221224416 3221214784 1131363686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 40401 13073 16 0 210541 0
vsize: 842228
[startup+120.044 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 22773
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 10231 47 0 0 19 0 11 0 477961157 862441472 40556 4294967295 134512640 134569956 3221224416 3221214688 1131230165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 40556 13073 16 0 210541 0
vsize: 842228
[startup+130.045 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 22773
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 11095 47 0 0 22 0 11 0 477961157 862441472 41067 4294967295 134512640 134569956 3221224416 3221214600 1131662124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 41067 13073 16 0 210541 0
vsize: 842228
[startup+140.046 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 22773
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 11953 47 0 0 16 0 11 0 477961157 862441472 41391 4294967295 134512640 134569956 3221224416 3221214712 1131732711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 41391 13073 16 0 210541 0
vsize: 842228
[startup+150.048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 22773
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 12861 47 0 0 25 0 11 0 477961157 862441472 41727 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 41727 13073 16 0 210541 0
vsize: 842228
[startup+160.049 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 22773
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 13754 47 0 0 18 0 11 0 477961157 862441472 42035 4294967295 134512640 134569956 3221224416 3221214688 1131229825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 42035 13073 16 0 210541 0
vsize: 842228
[startup+170.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 22773
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 14653 48 0 0 23 0 11 0 477961157 862441472 42327 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 42327 13073 16 0 210541 0
vsize: 842228
[startup+180.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 22773
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 15556 48 0 0 25 0 11 0 477961157 862441472 42515 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 42515 13073 16 0 210541 0
vsize: 842228
[startup+190.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 22773
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 16427 48 0 0 18 0 11 0 477961157 862441472 42774 4294967295 134512640 134569956 3221224416 3221214784 1131364815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 42774 13073 16 0 210541 0
vsize: 842228
[startup+200.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 22773
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 17283 48 0 0 16 0 11 0 477961157 862441472 43148 4294967295 134512640 134569956 3221224416 3221214688 1131229331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 43148 13073 16 0 210541 0
vsize: 842228
[startup+210.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22773
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 18171 49 0 0 18 0 11 0 477961157 862441472 43397 4294967295 134512640 134569956 3221224416 3221214600 1131662240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 43397 13073 16 0 210541 0
vsize: 842228
[startup+220.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22775
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 19066 49 0 0 21 0 11 0 477961157 862441472 43626 4294967295 134512640 134569956 3221224416 3221214784 1131364774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 43626 13073 16 0 210541 0
vsize: 842228
[startup+230.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 19962 50 0 0 22 0 11 0 477961157 862441472 43711 4294967295 134512640 134569956 3221224416 3221214624 1131439215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 43711 13073 16 0 210541 0
vsize: 842228
[startup+240.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 20856 50 0 0 20 0 11 0 477961157 862441472 43954 4294967295 134512640 134569956 3221224416 3221214720 1131255250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 43954 13073 16 0 210541 0
vsize: 842228
[startup+250.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 21752 50 0 0 21 0 11 0 477961157 862441472 44148 4294967295 134512640 134569956 3221224416 3221214784 1131365744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 44148 13073 16 0 210541 0
vsize: 842228
[startup+260.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 22648 51 0 0 21 0 11 0 477961157 862441472 44459 4294967295 134512640 134569956 3221224416 3221214688 1131229722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 44459 13073 16 0 210541 0
vsize: 842228
[startup+270.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 23552 51 0 0 18 0 11 0 477961157 862441472 44765 4294967295 134512640 134569956 3221224416 3221214780 1131230332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 44765 13073 16 0 210541 0
vsize: 842228
[startup+280.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 24459 52 0 0 19 0 11 0 477961157 862441472 44905 4294967295 134512640 134569956 3221224416 3221214688 1131229247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 44905 13073 16 0 210541 0
vsize: 842228
[startup+290.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 25361 52 0 0 23 0 11 0 477961157 862441472 45201 4294967295 134512640 134569956 3221224416 3221214720 1131255406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 45201 13073 16 0 210541 0
vsize: 842228
[startup+300.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 26270 52 0 0 17 0 11 0 477961157 862441472 45432 4294967295 134512640 134569956 3221224416 3221214568 1131354215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 45432 13073 16 0 210541 0
vsize: 842228
[startup+310.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 27180 53 0 0 21 0 11 0 477961157 862441472 45646 4294967295 134512640 134569956 3221224416 3221214544 1131497548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 45646 13073 16 0 210541 0
vsize: 842228
[startup+320.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 28102 53 0 0 25 0 11 0 477961157 862441472 45874 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 45874 13073 16 0 210541 0
vsize: 842228
[startup+330.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 29020 54 0 0 25 0 11 0 477961157 862441472 46093 4294967295 134512640 134569956 3221224416 3221214336 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 46093 13073 16 0 210541 0
vsize: 842228
[startup+340.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 29931 54 0 0 16 0 11 0 477961157 862441472 46298 4294967295 134512640 134569956 3221224416 3221214700 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 46298 13073 16 0 210541 0
vsize: 842228
[startup+350.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 30847 54 0 0 22 0 11 0 477961157 862441472 46465 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 46465 13073 16 0 210541 0
vsize: 842228
[startup+360.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 31761 54 0 0 25 0 11 0 477961157 862441472 46732 4294967295 134512640 134569956 3221224416 3221214648 1131352137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 46732 13073 16 0 210541 0
vsize: 842228
[startup+370.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 32661 55 0 0 16 0 11 0 477961157 862441472 46998 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 46998 13073 16 0 210541 0
vsize: 842228
[startup+380.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 33540 55 0 0 16 0 11 0 477961157 862441472 47250 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 47250 13073 16 0 210541 0
vsize: 842228
[startup+390.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 34425 55 0 0 19 0 11 0 477961157 862441472 47523 4294967295 134512640 134569956 3221224416 3221214784 1131364771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 47523 13073 16 0 210541 0
vsize: 842228
[startup+400.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 35299 55 0 0 18 0 11 0 477961157 862441472 47767 4294967295 134512640 134569956 3221224416 3221214784 1131364808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 47767 13073 16 0 210541 0
vsize: 842228
[startup+410.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 36174 55 0 0 17 0 11 0 477961157 862441472 47918 4294967295 134512640 134569956 3221224416 3221214688 1131229638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 47918 13073 16 0 210541 0
vsize: 842228
[startup+420.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 37069 56 0 0 20 0 11 0 477961157 862441472 48234 4294967295 134512640 134569956 3221224416 3221214784 1131364878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 48234 13073 16 0 210541 0
vsize: 842228
[startup+430.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 37965 56 0 0 21 0 11 0 477961157 862441472 48422 4294967295 134512640 134569956 3221224416 3221214784 1131365731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 48422 13073 16 0 210541 0
vsize: 842228
[startup+440.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 38852 56 0 0 18 0 11 0 477961157 862441472 48730 4294967295 134512640 134569956 3221224416 3221214688 1131229854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 48730 13073 16 0 210541 0
vsize: 842228
[startup+450.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 39759 56 0 0 24 0 11 0 477961157 862441472 49025 4294967295 134512640 134569956 3221224416 3221214728 1131229605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 49025 13073 16 0 210541 0
vsize: 842228
[startup+460.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 40665 56 0 0 18 0 11 0 477961157 862441472 49229 4294967295 134512640 134569956 3221224416 3221214688 1131229833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 49229 13073 16 0 210541 0
vsize: 842228
[startup+470.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 41583 57 0 0 23 0 11 0 477961157 862441472 49435 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 49435 13073 16 0 210541 0
vsize: 842228
[startup+480.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 42494 57 0 0 16 0 11 0 477961157 862441472 49617 4294967295 134512640 134569956 3221224416 3221214688 1131229590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 49617 13073 16 0 210541 0
vsize: 842228
[startup+490.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 43409 57 0 0 19 0 11 0 477961157 862441472 49823 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 49823 13073 16 0 210541 0
vsize: 842228
[startup+500.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 44300 57 0 0 20 0 11 0 477961157 862441472 50034 4294967295 134512640 134569956 3221224416 3221214696 1131402694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 50034 13073 16 0 210541 0
vsize: 842228
[startup+510.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22777
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 45178 58 0 0 19 0 11 0 477961157 862441472 50250 4294967295 134512640 134569956 3221224416 3221214600 1131662142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 50250 13073 16 0 210541 0
vsize: 842228
[startup+520.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 46067 58 0 0 21 0 11 0 477961157 862441472 50475 4294967295 134512640 134569956 3221224416 3221214680 1131389521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 50475 13073 16 0 210541 0
vsize: 842228
[startup+530.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 46959 58 0 0 22 0 11 0 477961157 862441472 50770 4294967295 134512640 134569956 3221224416 3221214688 1131229761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 50770 13073 16 0 210541 0
vsize: 842228
[startup+540.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 47851 58 0 0 18 0 11 0 477961157 862441472 51039 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 51039 13073 16 0 210541 0
vsize: 842228
[startup+550.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 48756 59 0 0 17 0 11 0 477961157 862441472 51298 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 51298 13073 16 0 210541 0
vsize: 842228
[startup+560.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 49671 59 0 0 19 0 11 0 477961157 862441472 51471 4294967295 134512640 134569956 3221224416 3221214688 1131229797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 51471 13073 16 0 210541 0
vsize: 842228
[startup+570.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 50582 59 0 0 22 0 11 0 477961157 862441472 51754 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 51754 13073 16 0 210541 0
vsize: 842228
[startup+580.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 51500 60 0 0 23 0 11 0 477961157 862441472 51928 4294967295 134512640 134569956 3221224416 3221214688 1131230196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 51928 13073 16 0 210541 0
vsize: 842228
[startup+590.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 52409 60 0 0 25 0 11 0 477961157 862441472 52131 4294967295 134512640 134569956 3221224416 3221214688 1131230216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 52131 13073 16 0 210541 0
vsize: 842228
[startup+600.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 53302 60 0 0 25 0 11 0 477961157 862441472 52299 4294967295 134512640 134569956 3221224416 3221214688 1131229331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 52299 13073 16 0 210541 0
vsize: 842228
[startup+610.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 54207 60 0 0 25 0 11 0 477961157 862441472 52522 4294967295 134512640 134569956 3221224416 3221214784 1131365573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 52522 13073 16 0 210541 0
vsize: 842228
[startup+620.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 55125 60 0 0 25 0 11 0 477961157 862441472 52789 4294967295 134512640 134569956 3221224416 3221214688 1131230240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 52789 13073 16 0 210541 0
vsize: 842228
[startup+630.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 56067 60 0 0 25 0 11 0 477961157 862441472 52835 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 52835 13073 16 0 210541 0
vsize: 842228
[startup+640.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 56974 60 0 0 25 0 11 0 477961157 862441472 52863 4294967295 134512640 134569956 3221224416 3221214688 1131229362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 52863 13073 16 0 210541 0
vsize: 842228
[startup+650.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 57852 61 0 0 24 0 11 0 477961157 862441472 53074 4294967295 134512640 134569956 3221224416 3221214712 1131731079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 53074 13073 16 0 210541 0
vsize: 842228
[startup+660.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 58732 61 0 0 25 0 11 0 477961157 862441472 53189 4294967295 134512640 134569956 3221224416 3221214624 1131441287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 53189 13073 16 0 210541 0
vsize: 842228
[startup+670.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 59626 61 0 0 25 0 11 0 477961157 862441472 53598 4294967295 134512640 134569956 3221224416 3221214712 1131732815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 53598 13073 16 0 210541 0
vsize: 842228
[startup+680.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 60521 61 0 0 19 0 11 0 477961157 862441472 53877 4294967295 134512640 134569956 3221224416 3221214688 1131229559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 53877 13073 16 0 210541 0
vsize: 842228
[startup+690.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 61418 61 0 0 17 0 11 0 477961157 862441472 54070 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 54070 13073 16 0 210541 0
vsize: 842228
[startup+700.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 62326 61 0 0 25 0 11 0 477961157 862441472 54269 4294967295 134512640 134569956 3221224416 3221214648 1131254964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 54269 13073 16 0 210541 0
vsize: 842228
[startup+710.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 63229 61 0 0 24 0 11 0 477961157 862441472 54467 4294967295 134512640 134569956 3221224416 3221214688 1131229025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 54467 13073 16 0 210541 0
vsize: 842228
[startup+720.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 64137 61 0 0 23 0 11 0 477961157 862441472 54706 4294967295 134512640 134569956 3221224416 3221214688 1131229463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 54706 13073 16 0 210541 0
vsize: 842228
[startup+730.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 65051 61 0 0 25 0 11 0 477961157 862441472 54951 4294967295 134512640 134569956 3221224416 3221214784 1131365702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 54951 13073 16 0 210541 0
vsize: 842228
[startup+740.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 65967 61 0 0 25 0 11 0 477961157 862441472 55104 4294967295 134512640 134569956 3221224416 3221214696 1131403398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 55104 13073 16 0 210541 0
vsize: 842228
[startup+750.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 66882 62 0 0 25 0 11 0 477961157 862441472 55263 4294967295 134512640 134569956 3221224416 3221214688 1131229021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 55263 13073 16 0 210541 0
vsize: 842228
[startup+760.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 67782 62 0 0 24 0 11 0 477961157 862441472 55460 4294967295 134512640 134569956 3221224416 3221214688 1131230201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 55460 13073 16 0 210541 0
vsize: 842228
[startup+770.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 68686 62 0 0 25 0 11 0 477961157 862441472 55664 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 55664 13073 16 0 210541 0
vsize: 842228
[startup+780.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 69580 62 0 0 25 0 11 0 477961157 862441472 55843 4294967295 134512640 134569956 3221224416 3221214688 1131229829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 55843 13073 16 0 210541 0
vsize: 842228
[startup+790.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 70483 62 0 0 25 0 11 0 477961157 862441472 56053 4294967295 134512640 134569956 3221224416 3221214624 1131439847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 56053 13073 16 0 210541 0
vsize: 842228
[startup+800.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 71397 63 0 0 25 0 11 0 477961157 862441472 56365 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 56365 13073 16 0 210541 0
vsize: 842228
[startup+810.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22779
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 72313 63 0 0 25 0 11 0 477961157 862441472 56505 4294967295 134512640 134569956 3221224416 3221214780 1131229004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 56505 13073 16 0 210541 0
vsize: 842228
[startup+820.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 73230 63 0 0 25 0 11 0 477961157 862441472 56660 4294967295 134512640 134569956 3221224416 3221214600 1131662082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 56660 13073 16 0 210541 0
vsize: 842228
[startup+830.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 74144 63 0 0 25 0 11 0 477961157 862441472 56787 4294967295 134512640 134569956 3221224416 3221214784 1131364774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 56787 13073 16 0 210541 0
vsize: 842228
[startup+840.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 75055 64 0 0 25 0 11 0 477961157 862441472 56996 4294967295 134512640 134569956 3221224416 3221214624 1131439481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 56996 13073 16 0 210541 0
vsize: 842228
[startup+850.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 75973 64 0 0 25 0 11 0 477961157 862441472 57155 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 57155 13073 16 0 210541 0
vsize: 842228
[startup+860.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 76896 64 0 0 25 0 11 0 477961157 862441472 57361 4294967295 134512640 134569956 3221224416 3221214700 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 57361 13073 16 0 210541 0
vsize: 842228
[startup+870.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 77824 65 0 0 25 0 11 0 477961157 862441472 57577 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 57577 13073 16 0 210541 0
vsize: 842228
[startup+880.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 78753 65 0 0 24 0 11 0 477961157 862441472 57721 4294967295 134512640 134569956 3221224416 3221214688 1131229559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 57721 13073 16 0 210541 0
vsize: 842228
[startup+890.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 79682 65 0 0 25 0 11 0 477961157 862441472 57855 4294967295 134512640 134569956 3221224416 3221214688 1131229273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 57855 13073 16 0 210541 0
vsize: 842228
[startup+900.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 80613 66 0 0 25 0 11 0 477961157 862441472 58011 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 58011 13073 16 0 210541 0
vsize: 842228
[startup+910.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 81538 66 0 0 25 0 11 0 477961157 862441472 58136 4294967295 134512640 134569956 3221224416 3221214688 1131229393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 58136 13073 16 0 210541 0
vsize: 842228
[startup+920.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 82468 66 0 0 25 0 11 0 477961157 862441472 58315 4294967295 134512640 134569956 3221224416 3221214688 1131229021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 58315 13073 16 0 210541 0
vsize: 842228
[startup+930.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 83401 67 0 0 25 0 11 0 477961157 862441472 58386 4294967295 134512640 134569956 3221224416 3221214784 1131365630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 58386 13073 16 0 210541 0
vsize: 842228
[startup+940.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 84328 67 0 0 25 0 11 0 477961157 862441472 58558 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 58558 13073 16 0 210541 0
vsize: 842228
[startup+950.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 85260 67 0 0 25 0 11 0 477961157 862441472 58672 4294967295 134512640 134569956 3221224416 3221214600 1131662879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 58672 13073 16 0 210541 0
vsize: 842228
[startup+960.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 86185 68 0 0 25 0 11 0 477961157 862441472 58851 4294967295 134512640 134569956 3221224416 3221214784 1131365675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 58851 13073 16 0 210541 0
vsize: 842228
[startup+970.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 87118 68 0 0 25 0 11 0 477961157 862441472 58977 4294967295 134512640 134569956 3221224416 3221214600 1131662230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 58977 13073 16 0 210541 0
vsize: 842228
[startup+980.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 88050 68 0 0 25 0 11 0 477961157 862441472 59168 4294967295 134512640 134569956 3221224416 3221214784 1131364815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 59168 13073 16 0 210541 0
vsize: 842228
[startup+990.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 88976 69 0 0 25 0 11 0 477961157 862441472 59294 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 59294 13073 16 0 210541 0
vsize: 842228
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 89887 69 0 0 25 0 11 0 477961157 862441472 59427 4294967295 134512640 134569956 3221224416 3221214688 1131229058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 59427 13073 16 0 210541 0
vsize: 842228
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 90788 69 0 0 25 0 11 0 477961157 862441472 59455 4294967295 134512640 134569956 3221224416 3221214780 1131230338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 59455 13073 16 0 210541 0
vsize: 842228
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 91697 69 0 0 25 0 11 0 477961157 862441472 59842 4294967295 134512640 134569956 3221224416 3221214688 1131229807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 59842 13073 16 0 210541 0
vsize: 842228
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 92628 70 0 0 25 0 11 0 477961157 862441472 59973 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 59973 13073 16 0 210541 0
vsize: 842228
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 93543 70 0 0 25 0 11 0 477961157 862441472 60098 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 60098 13073 16 0 210541 0
vsize: 842228
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 94446 70 0 0 25 0 11 0 477961157 862441472 60255 4294967295 134512640 134569956 3221224416 3221214784 1131363751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 60255 13073 16 0 210541 0
vsize: 842228
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 95352 71 0 0 25 0 11 0 477961157 862441472 60381 4294967295 134512640 134569956 3221224416 3221214688 1131229393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 60381 13073 16 0 210541 0
vsize: 842228
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 96293 71 0 0 25 0 11 0 477961157 862441472 60655 4294967295 134512640 134569956 3221224416 3221214688 1131229515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 60655 13073 16 0 210541 0
vsize: 842228
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 97261 72 0 0 25 0 11 0 477961157 862441472 60691 4294967295 134512640 134569956 3221224416 3221214688 1131229362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 60691 13073 16 0 210541 0
vsize: 842228
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 98224 72 0 0 25 0 11 0 477961157 862441472 60721 4294967295 134512640 134569956 3221224416 3221214696 1131402192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 60721 13073 16 0 210541 0
vsize: 842228
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 99166 72 0 0 25 0 11 0 477961157 862441472 60744 4294967295 134512640 134569956 3221224416 3221214864 1131359902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 60744 13073 16 0 210541 0
vsize: 842228
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22781
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 100090 73 0 0 25 0 11 0 477961157 862441472 60768 4294967295 134512640 134569956 3221224416 3221214688 1131229247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 60768 13073 16 0 210541 0
vsize: 842228
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 101010 73 0 0 25 0 11 0 477961157 862441472 60810 4294967295 134512640 134569956 3221224416 3221214688 1131230196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 60810 13073 16 0 210541 0
vsize: 842228
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 101917 73 0 0 25 0 11 0 477961157 862441472 61037 4294967295 134512640 134569956 3221224416 3221214688 1131229505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 61037 13073 16 0 210541 0
vsize: 842228
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 102827 74 0 0 25 0 11 0 477961157 862441472 61224 4294967295 134512640 134569956 3221224416 3221214688 1131229559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 61224 13073 16 0 210541 0
vsize: 842228
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 103745 74 0 0 25 0 11 0 477961157 862441472 61373 4294967295 134512640 134569956 3221224416 3221214784 1131364914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 61373 13073 16 0 210541 0
vsize: 842228
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 104655 74 0 0 25 0 11 0 477961157 862441472 61619 4294967295 134512640 134569956 3221224416 3221214752 1131478867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 61619 13073 16 0 210541 0
vsize: 842228
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 105574 75 0 0 25 0 11 0 477961157 862441472 61842 4294967295 134512640 134569956 3221224416 3221214600 1131663675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 61842 13073 16 0 210541 0
vsize: 842228
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 106498 75 0 0 25 0 11 0 477961157 862441472 62007 4294967295 134512640 134569956 3221224416 3221214688 1131229605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 62007 13073 16 0 210541 0
vsize: 842228
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 107421 76 0 0 24 0 11 0 477961157 862441472 62120 4294967295 134512640 134569956 3221224416 3221214784 1131364697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 62120 13073 16 0 210541 0
vsize: 842228
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 108361 76 0 0 25 0 11 0 477961157 862441472 62355 4294967295 134512640 134569956 3221224416 3221214784 1131364792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 62355 13073 16 0 210541 0
vsize: 842228
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 109311 77 0 0 25 0 11 0 477961157 862441472 62429 4294967295 134512640 134569956 3221224416 3221214784 1131364781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 62429 13073 16 0 210541 0
vsize: 842228
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 110256 77 0 0 25 0 11 0 477961157 862441472 62542 4294967295 134512640 134569956 3221224416 3221214688 1131229061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 62542 13073 16 0 210541 0
vsize: 842228
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 111200 77 0 0 25 0 11 0 477961157 862441472 62675 4294967295 134512640 134569956 3221224416 3221214600 1131662215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 62675 13073 16 0 210541 0
vsize: 842228
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 112139 78 0 0 25 0 11 0 477961157 862441472 62738 4294967295 134512640 134569956 3221224416 3221214600 1131662124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 62738 13073 16 0 210541 0
vsize: 842228
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 113069 78 0 0 24 0 11 0 477961157 862441472 62847 4294967295 134512640 134569956 3221224416 3221214784 1131364795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 62847 13073 16 0 210541 0
vsize: 842228
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 114000 78 0 0 25 0 11 0 477961157 862441472 62985 4294967295 134512640 134569956 3221224416 3221214688 1131230075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 62985 13073 16 0 210541 0
vsize: 842228
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 114929 79 0 0 25 0 11 0 477961157 862441472 63158 4294967295 134512640 134569956 3221224416 3221214784 1131364815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 63158 13073 16 0 210541 0
vsize: 842228
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 115858 79 0 0 25 0 11 0 477961157 862441472 63277 4294967295 134512640 134569956 3221224416 3221214780 1131229004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 63277 13073 16 0 210541 0
vsize: 842228
[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 116783 80 0 0 25 0 11 0 477961157 862441472 63430 4294967295 134512640 134569956 3221224416 3221214784 1131364792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 63430 13073 16 0 210541 0
vsize: 842228
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 117719 80 0 0 25 0 11 0 477961157 862441472 63552 4294967295 134512640 134569956 3221224416 3221214688 1131230097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 63552 13073 16 0 210541 0
vsize: 842228
[startup+1310.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) S 22755 20838 20837 0 -1 0 18066 3 1 0 118656 81 0 0 25 0 11 0 477961157 862441472 63710 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 63710 13073 16 0 210541 0
vsize: 842228
[startup+1320.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 119592 81 0 0 25 0 11 0 477961157 862441472 63838 4294967295 134512640 134569956 3221224416 3221214688 1131229479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 63838 13073 16 0 210541 0
vsize: 842228
[startup+1330.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 22783
Raw data (stat): 22756 (java) R 22755 20838 20837 0 -1 0 18066 3 1 0 120520 81 0 0 24 0 11 0 477961157 862441472 63963 4294967295 134512640 134569956 3221224416 3221214688 1131229505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210557 63963 13073 16 0 210541 0
vsize: 842228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 22785
Raw data (stat): 22756 (java) Z 22755 20838 20837 0 -1 1036 18066 47661 1 0 120525 81 12643 105 25 0 1 0 477961157 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): 1330.28
CPU time (s): 1333.56
CPU user time (s): 1331.69
CPU system time (s): 1.87871
CPU usage (%): 100.247
Max. virtual memory (Kb): 844852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####