PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos8.opb
MD5SUM	74f2ccfaf3fc18110d6ed0b0b3cd2342
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
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 numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	37.5293
Number of variables	23264
Total number of constraints	69552
Number of constraints which are clauses	20804
Number of constraints which are cardinality constraints (but not clauses)	23228
Number of constraints which are nor clauses,nor cardinality constraints	25520
Minimum length of a constraint	1
Maximum length of a constraint	2747
Trace number 14583

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-21 00:19:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19756 boxname=wulflinc20 idbench=1520 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  74f2ccfaf3fc18110d6ed0b0b3cd2342  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-neos8.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-neos8.opb
IDLAUNCH: 19756
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        630568 kB
Buffers:         34052 kB
Cached:         344112 kB
SwapCached:        528 kB
Active:         199044 kB
Inactive:       181112 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        630316 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            18376 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 00:41:00 (client local time) WITH STATUS 143 IN 1268.39 SECONDS
stats: 19756 7 1268.39 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-neos8.opb
c reading problem 
c [nbvar=23264]
c [nbconstr=69552]
c time 238.73
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) : 243.074
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) : 244.928
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) : 246.908
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) : 248.739
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) : 250.769
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) : 252.619
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) : 254.445
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) : 257.806
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) : 259.902
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) : 262.273
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) : 272.877
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) : 275.19
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) : 277.105
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) : 278.992
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) : 281.026
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) : 282.905
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) : 285.104
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) : 287.112
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) : 289.08
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) : 290.993
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) : 293.018
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) : 294.879
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) : 296.842
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) : 298.699
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) : 300.71
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) : 302.615
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) : 304.636
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) : 306.562
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) : 308.57
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) : 310.404
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) : 312.327
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) : 314.157
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) : 316.334
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) : 318.306
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) : 320.315
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) : 322.207
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) : 324.194
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) : 326.085
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) : 328.079
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) : 329.955
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) : 331.98
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) : 333.879
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) : 335.889
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) : 337.916
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) : 339.994
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) : 341.868
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) : 343.849
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) : 345.724
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) : 347.781
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) : 349.705
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) : 367.107
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) : 404.433
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) : 406.884
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) : 409.102
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) : 411.537
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) : 441.743
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) : 444.855
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) : 448.125
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) : 490.507
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) : 712.555
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) : 725.562
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) : 737.923
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) : 750.058
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) : 761.323
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) : 777.012
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) : 977.434
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) : 985.282
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) : 1102.515
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) : 1115.31
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) : 1130.643
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.97 2/54 25119
Raw data (stat): 25119 (runsolver) R 25118 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540707962 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.0007 s]
Raw data (loadavg): 0.94 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 884 39 0 0 25 0 10 0 540707962 854446080 19212 4294967295 134512640 134569956 3221224400 3221214688 1131208845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208605 19212 13073 16 0 208589 0
vsize: 834420
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 1812 39 0 0 25 0 10 0 540707962 853692416 19463 4294967295 134512640 134569956 3221224400 3221214480 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 19463 13073 16 0 208405 0
vsize: 833684
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 2725 40 0 0 25 0 10 0 540707962 853659648 19850 4294967295 134512640 134569956 3221224400 3221214640 1130887029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208413 19850 13073 16 0 208397 0
vsize: 833652
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 3655 40 0 0 24 0 10 0 540707962 853659648 20037 4294967295 134512640 134569956 3221224400 3221214480 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208413 20037 13073 16 0 208397 0
vsize: 833652
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 4605 40 0 0 25 0 10 0 540707962 853659648 20186 4294967295 134512640 134569956 3221224400 3221214408 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208413 20186 13073 16 0 208397 0
vsize: 833652
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 5550 40 0 0 25 0 10 0 540707962 853954560 20349 4294967295 134512640 134569956 3221224400 3221214828 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20349 13073 16 0 208469 0
vsize: 833940
[startup+70.004 s]
Raw data (loadavg): 0.97 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 6488 40 0 0 25 0 10 0 540707962 853954560 20435 4294967295 134512640 134569956 3221224400 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20435 13073 16 0 208469 0
vsize: 833940
[startup+80.0067 s]
Raw data (loadavg): 0.98 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) S 25118 27565 27564 0 -1 0 17997 0 1 0 7430 41 0 0 25 0 10 0 540707962 853954560 20509 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20509 13073 16 0 208469 0
vsize: 833940
[startup+90.0074 s]
Raw data (loadavg): 0.98 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) S 25118 27565 27564 0 -1 0 17997 0 1 0 8378 41 0 0 25 0 10 0 540707962 853954560 20658 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20658 13073 16 0 208469 0
vsize: 833940
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 9326 41 0 0 24 0 10 0 540707962 853954560 20725 4294967295 134512640 134569956 3221224400 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20725 13073 16 0 208469 0
vsize: 833940
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 10276 42 0 0 25 0 10 0 540707962 853954560 20786 4294967295 134512640 134569956 3221224400 3221214724 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20786 13073 16 0 208469 0
vsize: 833940
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 11226 42 0 0 25 0 10 0 540707962 853954560 20842 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20842 13073 16 0 208469 0
vsize: 833940
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 12175 42 0 0 25 0 10 0 540707962 853954560 20895 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20895 13073 16 0 208469 0
vsize: 833940
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 13125 42 0 0 25 0 10 0 540707962 853954560 20946 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20946 13073 16 0 208469 0
vsize: 833940
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 14074 42 0 0 25 0 10 0 540707962 853954560 20994 4294967295 134512640 134569956 3221224400 3221214792 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20994 13073 16 0 208469 0
vsize: 833940
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 15022 42 0 0 25 0 10 0 540707962 853954560 21040 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 21040 13073 16 0 208469 0
vsize: 833940
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 15971 42 0 0 25 0 10 0 540707962 853954560 21085 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 21085 13073 16 0 208469 0
vsize: 833940
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 16919 42 0 0 25 0 10 0 540707962 853954560 21128 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 21128 13073 16 0 208469 0
vsize: 833940
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17997 0 1 0 17863 43 0 0 24 0 10 0 540707962 853954560 21172 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 21172 13073 16 0 208469 0
vsize: 833940
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17998 0 1 0 18785 45 0 0 25 0 10 0 540707962 854884352 23027 4294967295 134512640 134569956 3221224400 3221214488 1131264659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208712 23027 13073 16 0 208696 0
vsize: 834848
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17998 0 1 0 19781 46 0 0 25 0 10 0 540707962 854884352 23030 4294967295 134512640 134569956 3221224400 3221214504 1131169212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208712 23030 13073 16 0 208696 0
vsize: 834848
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17998 0 1 0 20779 47 0 0 25 0 10 0 540707962 854884352 23030 4294967295 134512640 134569956 3221224400 3221214504 1131169356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208712 23030 13073 16 0 208696 0
vsize: 834848
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/63 25128
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 17998 0 1 0 21705 47 0 0 25 0 10 0 540707962 854884352 27592 4294967295 134512640 134569956 3221224400 3221214504 1131169356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208712 27592 13073 16 0 208696 0
vsize: 834848
[startup+240.076 s]
Raw data (loadavg): 0.99 0.98 0.97 3/64 25129
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18028 0 1 0 22704 48 0 0 25 0 11 0 540707962 856440832 27804 4294967295 134512640 134569956 3221224400 3221214860 1130917144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209092 27804 13073 16 0 209076 0
vsize: 836368
[startup+250.077 s]
Raw data (loadavg): 0.99 0.98 0.97 2/64 25133
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18033 3 1 0 23536 48 0 0 24 0 11 0 540707962 855576576 30894 4294967295 134512640 134569956 3221224400 3221214920 1131376913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208881 30894 13073 16 0 208865 0
vsize: 835524
[startup+260.078 s]
Raw data (loadavg): 1.07 1.00 0.97 2/64 25137
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18074 3 1 0 24394 49 0 0 25 0 11 0 540707962 858087424 32075 4294967295 134512640 134569956 3221224400 3221214872 1131417440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209494 32075 13073 16 0 209478 0
vsize: 837976
[startup+270.077 s]
Raw data (loadavg): 1.06 1.00 0.97 2/64 25139
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 25296 49 0 0 25 0 11 0 540707962 856281088 32604 4294967295 134512640 134569956 3221224400 3221214736 1130918439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209053 32604 13073 16 0 209037 0
vsize: 836212
[startup+280.077 s]
Raw data (loadavg): 1.13 1.02 0.98 2/64 25143
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 26196 50 0 0 25 0 11 0 540707962 856281088 32760 4294967295 134512640 134569956 3221224400 3221214872 1131417426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209053 32760 13073 16 0 209037 0
vsize: 836212
[startup+290.078 s]
Raw data (loadavg): 1.11 1.02 0.98 2/64 25148
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 27076 50 0 0 25 0 11 0 540707962 856281088 34399 4294967295 134512640 134569956 3221224400 3221214860 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 34399 13073 16 0 209037 0
vsize: 836212
[startup+300.078 s]
Raw data (loadavg): 1.09 1.01 0.98 2/64 25153
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 27980 50 1 0 25 0 11 0 540707962 856281088 35388 4294967295 134512640 134569956 3221224400 3221214872 1131412676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 35388 13073 16 0 209037 0
vsize: 836212
[startup+310.078 s]
Raw data (loadavg): 1.08 1.01 0.98 2/64 25158
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 28888 51 1 0 25 0 11 0 540707962 856281088 36720 4294967295 134512640 134569956 3221224400 3221214872 1131414141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 36720 13073 16 0 209037 0
vsize: 836212
[startup+320.079 s]
Raw data (loadavg): 1.06 1.01 0.98 2/64 25163
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 29791 51 1 0 25 0 11 0 540707962 856281088 38854 4294967295 134512640 134569956 3221224400 3221214872 1131411751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 38854 13073 16 0 209037 0
vsize: 836212
[startup+330.079 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 25168
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 30702 51 1 1 25 0 11 0 540707962 856281088 39230 4294967295 134512640 134569956 3221224400 3221214760 1131294647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 39230 13073 16 0 209037 0
vsize: 836212
[startup+340.079 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 25173
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 31608 52 1 1 25 0 11 0 540707962 856281088 41149 4294967295 134512640 134569956 3221224400 3221214872 1131417440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209053 41149 13073 16 0 209037 0
vsize: 836212
[startup+350.08 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 25178
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 32512 52 1 1 25 0 11 0 540707962 856281088 42097 4294967295 134512640 134569956 3221224400 3221214868 1131294624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 42097 13073 16 0 209037 0
vsize: 836212
[startup+360.081 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 25179
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 33460 52 2 1 25 0 11 0 540707962 856281088 42265 4294967295 134512640 134569956 3221224400 3221214696 1131517794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 42265 13073 16 0 209037 0
vsize: 836212
[startup+370.082 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 25180
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18075 3 1 0 34412 53 2 1 25 0 11 0 540707962 856281088 42679 4294967295 134512640 134569956 3221224400 3221214868 1131294624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 42679 13073 16 0 209037 0
vsize: 836212
[startup+380.081 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 25180
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 35348 53 2 1 25 0 11 0 540707962 856281088 42822 4294967295 134512640 134569956 3221224400 3221214568 1131311723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 42822 13073 16 0 209037 0
vsize: 836212
[startup+390.082 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 25180
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 36289 53 2 1 25 0 11 0 540707962 856281088 42825 4294967295 134512640 134569956 3221224400 3221214568 1131311929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 42825 13073 16 0 209037 0
vsize: 836212
[startup+400.082 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 25180
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 37229 53 2 1 25 0 11 0 540707962 856281088 42909 4294967295 134512640 134569956 3221224400 3221214760 1131501470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 42909 13073 16 0 209037 0
vsize: 836212
[startup+410.082 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 25183
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 38146 53 2 1 25 0 11 0 540707962 856281088 43131 4294967295 134512640 134569956 3221224400 3221214864 1131213820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43131 13073 16 0 209037 0
vsize: 836212
[startup+420.084 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 25184
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 39070 53 2 1 25 0 11 0 540707962 856281088 43131 4294967295 134512640 134569956 3221224400 3221214868 1131320298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43131 13073 16 0 209037 0
vsize: 836212
[startup+430.084 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 25184
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 39988 53 2 1 25 0 11 0 540707962 856281088 43283 4294967295 134512640 134569956 3221224400 3221214776 1131653391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43283 13073 16 0 209037 0
vsize: 836212
[startup+440.085 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 25184
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 40914 54 2 1 25 0 11 0 540707962 856281088 43284 4294967295 134512640 134569956 3221224400 3221214760 1131501842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43284 13073 16 0 209037 0
vsize: 836212
[startup+450.089 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25187
Raw data (stat): 25119 (java) S 25118 27565 27564 0 -1 0 18076 3 1 0 41810 54 2 1 25 0 11 0 540707962 856281088 43352 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43352 13073 16 0 209037 0
vsize: 836212
[startup+460.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25187
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 42708 54 2 1 25 0 11 0 540707962 856281088 43563 4294967295 134512640 134569956 3221224400 3221214776 1131653483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43563 13073 16 0 209037 0
vsize: 836212
[startup+470.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25187
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 43624 54 2 1 25 0 11 0 540707962 856281088 43711 4294967295 134512640 134569956 3221224400 3221214752 1131506766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43711 13073 16 0 209037 0
vsize: 836212
[startup+480.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25187
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 44562 54 2 1 25 0 11 0 540707962 856281088 43786 4294967295 134512640 134569956 3221224400 3221214776 1131656643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43786 13073 16 0 209037 0
vsize: 836212
[startup+490.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25187
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 45507 54 2 1 25 0 11 0 540707962 856281088 43800 4294967295 134512640 134569956 3221224400 3221214872 1131414212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43800 13073 16 0 209037 0
vsize: 836212
[startup+500.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 46449 54 2 1 25 0 11 0 540707962 856281088 43873 4294967295 134512640 134569956 3221224400 3221214728 1131517802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43873 13073 16 0 209037 0
vsize: 836212
[startup+510.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 47393 54 2 1 25 0 11 0 540707962 856281088 43879 4294967295 134512640 134569956 3221224400 3221214728 1131517794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 43879 13073 16 0 209037 0
vsize: 836212
[startup+520.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 48298 54 2 1 25 0 11 0 540707962 856281088 44068 4294967295 134512640 134569956 3221224400 3221214760 1131501760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 44068 13073 16 0 209037 0
vsize: 836212
[startup+530.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 49207 54 2 1 25 0 11 0 540707962 856281088 44068 4294967295 134512640 134569956 3221224400 3221214664 1131311711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 44068 13073 16 0 209037 0
vsize: 836212
[startup+540.093 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 50116 54 2 1 25 0 11 0 540707962 856281088 44068 4294967295 134512640 134569956 3221224400 3221214776 1131653388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 44068 13073 16 0 209037 0
vsize: 836212
[startup+550.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 51024 54 2 1 25 0 11 0 540707962 856281088 44368 4294967295 134512640 134569956 3221224400 3221214664 1131311983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 44368 13073 16 0 209037 0
vsize: 836212
[startup+560.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 51973 54 2 1 25 0 11 0 540707962 856281088 44712 4294967295 134512640 134569956 3221224400 3221214664 1131311671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 44712 13073 16 0 209037 0
vsize: 836212
[startup+570.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 52960 54 2 1 25 0 11 0 540707962 856281088 44954 4294967295 134512640 134569956 3221224400 3221214772 1131506729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 44954 13073 16 0 209037 0
vsize: 836212
[startup+580.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 53953 54 2 1 25 0 11 0 540707962 856281088 44954 4294967295 134512640 134569956 3221224400 3221214664 1131311571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 44954 13073 16 0 209037 0
vsize: 836212
[startup+590.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 54947 54 2 1 25 0 11 0 540707962 856281088 44954 4294967295 134512640 134569956 3221224400 3221214664 1131311571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 44954 13073 16 0 209037 0
vsize: 836212
[startup+600.095 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 55929 54 2 1 25 0 11 0 540707962 856281088 44954 4294967295 134512640 134569956 3221224400 3221214664 1131311571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 44954 13073 16 0 209037 0
vsize: 836212
[startup+610.095 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 56886 55 2 1 25 0 11 0 540707962 856281088 44954 4294967295 134512640 134569956 3221224400 3221214760 1131294698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 44954 13073 16 0 209037 0
vsize: 836212
[startup+620.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 57812 55 2 1 25 0 11 0 540707962 856281088 45050 4294967295 134512640 134569956 3221224400 3221214224 1131294678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 45050 13073 16 0 209037 0
vsize: 836212
[startup+630.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 58759 55 2 1 25 0 11 0 540707962 856281088 45245 4294967295 134512640 134569956 3221224400 3221214664 1131311723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 45245 13073 16 0 209037 0
vsize: 836212
[startup+640.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 59697 55 2 1 25 0 11 0 540707962 856281088 45245 4294967295 134512640 134569956 3221224400 3221214776 1131653483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 45245 13073 16 0 209037 0
vsize: 836212
[startup+650.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 60635 55 2 1 25 0 11 0 540707962 856281088 45245 4294967295 134512640 134569956 3221224400 3221214772 1131313258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 45245 13073 16 0 209037 0
vsize: 836212
[startup+660.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 61574 55 2 1 25 0 11 0 540707962 856281088 45245 4294967295 134512640 134569956 3221224400 3221214648 1131294647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 45245 13073 16 0 209037 0
vsize: 836212
[startup+670.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 62517 55 2 1 25 0 11 0 540707962 856281088 45540 4294967295 134512640 134569956 3221224400 3221214664 1131311455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 45540 13073 16 0 209037 0
vsize: 836212
[startup+680.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 63478 55 2 1 25 0 11 0 540707962 856281088 45785 4294967295 134512640 134569956 3221224400 3221214760 1131501908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 45785 13073 16 0 209037 0
vsize: 836212
[startup+690.098 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 64463 55 2 1 25 0 11 0 540707962 856281088 46128 4294967295 134512640 134569956 3221224400 3221214760 1131501496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 46128 13073 16 0 209037 0
vsize: 836212
[startup+700.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 65461 55 2 1 25 0 11 0 540707962 856281088 46128 4294967295 134512640 134569956 3221224400 3221214760 1131501496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 46128 13073 16 0 209037 0
vsize: 836212
[startup+710.098 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25188
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 66454 55 2 1 25 0 11 0 540707962 856281088 46128 4294967295 134512640 134569956 3221224400 3221214424 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 46128 13073 16 0 209037 0
vsize: 836212
[startup+720.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25189
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 67369 55 2 1 25 0 11 0 540707962 856281088 46128 4294967295 134512640 134569956 3221224400 3221214824 1131289936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 46128 13073 16 0 209037 0
vsize: 836212
[startup+730.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25190
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 68261 56 2 1 25 0 11 0 540707962 856281088 46128 4294967295 134512640 134569956 3221224400 3221214776 1131319510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 46128 13073 16 0 209037 0
vsize: 836212
[startup+740.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25191
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 69151 56 2 1 25 0 11 0 540707962 856281088 46128 4294967295 134512640 134569956 3221224400 3221214760 1131294712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 46128 13073 16 0 209037 0
vsize: 836212
[startup+750.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25191
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 70106 56 2 1 25 0 11 0 540707962 856281088 47761 4294967295 134512640 134569956 3221224400 3221214648 1131294748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 47761 13073 16 0 209037 0
vsize: 836212
[startup+760.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25192
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 71034 56 2 1 22 0 11 0 540707962 856281088 48964 4294967295 134512640 134569956 3221224400 3221214776 1131319393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 48964 13073 16 0 209037 0
vsize: 836212
[startup+770.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25193
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 71987 56 2 1 25 0 11 0 540707962 856281088 50396 4294967295 134512640 134569956 3221224400 3221214776 1131319475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 50396 13073 16 0 209037 0
vsize: 836212
[startup+780.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 72950 56 2 1 25 0 11 0 540707962 856281088 50396 4294967295 134512640 134569956 3221224400 3221214776 1131319665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 50396 13073 16 0 209037 0
vsize: 836212
[startup+790.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 73872 56 2 1 24 0 11 0 540707962 856281088 51339 4294967295 134512640 134569956 3221224400 3221214848 1131476758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209053 51339 13073 16 0 209037 0
vsize: 836212
[startup+800.101 s]
Raw data (loadavg): 1.00 1.00 0.98 3/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 74853 57 2 1 25 0 11 0 540707962 861421568 52311 4294967295 134512640 134569956 3221224400 3221214728 1131527753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210308 52311 13073 16 0 210292 0
vsize: 841232
[startup+810.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 75834 57 2 1 22 0 11 0 540707962 860950528 52455 4294967295 134512640 134569956 3221224400 3221214736 1131311683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210193 52455 13073 16 0 210177 0
vsize: 840772
[startup+820.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 76815 57 2 1 25 0 11 0 540707962 860884992 52440 4294967295 134512640 134569956 3221224400 3221214848 1131476600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 52440 13073 16 0 210161 0
vsize: 840708
[startup+830.102 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 77797 57 2 1 25 0 11 0 540707962 860884992 52442 4294967295 134512640 134569956 3221224400 3221214848 1131476417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 52442 13073 16 0 210161 0
vsize: 840708
[startup+840.103 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 78776 57 2 1 25 0 11 0 540707962 860884992 52584 4294967295 134512640 134569956 3221224400 3221214736 1131311783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 52584 13073 16 0 210161 0
vsize: 840708
[startup+850.104 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 79770 57 2 1 25 0 11 0 540707962 860884992 52627 4294967295 134512640 134569956 3221224400 3221214848 1131476399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 52627 13073 16 0 210161 0
vsize: 840708
[startup+860.104 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 80766 57 2 1 25 0 11 0 540707962 860884992 52632 4294967295 134512640 134569956 3221224400 3221214736 1131311975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 52632 13073 16 0 210161 0
vsize: 840708
[startup+870.105 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 81763 57 2 1 25 0 11 0 540707962 860884992 52632 4294967295 134512640 134569956 3221224400 3221214848 1131476588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 52632 13073 16 0 210161 0
vsize: 840708
[startup+880.114 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 82761 58 2 1 25 0 11 0 540707962 860884992 52633 4294967295 134512640 134569956 3221224400 3221214848 1131476396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 52633 13073 16 0 210161 0
vsize: 840708
[startup+890.114 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 83757 58 2 1 25 0 11 0 540707962 860884992 52633 4294967295 134512640 134569956 3221224400 3221214736 1131311711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 52633 13073 16 0 210161 0
vsize: 840708
[startup+900.116 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 84754 58 2 1 25 0 11 0 540707962 860884992 52633 4294967295 134512640 134569956 3221224400 3221214848 1131476407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 52633 13073 16 0 210161 0
vsize: 840708
[startup+910.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 85751 58 2 1 25 0 11 0 540707962 860884992 52659 4294967295 134512640 134569956 3221224400 3221214848 1131476600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210177 52659 13073 16 0 210161 0
vsize: 840708
[startup+920.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 86747 58 2 1 25 0 11 0 540707962 857309184 51812 4294967295 134512640 134569956 3221224400 3221214776 1131476603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 51812 13073 16 0 209288 0
vsize: 837216
[startup+930.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 87744 58 2 1 25 0 11 0 540707962 857309184 51812 4294967295 134512640 134569956 3221224400 3221214776 1131476758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 51812 13073 16 0 209288 0
vsize: 837216
[startup+940.118 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 88741 58 2 1 25 0 11 0 540707962 857309184 51812 4294967295 134512640 134569956 3221224400 3221214776 1131476603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 51812 13073 16 0 209288 0
vsize: 837216
[startup+950.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 89738 58 2 1 25 0 11 0 540707962 857309184 51812 4294967295 134512640 134569956 3221224400 3221214776 1131476576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 51812 13073 16 0 209288 0
vsize: 837216
[startup+960.119 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 90735 58 2 1 19 0 11 0 540707962 857309184 51812 4294967295 134512640 134569956 3221224400 3221214664 1131311723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 51812 13073 16 0 209288 0
vsize: 837216
[startup+970.119 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25194
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 91722 58 2 1 25 0 11 0 540707962 857309184 51812 4294967295 134512640 134569956 3221224400 3221214776 1131319460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 51812 13073 16 0 209288 0
vsize: 837216
[startup+980.119 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25195
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 92647 59 2 1 25 0 11 0 540707962 857309184 52072 4294967295 134512640 134569956 3221224400 3221214760 1131294765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 52072 13073 16 0 209288 0
vsize: 837216
[startup+990.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) S 25118 27565 27564 0 -1 0 18076 3 1 0 93553 59 2 1 25 0 11 0 540707962 857309184 52899 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 52899 13073 16 0 209288 0
vsize: 837216
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 94485 59 2 1 25 0 11 0 540707962 857309184 52899 4294967295 134512640 134569956 3221224400 3221214736 1131506801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 52899 13073 16 0 209288 0
vsize: 837216
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 95408 59 2 1 25 0 11 0 540707962 857309184 53227 4294967295 134512640 134569956 3221224400 3221214744 1131501199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 53227 13073 16 0 209288 0
vsize: 837216
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 96331 59 2 1 25 0 11 0 540707962 857309184 53227 4294967295 134512640 134569956 3221224400 3221214648 1131311711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 53227 13073 16 0 209288 0
vsize: 837216
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 97255 59 2 1 25 0 11 0 540707962 857309184 53227 4294967295 134512640 134569956 3221224400 3221214760 1131656643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 53227 13073 16 0 209288 0
vsize: 837216
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 98188 59 2 1 25 0 11 0 540707962 857309184 53705 4294967295 134512640 134569956 3221224400 3221214736 1131506813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 53705 13073 16 0 209288 0
vsize: 837216
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 99151 59 2 1 25 0 11 0 540707962 857309184 53759 4294967295 134512640 134569956 3221224400 3221214760 1131653497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 53759 13073 16 0 209288 0
vsize: 837216
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 100125 59 2 1 25 0 11 0 540707962 857309184 54009 4294967295 134512640 134569956 3221224400 3221214736 1131506808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54009 13073 16 0 209288 0
vsize: 837216
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 101118 59 2 1 25 0 11 0 540707962 857309184 54009 4294967295 134512640 134569956 3221224400 3221214744 1131501499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54009 13073 16 0 209288 0
vsize: 837216
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 102110 59 2 1 25 0 11 0 540707962 857309184 54009 4294967295 134512640 134569956 3221224400 3221214760 1131656643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54009 13073 16 0 209288 0
vsize: 837216
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 103103 59 2 1 25 0 11 0 540707962 857309184 54009 4294967295 134512640 134569956 3221224400 3221214648 1131311831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54009 13073 16 0 209288 0
vsize: 837216
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25196
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 104093 59 2 1 25 0 11 0 540707962 857309184 54009 4294967295 134512640 134569956 3221224400 3221214760 1131378151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54009 13073 16 0 209288 0
vsize: 837216
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25197
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 105026 60 2 1 25 0 11 0 540707962 857309184 54009 4294967295 134512640 134569956 3221224400 3221214872 1131410441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54009 13073 16 0 209288 0
vsize: 837216
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25198
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 105934 60 2 1 25 0 11 0 540707962 857309184 54009 4294967295 134512640 134569956 3221224400 3221214872 1131416976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54009 13073 16 0 209288 0
vsize: 837216
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25198
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 106854 60 2 1 25 0 11 0 540707962 857309184 54009 4294967295 134512640 134569956 3221224400 3221214872 1131410312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54009 13073 16 0 209288 0
vsize: 837216
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 107763 60 2 2 25 0 11 0 540707962 857309184 54145 4294967295 134512640 134569956 3221224400 3221214760 1131294763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54145 13073 16 0 209288 0
vsize: 837216
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) S 25118 27565 27564 0 -1 0 18076 3 1 0 108714 60 2 2 25 0 11 0 540707962 857309184 54252 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54252 13073 16 0 209288 0
vsize: 837216
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 109632 60 2 2 25 0 11 0 540707962 857309184 54438 4294967295 134512640 134569956 3221224400 3221214760 1131653391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209304 54438 13073 16 0 209288 0
vsize: 837216
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 110528 60 2 2 25 0 11 0 540707962 857309184 54438 4294967295 134512640 134569956 3221224400 3221214632 1131294765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54438 13073 16 0 209288 0
vsize: 837216
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 111424 60 2 2 25 0 11 0 540707962 857309184 54714 4294967295 134512640 134569956 3221224400 3221214648 1131311740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54714 13073 16 0 209288 0
vsize: 837216
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 112351 60 2 2 25 0 11 0 540707962 857309184 54763 4294967295 134512640 134569956 3221224400 3221214760 1131653391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 54763 13073 16 0 209288 0
vsize: 837216
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 113296 60 2 2 25 0 11 0 540707962 857309184 55226 4294967295 134512640 134569956 3221224400 3221214760 1131656636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 55226 13073 16 0 209288 0
vsize: 837216
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 114291 60 2 2 25 0 11 0 540707962 857309184 55312 4294967295 134512640 134569956 3221224400 3221214760 1131653388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 55312 13073 16 0 209288 0
vsize: 837216
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 115276 60 2 2 25 0 11 0 540707962 857309184 55312 4294967295 134512640 134569956 3221224400 3221214648 1131311571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 55312 13073 16 0 209288 0
vsize: 837216
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 116262 60 2 2 25 0 11 0 540707962 857309184 55312 4294967295 134512640 134569956 3221224400 3221214760 1131653483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 55312 13073 16 0 209288 0
vsize: 837216
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 117249 60 2 2 25 0 11 0 540707962 857309184 55312 4294967295 134512640 134569956 3221224400 3221214648 1131311571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 55312 13073 16 0 209288 0
vsize: 837216
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 118234 61 2 2 25 0 11 0 540707962 857309184 55312 4294967295 134512640 134569956 3221224400 3221214648 1131311520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 55312 13073 16 0 209288 0
vsize: 837216
[startup+1260.14 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 119228 61 2 2 25 0 11 0 540707962 857309184 55404 4294967295 134512640 134569956 3221224400 3221214744 1131501163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 55404 13073 16 0 209288 0
vsize: 837216
[startup+1270.14 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 25199
Raw data (stat): 25119 (java) R 25118 27565 27564 0 -1 0 18076 3 1 0 120224 61 2 2 25 0 11 0 540707962 857309184 55404 4294967295 134512640 134569956 3221224400 3221214760 1131653388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209304 55404 13073 16 0 209288 0
vsize: 837216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.28 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 25201
Raw data (stat): 25119 (java) Z 25118 27565 27564 0 -1 1036 18076 36118 1 0 120228 61 6468 81 25 0 1 0 540707962 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): 1270.28
CPU time (s): 1268.39
CPU user time (s): 1266.96
CPU system time (s): 1.42578
CPU usage (%): 99.8512
Max. virtual memory (Kb): 841232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####