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/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
MD5SUM9a578fa18e88cebdbf227cdbb9fbab5f
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 84992
Optimality of the best value was proved NO
Number of terms in the objective function 78
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073790975
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147979262
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1200.77
Number of variables9464
Total number of constraints2614
Number of constraints which are clauses309
Number of constraints which are cardinality constraints (but not clauses)794
Number of constraints which are nor clauses,nor cardinality constraints1511
Minimum length of a constraint1
Maximum length of a constraint61

Trace number 20452 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        462516 kB
Buffers:         32848 kB
Cached:         516320 kB
SwapCached:          0 kB
Active:          87296 kB
Inactive:       464632 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        462236 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6844 kB
Slab:            14520 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 21:22:24 (client local time) WITH STATUS 143 IN 1254.9 SECONDS
stats: 14920 7 1254.9 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-berlin_5_8_0.opb
c reading problem 
c [nbvar=9464]
c [nbconstr=2614]
c time 32.996
c #vars     9464
c #clauses  1821
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=102400
c Current CPU time (ms) : 39.772
c starts	: 1
c conflicts	: 0
c decisions	: 3591
c propagations	: 9464
c inspects	: 32567
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=101376
c Current CPU time (ms) : 45.022
c starts	: 2
c conflicts	: 0
c decisions	: 7165
c propagations	: 18915
c inspects	: 63171
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=100352
c Current CPU time (ms) : 50.298
c starts	: 3
c conflicts	: 0
c decisions	: 10712
c propagations	: 28366
c inspects	: 94088
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 3
c 
c CURRENT OPTIMUM=99328
c Current CPU time (ms) : 55.568
c starts	: 4
c conflicts	: 0
c decisions	: 14233
c propagations	: 37817
c inspects	: 124949
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 4
c 
c CURRENT OPTIMUM=98304
c Current CPU time (ms) : 60.879
c starts	: 5
c conflicts	: 0
c decisions	: 17738
c propagations	: 47268
c inspects	: 155814
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 5
c 
c CURRENT OPTIMUM=97280
c Current CPU time (ms) : 66.171
c starts	: 6
c conflicts	: 0
c decisions	: 21235
c propagations	: 56719
c inspects	: 186773
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 6
c 
c CURRENT OPTIMUM=96256
c Current CPU time (ms) : 71.415
c starts	: 7
c conflicts	: 0
c decisions	: 24692
c propagations	: 66170
c inspects	: 217833
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 7
c 
c CURRENT OPTIMUM=95232
c Current CPU time (ms) : 84.419
c starts	: 8
c conflicts	: 4
c decisions	: 28620
c propagations	: 80543
c inspects	: 265448
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 0
c learned clauses	: 4
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): 0.74 0.89 0.89 2/54 20144
Raw data (stat): 20144 (runsolver) R 20143 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489934082 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.0008 s]
Raw data (loadavg): 0.86 0.91 0.89 2/63 20153
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 17998 0 1 0 869 39 0 0 25 0 10 0 489934082 855891968 19827 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208958 19827 13073 16 0 208942 0
vsize: 835832
[startup+20.0012 s]
Raw data (loadavg): 0.88 0.91 0.89 2/63 20153
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 17998 0 1 0 1765 39 0 0 25 0 10 0 489934082 854609920 20030 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 20030 13073 16 0 208629 0
vsize: 834580
[startup+30.002 s]
Raw data (loadavg): 0.90 0.91 0.90 2/63 20153
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 17998 0 1 0 2651 39 0 0 19 0 10 0 489934082 854609920 20534 4294967295 134512640 134569956 3221224400 3221214536 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208645 20534 13073 16 0 208629 0
vsize: 834580
[startup+40.0022 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 20154
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18039 0 1 0 3573 41 0 0 25 0 11 0 489934082 856092672 23643 4294967295 134512640 134569956 3221224400 3221214680 1131231769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209007 23643 13073 16 0 208991 0
vsize: 836028
[startup+50.0036 s]
Raw data (loadavg): 0.99 0.94 0.90 2/64 20156
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18040 3 1 0 4526 42 0 0 25 0 11 0 489934082 855805952 23556 4294967295 134512640 134569956 3221224400 3221214968 1131313881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208937 23556 13073 16 0 208921 0
vsize: 835748
[startup+60.0044 s]
Raw data (loadavg): 0.99 0.94 0.90 2/64 20158
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18040 3 1 0 5476 42 0 0 24 0 11 0 489934082 855724032 23557 4294967295 134512640 134569956 3221224400 3221214720 1131231105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208917 23557 13073 16 0 208901 0
vsize: 835668
[startup+70.0058 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 20160
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18040 3 1 0 6438 43 0 0 25 0 11 0 489934082 855724032 23693 4294967295 134512640 134569956 3221224400 3221214720 1131232348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208917 23693 13073 16 0 208901 0
vsize: 835668
[startup+80.0071 s]
Raw data (loadavg): 1.06 0.96 0.91 2/64 20161
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18090 3 1 0 7322 43 0 0 25 0 11 0 489934082 865280000 26196 4294967295 134512640 134569956 3221224400 3221214720 1131231850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211250 26196 13073 16 0 211234 0
vsize: 845000
[startup+90.0079 s]
Raw data (loadavg): 1.05 0.96 0.91 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18090 3 1 0 8285 43 0 0 25 0 11 0 489934082 861483008 25277 4294967295 134512640 134569956 3221224400 3221214816 1131331731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210323 25277 13073 16 0 210307 0
vsize: 841292
[startup+100.008 s]
Raw data (loadavg): 1.05 0.96 0.91 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18091 3 1 0 9218 43 0 0 25 0 11 0 489934082 856907776 24193 4294967295 134512640 134569956 3221224400 3221214920 1131360924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209206 24193 13073 16 0 209190 0
vsize: 836824
[startup+110.01 s]
Raw data (loadavg): 1.11 0.98 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18091 3 1 0 10176 44 0 0 25 0 11 0 489934082 864858112 26238 4294967295 134512640 134569956 3221224400 3221214656 1131425265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 26238 13073 16 0 211131 0
vsize: 844588
[startup+120.009 s]
Raw data (loadavg): 1.09 0.98 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 11150 44 0 0 25 0 11 0 489934082 864858112 26373 4294967295 134512640 134569956 3221224400 3221214816 1131333034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 26373 13073 16 0 211131 0
vsize: 844588
[startup+130.01 s]
Raw data (loadavg): 1.08 0.98 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 12118 44 0 0 25 0 11 0 489934082 864858112 26419 4294967295 134512640 134569956 3221224400 3221214776 1131430974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 26419 13073 16 0 211131 0
vsize: 844588
[startup+140.011 s]
Raw data (loadavg): 1.07 0.98 0.92 2/64 20162
Raw data (stat): 20144 (java) S 20143 10720 10719 0 -1 0 18092 3 1 0 13083 44 0 0 25 0 11 0 489934082 864858112 26452 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 26453 13073 16 0 211131 0
vsize: 844588
[startup+150.012 s]
Raw data (loadavg): 1.06 0.98 0.92 2/64 20162
Raw data (stat): 20144 (java) S 20143 10720 10719 0 -1 0 18092 3 1 0 14018 44 0 0 25 0 11 0 489934082 864858112 26598 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 26598 13073 16 0 211131 0
vsize: 844588
[startup+160.012 s]
Raw data (loadavg): 1.05 0.98 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 14959 45 0 0 25 0 11 0 489934082 864858112 26794 4294967295 134512640 134569956 3221224400 3221214720 1131231299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 26794 13073 16 0 211131 0
vsize: 844588
[startup+170.013 s]
Raw data (loadavg): 1.11 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 15907 45 0 0 25 0 11 0 489934082 864858112 27049 4294967295 134512640 134569956 3221224400 3221214752 1131238791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 27049 13073 16 0 211131 0
vsize: 844588
[startup+180.014 s]
Raw data (loadavg): 1.10 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 16868 45 0 0 25 0 11 0 489934082 864858112 27199 4294967295 134512640 134569956 3221224400 3221214776 1131430288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 27199 13073 16 0 211131 0
vsize: 844588
[startup+190.014 s]
Raw data (loadavg): 1.08 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 17831 46 0 0 24 0 11 0 489934082 864858112 27395 4294967295 134512640 134569956 3221224400 3221214720 1131231499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 27395 13073 16 0 211131 0
vsize: 844588
[startup+200.015 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 18802 46 0 0 25 0 11 0 489934082 864858112 27483 4294967295 134512640 134569956 3221224400 3221214816 1131331898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 27483 13073 16 0 211131 0
vsize: 844588
[startup+210.016 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 19769 46 0 0 25 0 11 0 489934082 864858112 27585 4294967295 134512640 134569956 3221224400 3221214720 1131231735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 27585 13073 16 0 211131 0
vsize: 844588
[startup+220.015 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 20741 47 0 0 25 0 11 0 489934082 864858112 27666 4294967295 134512640 134569956 3221224400 3221214816 1131332063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 27666 13073 16 0 211131 0
vsize: 844588
[startup+230.017 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 21703 47 0 0 25 0 11 0 489934082 864858112 27859 4294967295 134512640 134569956 3221224400 3221214880 1131412418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 27859 13073 16 0 211131 0
vsize: 844588
[startup+240.017 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 22668 47 0 0 25 0 11 0 489934082 864858112 27959 4294967295 134512640 134569956 3221224400 3221214720 1131231615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 27959 13073 16 0 211131 0
vsize: 844588
[startup+250.017 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 23637 47 0 0 25 0 11 0 489934082 864858112 28105 4294967295 134512640 134569956 3221224400 3221214880 1131412010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 28105 13073 16 0 211131 0
vsize: 844588
[startup+260.018 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 24606 48 0 0 25 0 11 0 489934082 864858112 28220 4294967295 134512640 134569956 3221224400 3221214816 1131332921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 28220 13073 16 0 211131 0
vsize: 844588
[startup+270.018 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 25571 48 0 0 25 0 11 0 489934082 864858112 28335 4294967295 134512640 134569956 3221224400 3221214736 1131614764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 28335 13073 16 0 211131 0
vsize: 844588
[startup+280.018 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 26541 48 0 0 25 0 11 0 489934082 864858112 28519 4294967295 134512640 134569956 3221224400 3221214816 1131331731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 28519 13073 16 0 211131 0
vsize: 844588
[startup+290.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 20162
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 27509 48 0 0 25 0 11 0 489934082 864858112 28654 4294967295 134512640 134569956 3221224400 3221214720 1131232075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 28654 13073 16 0 211131 0
vsize: 844588
[startup+300.021 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 28476 49 0 0 25 0 11 0 489934082 864858112 28761 4294967295 134512640 134569956 3221224400 3221214880 1131412427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 28761 13073 16 0 211131 0
vsize: 844588
[startup+310.021 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 29450 49 0 0 25 0 11 0 489934082 864858112 28921 4294967295 134512640 134569956 3221224400 3221214720 1131231638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 28921 13073 16 0 211131 0
vsize: 844588
[startup+320.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 30424 49 0 0 25 0 11 0 489934082 864858112 29049 4294967295 134512640 134569956 3221224400 3221214736 1131614883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 29049 13073 16 0 211131 0
vsize: 844588
[startup+330.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 31398 50 0 0 25 0 11 0 489934082 864858112 29152 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 29152 13073 16 0 211131 0
vsize: 844588
[startup+340.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 32370 50 0 0 25 0 11 0 489934082 864858112 29229 4294967295 134512640 134569956 3221224400 3221214816 1131331873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 29229 13073 16 0 211131 0
vsize: 844588
[startup+350.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 33342 50 0 0 25 0 11 0 489934082 864858112 29306 4294967295 134512640 134569956 3221224400 3221214792 1131229344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 29306 13073 16 0 211131 0
vsize: 844588
[startup+360.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 34313 50 0 0 25 0 11 0 489934082 864858112 29420 4294967295 134512640 134569956 3221224400 3221214776 1131430288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 29420 13073 16 0 211131 0
vsize: 844588
[startup+370.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 35285 50 0 0 25 0 11 0 489934082 864858112 29557 4294967295 134512640 134569956 3221224400 3221214632 1131574142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 29557 13073 16 0 211131 0
vsize: 844588
[startup+380.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 36256 51 0 0 25 0 11 0 489934082 864858112 29629 4294967295 134512640 134569956 3221224400 3221214720 1131231745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 29629 13073 16 0 211131 0
vsize: 844588
[startup+390.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 37229 51 0 0 25 0 11 0 489934082 864858112 29767 4294967295 134512640 134569956 3221224400 3221214736 1131614872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 29767 13073 16 0 211131 0
vsize: 844588
[startup+400.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 38188 51 0 0 24 0 11 0 489934082 864858112 29905 4294967295 134512640 134569956 3221224400 3221214720 1131232284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 29905 13073 16 0 211131 0
vsize: 844588
[startup+410.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 39155 52 0 0 25 0 11 0 489934082 864858112 30050 4294967295 134512640 134569956 3221224400 3221214720 1131231555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 30050 13073 16 0 211131 0
vsize: 844588
[startup+420.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 40118 52 0 0 25 0 11 0 489934082 864858112 30136 4294967295 134512640 134569956 3221224400 3221214720 1131231299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 30136 13073 16 0 211131 0
vsize: 844588
[startup+430.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 41078 53 0 0 25 0 11 0 489934082 864858112 30321 4294967295 134512640 134569956 3221224400 3221214816 1131332063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 30321 13073 16 0 211131 0
vsize: 844588
[startup+440.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 42034 53 0 0 25 0 11 0 489934082 864858112 30576 4294967295 134512640 134569956 3221224400 3221214720 1131232351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 30576 13073 16 0 211131 0
vsize: 844588
[startup+450.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 42996 53 0 0 25 0 11 0 489934082 864858112 30799 4294967295 134512640 134569956 3221224400 3221214720 1131231147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 30799 13073 16 0 211131 0
vsize: 844588
[startup+460.036 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 43957 53 0 0 25 0 11 0 489934082 864858112 31193 4294967295 134512640 134569956 3221224400 3221214736 1131614752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 31193 13073 16 0 211131 0
vsize: 844588
[startup+470.037 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 44926 53 0 0 25 0 11 0 489934082 864858112 31401 4294967295 134512640 134569956 3221224400 3221214720 1131231781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 31401 13073 16 0 211131 0
vsize: 844588
[startup+480.038 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 45897 53 0 0 25 0 11 0 489934082 864858112 31504 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 31504 13073 16 0 211131 0
vsize: 844588
[startup+490.038 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 46868 53 0 0 25 0 11 0 489934082 864858112 31738 4294967295 134512640 134569956 3221224400 3221214720 1131231809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 31738 13073 16 0 211131 0
vsize: 844588
[startup+500.039 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 47843 54 0 0 25 0 11 0 489934082 864858112 31906 4294967295 134512640 134569956 3221224400 3221214816 1131332063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 31906 13073 16 0 211131 0
vsize: 844588
[startup+510.04 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 48818 54 0 0 24 0 11 0 489934082 864858112 31991 4294967295 134512640 134569956 3221224400 3221214720 1131232404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 31991 13073 16 0 211131 0
vsize: 844588
[startup+520.04 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 49793 54 0 0 24 0 11 0 489934082 864858112 32081 4294967295 134512640 134569956 3221224400 3221214688 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 32081 13073 16 0 211131 0
vsize: 844588
[startup+530.041 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 50771 54 0 0 25 0 11 0 489934082 864858112 32183 4294967295 134512640 134569956 3221224400 3221214736 1131313881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 32183 13073 16 0 211131 0
vsize: 844588
[startup+540.042 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 51746 54 0 0 25 0 11 0 489934082 864858112 32290 4294967295 134512640 134569956 3221224400 3221214720 1131231421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 32290 13073 16 0 211131 0
vsize: 844588
[startup+550.042 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 52720 54 0 0 25 0 11 0 489934082 864858112 32402 4294967295 134512640 134569956 3221224400 3221214720 1131231781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 32402 13073 16 0 211131 0
vsize: 844588
[startup+560.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 53691 54 0 0 25 0 11 0 489934082 864858112 32502 4294967295 134512640 134569956 3221224400 3221214776 1131431821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 32502 13073 16 0 211131 0
vsize: 844588
[startup+570.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 54662 54 0 0 25 0 11 0 489934082 864858112 32629 4294967295 134512640 134569956 3221224400 3221214720 1131232444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 32629 13073 16 0 211131 0
vsize: 844588
[startup+580.043 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 55633 54 0 0 25 0 11 0 489934082 864858112 32731 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 32731 13073 16 0 211131 0
vsize: 844588
[startup+590.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 56605 54 0 0 24 0 11 0 489934082 864858112 32909 4294967295 134512640 134569956 3221224400 3221214880 1131412000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 32909 13073 16 0 211131 0
vsize: 844588
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 57582 54 0 0 25 0 11 0 489934082 864858112 33020 4294967295 134512640 134569956 3221224400 3221214720 1131232423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 33020 13073 16 0 211131 0
vsize: 844588
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 58559 54 0 0 24 0 11 0 489934082 864858112 33106 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 33106 13073 16 0 211131 0
vsize: 844588
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 59541 54 0 0 25 0 11 0 489934082 864858112 33157 4294967295 134512640 134569956 3221224400 3221214720 1131231689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 33157 13073 16 0 211131 0
vsize: 844588
[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 60518 54 0 0 25 0 11 0 489934082 864858112 33225 4294967295 134512640 134569956 3221224400 3221214632 1131280023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 33225 13073 16 0 211131 0
vsize: 844588
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 61501 54 0 0 25 0 11 0 489934082 864858112 33281 4294967295 134512640 134569956 3221224400 3221214720 1131232126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 33281 13073 16 0 211131 0
vsize: 844588
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 62484 54 0 0 25 0 11 0 489934082 864858112 33324 4294967295 134512640 134569956 3221224400 3221214736 1131614872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 33324 13073 16 0 211131 0
vsize: 844588
[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 63466 54 0 0 25 0 11 0 489934082 864858112 33377 4294967295 134512640 134569956 3221224400 3221214736 1131614752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 33377 13073 16 0 211131 0
vsize: 844588
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 64452 54 0 0 25 0 11 0 489934082 864858112 33421 4294967295 134512640 134569956 3221224400 3221214736 1131614764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211147 33421 13073 16 0 211131 0
vsize: 844588
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 65441 55 0 0 25 0 11 0 489934082 864858112 33456 4294967295 134512640 134569956 3221224400 3221214736 1131614876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 33456 13073 16 0 211131 0
vsize: 844588
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 66426 55 0 0 25 0 11 0 489934082 864858112 33521 4294967295 134512640 134569956 3221224400 3221214880 1131412266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 33521 13073 16 0 211131 0
vsize: 844588
[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 67413 55 0 0 25 0 11 0 489934082 864858112 33581 4294967295 134512640 134569956 3221224400 3221214560 1131626721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 33581 13073 16 0 211131 0
vsize: 844588
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 68402 55 0 0 25 0 11 0 489934082 864858112 33592 4294967295 134512640 134569956 3221224400 3221214736 1131614764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 33592 13073 16 0 211131 0
vsize: 844588
[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 69369 56 0 0 25 0 11 0 489934082 864858112 33634 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 33634 13073 16 0 211131 0
vsize: 844588
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 70321 56 0 0 25 0 11 0 489934082 864858112 33719 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 33719 13073 16 0 211131 0
vsize: 844588
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 71299 56 0 0 25 0 11 0 489934082 864858112 33771 4294967295 134512640 134569956 3221224400 3221214116 1131745741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 33771 13073 16 0 211131 0
vsize: 844588
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 72262 57 0 0 25 0 11 0 489934082 864858112 33823 4294967295 134512640 134569956 3221224400 3221214720 1131231735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 33823 13073 16 0 211131 0
vsize: 844588
[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 73222 57 0 0 25 0 11 0 489934082 864858112 33866 4294967295 134512640 134569956 3221224400 3221214736 1131614752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 33866 13073 16 0 211131 0
vsize: 844588
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 74189 57 0 0 25 0 11 0 489934082 864858112 33962 4294967295 134512640 134569956 3221224400 3221214840 1131502529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 33962 13073 16 0 211131 0
vsize: 844588
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 75151 57 0 0 25 0 11 0 489934082 864858112 34254 4294967295 134512640 134569956 3221224400 3221214816 1131332063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 34254 13073 16 0 211131 0
vsize: 844588
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 76115 57 0 0 25 0 11 0 489934082 864858112 34292 4294967295 134512640 134569956 3221224400 3221214720 1131232501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 34292 13073 16 0 211131 0
vsize: 844588
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 77085 57 0 0 25 0 11 0 489934082 864858112 34358 4294967295 134512640 134569956 3221224400 3221214640 1131597461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 34358 13073 16 0 211131 0
vsize: 844588
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 78045 58 0 0 25 0 11 0 489934082 864858112 34505 4294967295 134512640 134569956 3221224400 3221214888 1131457839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 34505 13073 16 0 211131 0
vsize: 844588
[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 79015 58 0 0 25 0 11 0 489934082 864858112 34560 4294967295 134512640 134569956 3221224400 3221214776 1131430288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 34560 13073 16 0 211131 0
vsize: 844588
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 79984 58 0 0 25 0 11 0 489934082 864858112 34631 4294967295 134512640 134569956 3221224400 3221214812 1131231084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 34631 13073 16 0 211131 0
vsize: 844588
[startup+840.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 80951 58 0 0 25 0 11 0 489934082 864858112 34754 4294967295 134512640 134569956 3221224400 3221214776 1131430270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 34754 13073 16 0 211131 0
vsize: 844588
[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 81919 59 0 0 25 0 11 0 489934082 864858112 34855 4294967295 134512640 134569956 3221224400 3221214384 1131748380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 34855 13073 16 0 211131 0
vsize: 844588
[startup+860.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 82888 59 0 0 25 0 11 0 489934082 864858112 34946 4294967295 134512640 134569956 3221224400 3221214720 1131231512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 34946 13073 16 0 211131 0
vsize: 844588
[startup+870.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 83856 60 0 0 25 0 11 0 489934082 864858112 35066 4294967295 134512640 134569956 3221224400 3221214424 1131597944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 35066 13073 16 0 211131 0
vsize: 844588
[startup+880.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 84823 60 0 0 25 0 11 0 489934082 864858112 35192 4294967295 134512640 134569956 3221224400 3221214720 1131232497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 35192 13073 16 0 211131 0
vsize: 844588
[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) S 20143 10720 10719 0 -1 0 18092 3 1 0 85733 61 0 0 25 0 11 0 489934082 864858112 35531 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 35531 13073 16 0 211131 0
vsize: 844588
[startup+900.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 86672 61 0 0 25 0 11 0 489934082 864858112 35780 4294967295 134512640 134569956 3221224400 3221214816 1131333150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 35780 13073 16 0 211131 0
vsize: 844588
[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 87620 61 0 0 25 0 11 0 489934082 864858112 35977 4294967295 134512640 134569956 3221224400 3221214628 1131351011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 35977 13073 16 0 211131 0
vsize: 844588
[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 88579 62 0 0 25 0 11 0 489934082 864858112 36195 4294967295 134512640 134569956 3221224400 3221214648 1131748974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 36195 13073 16 0 211131 0
vsize: 844588
[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 89544 62 0 0 25 0 11 0 489934082 864858112 36328 4294967295 134512640 134569956 3221224400 3221214736 1131614764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 36328 13073 16 0 211131 0
vsize: 844588
[startup+940.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 90515 62 0 0 25 0 11 0 489934082 864858112 36416 4294967295 134512640 134569956 3221224400 3221214880 1131412427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 36416 13073 16 0 211131 0
vsize: 844588
[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 91487 62 0 0 25 0 11 0 489934082 864858112 36455 4294967295 134512640 134569956 3221224400 3221214720 1131231731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 36455 13073 16 0 211131 0
vsize: 844588
[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 92461 63 0 0 25 0 11 0 489934082 864858112 36486 4294967295 134512640 134569956 3221224400 3221214880 1131412269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 36486 13073 16 0 211131 0
vsize: 844588
[startup+970.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 93430 63 0 0 25 0 11 0 489934082 864858112 36601 4294967295 134512640 134569956 3221224400 3221214728 1131490144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 36601 13073 16 0 211131 0
vsize: 844588
[startup+980.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 94397 63 0 0 25 0 11 0 489934082 864858112 36658 4294967295 134512640 134569956 3221224400 3221214288 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 36658 13073 16 0 211131 0
vsize: 844588
[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 95364 63 0 0 25 0 11 0 489934082 864858112 36738 4294967295 134512640 134569956 3221224400 3221214816 1131333123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 36738 13073 16 0 211131 0
vsize: 844588
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 96335 64 0 0 25 0 11 0 489934082 864858112 36971 4294967295 134512640 134569956 3221224400 3221214832 1131360933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 36971 13073 16 0 211131 0
vsize: 844588
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 97312 64 0 0 25 0 11 0 489934082 864858112 37179 4294967295 134512640 134569956 3221224400 3221214720 1131232384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 37179 13073 16 0 211131 0
vsize: 844588
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 98282 65 0 0 25 0 11 0 489934082 864858112 37248 4294967295 134512640 134569956 3221224400 3221214720 1131231718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 37248 13073 16 0 211131 0
vsize: 844588
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 99250 65 0 0 25 0 11 0 489934082 864858112 37310 4294967295 134512640 134569956 3221224400 3221214816 1131333101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 37310 13073 16 0 211131 0
vsize: 844588
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 100221 66 0 0 25 0 11 0 489934082 864858112 37359 4294967295 134512640 134569956 3221224400 3221214720 1131231726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 37359 13073 16 0 211131 0
vsize: 844588
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 101187 66 0 0 25 0 11 0 489934082 864858112 37426 4294967295 134512640 134569956 3221224400 3221214420 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 37426 13073 16 0 211131 0
vsize: 844588
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 102153 67 0 0 25 0 11 0 489934082 864858112 37828 4294967295 134512640 134569956 3221224400 3221214816 1131336016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 37828 13073 16 0 211131 0
vsize: 844588
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 103120 67 0 0 25 0 11 0 489934082 864858112 37924 4294967295 134512640 134569956 3221224400 3221214424 1080217376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 37924 13073 16 0 211131 0
vsize: 844588
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 104094 67 0 0 25 0 11 0 489934082 864858112 38001 4294967295 134512640 134569956 3221224400 3221214736 1131614861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 38001 13073 16 0 211131 0
vsize: 844588
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 105062 68 0 0 25 0 11 0 489934082 864858112 38103 4294967295 134512640 134569956 3221224400 3221214888 1131457542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 38103 13073 16 0 211131 0
vsize: 844588
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 106033 68 0 0 25 0 11 0 489934082 864858112 38429 4294967295 134512640 134569956 3221224400 3221214816 1131337053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 38429 13073 16 0 211131 0
vsize: 844588
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 107008 69 0 0 25 0 11 0 489934082 864858112 38491 4294967295 134512640 134569956 3221224400 3221214816 1131333098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 38491 13073 16 0 211131 0
vsize: 844588
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 107984 69 0 0 25 0 11 0 489934082 864858112 38548 4294967295 134512640 134569956 3221224400 3221214736 1131614767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 38548 13073 16 0 211131 0
vsize: 844588
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 108959 70 0 0 25 0 11 0 489934082 864858112 38759 4294967295 134512640 134569956 3221224400 3221214776 1131431842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 38759 13073 16 0 211131 0
vsize: 844588
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 109930 70 0 0 25 0 11 0 489934082 864858112 38828 4294967295 134512640 134569956 3221224400 3221214816 1131334135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 38828 13073 16 0 211131 0
vsize: 844588
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 110897 70 0 0 25 0 11 0 489934082 864858112 38892 4294967295 134512640 134569956 3221224400 3221214736 1131614876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 38892 13073 16 0 211131 0
vsize: 844588
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 111858 70 0 0 25 0 11 0 489934082 864858112 38963 4294967295 134512640 134569956 3221224400 3221214752 1131238753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 38963 13073 16 0 211131 0
vsize: 844588
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 112826 71 0 0 25 0 11 0 489934082 864858112 39059 4294967295 134512640 134569956 3221224400 3221214920 1131360920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 39059 13073 16 0 211131 0
vsize: 844588
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 113790 71 0 0 25 0 11 0 489934082 864858112 39622 4294967295 134512640 134569956 3221224400 3221214720 1131232501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 39622 13073 16 0 211131 0
vsize: 844588
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 114763 71 0 0 25 0 11 0 489934082 864858112 39794 4294967295 134512640 134569956 3221224400 3221214560 1131747403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 39794 13073 16 0 211131 0
vsize: 844588
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 115741 71 0 0 25 0 11 0 489934082 864858112 39859 4294967295 134512640 134569956 3221224400 3221214720 1131231299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 39859 13073 16 0 211131 0
vsize: 844588
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 116715 72 0 0 25 0 11 0 489934082 864858112 39947 4294967295 134512640 134569956 3221224400 3221214720 1131231538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 39947 13073 16 0 211131 0
vsize: 844588
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 117693 72 0 0 25 0 11 0 489934082 864858112 40050 4294967295 134512640 134569956 3221224400 3221214736 1131614861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 40050 13073 16 0 211131 0
vsize: 844588
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 118669 73 0 0 25 0 11 0 489934082 864858112 40167 4294967295 134512640 134569956 3221224400 3221214720 1131232369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 40167 13073 16 0 211131 0
vsize: 844588
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 119641 73 0 0 25 0 11 0 489934082 864858112 40211 4294967295 134512640 134569956 3221224400 3221214816 1131332063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 40211 13073 16 0 211131 0
vsize: 844588
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20164
Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 120605 73 0 0 25 0 11 0 489934082 864858112 40312 4294967295 134512640 134569956 3221224400 3221214720 1131231538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211147 40312 13073 16 0 211131 0
vsize: 844588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.21 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 20166
Raw data (stat): 20144 (java) Z 20143 10720 10719 0 -1 1036 18092 22961 1 0 120611 73 4741 63 25 0 1 0 489934082 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): 1250.21
CPU time (s): 1254.9
CPU user time (s): 1253.53
CPU system time (s): 1.37179
CPU usage (%): 100.375
Max. virtual memory (Kb): 845000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####