Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_90_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0002.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 93 1139 81929
c WARNING: Ubcsat not found.
o 81929
c local Search
o 71234
c local Search
c better result
o 315065
c local Search
o 70756
c local Search
c better result
o 396516
c local Search
c better result
o 314745
c local Search
c better result
o 313582
c local Search
c better result
o 396196
c local Search
c better result
o 395033
c local Search
o 70071
c local Search
o 69593
c local Search
c better result
o 395033
c local Search
c better result
o 395033
c local Search
o 70967
c local Search
c better result
o 232869
c local Search
o 70489
c local Search
c better result
o 314320
c local Search
c better result
o 232549
c local Search
c better result
o 231386
c local Search
c better result
o 314000
c local Search
c better result
o 312837
c local Search
o 69804
c local Search
o 69326
c local Search
c better result
o 312837
c local Search
c better result
o 312837
c local Search
o 70716
c local Search
c better result
o 314547
c local Search
o 70238
c local Search
c better result
o 395998
c local Search
c better result
o 314227
c local Search
c better result
o 313064
c local Search
c better result
o 395678
c local Search
c better result
o 394515
c local Search
o 69553
c local Search
o 69075
c local Search
c better result
o 394515
c local Search
c better result
o 394515
c local Search
o 70449
c local Search
c better result
o 232351
c local Search
o 69971
c local Search
c better result
o 313802
c local Search
c better result
o 232031
c local Search
c better result
o 230868
c local Search
c better result
o 313482
c local Search
c better result
o 312319
c local Search
o 69286
c local Search
o 68808
c local Search
c better result
o 312319
c local Search
c better result
o 312319
c local Search
o 71830
c local Search
c better result
o 315661
c local Search
o 71352
c local Search
c better result
o 397112
c local Search
c better result
o 315341
c local Search
c better result
o 314178
c local Search
c better result
o 396792
c local Search
c better result
o 395629
c local Search
o 70667
c local Search
o 70189
c local Search
c better result
o 395629
c local Search
c better result
o 395629
c local Search
o 71563
c local Search
c better result
o 233465
c local Search
o 71085
c local Search
c better result
o 314916
c local Search
c better result
o 233145
c local Search
c better result
o 231982
c local Search
c better result
o 314596
c local Search
c better result
o 313433
c local Search
o 70400
c local Search
o 69922
c local Search
c better result
o 313433
c local Search
c better result
o 313433
c local Search
o 71312
c local Search
c better result
o 315143
c local Search
o 70834
c local Search
c better result
o 396594
c local Search
c better result
o 314823
c local Search
c better result
o 313660
c local Search
c better result
o 396274
c local Search
c better result
o 395111
c local Search
o 70149
c local Search
o 69671
c local Search
c better result
o 395111
c local Search
c better result
o 395111
c local Search
o 71045
c local Search
c better result
o 232947
c local Search
o 70567
c local Search
c better result
o 314398
c local Search
c better result
o 232627
c local Search
c better result
o 231464
c local Search
c better result
o 314078
c local Search
c better result
o 312915
c local Search
o 69882
c local Search
o 69404
c local Search
c better result
o 312915
c local Search
c better result
o 312915
c local Search
o 71081
c local Search
c better result
o 396841
c local Search
c better result
o 396521
c local Search
c better result
o 395358
c local Search
o 69918
c local Search
c better result
o 395358
c local Search
o 70814
c local Search
c better result
o 314645
c local Search
c better result
o 314325
c local Search
c better result
o 313162
c local Search
o 69651
c local Search
c better result
o 313162
c local Search
o 70563
c local Search
c better result
o 396323
c local Search
c better result
o 396003
c local Search
c better result
o 394840
c local Search
o 69400
c local Search
c better result
o 394840
c local Search
o 70296
c local Search
c better result
o 314127
c local Search
c better result
o 313807
c local Search
c better result
o 312644
c local Search
o 69133
c local Search
c better result
o 312644
c local Search
o 71677
c local Search
c better result
o 397437
c local Search
c better result
o 397117
c local Search
c better result
o 395954
c local Search
o 70514
c local Search
c better result
o 395954
c local Search
o 71410
c local Search
c better result
o 315241
c local Search
c better result
o 314921
c local Search
c better result
o 313758
c local Search
o 70247
c local Search
c better result
o 313758
c local Search
o 71159
c local Search
c better result
o 396919
c local Search
c better result
o 396599
c local Search
c better result
o 395436
c local Search
o 69996
c local Search
c better result
o 395436
c local Search
o 70892
c local Search
c better result
o 314723
c local Search
c better result
o 314403
c local Search
c better result
o 313240
c local Search
o 69729
c local Search
c better result
o 313240
c local Search
c better result
o 396833
c local Search
c better result
o 395670
c local Search
c better result
o 314592
c local Search
c better result
o 313429
c local Search
o 70756
c local Search
c better result
o 314587
c local Search
c better result
o 314267
c local Search
c better result
o 313104
c local Search
c better result
o 395670
c local Search
c better result
o 313429
c local Search
o 69593
c local Search
c better result
o 313104
c local Search
c better result
o 314637
c local Search
c better result
o 313474
c local Search
c better result
o 232396
c local Search
c better result
o 231233
c local Search
o 70489
c local Search
c better result
o 232391
c local Search
c better result
o 232071
c local Search
c better result
o 230908
c local Search
c better result
o 313474
c local Search
c better result
o 231233
c local Search
o 69326
c local Search
c better result
o 230908
c local Search
c better result
o 396315
c local Search
c better result
o 395152
c local Search
c better result
o 314074
c local Search
c better result
o 312911
c local Search
o 70238
c local Search
c better result
o 314069
c local Search
c better result
o 313749
c local Search
c better result
o 312586
c local Search
c better result
o 395152
c local Search
c better result
o 312911
c local Search
o 69075
c local Search
c better result
o 312586
c local Search
c better result
o 314119
c local Search
c better result
o 312956
c local Search
c better result
o 231878
c local Search
c better result
o 230715
c local Search
o 69971
c local Search
c better result
o 231873
c local Search
c better result
o 231553
c local Search
c better result
o 230390
c local Search
c better result
o 312956
c local Search
c better result
o 230715
c local Search
o 68808
c local Search
c better result
o 230390
c local Search
o 71677
c local Search
c better result
o 315508
c local Search
c better result
o 315188
c local Search
c better result
o 314025
c local Search
o 71352
c local Search
c better result
o 315183
c local Search
c better result
o 314863
c local Search
c better result
o 313700
c local Search
o 70514
c local Search
c better result
o 314025
c local Search
o 70189
c local Search
c better result
o 313700
c local Search
o 71410
c local Search
c better result
o 233312
c local Search
c better result
o 232992
c local Search
c better result
o 231829
c local Search
o 71085
c local Search
c better result
o 232987
c local Search
c better result
o 232667
c local Search
c better result
o 231504
c local Search
o 70247
c local Search
c better result
o 231829
c local Search
o 69922
c local Search
c better result
o 231504
c local Search
o 71159
c local Search
c better result
o 314990
c local Search
c better result
o 314670
c local Search
c better result
o 313507
c local Search
o 70834
c local Search
c better result
o 314665
c local Search
c better result
o 314345
c local Search
c better result
o 313182
c local Search
o 69996
c local Search
c better result
o 313507
c local Search
o 69671
c local Search
c better result
o 313182
c local Search
o 70892
c local Search
c better result
o 232794
c local Search
c better result
o 232474
c local Search
c better result
o 231311
c local Search
o 70567
c local Search
c better result
o 232469
c local Search
c better result
o 232149
c local Search
c better result
o 230986
c local Search
o 69729
c local Search
c better result
o 231311
c local Search
o 69404
c local Search
c better result
o 230986
c local Search
o 70549
c local Search
o 70071
c local Search
o 69759
c local Search
o 69492
c local Search
o 69241
o 68974
c local Search
c better result
o 312608
c local Search
c better result
o 312608
c local Search
o 72119
c local Search
c better result
o 315950
c local Search
o 71641
c local Search
c better result
o 397401
c local Search
c better result
o 315630
c local Search
c better result
o 314467
c local Search
c better result
o 397081
c local Search
c better result
o 395918
c local Search
o 70956
c local Search
o 70478
c local Search
c better result
o 395918
c local Search
c better result
o 395918
c local Search
o 71852
c local Search
c better result
o 233754
c local Search
o 71374
c local Search
c better result
o 315205
c local Search
c better result
o 233434
c local Search
c better result
o 232271
c local Search
c better result
o 314885
c local Search
c better result
o 313722
c local Search
o 70689
c local Search
o 70211
c local Search
c better result
o 313722
c local Search
c better result
o 313722
c local Search
o 71601
c local Search
c better result
o 315432
c local Search
o 71123
c local Search
c better result
o 396883
c local Search
c better result
o 315112
c local Search
c better result
o 313949
c local Search
c better result
o 396563
c local Search
c better result
o 395400
c local Search
o 70438
c local Search
o 69960
c local Search
c better result
o 395400
c local Search
c better result
o 395400
c local Search
o 71334
o 71198
c local Search
o 70856
c local Search
c better result
o 314687
c local Search
c better result
o 232916
c local Search
c better result
o 231753
c local Search
c better result
o 314367
c local Search
c better result
o 313204
c local Search
o 70171
c local Search
o 69693
c local Search
c better result
o 313204
c local Search
c better result
o 313204
c local Search
c better result
o 397166
c local Search
c better result
o 396003
c local Search
c better result
o 395683
c local Search
c better result
o 394520
c local Search
c better result
o 396003
c local Search
c better result
o 394520
c local Search
c better result
o 314970
c local Search
c better result
o 313807
c local Search
c better result
o 313487
c local Search
c better result
o 312324
c local Search
c better result
o 313807
c local Search
c better result
o 312324
c local Search
c better result
o 396648
c local Search
c better result
o 395485
c local Search
c better result
o 395165
c local Search
c better result
o 394002
c local Search
c better result
o 395485
c local Search
c better result
o 394002
c local Search
c better result
o 314452
c local Search
c better result
o 313289
c local Search
c better result
o 312969
c local Search
c better result
o 311806
c local Search
c better result
o 313289
c local Search
c better result
o 311806
c local Search
c better result
o 397762
c local Search
c better result
o 396599
c local Search
c better result
o 396279
c local Search
c better result
o 395116
c local Search
c better result
o 396599
c local Search
c better result
o 395116
c local Search
c better result
o 315566
c local Search
c better result
o 314403
c local Search
c better result
o 314083
c local Search
c better result
o 312920
c local Search
c better result
o 314403
c local Search
c better result
o 312920
c local Search
c better result
o 397244
c local Search
c better result
o 396081
c local Search
c better result
o 395761
c local Search
c better result
o 394598
c local Search
c better result
o 396081
c local Search
c better result
o 394598
c local Search
c better result
o 315048
c local Search
c better result
o 313885
c local Search
c better result
o 313565
c local Search
c better result
o 312402
c local Search
c better result
o 313885
c local Search
c better result
o 312402
c local Search
c better result
o 315237
c local Search
c better result
o 314074
c local Search
c better result
o 313754
c local Search
c better result
o 312591
c local Search
o 71045
c local Search
c better result
o 314876
c local Search
c better result
o 314556
c local Search
c better result
o 313393
c local Search
c better result
o 314074
c local Search
c better result
o 312591
c local Search
o 69882
c local Search
c better result
o 313393
c local Search
c better result
o 233041
c local Search
c better result
o 231878
c local Search
c better result
o 231558
c local Search
c better result
o 230395
c local Search
o 70778
c local Search
c better result
o 232680
c local Search
c better result
o 232360
c local Search
c better result
o 231197
c local Search
c better result
o 231878
c local Search
c better result
o 230395
c local Search
o 69615
c local Search
c better result
o 231197
c local Search
c better result
o 314719
c local Search
c better result
o 313556
c local Search
c better result
o 313236
c local Search
c better result
o 312073
c local Search
o 70527
c local Search
c better result
o 314358
c local Search
c better result
o 314038
c local Search
c better result
o 312875
c local Search
c better result
o 313556
c local Search
c better result
o 312073
c local Search
o 69364
c local Search
c better result
o 312875
c local Search
c better result
o 232523
c local Search
c better result
o 231360
c local Search
c better result
o 231040
c local Search
c better result
o 229877
c local Search
o 70260
c local Search
c better result
o 232162
c local Search
c better result
o 231842
c local Search
c better result
o 230679
c local Search
c better result
o 231360
c local Search
c better result
o 229877
c local Search
o 69097
c local Search
c better result
o 230679
c local Search
c better result
o 315833
c local Search
c better result
o 314670
c local Search
c better result
o 314350
c local Search
c better result
o 313187
c local Search
o 71641
c local Search
c better result
o 315472
c local Search
c better result
o 315152
c local Search
c better result
o 313989
c local Search
c better result
o 314670
c local Search
c better result
o 313187
c local Search
o 70478
c local Search
c better result
o 313989
c local Search
c better result
o 233637
c local Search
c better result
o 232474
c local Search
c better result
o 232154
c local Search
c better result
o 230991
c local Search
o 71374
c local Search
c better result
o 233276
c local Search
c better result
o 232956
c local Search
c better result
o 231793
c local Search
c better result
o 232474
c local Search
c better result
o 230991
c local Search
o 70211
c local Search
c better result
o 231793
c local Search
c better result
o 315315
c local Search
c better result
o 314152
c local Search
c better result
o 313832
c local Search
c better result
o 312669
c local Search
o 71123
c local Search
c better result
o 314954
c local Search
c better result
o 314634
c local Search
c better result
o 313471
c local Search
c better result
o 314152
c local Search
c better result
o 312669
c local Search
o 69960
c local Search
c better result
o 313471
c local Search
c better result
o 233119
c local Search
c better result
o 231956
c local Search
c better result
o 231636
c local Search
c better result
o 230473
c local Search
o 70856
c local Search
c better result
o 232758
c local Search
c better result
o 232438
c local Search
c better result
o 231275
c local Search
c better result
o 231956
c local Search
c better result
o 230473
c local Search
o 69693
c local Search
c better result
o 231275
c local Search
o 70838
c local Search
o 70360
c local Search
o 70048
c local Search
o 69781
c local Search
o 69530
c local Search
o 69263
c local Search
c better result
o 394840
c local Search
c better result
o 312911
c local Search
o 70296
c local Search
c better result
o 314127
c local Search
c better result
o 314119
c local Search
c better result
o 312956
c local Search
c better result
o 313807
c local Search
c better result
o 312644
c local Search
c better result
o 231878
c local Search
c better result
o 230715
c local Search
o 69133
c local Search
c better result
o 312644
c local Search
c better result
o 230715
c local Search
o 71677
c local Search
c better result
o 397437
c local Search
o 71677
c local Search
c better result
o 315508
c local Search
c better result
o 397117
c local Search
c better result
o 395954
c local Search
c better result
o 315188
c local Search
c better result
o 314025
c local Search
o 70514
c local Search
c better result
o 395954
c local Search
c better result
o 314025
c local Search
o 71410
c local Search
c better result
o 315241
c local Search
o 71410
c local Search
c better result
o 233312
c local Search
c better result
o 314921
c local Search
c better result
o 313758
c local Search
c better result
o 232992
c local Search
c better result
o 231829
c local Search
o 70247
c local Search
c better result
o 313758
c local Search
c better result
o 231829
c local Search
o 71159
c local Search
c better result
o 396919
c local Search
o 71159
c local Search
c better result
o 314990
c local Search
c better result
o 396599
c local Search
c better result
o 395436
c local Search
c better result
o 314670
c local Search
c better result
o 313507
c local Search
o 69996
c local Search
c better result
o 395436
c local Search
c better result
o 313507
c local Search
o 70892
c local Search
c better result
o 314723
c local Search
o 70892
c local Search
c better result
o 232794
c local Search
c better result
o 314403
c local Search
c better result
o 313240
c local Search
c better result
o 232474
c local Search
c better result
o 231311
c local Search
o 69729
c local Search
c better result
o 313240
c local Search
c better result
o 231311
c local Search
o 70396
c local Search
o 70084
c local Search
o 69817
c local Search
o 69566
o 69299
c local Search
c better result
o 311806
c local Search
c better result
o 229877
c local Search
c better result
o 397762
c local Search
c better result
o 396599
c local Search
c better result
o 315833
c local Search
c better result
o 314670
c local Search
c better result
o 396279
c local Search
c better result
o 395116
c local Search
c better result
o 314350
c local Search
c better result
o 313187
c local Search
c better result
o 396599
c local Search
c better result
o 314670
c local Search
c better result
o 395116
c local Search
c better result
o 313187
c local Search
c better result
o 315566
c local Search
c better result
o 314403
c local Search
c better result
o 233637
c local Search
c better result
o 232474
c local Search
c better result
o 314083
c local Search
c better result
o 312920
c local Search
c better result
o 232154
c local Search
c better result
o 230991
c local Search
c better result
o 314403
c local Search
c better result
o 232474
c local Search
c better result
o 312920
c local Search
c better result
o 230991
c local Search
c better result
o 397244
c local Search
c better result
o 396081
c local Search
c better result
o 315315
c local Search
c better result
o 314152
c local Search
c better result
o 395761
c local Search
c better result
o 394598
c local Search
c better result
o 313832
c local Search
c better result
o 312669
c local Search
c better result
o 396081
c local Search
c better result
o 314152
c local Search
c better result
o 394598
c local Search
c better result
o 312669
c local Search
c better result
o 315048
c local Search
c better result
o 313885
c local Search
c better result
o 233119
c local Search
c better result
o 231956
c local Search
c better result
o 313565
c local Search
c better result
o 312402
c local Search
c better result
o 231636
c local Search
c better result
o 230473
c local Search
c better result
o 313885
c local Search
c better result
o 231956
c local Search
c better result
o 312402
c local Search
c better result
o 230473
c local Search
c better result
o 396481
c local Search
c better result
o 314552
c local Search
c better result
o 396169
c local Search
c better result
o 314240
c local Search
c better result
o 314285
c local Search
c better result
o 232356
c local Search
c better result
o 313973
c local Search
c better result
o 232044
c local Search
c better result
o 395963
c local Search
c better result
o 314034
c local Search
c better result
o 395651
c local Search
c better result
o 313722
c local Search
c better result
o 313767
c local Search
c better result
o 231838
c local Search
c better result
o 313455
c local Search
c better result
o 231526
c local Search
c better result
o 397077
c local Search
c better result
o 315148
c local Search
c better result
o 396765
c local Search
c better result
o 314836
c local Search
c better result
o 314881
c local Search
c better result
o 232952
c local Search
c better result
o 314569
c local Search
c better result
o 232640
c local Search
c better result
o 396559
c local Search
c better result
o 314630
c local Search
c better result
o 396247
c local Search
c better result
o 314318
c local Search
c better result
o 314363
c local Search
c better result
o 232434
c local Search
c better result
o 314051
c local Search
c better result
o 232122
c local Search
c better result
o 397928
c local Search
c better result
o 396765
c local Search
c better result
o 396757
c local Search
c better result
o 395594
c local Search
c better result
o 396445
c local Search
c better result
o 395282
c local Search
c better result
o 314516
c local Search
c better result
o 313353
c local Search
c better result
o 396765
c local Search
c better result
o 395594
c local Search
c better result
o 395282
c local Search
c better result
o 313353
c local Search
c better result
o 315934
c local Search
c better result
o 314771
c local Search
c better result
o 314763
c local Search
c better result
o 313600
c local Search
c better result
o 314451
c local Search
c better result
o 313288
c local Search
c better result
o 232522
c local Search
c better result
o 231359
c local Search
c better result
o 314771
c local Search
c better result
o 313600
c local Search
c better result
o 313288
c local Search
c better result
o 231359
c local Search
c better result
o 397410
c local Search
c better result
o 396247
c local Search
c better result
o 396239
c local Search
c better result
o 395076
c local Search
c better result
o 395927
c local Search
c better result
o 394764
c local Search
c better result
o 313998
c local Search
c better result
o 312835
c local Search
c better result
o 396247
c local Search
c better result
o 395076
c local Search
c better result
o 394764
c local Search
c better result
o 312835
c local Search
c better result
o 315416
c local Search
c better result
o 314253
c local Search
c better result
o 314245
c local Search
c better result
o 313082
c local Search
c better result
o 313933
c local Search
c better result
o 312770
c local Search
c better result
o 232004
c local Search
c better result
o 230841
c local Search
c better result
o 314253
c local Search
c better result
o 313082
c local Search
c better result
o 312770
c local Search
c better result
o 230841
c local Search
c better result
o 398524
c local Search
c better result
o 397361
c local Search
c better result
o 316595
c local Search
c better result
o 315432
c local Search
c better result
o 397041
c local Search
c better result
o 395878
c local Search
c better result
o 315112
c local Search
c better result
o 313949
c local Search
c better result
o 397361
c local Search
c better result
o 315432
c local Search
c better result
o 395878
c local Search
c better result
o 313949
c local Search
c better result
o 316530
c local Search
c better result
o 315367
c local Search
c better result
o 234601
c local Search
c better result
o 233438
c local Search
c better result
o 315047
c local Search
c better result
o 313884
c local Search
c better result
o 233118
c local Search
c better result
o 231955
c local Search
c better result
o 315367
c local Search
c better result
o 233438
c local Search
c better result
o 313884
c local Search
c better result
o 231955
c local Search
c better result
o 398006
c local Search
c better result
o 396843
c local Search
c better result
o 316077
c local Search
c better result
o 314914
c local Search
c better result
o 396523
c local Search
c better result
o 395360
c local Search
c better result
o 314594
c local Search
c better result
o 313431
c local Search
c better result
o 396843
c local Search
c better result
o 314914
c local Search
c better result
o 395360
c local Search
c better result
o 313431
c local Search
c better result
o 316012
c local Search
c better result
o 314849
c local Search
c better result
o 234083
c local Search
c better result
o 232920
c local Search
c better result
o 314529
c local Search
c better result
o 313366
c local Search
c better result
o 232600
c local Search
c better result
o 231437
c local Search
c better result
o 314849
c local Search
c better result
o 232920
c local Search
c better result
o 313366
c local Search
c better result
o 231437
c local Search
c better result
o 397243
c local Search
c better result
o 396072
c local Search
c better result
o 396931
c local Search
c better result
o 395760
c local Search
c better result
o 315249
c local Search
c better result
o 314078
c local Search
c better result
o 314937
c local Search
c better result
o 313766
c local Search
c better result
o 396725
c local Search
c better result
o 395554
c local Search
c better result
o 396413
c local Search
c better result
o 395242
c local Search
c better result
o 314731
c local Search
c better result
o 313560
c local Search
c better result
o 314419
c local Search
c better result
o 313248
c local Search
c better result
o 397839
c local Search
c better result
o 315910
c local Search
c better result
o 397527
c local Search
c better result
o 315598
c local Search
c better result
o 315845
c local Search
c better result
o 233916
c local Search
c better result
o 315533
c local Search
c better result
o 233604
c local Search
c better result
o 397321
c local Search
c better result
o 315392
c local Search
c better result
o 397009
c local Search
c better result
o 315080
c local Search
c better result
o 315327
c local Search
c better result
o 233398
c local Search
c better result
o 315015
c local Search
c better result
o 233086
c local Search
c better result
o 398217
c local Search
c better result
o 397054
c local Search
c better result
o 397046
c local Search
c better result
o 395883
c local Search
c better result
o 398040
c local Search
c better result
o 396877
c local Search
c better result
o 396869
c local Search
c better result
o 395706
c local Search
c better result
o 397054
c local Search
c better result
o 395883
c local Search
c better result
o 396877
c local Search
c better result
o 395706
c local Search
c better result
o 316223
c local Search
c better result
o 315060
c local Search
c better result
o 315052
c local Search
c better result
o 313889
c local Search
c better result
o 315844
c local Search
c better result
o 314681
c local Search
c better result
o 314673
c local Search
c better result
o 313510
c local Search
c better result
o 315060
c local Search
c better result
o 313889
c local Search
c better result
o 314681
c local Search
c better result
o 313510
c local Search
c better result
o 397699
c local Search
c better result
o 396536
c local Search
c better result
o 396528
c local Search
c better result
o 395365
c local Search
c better result
o 397522
c local Search
c better result
o 396359
c local Search
c better result
o 396351
c local Search
c better result
o 395188
c local Search
c better result
o 396536
c local Search
c better result
o 395365
c local Search
c better result
o 396359
c local Search
c better result
o 395188
c local Search
c better result
o 315705
c local Search
c better result
o 314542
c local Search
c better result
o 314534
c local Search
c better result
o 313371
c local Search
c better result
o 315326
c local Search
c better result
o 314163
c local Search
c better result
o 314155
c local Search
c better result
o 312992
c local Search
c better result
o 314542
c local Search
c better result
o 313371
c local Search
c better result
o 314163
c local Search
c better result
o 312992
c local Search
c better result
o 398813
c local Search
c better result
o 397650
c local Search
c better result
o 316884
c local Search
c better result
o 315721
c local Search
c better result
o 398636
c local Search
c better result
o 397473
c local Search
c better result
o 316707
c local Search
c better result
o 315544
c local Search
c better result
o 397650
c local Search
c better result
o 315721
c local Search
c better result
o 397473
c local Search
c better result
o 315544
c local Search
c better result
o 316819
c local Search
c better result
o 315656
c local Search
c better result
o 234890
c local Search
c better result
o 233727
c local Search
c better result
o 316440
c local Search
c better result
o 315277
c local Search
c better result
o 234511
c local Search
c better result
o 233348
c local Search
c better result
o 315656
c local Search
c better result
o 233727
c local Search
c better result
o 315277
c local Search
c better result
o 233348
c local Search
c better result
o 398295
c local Search
c better result
o 397132
c local Search
c better result
o 316366
c local Search
c better result
o 315203
c local Search
c better result
o 398118
c local Search
c better result
o 396955
c local Search
c better result
o 316189
c local Search
c better result
o 315026
c local Search
c better result
o 397132
c local Search
c better result
o 315203
c local Search
c better result
o 396955
c local Search
c better result
o 315026
c local Search
c better result
o 316301
c local Search
c better result
o 315138
c local Search
c better result
o 234372
c local Search
c better result
o 233209
c local Search
c better result
o 315922
c local Search
c better result
o 314759
c local Search
c better result
o 233993
c local Search
c better result
o 232830
c local Search
c better result
o 315138
c local Search
c better result
o 233209
c local Search
c better result
o 314759
c local Search
c better result
o 232830
c local Search
c better result
o 397532
c local Search
c better result
o 396361
c local Search
c better result
o 397355
c local Search
c better result
o 396184
c local Search
c better result
o 315538
c local Search
c better result
o 314367
c local Search
c better result
o 315159
c local Search
c better result
o 313988
c local Search
c better result
o 397014
c local Search
c better result
o 395843
c local Search
c better result
o 396837
c local Search
c better result
o 395666
c local Search
c better result
o 315020
c local Search
c better result
o 313849
c local Search
c better result
o 314641
c local Search
c better result
o 313470
c local Search
c better result
o 398128
c local Search
c better result
o 316199
c local Search
c better result
o 397951
c local Search
c better result
o 316022
c local Search
c better result
o 316134
c local Search
c better result
o 234205
c local Search
c better result
o 315755
c local Search
c better result
o 233826
c local Search
c better result
o 397610
c local Search
c better result
o 315681
c local Search
c better result
o 397433
c local Search
c better result
o 315504
c local Search
c better result
o 315616
c local Search
c better result
o 233687
c local Search
c better result
o 315237
c local Search
c better result
o 233308
c local Search
o 71158
c local Search
c better result
o 314989
c local Search
o 70680
o 70544
c local Search
c better result
o 396120
c local Search
c better result
o 394957
c local Search
o 70991
c local Search
c better result
o 314822
c local Search
o 70513
c local Search
c better result
o 396273
c local Search
c better result
o 314502
c local Search
c better result
o 313339
c local Search
c better result
o 395953
c local Search
c better result
o 394790
c local Search
o 69995
c local Search
o 69517
c local Search
c better result
o 394957
c local Search
c better result
o 394957
c local Search
o 69828
c local Search
o 69350
c local Search
c better result
o 394790
c local Search
c better result
o 394790
c local Search
o 70640
c local Search
c better result
o 314471
c local Search
o 70162
c local Search
c better result
o 395922
c local Search
c better result
o 314151
c local Search
c better result
o 312988
c local Search
c better result
o 395602
c local Search
c better result
o 394439
c local Search
o 70473
c local Search
c better result
o 314304
c local Search
o 69995
c local Search
c better result
o 395755
c local Search
c better result
o 313984
c local Search
c better result
o 312821
c loca