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/milp/normalized-mps-v2-20-10-neos8.opb
MD5SUM74f2ccfaf3fc18110d6ed0b0b3cd2342
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -3719
Optimality of the best value was proved NO
Number of terms in the objective function 68
Biggest coefficient in the objective function 2700
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 54380
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2700
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 54380
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark37.6673
Number of variables23264
Total number of constraints69552
Number of constraints which are clauses20804
Number of constraints which are cardinality constraints (but not clauses)23228
Number of constraints which are nor clauses,nor cardinality constraints25520
Minimum length of a constraint1
Maximum length of a constraint2747

Trace number 20588 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-21 21:27:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14751 boxname=wulflinc27 idbench=1135 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  74f2ccfaf3fc18110d6ed0b0b3cd2342  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-neos8.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-neos8.opb
IDLAUNCH: 14751
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        471160 kB
Buffers:         25644 kB
Cached:         514104 kB
SwapCached:        512 kB
Active:          96864 kB
Inactive:       444824 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        470908 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            16028 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 21:49:11 (client local time) WITH STATUS 143 IN 1282.37 SECONDS
stats: 14751 7 1282.37 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-neos8.opb
c reading problem 
c [nbvar=23264]
c [nbconstr=69552]
c time 236.571
c #vars     23264
c #clauses  46340
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) : 240.951
c starts	: 1
c conflicts	: 0
c decisions	: 68
c propagations	: 23264
c inspects	: 66100
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=-342
c Current CPU time (ms) : 242.816
c starts	: 2
c conflicts	: 0
c decisions	: 129
c propagations	: 46416
c inspects	: 129957
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=-534
c Current CPU time (ms) : 244.82
c starts	: 3
c conflicts	: 0
c decisions	: 188
c propagations	: 69568
c inspects	: 193751
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=-630
c Current CPU time (ms) : 246.666
c starts	: 4
c conflicts	: 0
c decisions	: 245
c propagations	: 92720
c inspects	: 257546
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=-678
c Current CPU time (ms) : 248.702
c starts	: 5
c conflicts	: 0
c decisions	: 300
c propagations	: 115872
c inspects	: 321345
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=-702
c Current CPU time (ms) : 250.561
c starts	: 6
c conflicts	: 0
c decisions	: 353
c propagations	: 139024
c inspects	: 385148
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=-714
c Current CPU time (ms) : 252.395
c starts	: 7
c conflicts	: 0
c decisions	: 403
c propagations	: 162176
c inspects	: 448954
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=-845
c Current CPU time (ms) : 255.83
c starts	: 8
c conflicts	: 1
c decisions	: 481
c propagations	: 185360
c inspects	: 512790
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 8
c 
c CURRENT OPTIMUM=-847
c Current CPU time (ms) : 257.926
c starts	: 9
c conflicts	: 1
c decisions	: 507
c propagations	: 208512
c inspects	: 575427
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 9
c 
c CURRENT OPTIMUM=-851
c Current CPU time (ms) : 260.379
c starts	: 10
c conflicts	: 2
c decisions	: 550
c propagations	: 231681
c inspects	: 637662
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 10
c 
c CURRENT OPTIMUM=-852
c Current CPU time (ms) : 271.012
c starts	: 11
c conflicts	: 6
c decisions	: 577
c propagations	: 254923
c inspects	: 703702
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 11
c 
c CURRENT OPTIMUM=-1585
c Current CPU time (ms) : 273.321
c starts	: 12
c conflicts	: 6
c decisions	: 612
c propagations	: 278075
c inspects	: 768822
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 12
c 
c CURRENT OPTIMUM=-1587
c Current CPU time (ms) : 275.225
c starts	: 13
c conflicts	: 6
c decisions	: 644
c propagations	: 301227
c inspects	: 829324
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 13
c 
c CURRENT OPTIMUM=-1589
c Current CPU time (ms) : 277.093
c starts	: 14
c conflicts	: 6
c decisions	: 675
c propagations	: 324379
c inspects	: 889497
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 14
c 
c CURRENT OPTIMUM=-1591
c Current CPU time (ms) : 279.144
c starts	: 15
c conflicts	: 6
c decisions	: 706
c propagations	: 347531
c inspects	: 949682
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 15
c 
c CURRENT OPTIMUM=-1593
c Current CPU time (ms) : 281.015
c starts	: 16
c conflicts	: 6
c decisions	: 736
c propagations	: 370683
c inspects	: 1009862
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 16
c 
c CURRENT OPTIMUM=-1899
c Current CPU time (ms) : 283.209
c starts	: 17
c conflicts	: 6
c decisions	: 772
c propagations	: 393835
c inspects	: 1070127
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 17
c 
c CURRENT OPTIMUM=-1901
c Current CPU time (ms) : 285.208
c starts	: 18
c conflicts	: 6
c decisions	: 804
c propagations	: 416987
c inspects	: 1130386
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 18
c 
c CURRENT OPTIMUM=-1903
c Current CPU time (ms) : 287.166
c starts	: 19
c conflicts	: 6
c decisions	: 836
c propagations	: 440139
c inspects	: 1190659
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 19
c 
c CURRENT OPTIMUM=-1905
c Current CPU time (ms) : 289.068
c starts	: 20
c conflicts	: 6
c decisions	: 867
c propagations	: 463291
c inspects	: 1250925
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 20
c 
c CURRENT OPTIMUM=-1907
c Current CPU time (ms) : 291.086
c starts	: 21
c conflicts	: 6
c decisions	: 899
c propagations	: 486443
c inspects	: 1311226
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 21
c 
c CURRENT OPTIMUM=-1909
c Current CPU time (ms) : 292.938
c starts	: 22
c conflicts	: 6
c decisions	: 930
c propagations	: 509595
c inspects	: 1371518
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 22
c 
c CURRENT OPTIMUM=-1911
c Current CPU time (ms) : 294.895
c starts	: 23
c conflicts	: 6
c decisions	: 961
c propagations	: 532747
c inspects	: 1431823
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 23
c 
c CURRENT OPTIMUM=-1913
c Current CPU time (ms) : 296.745
c starts	: 24
c conflicts	: 6
c decisions	: 991
c propagations	: 555899
c inspects	: 1492116
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 24
c 
c CURRENT OPTIMUM=-1963
c Current CPU time (ms) : 298.753
c starts	: 25
c conflicts	: 6
c decisions	: 1025
c propagations	: 579051
c inspects	: 1552473
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 25
c 
c CURRENT OPTIMUM=-1965
c Current CPU time (ms) : 300.661
c starts	: 26
c conflicts	: 6
c decisions	: 1053
c propagations	: 602203
c inspects	: 1612817
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 26
c 
c CURRENT OPTIMUM=-1967
c Current CPU time (ms) : 302.674
c starts	: 27
c conflicts	: 6
c decisions	: 1081
c propagations	: 625355
c inspects	: 1673174
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 27
c 
c CURRENT OPTIMUM=-1969
c Current CPU time (ms) : 304.595
c starts	: 28
c conflicts	: 6
c decisions	: 1108
c propagations	: 648507
c inspects	: 1733515
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 28
c 
c CURRENT OPTIMUM=-1971
c Current CPU time (ms) : 306.595
c starts	: 29
c conflicts	: 6
c decisions	: 1136
c propagations	: 671659
c inspects	: 1793898
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 29
c 
c CURRENT OPTIMUM=-1973
c Current CPU time (ms) : 308.429
c starts	: 30
c conflicts	: 6
c decisions	: 1163
c propagations	: 694811
c inspects	: 1854263
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 30
c 
c CURRENT OPTIMUM=-1975
c Current CPU time (ms) : 310.349
c starts	: 31
c conflicts	: 6
c decisions	: 1190
c propagations	: 717963
c inspects	: 1914640
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 31
c 
c CURRENT OPTIMUM=-1977
c Current CPU time (ms) : 312.17
c starts	: 32
c conflicts	: 6
c decisions	: 1216
c propagations	: 741115
c inspects	: 1974996
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 32
c 
c CURRENT OPTIMUM=-2027
c Current CPU time (ms) : 314.338
c starts	: 33
c conflicts	: 6
c decisions	: 1247
c propagations	: 764267
c inspects	: 2035465
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 33
c 
c CURRENT OPTIMUM=-2029
c Current CPU time (ms) : 316.3
c starts	: 34
c conflicts	: 6
c decisions	: 1273
c propagations	: 787419
c inspects	: 2095913
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 34
c 
c CURRENT OPTIMUM=-2031
c Current CPU time (ms) : 318.299
c starts	: 35
c conflicts	: 6
c decisions	: 1299
c propagations	: 810571
c inspects	: 2156374
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 35
c 
c CURRENT OPTIMUM=-2033
c Current CPU time (ms) : 320.192
c starts	: 36
c conflicts	: 6
c decisions	: 1324
c propagations	: 833723
c inspects	: 2216811
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 36
c 
c CURRENT OPTIMUM=-2035
c Current CPU time (ms) : 322.176
c starts	: 37
c conflicts	: 6
c decisions	: 1350
c propagations	: 856875
c inspects	: 2277298
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 37
c 
c CURRENT OPTIMUM=-2037
c Current CPU time (ms) : 324.056
c starts	: 38
c conflicts	: 6
c decisions	: 1375
c propagations	: 880027
c inspects	: 2337759
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 38
c 
c CURRENT OPTIMUM=-2039
c Current CPU time (ms) : 326.042
c starts	: 39
c conflicts	: 6
c decisions	: 1400
c propagations	: 903179
c inspects	: 2398232
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 39
c 
c CURRENT OPTIMUM=-2041
c Current CPU time (ms) : 327.908
c starts	: 40
c conflicts	: 6
c decisions	: 1424
c propagations	: 926331
c inspects	: 2458676
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 40
c 
c CURRENT OPTIMUM=-2091
c Current CPU time (ms) : 329.925
c starts	: 41
c conflicts	: 6
c decisions	: 1452
c propagations	: 949483
c inspects	: 2519215
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 41
c 
c CURRENT OPTIMUM=-2093
c Current CPU time (ms) : 331.82
c starts	: 42
c conflicts	: 6
c decisions	: 1474
c propagations	: 972635
c inspects	: 2579721
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 42
c 
c CURRENT OPTIMUM=-2095
c Current CPU time (ms) : 333.821
c starts	: 43
c conflicts	: 6
c decisions	: 1496
c propagations	: 995787
c inspects	: 2640239
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 43
c 
c CURRENT OPTIMUM=-2097
c Current CPU time (ms) : 335.844
c starts	: 44
c conflicts	: 6
c decisions	: 1517
c propagations	: 1018939
c inspects	: 2700725
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 44
c 
c CURRENT OPTIMUM=-2099
c Current CPU time (ms) : 337.925
c starts	: 45
c conflicts	: 6
c decisions	: 1539
c propagations	: 1042091
c inspects	: 2761268
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 45
c 
c CURRENT OPTIMUM=-2101
c Current CPU time (ms) : 339.8
c starts	: 46
c conflicts	: 6
c decisions	: 1559
c propagations	: 1065243
c inspects	: 2821776
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 46
c 
c CURRENT OPTIMUM=-2103
c Current CPU time (ms) : 341.778
c starts	: 47
c conflicts	: 6
c decisions	: 1579
c propagations	: 1088395
c inspects	: 2882295
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 47
c 
c CURRENT OPTIMUM=-2105
c Current CPU time (ms) : 343.644
c starts	: 48
c conflicts	: 6
c decisions	: 1598
c propagations	: 1111547
c inspects	: 2942779
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 48
c 
c CURRENT OPTIMUM=-2107
c Current CPU time (ms) : 345.69
c starts	: 49
c conflicts	: 6
c decisions	: 1617
c propagations	: 1134699
c inspects	: 3003326
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 49
c 
c CURRENT OPTIMUM=-2109
c Current CPU time (ms) : 347.601
c starts	: 50
c conflicts	: 6
c decisions	: 1635
c propagations	: 1157851
c inspects	: 3063833
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 50
c 
c CURRENT OPTIMUM=-2113
c Current CPU time (ms) : 365.111
c starts	: 51
c conflicts	: 11
c decisions	: 1660
c propagations	: 1181094
c inspects	: 3125429
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 11
c root simplifications	: 51
c 
c CURRENT OPTIMUM=-2115
c Current CPU time (ms) : 405.699
c starts	: 52
c conflicts	: 25
c decisions	: 1759
c propagations	: 1246379
c inspects	: 3269799
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 25
c root simplifications	: 54
c 
c CURRENT OPTIMUM=-3000
c Current CPU time (ms) : 408.148
c starts	: 53
c conflicts	: 25
c decisions	: 1798
c propagations	: 1269529
c inspects	: 3336673
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 25
c root simplifications	: 55
c 
c CURRENT OPTIMUM=-3008
c Current CPU time (ms) : 410.363
c starts	: 54
c conflicts	: 25
c decisions	: 1824
c propagations	: 1292679
c inspects	: 3399067
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 25
c root simplifications	: 56
c 
c CURRENT OPTIMUM=-3016
c Current CPU time (ms) : 412.847
c starts	: 55
c conflicts	: 26
c decisions	: 1848
c propagations	: 1315833
c inspects	: 3461297
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 26
c root simplifications	: 57
c 
c CURRENT OPTIMUM=-3106
c Current CPU time (ms) : 444.374
c starts	: 56
c conflicts	: 29
c decisions	: 1876
c propagations	: 1339063
c inspects	: 3524679
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 29
c root simplifications	: 58
c 
c CURRENT OPTIMUM=-3109
c Current CPU time (ms) : 447.498
c starts	: 57
c conflicts	: 29
c decisions	: 1895
c propagations	: 1362213
c inspects	: 3587055
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 29
c root simplifications	: 59
c 
c CURRENT OPTIMUM=-3111
c Current CPU time (ms) : 450.8
c starts	: 58
c conflicts	: 29
c decisions	: 1912
c propagations	: 1385363
c inspects	: 3649554
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 29
c root simplifications	: 60
c 
c CURRENT OPTIMUM=-3119
c Current CPU time (ms) : 494.651
c starts	: 59
c conflicts	: 33
c decisions	: 1938
c propagations	: 1408589
c inspects	: 3713170
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 33
c root simplifications	: 61
c 
c CURRENT OPTIMUM=-3121
c Current CPU time (ms) : 725.626
c starts	: 60
c conflicts	: 56
c decisions	: 1989
c propagations	: 1432261
c inspects	: 3783857
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 56
c root simplifications	: 62
c 
c CURRENT OPTIMUM=-3138
c Current CPU time (ms) : 738.64
c starts	: 61
c conflicts	: 56
c decisions	: 2014
c propagations	: 1455411
c inspects	: 3848656
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 56
c root simplifications	: 63
c 
c CURRENT OPTIMUM=-3146
c Current CPU time (ms) : 751.019
c starts	: 62
c conflicts	: 56
c decisions	: 2035
c propagations	: 1478561
c inspects	: 3912271
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 56
c root simplifications	: 64
c 
c CURRENT OPTIMUM=-3154
c Current CPU time (ms) : 763.183
c starts	: 63
c conflicts	: 57
c decisions	: 2056
c propagations	: 1501718
c inspects	: 3975970
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 57
c root simplifications	: 65
c 
c CURRENT OPTIMUM=-3172
c Current CPU time (ms) : 774.473
c starts	: 64
c conflicts	: 57
c decisions	: 2079
c propagations	: 1524868
c inspects	: 4039212
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 57
c root simplifications	: 66
c 
c CURRENT OPTIMUM=-3173
c Current CPU time (ms) : 790.202
c starts	: 65
c conflicts	: 61
c decisions	: 2107
c propagations	: 1548093
c inspects	: 4103915
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 61
c root simplifications	: 67
c 
c CURRENT OPTIMUM=-3176
c Current CPU time (ms) : 982.411
c starts	: 66
c conflicts	: 62
c decisions	: 2138
c propagations	: 1592016
c inspects	: 4234915
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 62
c root simplifications	: 68
c 
c CURRENT OPTIMUM=-3215
c Current CPU time (ms) : 990.274
c starts	: 67
c conflicts	: 63
c decisions	: 2176
c propagations	: 1615174
c inspects	: 4296276
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 63
c root simplifications	: 69
c 
c CURRENT OPTIMUM=-3216
c Current CPU time (ms) : 1112.264
c starts	: 68
c conflicts	: 71
c decisions	: 2205
c propagations	: 1638483
c inspects	: 4364263
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 71
c root simplifications	: 70
c 
c CURRENT OPTIMUM=-3220
c Current CPU time (ms) : 1125.061
c starts	: 69
c conflicts	: 71
c decisions	: 2221
c propagations	: 1661633
c inspects	: 4427868
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 71
c root simplifications	: 71
c 
c CURRENT OPTIMUM=-3223
c Current CPU time (ms) : 1140.373
c starts	: 70
c conflicts	: 73
c decisions	: 2237
c propagations	: 1684798
c inspects	: 4491759
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 73
c root simplifications	: 72
#### 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.93 0.98 0.93 2/54 26568
Raw data (stat): 26568 (runsolver) R 26567 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548315834 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.94 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 880 39 0 0 25 0 10 0 548315834 855277568 19478 4294967295 134512640 134569956 3221224400 3221214784 1131191427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208808 19478 13073 16 0 208792 0
vsize: 835232
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 1800 39 0 0 24 0 10 0 548315834 854982656 19716 4294967295 134512640 134569956 3221224400 3221214528 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 19716 13073 16 0 208720 0
vsize: 834944
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 2713 39 0 0 25 0 10 0 548315834 854982656 20118 4294967295 134512640 134569956 3221224400 3221214480 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 20118 13073 16 0 208720 0
vsize: 834944
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 3648 40 0 0 25 0 10 0 548315834 854982656 20289 4294967295 134512640 134569956 3221224400 3221214408 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 20289 13073 16 0 208720 0
vsize: 834944
[startup+50.0027 s]
Raw data (loadavg): 0.97 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 4593 40 0 0 25 0 10 0 548315834 854982656 20445 4294967295 134512640 134569956 3221224400 3221214528 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 20445 13073 16 0 208720 0
vsize: 834944
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 5538 40 0 0 25 0 10 0 548315834 854982656 20669 4294967295 134512640 134569956 3221224400 3221214304 1131173132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 20669 13073 16 0 208720 0
vsize: 834944
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 6475 40 0 0 25 0 10 0 548315834 854982656 20754 4294967295 134512640 134569956 3221224400 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 20754 13073 16 0 208720 0
vsize: 834944
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 7415 40 0 0 25 0 10 0 548315834 854982656 20830 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 20830 13073 16 0 208720 0
vsize: 834944
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 8364 40 0 0 25 0 10 0 548315834 854982656 20980 4294967295 134512640 134569956 3221224400 3221214088 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 20980 13073 16 0 208720 0
vsize: 834944
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 9313 40 0 0 25 0 10 0 548315834 854982656 21043 4294967295 134512640 134569956 3221224400 3221214088 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 21043 13073 16 0 208720 0
vsize: 834944
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 10262 41 0 0 25 0 10 0 548315834 854982656 21104 4294967295 134512640 134569956 3221224400 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 21104 13073 16 0 208720 0
vsize: 834944
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 11212 41 0 0 25 0 10 0 548315834 854982656 21160 4294967295 134512640 134569956 3221224400 3221214280 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 21160 13073 16 0 208720 0
vsize: 834944
[startup+130.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) S 26567 18865 18864 0 -1 0 18004 0 1 0 12162 41 0 0 25 0 10 0 548315834 854982656 21213 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 21213 13073 16 0 208720 0
vsize: 834944
[startup+140.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 13108 41 0 0 25 0 10 0 548315834 854982656 21266 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 21266 13073 16 0 208720 0
vsize: 834944
[startup+150.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 14057 41 0 0 25 0 10 0 548315834 854982656 21314 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 21314 13073 16 0 208720 0
vsize: 834944
[startup+160.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 15006 41 0 0 25 0 10 0 548315834 854982656 21360 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 21360 13073 16 0 208720 0
vsize: 834944
[startup+170.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 15955 41 0 0 25 0 10 0 548315834 854982656 21405 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 21405 13073 16 0 208720 0
vsize: 834944
[startup+180.065 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) S 26567 18865 18864 0 -1 0 18004 0 1 0 16900 41 0 0 25 0 10 0 548315834 854982656 21448 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 21448 13073 16 0 208720 0
vsize: 834944
[startup+190.067 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18004 0 1 0 17846 41 0 0 25 0 10 0 548315834 854982656 21492 4294967295 134512640 134569956 3221224400 3221214392 1079668418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 21492 13073 16 0 208720 0
vsize: 834944
[startup+200.068 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18005 0 1 0 18776 43 0 0 25 0 10 0 548315834 854982656 23188 4294967295 134512640 134569956 3221224400 3221214304 1131173132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208736 23188 13073 16 0 208720 0
vsize: 834944
[startup+210.069 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18005 0 1 0 19772 44 0 0 25 0 10 0 548315834 854982656 23192 4294967295 134512640 134569956 3221224400 3221214500 1131183465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208736 23192 13073 16 0 208720 0
vsize: 834944
[startup+220.069 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18005 0 1 0 20771 45 0 0 25 0 10 0 548315834 854982656 23192 4294967295 134512640 134569956 3221224400 3221214504 1131173132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208736 23192 13073 16 0 208720 0
vsize: 834944
[startup+230.068 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 26577
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18005 0 1 0 21696 45 0 0 25 0 10 0 548315834 854982656 27754 4294967295 134512640 134569956 3221224400 3221214504 1131173065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208736 27754 13073 16 0 208720 0
vsize: 834944
[startup+240.07 s]
Raw data (loadavg): 1.07 1.00 0.94 2/64 26578
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18036 0 1 0 22625 46 0 0 25 0 11 0 548315834 856559616 29739 4294967295 134512640 134569956 3221224400 3221214872 1131414438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209121 29739 13073 16 0 209105 0
vsize: 836484
[startup+250.07 s]
Raw data (loadavg): 1.06 1.00 0.94 2/64 26583
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18037 3 1 0 23497 47 0 0 25 0 11 0 548315834 857006080 31326 4294967295 134512640 134569956 3221224400 3221214760 1131295950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209230 31326 13073 16 0 209214 0
vsize: 836920
[startup+260.07 s]
Raw data (loadavg): 1.05 1.00 0.94 2/64 26587
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18076 3 1 0 24359 48 0 0 25 0 11 0 548315834 859103232 33138 4294967295 134512640 134569956 3221224400 3221214420 1076461603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209742 33138 13073 16 0 209726 0
vsize: 838968
[startup+270.07 s]
Raw data (loadavg): 1.19 1.03 0.95 2/64 26588
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 25281 48 0 0 25 0 11 0 548315834 858054656 32944 4294967295 134512640 134569956 3221224400 3221214664 1131517388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 32944 13073 16 0 209470 0
vsize: 837944
[startup+280.071 s]
Raw data (loadavg): 1.16 1.03 0.95 2/64 26593
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 26179 48 0 0 25 0 11 0 548315834 858054656 33095 4294967295 134512640 134569956 3221224400 3221214868 1131295847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 33095 13073 16 0 209470 0
vsize: 837944
[startup+290.074 s]
Raw data (loadavg): 1.14 1.03 0.95 2/64 26598
Raw data (stat): 26568 (java) S 26567 18865 18864 0 -1 0 18077 3 1 0 27053 49 1 0 25 0 11 0 548315834 858054656 35250 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 35250 13073 16 0 209470 0
vsize: 837944
[startup+300.094 s]
Raw data (loadavg): 1.11 1.03 0.95 2/64 26603
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 27967 49 1 0 25 0 11 0 548315834 858054656 35723 4294967295 134512640 134569956 3221224400 3221214872 1131414441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 35723 13073 16 0 209470 0
vsize: 837944
[startup+310.099 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 26608
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 28869 50 1 0 25 0 11 0 548315834 858054656 37055 4294967295 134512640 134569956 3221224400 3221214872 1131414441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 37055 13073 16 0 209470 0
vsize: 837944
[startup+320.099 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 26613
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 29765 50 2 0 24 0 11 0 548315834 858054656 39565 4294967295 134512640 134569956 3221224400 3221214872 1131415295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 39565 13073 16 0 209470 0
vsize: 837944
[startup+330.099 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 26618
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 30687 51 2 0 25 0 11 0 548315834 858054656 39565 4294967295 134512640 134569956 3221224400 3221214776 1131321633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 39565 13073 16 0 209470 0
vsize: 837944
[startup+340.1 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 26623
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 31581 51 2 1 25 0 11 0 548315834 858054656 42031 4294967295 134512640 134569956 3221224400 3221214776 1131321593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 42031 13073 16 0 209470 0
vsize: 837944
[startup+350.1 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 26628
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 32486 51 2 1 25 0 11 0 548315834 858054656 42470 4294967295 134512640 134569956 3221224400 3221214688 1131476844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 42470 13073 16 0 209470 0
vsize: 837944
[startup+360.1 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 26628
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 33456 51 2 1 25 0 11 0 548315834 858054656 42600 4294967295 134512640 134569956 3221224400 3221214728 1131517416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 42600 13073 16 0 209470 0
vsize: 837944
[startup+370.1 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 26629
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 34394 51 2 1 25 0 11 0 548315834 858054656 43014 4294967295 134512640 134569956 3221224400 3221214728 1131517412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 43014 13073 16 0 209470 0
vsize: 837944
[startup+380.101 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 26629
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 35331 51 2 1 25 0 11 0 548315834 858054656 43156 4294967295 134512640 134569956 3221224400 3221214688 1131476835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 43156 13073 16 0 209470 0
vsize: 837944
[startup+390.102 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 26629
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 36284 51 2 1 25 0 11 0 548315834 858054656 43161 4294967295 134512640 134569956 3221224400 3221214660 1130894936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 43161 13073 16 0 209470 0
vsize: 837944
[startup+400.103 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 26629
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 37224 51 2 1 25 0 11 0 548315834 858054656 43245 4294967295 134512640 134569956 3221224400 3221214760 1131171037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 43245 13073 16 0 209470 0
vsize: 837944
[startup+410.102 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 26631
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 38158 51 2 1 25 0 11 0 548315834 858054656 43338 4294967295 134512640 134569956 3221224400 3221214868 1131296584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 43338 13073 16 0 209470 0
vsize: 837944
[startup+420.103 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 26633
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 39064 52 2 1 25 0 11 0 548315834 858054656 43467 4294967295 134512640 134569956 3221224400 3221214728 1131517360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 43467 13073 16 0 209470 0
vsize: 837944
[startup+430.103 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 26633
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 39994 52 2 1 25 0 11 0 548315834 858054656 43620 4294967295 134512640 134569956 3221224400 3221214768 1131480592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 43620 13073 16 0 209470 0
vsize: 837944
[startup+440.104 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 26633
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 40921 52 2 1 25 0 11 0 548315834 858054656 43622 4294967295 134512640 134569956 3221224400 3221214768 1131640735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 43622 13073 16 0 209470 0
vsize: 837944
[startup+450.105 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 26635
Raw data (stat): 26568 (java) S 26567 18865 18864 0 -1 0 18077 3 1 0 41836 52 2 1 25 0 11 0 548315834 858054656 43686 4294967295 134512640 134569956 3221224400 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 43686 13073 16 0 209470 0
vsize: 837944
[startup+460.105 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26636
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 42726 53 3 1 25 0 11 0 548315834 858054656 43774 4294967295 134512640 134569956 3221224400 3221214640 1131295863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 43774 13073 16 0 209470 0
vsize: 837944
[startup+470.105 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26636
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 43637 53 3 1 25 0 11 0 548315834 858054656 43952 4294967295 134512640 134569956 3221224400 3221214768 1131640663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 43952 13073 16 0 209470 0
vsize: 837944
[startup+480.105 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26636
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 44568 53 3 1 25 0 11 0 548315834 858054656 44124 4294967295 134512640 134569956 3221224400 3221214764 1131236652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 44124 13073 16 0 209470 0
vsize: 837944
[startup+490.106 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26636
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 45506 53 3 1 25 0 11 0 548315834 858054656 44134 4294967295 134512640 134569956 3221224400 3221214656 1131314278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 44134 13073 16 0 209470 0
vsize: 837944
[startup+500.107 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 46448 53 3 1 25 0 11 0 548315834 858054656 44208 4294967295 134512640 134569956 3221224400 3221214768 1131640698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 44208 13073 16 0 209470 0
vsize: 837944
[startup+510.107 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 47395 53 3 1 25 0 11 0 548315834 858054656 44217 4294967295 134512640 134569956 3221224400 3221214728 1131517410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 44217 13073 16 0 209470 0
vsize: 837944
[startup+520.108 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 48329 54 3 1 25 0 11 0 548315834 858054656 44406 4294967295 134512640 134569956 3221224400 3221214768 1131480489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 44406 13073 16 0 209470 0
vsize: 837944
[startup+530.107 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 49237 54 3 1 25 0 11 0 548315834 858054656 44406 4294967295 134512640 134569956 3221224400 3221214768 1131640735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 44406 13073 16 0 209470 0
vsize: 837944
[startup+540.108 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 50145 54 3 1 25 0 11 0 548315834 858054656 44406 4294967295 134512640 134569956 3221224400 3221214768 1131480109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 44406 13073 16 0 209470 0
vsize: 837944
[startup+550.108 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 51069 55 3 1 25 0 11 0 548315834 858054656 44406 4294967295 134512640 134569956 3221224400 3221214656 1131313627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 44406 13073 16 0 209470 0
vsize: 837944
[startup+560.109 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 51987 55 3 1 25 0 11 0 548315834 858054656 44756 4294967295 134512640 134569956 3221224400 3221214768 1131640698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 44756 13073 16 0 209470 0
vsize: 837944
[startup+570.109 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 52946 55 3 1 25 0 11 0 548315834 858054656 45248 4294967295 134512640 134569956 3221224400 3221214656 1131313951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45248 13073 16 0 209470 0
vsize: 837944
[startup+580.109 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 53939 55 3 1 25 0 11 0 548315834 858054656 45292 4294967295 134512640 134569956 3221224400 3221214640 1131295863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45292 13073 16 0 209470 0
vsize: 837944
[startup+590.109 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 54931 55 3 1 25 0 11 0 548315834 858054656 45292 4294967295 134512640 134569956 3221224400 3221214656 1131314351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45292 13073 16 0 209470 0
vsize: 837944
[startup+600.109 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 55922 56 3 1 25 0 11 0 548315834 858054656 45292 4294967295 134512640 134569956 3221224400 3221214728 1131517410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45292 13073 16 0 209470 0
vsize: 837944
[startup+610.109 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 56900 56 3 1 25 0 11 0 548315834 858054656 45292 4294967295 134512640 134569956 3221224400 3221214744 1131540719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45292 13073 16 0 209470 0
vsize: 837944
[startup+620.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 57842 56 3 1 25 0 11 0 548315834 858054656 45292 4294967295 134512640 134569956 3221224400 3221214656 1131313811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45292 13073 16 0 209470 0
vsize: 837944
[startup+630.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 58789 56 3 1 25 0 11 0 548315834 858054656 45388 4294967295 134512640 134569956 3221224400 3221214868 1131292128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 45388 13073 16 0 209470 0
vsize: 837944
[startup+640.118 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 59723 56 3 1 25 0 11 0 548315834 858054656 45583 4294967295 134512640 134569956 3221224400 3221214752 1131236715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45583 13073 16 0 209470 0
vsize: 837944
[startup+650.118 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) S 26567 18865 18864 0 -1 0 18077 3 1 0 60661 57 3 1 25 0 11 0 548315834 858054656 45583 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45583 13073 16 0 209470 0
vsize: 837944
[startup+660.118 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 61611 57 3 1 25 0 11 0 548315834 858054656 45583 4294967295 134512640 134569956 3221224400 3221214768 1131644176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45583 13073 16 0 209470 0
vsize: 837944
[startup+670.118 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 62551 57 3 1 25 0 11 0 548315834 858054656 45583 4294967295 134512640 134569956 3221224400 3221214656 1131313645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45583 13073 16 0 209470 0
vsize: 837944
[startup+680.118 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 63492 57 3 1 25 0 11 0 548315834 858054656 45878 4294967295 134512640 134569956 3221224400 3221214640 1131295863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 45878 13073 16 0 209470 0
vsize: 837944
[startup+690.119 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 64460 58 3 1 25 0 11 0 548315834 858054656 46077 4294967295 134512640 134569956 3221224400 3221214768 1131640612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 46077 13073 16 0 209470 0
vsize: 837944
[startup+700.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 65437 58 3 1 25 0 11 0 548315834 858054656 46466 4294967295 134512640 134569956 3221224400 3221214768 1131640629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 46466 13073 16 0 209470 0
vsize: 837944
[startup+710.119 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 66434 58 3 1 25 0 11 0 548315834 858054656 46466 4294967295 134512640 134569956 3221224400 3221214768 1131640608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 46466 13073 16 0 209470 0
vsize: 837944
[startup+720.119 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26637
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 67429 58 3 1 25 0 11 0 548315834 858054656 46466 4294967295 134512640 134569956 3221224400 3221214808 1131611770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 46466 13073 16 0 209470 0
vsize: 837944
[startup+730.126 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26638
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 68379 58 3 1 25 0 11 0 548315834 858054656 46466 4294967295 134512640 134569956 3221224400 3221214872 1131418325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 46466 13073 16 0 209470 0
vsize: 837944
[startup+740.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26639
Raw data (stat): 26568 (java) S 26567 18865 18864 0 -1 0 18077 3 1 0 69266 59 3 1 25 0 11 0 548315834 858054656 46466 4294967295 134512640 134569956 3221224400 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 46466 13073 16 0 209470 0
vsize: 837944
[startup+750.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26639
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 70150 59 3 1 25 0 11 0 548315834 858054656 46466 4294967295 134512640 134569956 3221224400 3221214776 1131321614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 46466 13073 16 0 209470 0
vsize: 837944
[startup+760.136 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26640
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 71080 59 3 1 25 0 11 0 548315834 858054656 48099 4294967295 134512640 134569956 3221224400 3221214776 1131321715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 48099 13073 16 0 209470 0
vsize: 837944
[startup+770.141 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26641
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 72025 60 3 1 25 0 11 0 548315834 858054656 49302 4294967295 134512640 134569956 3221224400 3221214760 1131295979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 49302 13073 16 0 209470 0
vsize: 837944
[startup+780.141 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26642
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 72960 60 3 1 25 0 11 0 548315834 858054656 50734 4294967295 134512640 134569956 3221224400 3221214872 1131421650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 50734 13073 16 0 209470 0
vsize: 837944
[startup+790.142 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26642
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 73940 61 3 1 25 0 11 0 548315834 858054656 50734 4294967295 134512640 134569956 3221224400 3221214776 1131322517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 50734 13073 16 0 209470 0
vsize: 837944
[startup+800.143 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 74856 61 3 1 25 0 11 0 548315834 858054656 50815 4294967295 134512640 134569956 3221224400 3221214872 1131415938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 50815 13073 16 0 209470 0
vsize: 837944
[startup+810.153 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18077 3 1 0 75826 61 3 1 25 0 11 0 548315834 858054656 51677 4294967295 134512640 134569956 3221224400 3221214840 1131402989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 51677 13073 16 0 209470 0
vsize: 837944
[startup+820.153 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 76803 61 3 1 25 0 11 0 548315834 863895552 53080 4294967295 134512640 134569956 3221224400 3221214864 1131472671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210912 53080 13073 16 0 210896 0
vsize: 843648
[startup+830.153 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 77780 62 3 1 25 0 11 0 548315834 860254208 52208 4294967295 134512640 134569956 3221224400 3221214864 1131472499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210023 52208 13073 16 0 210007 0
vsize: 840092
[startup+840.154 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 78761 62 3 1 25 0 11 0 548315834 860254208 52210 4294967295 134512640 134569956 3221224400 3221214752 1131314338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210023 52210 13073 16 0 210007 0
vsize: 840092
[startup+850.155 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 79741 62 3 1 25 0 11 0 548315834 860254208 52352 4294967295 134512640 134569956 3221224400 3221214864 1131472499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210023 52352 13073 16 0 210007 0
vsize: 840092
[startup+860.154 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 80734 62 3 1 25 0 11 0 548315834 860254208 52396 4294967295 134512640 134569956 3221224400 3221214752 1131314078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210023 52396 13073 16 0 210007 0
vsize: 840092
[startup+870.184 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 81732 63 3 1 25 0 11 0 548315834 860254208 52401 4294967295 134512640 134569956 3221224400 3221214864 1131472480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210023 52401 13073 16 0 210007 0
vsize: 840092
[startup+880.184 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 82727 63 3 1 25 0 11 0 548315834 860254208 52402 4294967295 134512640 134569956 3221224400 3221214864 1131472499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210023 52402 13073 16 0 210007 0
vsize: 840092
[startup+890.185 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 83723 63 3 1 25 0 11 0 548315834 860254208 52402 4294967295 134512640 134569956 3221224400 3221214728 1131321837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210023 52402 13073 16 0 210007 0
vsize: 840092
[startup+900.186 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 84719 63 3 1 25 0 11 0 548315834 860254208 52402 4294967295 134512640 134569956 3221224400 3221214864 1131472496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210023 52402 13073 16 0 210007 0
vsize: 840092
[startup+910.186 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 85715 64 3 1 25 0 11 0 548315834 860254208 52402 4294967295 134512640 134569956 3221224400 3221214848 1131478465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210023 52402 13073 16 0 210007 0
vsize: 840092
[startup+920.185 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 86710 64 3 1 25 0 11 0 548315834 860721152 52526 4294967295 134512640 134569956 3221224400 3221214816 1131217334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 52526 13073 16 0 210121 0
vsize: 840548
[startup+930.186 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 87706 64 3 1 25 0 11 0 548315834 860721152 52527 4294967295 134512640 134569956 3221224400 3221214824 1131745744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210137 52527 13073 16 0 210121 0
vsize: 840548
[startup+940.187 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 88703 65 3 1 25 0 11 0 548315834 860721152 52527 4294967295 134512640 134569956 3221224400 3221214824 1131745900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 52527 13073 16 0 210121 0
vsize: 840548
[startup+950.187 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 89698 65 3 1 25 0 11 0 548315834 860721152 52527 4294967295 134512640 134569956 3221224400 3221214824 1131745792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 52527 13073 16 0 210121 0
vsize: 840548
[startup+960.187 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 90694 65 3 1 25 0 11 0 548315834 860721152 52527 4294967295 134512640 134569956 3221224400 3221214784 1131237908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 52527 13073 16 0 210121 0
vsize: 840548
[startup+970.188 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 91691 65 3 1 25 0 11 0 548315834 860721152 52527 4294967295 134512640 134569956 3221224400 3221214712 1131313811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 52527 13073 16 0 210121 0
vsize: 840548
[startup+980.188 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26643
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 92645 66 3 1 25 0 11 0 548315834 860721152 52787 4294967295 134512640 134569956 3221224400 3221214872 1131421664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 52787 13073 16 0 210121 0
vsize: 840548
[startup+990.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26644
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 93553 67 3 1 25 0 11 0 548315834 860721152 53252 4294967295 134512640 134569956 3221224400 3221214872 1131414456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 53252 13073 16 0 210121 0
vsize: 840548
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 94470 67 3 1 25 0 11 0 548315834 860721152 53614 4294967295 134512640 134569956 3221224400 3221214776 1131321833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 53614 13073 16 0 210121 0
vsize: 840548
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 95405 67 3 1 25 0 11 0 548315834 860721152 53807 4294967295 134512640 134569956 3221224400 3221214728 1131517410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 53807 13073 16 0 210121 0
vsize: 840548
[startup+1020.19 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 96325 67 3 1 25 0 11 0 548315834 860721152 53942 4294967295 134512640 134569956 3221224400 3221214752 1131480112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 53942 13073 16 0 210121 0
vsize: 840548
[startup+1030.19 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 97248 67 3 1 25 0 11 0 548315834 860721152 53942 4294967295 134512640 134569956 3221224400 3221214640 1131314092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 53942 13073 16 0 210121 0
vsize: 840548
[startup+1040.19 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 26645
Raw data (stat): 26568 (java) S 26567 18865 18864 0 -1 0 18078 3 1 0 98178 67 3 1 25 0 11 0 548315834 860721152 53942 4294967295 134512640 134569956 3221224400 3221213280 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 53942 13073 16 0 210121 0
vsize: 840548
[startup+1050.19 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 99127 68 3 1 25 0 11 0 548315834 860721152 54462 4294967295 134512640 134569956 3221224400 3221214748 1131236652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54462 13073 16 0 210121 0
vsize: 840548
[startup+1060.19 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 100093 68 3 1 25 0 11 0 548315834 860721152 54560 4294967295 134512640 134569956 3221224400 3221214752 1131640608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54560 13073 16 0 210121 0
vsize: 840548
[startup+1070.19 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 101076 68 3 1 25 0 11 0 548315834 860721152 54724 4294967295 134512640 134569956 3221224400 3221214752 1131644192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54724 13073 16 0 210121 0
vsize: 840548
[startup+1080.19 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 102069 68 3 1 25 0 11 0 548315834 860721152 54724 4294967295 134512640 134569956 3221224400 3221214640 1131313951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54724 13073 16 0 210121 0
vsize: 840548
[startup+1090.19 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 103061 69 3 1 25 0 11 0 548315834 860721152 54724 4294967295 134512640 134569956 3221224400 3221214640 1131313951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54724 13073 16 0 210121 0
vsize: 840548
[startup+1100.19 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 104053 69 3 1 25 0 11 0 548315834 860721152 54724 4294967295 134512640 134569956 3221224400 3221214752 1131640608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54724 13073 16 0 210121 0
vsize: 840548
[startup+1110.19 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 26645
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 105042 69 3 1 25 0 11 0 548315834 860721152 54724 4294967295 134512640 134569956 3221224400 3221214872 1131421664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54724 13073 16 0 210121 0
vsize: 840548
[startup+1120.19 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 26646
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 105965 69 3 1 24 0 11 0 548315834 860721152 54724 4294967295 134512640 134569956 3221224400 3221214872 1131421664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54724 13073 16 0 210121 0
vsize: 840548
[startup+1130.19 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 26647
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 106882 70 3 1 25 0 11 0 548315834 860721152 54724 4294967295 134512640 134569956 3221224400 3221214872 1131415711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54724 13073 16 0 210121 0
vsize: 840548
[startup+1140.2 s]
Raw data (loadavg): 1.09 1.02 0.96 2/64 26647
Raw data (stat): 26568 (java) S 26567 18865 18864 0 -1 0 18078 3 1 0 107790 70 3 1 25 0 11 0 548315834 860721152 54724 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54724 13073 16 0 210121 0
vsize: 840548
[startup+1150.2 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 108710 70 3 1 25 0 11 0 548315834 860721152 54860 4294967295 134512640 134569956 3221224400 3221214824 1131292149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54860 13073 16 0 210121 0
vsize: 840548
[startup+1160.2 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 109655 70 3 1 25 0 11 0 548315834 860721152 54967 4294967295 134512640 134569956 3221224400 3221214800 1131539525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 54967 13073 16 0 210121 0
vsize: 840548
[startup+1170.2 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 110577 70 3 1 25 0 11 0 548315834 860721152 55153 4294967295 134512640 134569956 3221224400 3221214752 1131640735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 55153 13073 16 0 210121 0
vsize: 840548
[startup+1180.2 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 111473 71 3 1 25 0 11 0 548315834 860721152 55153 4294967295 134512640 134569956 3221224400 3221214752 1131480489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 55153 13073 16 0 210121 0
vsize: 840548
[startup+1190.2 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 112383 71 3 1 25 0 11 0 548315834 860721152 55153 4294967295 134512640 134569956 3221224400 3221214752 1131640615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 55153 13073 16 0 210121 0
vsize: 840548
[startup+1200.2 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 113304 71 3 1 25 0 11 0 548315834 860721152 55441 4294967295 134512640 134569956 3221224400 3221214640 1131313951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 55441 13073 16 0 210121 0
vsize: 840548
[startup+1210.2 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 114239 72 3 1 24 0 11 0 548315834 860721152 55940 4294967295 134512640 134569956 3221224400 3221214640 1131313977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 55940 13073 16 0 210121 0
vsize: 840548
[startup+1220.2 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 115233 72 3 1 25 0 11 0 548315834 860721152 56027 4294967295 134512640 134569956 3221224400 3221214752 1131640608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 56027 13073 16 0 210121 0
vsize: 840548
[startup+1230.2 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 116220 72 3 1 25 0 11 0 548315834 860721152 56027 4294967295 134512640 134569956 3221224400 3221214752 1131640724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 56027 13073 16 0 210121 0
vsize: 840548
[startup+1240.2 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 117206 72 3 1 25 0 11 0 548315834 860721152 56027 4294967295 134512640 134569956 3221224400 3221214752 1131480489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 56027 13073 16 0 210121 0
vsize: 840548
[startup+1250.2 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 118191 72 3 1 25 0 11 0 548315834 860721152 56027 4294967295 134512640 134569956 3221224400 3221214640 1131313977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 56027 13073 16 0 210121 0
vsize: 840548
[startup+1260.2 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 119177 73 3 1 25 0 11 0 548315834 860721152 56027 4294967295 134512640 134569956 3221224400 3221214752 1131480286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 56027 13073 16 0 210121 0
vsize: 840548
[startup+1270.2 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 26648
Raw data (stat): 26568 (java) R 26567 18865 18864 0 -1 0 18078 3 1 0 120167 73 3 1 25 0 11 0 548315834 860721152 56119 4294967295 134512640 134569956 3221224400 3221214752 1131644199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210137 56119 13073 16 0 210121 0
vsize: 840548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.35 s]
Raw data (loadavg): 1.01 1.01 0.96 1/54 26650
Raw data (stat): 26568 (java) Z 26567 18865 18864 0 -1 1036 18078 43807 1 0 120171 83 7878 102 25 0 1 0 548315834 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1270.35
CPU time (s): 1282.37
CPU user time (s): 1280.51
CPU system time (s): 1.86372
CPU usage (%): 100.946
Max. virtual memory (Kb): 843648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####