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_100_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0000.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 101 932 85122
c WARNING: Ubcsat not found.
o 85122
c local Search
o 74696
c local Search
o 74603
c local Search
o 73855
c local Search
o 73762
c local Search
o 73375
c local Search
o 73282
c local Search
o 73217
c local Search
c better result
o 241016
c local Search
c better result
o 240923
c local Search
c better result
o 241016
c local Search
c better result
o 156158
c local Search
c better result
o 243357
c local Search
c better result
o 242516
c local Search
c better result
o 243264
c local Search
c better result
o 242423
c local Search
c better result
o 243357
c local Search
c better result
o 242516
c local Search
c better result
o 242708
c local Search
c better result
o 157586
c local Search
c better result
o 242516
c local Search
c better result
o 242423
c local Search
c better result
o 242516
c local Search
c better result
o 157658
c local Search
c better result
o 241857
c local Search
c better result
o 241694
c local Search
c better result
o 241764
c local Search
c better result
o 241601
c local Search
c better result
o 241857
c local Search
c better result
o 241694
c local Search
c better result
o 241208
c local Search
c better result
o 156086
c local Search
c better result
o 241016
c local Search
c better result
o 240923
c local Search
c better result
o 241016
c local Search
c better result
o 156158
c local Search
o 74151
c local Search
o 73310
c local Search
c better result
o 241016
c local Search
c better result
o 241016
c local Search
c better result
o 243357
c local Search
c better result
o 242516
c local Search
c better result
o 243357
c local Search
c better result
o 242516
c local Search
c better result
o 242516
c local Search
c better result
o 242516
c local Search
c better result
o 241857
c local Search
c better result
o 241694
c local Search
c better result
o 241857
c local Search
c better result
o 241694
c local Search
c better result
o 241016
c local Search
c better result
o 241016
c local Search
c better result
o 242727
c local Search
c better result
o 242109
c local Search
c better result
o 242634
c local Search
c better result
o 242016
c local Search
c better result
o 242727
c local Search
c better result
o 242109
c local Search
c better result
o 242078
c local Search
c better result
o 157179
c local Search
c better result
o 242109
c local Search
c better result
o 242016
c local Search
c better result
o 242109
c local Search
c better result
o 157251
c local Search
c better result
o 326121
c local Search
c better result
o 241287
c local Search
c better result
o 326028
c local Search
c better result
o 241194
c local Search
c better result
o 326121
c local Search
c better result
o 241287
c local Search
c better result
o 241598
c local Search
c better result
o 155679
c local Search
c better result
o 240609
c local Search
c better result
o 240516
c local Search
c better result
o 240609
c local Search
c better result
o 155751
c local Search
c better result
o 242727
c local Search
c better result
o 240852
c local Search
c better result
o 242634
c local Search
c better result
o 240759
c local Search
c better result
o 242727
c local Search
c better result
o 240852
c local Search
c better result
o 242078
c local Search
c better result
o 155922
c local Search
c better result
o 240852
c local Search
c better result
o 240759
c local Search
c better result
o 240852
c local Search
c better result
o 155994
c local Search
c better result
o 326121
c local Search
c better result
o 240030
c local Search
c better result
o 326028
c local Search
c better result
o 239937
c local Search
c better result
o 326121
c local Search
c better result
o 240030
c local Search
c better result
o 241598
c local Search
c better result
o 155442
c local Search
c better result
o 240372
c local Search
c better result
o 240279
c local Search
c better result
o 240372
c local Search
c better result
o 155514
c local Search
c better result
o 242727
c local Search
c better result
o 242109
c local Search
c better result
o 242727
c local Search
c better result
o 242109
c local Search
c better result
o 242109
c local Search
c better result
o 242109
c local Search
c better result
o 326121
c local Search
c better result
o 241287
c local Search
c better result
o 326121
c local Search
c better result
o 241287
c local Search
c better result
o 240609
c local Search
c better result
o 240609
c local Search
c better result
o 242727
c local Search
c better result
o 240852
c local Search
c better result
o 242727
c local Search
c better result
o 240852
c local Search
c better result
o 240852
c local Search
c better result
o 240852
c local Search
c better result
o 326121
c local Search
c better result
o 240030
c local Search
c better result
o 326121
c local Search
c better result
o 240030
c local Search
c better result
o 240372
c local Search
c better result
o 240372
c local Search
c better result
o 242727
c local Search
c better result
o 240852
c local Search
c better result
o 242634
c local Search
c better result
o 240759
c local Search
c better result
o 242727
c local Search
c better result
o 240852
c local Search
c better result
o 242634
c local Search
c better result
o 240759
c local Search
c better result
o 243357
c local Search
c better result
o 242516
c local Search
c better result
o 243264
c local Search
c better result
o 242423
c local Search
c better result
o 243357
c local Search
c better result
o 242516
c local Search
c better result
o 243264
c local Search
c better result
o 242423
c local Search
c better result
o 242078
c local Search
c better result
o 155922
c local Search
c better result
o 242078
c local Search
c better result
o 155922
c local Search
c better result
o 242708
c local Search
c better result
o 157586
c local Search
c better result
o 242708
c local Search
c better result
o 157586
c local Search
c better result
o 240852
c local Search
c better result
o 240759
c local Search
c better result
o 240852
c local Search
c better result
o 240759
c local Search
c better result
o 242516
c local Search
c better result
o 242423
c local Search
c better result
o 242516
c local Search
c better result
o 242423
c local Search
c better result
o 155994
c local Search
c better result
o 155994
c local Search
c better result
o 157658
c local Search
c better result
o 157658
c local Search
c better result
o 326121
c local Search
c better result
o 240030
c local Search
c better result
o 326028
c local Search
c better result
o 239937
c local Search
c better result
o 326121
c local Search
c better result
o 240030
c local Search
c better result
o 326028
c local Search
c better result
o 239937
c local Search
c better result
o 241857
c local Search
c better result
o 241694
c local Search
c better result
o 241764
c local Search
c better result
o 241601
c local Search
c better result
o 241857
c local Search
c better result
o 241694
c local Search
c better result
o 241764
c local Search
c better result
o 241601
c local Search
c better result
o 241598
c local Search
c better result
o 155442
c local Search
c better result
o 241598
c local Search
c better result
o 155442
c local Search
c better result
o 241208
c local Search
c better result
o 156086
c local Search
c better result
o 241208
c local Search
c better result
o 156086
c local Search
c better result
o 240372
c local Search
c better result
o 240279
c local Search
c better result
o 240372
c local Search
c better result
o 240279
c local Search
c better result
o 241016
c local Search
c better result
o 240923
c local Search
c better result
o 241016
c local Search
c better result
o 240923
c local Search
c better result
o 155514
c local Search
c better result
o 155514
c local Search
c better result
o 156158
c local Search
c better result
o 156158
c local Search
c better result
o 242727
c local Search
c better result
o 240852
c local Search
c better result
o 242727
c local Search
c better result
o 240852
c local Search
c better result
o 243357
c local Search
c better result
o 242516
c local Search
c better result
o 243357
c local Search
c better result
o 242516
c local Search
c better result
o 242727
c local Search
c better result
o 240852
c local Search
c better result
o 242727
c local Search
c better result
o 240852
c local Search
c better result
o 243357
c local Search
c better result
o 242516
c local Search
c better result
o 243357
c local Search
c better result
o 242516
c local Search
c better result
o 240852
c local Search
c better result
o 240852
c local Search
c better result
o 242516
c local Search
c better result
o 242516
c local Search
c better result
o 240852
c local Search
c better result
o 240852
c local Search
c better result
o 242516
c local Search
c better result
o 242516
c local Search
c better result
o 326121
c local Search
c better result
o 240030
c local Search
c better result
o 326121
c local Search
c better result
o 240030
c local Search
c better result
o 241857
c local Search
c better result
o 241694
c local Search
c better result
o 241857
c local Search
c better result
o 241694
c local Search
c better result
o 326121
c local Search
c better result
o 240030
c local Search
c better result
o 326121
c local Search
c better result
o 240030
c local Search
c better result
o 241857
c local Search
c better result
o 241694
c local Search
c better result
o 241857
c local Search
c better result
o 241694
c local Search
c better result
o 240372
c local Search
c better result
o 240372
c local Search
c better result
o 241016
c local Search
c better result
o 241016
c local Search
c better result
o 240372
c local Search
c better result
o 240372
c local Search
c better result
o 241016
c local Search
c better result
o 241016
c local Search
o 74328
c local Search
o 73487
c local Search
o 73007
c local Search
o 72942
c local Search
c better result
o 240648
c local Search
c better result
o 240648
c local Search
c better result
o 242868
c local Search
c better result
o 157746
c local Search
o 74218
c local Search
o 73734
c local Search
o 73377
c local Search
c better result
o 156318
c local Search
c better result
o 241083
c local Search
c better result
o 242989
c local Search
c better result
o 242148
c local Search
c better result
o 242989
c local Search
c better result
o 242148
c local Search
c better result
o 242148
c local Search
c better result
o 242148
c local Search
c better result
o 241489
c local Search
c better result
o 241326
c local Search
c better result
o 241489
c local Search
c better result
o 241326
c local Search
c better result
o 240648
c local Search
c better result
o 240648
c local Search
c better result
o 242868
c local Search
c better result
o 157746
c local Search
c better result
o 243424
c local Search
c better result
o 242583
c local Search
c better result
o 157818
c local Search
c better result
o 242583
c local Search
c better result
o 241368
c local Search
c better result
o 156246
c local Search
c better result
o 241924
c local Search
c better result
o 241761
c local Search
c better result
o 156318
c local Search
c better result
o 241083
c local Search
c better result
o 242359
c local Search
c better result
o 241741
c local Search
c better result
o 242359
c local Search
c better result
o 241741
c local Search
c better result
o 241741
c local Search
c better result
o 241741
c local Search
c better result
o 325753
c local Search
c better result
o 240919
c local Search
c better result
o 325753
c local Search
c better result
o 240919
c local Search
c better result
o 240241
c local Search
c better result
o 240241
c local Search
c better result
o 242238
c local Search
c better result
o 157339
c local Search
c better result
o 242794
c local Search
c better result
o 242176
c local Search
c better result
o 157411
c local Search
c better result
o 242176
c local Search
c better result
o 241758
c local Search
c better result
o 155839
c local Search
c better result
o 326188
c local Search
c better result
o 241354
c local Search
c better result
o 155911
c local Search
c better result
o 240676
c local Search
c better result
o 242359
c local Search
c better result
o 240484
c local Search
c better result
o 242359
c local Search
c better result
o 240484
c local Search
c better result
o 240484
c local Search
c better result
o 240484
c local Search
c better result
o 325753
c local Search
c better result
o 239662
c local Search
c better result
o 325753
c local Search
c better result
o 239662
c local Search
c better result
o 240004
c local Search
c better result
o 240004
c local Search
c better result
o 242238
c local Search
c better result
o 156082
c local Search
c better result
o 242794
c local Search
c better result
o 240919
c local Search
c better result
o 156154
c local Search
c better result
o 240919
c local Search
c better result
o 241758
c local Search
c better result
o 155602
c local Search
c better result
o 326188
c local Search
c better result
o 240097
c local Search
c better result
o 155674
c local Search
c better result
o 240439
c local Search
c better result
o 242359
c local Search
c better result
o 240484
c local Search
c better result
o 242359
c local Search
c better result
o 240484
c local Search
c better result
o 242989
c local Search
c better result
o 242148
c local Search
c better result
o 242989
c local Search
c better result
o 242148
c local Search
c better result
o 242359
c local Search
c better result
o 240484
c local Search
c better result
o 242359
c local Search
c better result
o 240484
c local Search
c better result
o 242989
c local Search
c better result
o 242148
c local Search
c better result
o 242989
c local Search
c better result
o 242148
c local Search
c better result
o 240484
c local Search
c better result
o 240484
c local Search
c better result
o 242148
c local Search
c better result
o 242148
c local Search
c better result
o 240484
c local Search
c better result
o 240484
c local Search
c better result
o 242148
c local Search
c better result
o 242148
c local Search
c better result
o 325753
c local Search
c better result
o 239662
c local Search
c better result
o 325753
c local Search
c better result
o 239662
c local Search
c better result
o 241489
c local Search
c better result
o 241326
c local Search
c better result
o 241489
c local Search
c better result
o 241326
c local Search
c better result
o 325753
c local Search
c better result
o 239662
c local Search
c better result
o 325753
c local Search
c better result
o 239662
c local Search
c better result
o 241489
c local Search
c better result
o 241326
c local Search
c better result
o 241489
c local Search
c better result
o 241326
c local Search
c better result
o 240004
c local Search
c better result
o 240004
c local Search
c better result
o 240648
c local Search
c better result
o 240648
c local Search
c better result
o 240004
c local Search
c better result
o 240004
c local Search
c better result
o 240648
c local Search
c better result
o 240648
c local Search
c better result
o 242238
c local Search
c better result
o 156082
c local Search
c better result
o 242238
c local Search
c better result
o 156082
c local Search
c better result
o 242868
c local Search
c better result
o 157746
c local Search
c better result
o 242868
c local Search
c better result
o 157746
c local Search
c better result
o 242794
c local Search
c better result
o 240919
c local Search
c better result
o 242794
c local Search
c better result
o 240919
c local Search
c better result
o 243424
c local Search
c better result
o 242583
c local Search
c better result
o 243424
c local Search
c better result
o 242583
c local Search
c better result
o 156154
c local Search
c better result
o 156154
c local Search
c better result
o 157818
c local Search
c better result
o 157818
c local Search
c better result
o 240919
c local Search
c better result
o 240919
c local Search
c better result
o 242583
c local Search
c better result
o 242583
c local Search
c better result
o 241758
c local Search
c better result
o 155602
c local Search
c better result
o 241758
c local Search
c better result
o 155602
c local Search
c better result
o 241368
c local Search
c better result
o 156246
c local Search
c better result
o 241368
c local Search
c better result
o 156246
c local Search
c better result
o 326188
c local Search
c better result
o 240097
c local Search
c better result
o 326188
c local Search
c better result
o 240097
c local Search
c better result
o 241924
c local Search
c better result
o 241761
c local Search
c better result
o 241924
c local Search
c better result
o 241761
c local Search
c better result
o 155674
c local Search
c better result
o 155674
c local Search
c better result
o 156318
c local Search
c better result
o 156318
c local Search
c better result
o 240439
c local Search
c better result
o 240439
c local Search
c better result
o 241083
c local Search
c better result
o 241083
c local Search
o 75801
c local Search
o 75708
c local Search
o 75671
c local Search
o 74960
c local Search
o 74867
c local Search
c better result
o 242936
c local Search
o 75224
c local Search
c better result
o 158171
c local Search
c better result
o 328401
c local Search
c better result
o 243344
c local Search
c better result
o 328308
c local Search
c better result
o 243251
c local Search
c better result
o 328364
c local Search
c better result
o 242207
c local Search
c better result
o 328271
c local Search
c better result
o 242114
c local Search
c better result
o 243878
c local Search
c better result
o 158756
c local Search
c better result
o 243841
c local Search
c better result
o 157619
c local Search
o 74480
c local Search
o 74387
c local Search
c better result
o 242456
c local Search
o 74744
c local Search
c better result
o 157691
c local Search
o 75801
c local Search
o 75764
c local Search
o 74960
c local Search
c better result
o 243029
c local Search
c better result
o 244166
c local Search
c better result
o 243029
c local Search
c better result
o 328401
c local Search
c better result
o 243344
c local Search
c better result
o 328364
c local Search
c better result
o 242207
c local Search
c better result
o 328401
c local Search
c better result
o 243344
c local Search
c better result
o 328364
c local Search
c better result
o 242207
c local Search
o 74480
c local Search
c better result
o 242549
c local Search
c better result
o 243686
c local Search
c better result
o 242549
c local Search
c better result
o 245136
c local Search
c better result
o 243195
c local Search
c better result
o 245043
c local Search
c better result
o 243102
c local Search
o 76457
c local Search
o 76364
c local Search
c better result
o 243195
c local Search
c better result
o 243102
c local Search
c better result
o 243722
c local Search
c better result
o 243629
c local Search
c better result
o 158337
c local Search
c better result
o 158864
c local Search
c better result
o 328530
c local Search
c better result
o 242373
c local Search
c better result
o 328437
c local Search
c better result
o 242280
c local Search
c better result
o 329057
c local Search
c better result
o 242900
c local Search
c better result
o 328964
c local Search
c better result
o 242807
c local Search
c better result
o 244007
c local Search
c better result
o 157785
c local Search
c better result
o 244534
c local Search
c better result
o 158312
c local Search
c better result
o 242715
c local Search
c better result
o 242622
c local Search
c better result
o 243242
c local Search
c better result
o 243149
c local Search
c better result
o 157857
c local Search
c better result
o 158384
c local Search
c better result
o 245136
c local Search
c better result
o 243195
c local Search
o 76457
c local Search
c better result
o 243195
c local Search
c better result
o 243722
c local Search
c better result
o 243195
c local Search
c better result
o 243722
c local Search
c better result
o 328530
c local Search
c better result
o 242373
c local Search
c better result
o 329057
c local Search
c better result
o 242900
c local Search
c better result
o 328530
c local Search
c better result
o 242373
c local Search
c better result
o 329057
c local Search
c better result
o 242900
c local Search
c better result
o 242715
c local Search
c better result
o 243242
c local Search
c better result
o 242715
c local Search
c better result
o 243242
c local Search
o 75930
c local Search
o 75837
c local Search
o 75801
c local Search
o 75708
c local Search
c better result
o 243195
c local Search
c better result
o 243102
c local Search
o 74960
c local Search
o 74867
c local Search
c better result
o 242715
c local Search
c better result
o 242622
c local Search
o 74480
c local Search
o 74387
c local Search
c better result
o 242271
c local Search
c better result
o 242484
c local Search
c better result
o 242391
c local Search
c better result
o 157506
c local Search
c better result
o 157626
c local Search
c better result
o 326599
c local Search
c better result
o 241542
c local Search
c better result
o 326506
c local Search
c better result
o 241449
c local Search
c better result
o 326496
c local Search
c better result
o 241662
c local Search
c better result
o 326403
c local Search
c better result
o 241569
c local Search
c better result
o 242076
c local Search
c better result
o 156954
c local Search
c better result
o 241973
c local Search
c better result
o 156054
c local Search
c better result
o 241884
c local Search
c better result
o 241791
c local Search
c better result
o 240984
c local Search
c better result
o 240891
c local Search
c better result
o 157026
c local Search
c better result
o 156126
c local Search
c better result
o 243205
c local Search
c better result
o 242364
c local Search
c better result
o 243102
c local Search
c better result
o 242484
c local Search
c better result
o 243205
c local Search
c better result
o 242364
c local Search
c better result
o 243102
c local Search
c better result
o 242484
c local Search
c better result
o 242364
c local Search
c better result
o 242484
c local Search
c better result
o 242364
c local Search
c better result
o 242484
c local Search
c better result
o 326599
c local Search
c better result
o 241542
c local Search
c better result
o 326496
c local Search
c better result
o 241662
c local Search
c better result
o 326599
c local Search
c better result
o 241542
c local Search
c better result
o 326496
c local Search
c better result
o 241662
c local Search
c better result
o 241884
c local Search
c better result
o 240984
c local Search
c better result
o 241884
c local Search
c better result
o 240984
c local Search
c better result
o 243268
c local Search
c better result
o 241393
c local Search
c better result
o 243175
c local Search
c better result
o 241300
c local Search
c better result
o 243795
c local Search
c better result
o 241854
c local Search
c better result
o 243702
c local Search
c better result
o 241761
c local Search
c better result
o 242619
c local Search
c better result
o 156463
c local Search
c better result
o 243146
c local Search
c better result
o 156924
c local Search
c better result
o 241393
c local Search
c better result
o 241300
c local Search
c better result
o 241854
c local Search
c better result
o 241761
c local Search
c better result
o 156535
c local Search
c better result
o 156996
c local Search
c better result
o 326662
c local Search
c better result
o 240571
c local Search
c better result
o 326569
c local Search
c better result
o 240478
c local Search
c better result
o 327189
c local Search
c better result
o 241032
c local Search
c better result
o 327096
c local Search
c better result
o 240939
c local Search
c better result
o 242139
c local Search
c better result
o 155983
c local Search
c better result
o 242666
c local Search
c better result
o 156444
c local Search
c better result
o 240913
c local Search
c better result
o 240820
c local Search
c better result
o 241374
c local Search
c better result
o 241281
c local Search
c better result
o 156055
c local Search
c better result
o 156516
c local Search
c better result
o 243268
c local Search
c better result
o 241393
c local Search
c better result
o 243795
c local Search
c better result
o 241854
c local Search
c better result
o 243268
c local Search
c better result
o 241393
c local Search
c better result
o 243795
c local Search
c better result
o 241854
c local Search
c better result
o 241393
c local Search
c better result
o 241854
c local Search
c better result
o 241393
c local Search
c better result
o 241854
c local Search
c better result
o 326662
c local Search
c better result
o 240571
c local Search
c better result
o 327189
c local Search
c better result
o 241032
c local Search
c better result
o 326662
c local Search
c better result
o 240571
c local Search
c better result
o 327189
c local Search
c better result
o 241032
c local Search
c better result
o 240913
c local Search
c better result
o 241374
c local Search
c better result
o 240913
c local Search
c better result
o 241374
c local Search
c better result
o 243268
c local Search
c better result
o 241393
c local Search
c better result
o 243175
c local Search
c better result
o 241300
c local Search
c better result
o 243205
c local Search
c better result
o 242364
c local Search
c better result
o 243112
c local Search
c better result
o 242271
c local Search
c better result
o 242619
c local Search
c better result
o 156463
c local Search
c better result
o 242556
c local Search
c better result
o 157434
c local Search
c better result
o 241393
c local Search
c better result
o 241300
c local Search
c better result
o 242364
c local Search
c better result
o 242271
c local Search
c better result
o 156535
c local Search
c better result
o 157506
c local Search
c better result
o 326662
c local Search
c better result
o 240571
c local Search
c better result
o 326569
c local Search
c better result
o 240478
c local Search
c better result
o 326599
c local Search
c better result
o 241542
c local Search
c better result
o 326506
c local Search
c better result
o 241449
c local Search
c better result
o 242139
c local Search
c better result
o 155983
c local Search
c better result
o 242076
c local Search
c better result
o 156954
c local Search
c better result
o 240913
c local Search
c better result
o 240820
c local Search
c better result
o 241884
c local Search
c better result
o 241791
c local Search
c better result
o 156055
c local Search
c better result
o 157026
c local Search
c better result
o 243268
c local Search
c better result
o 241393
c local Search
c better result
o 243205
c local Search
c better result
o 242364
c local Search
c better result
o 243268
c local Search
c better result
o 241393
c local Search
c better result
o 243205
c local Search
c better result
o 242364
c local Search
c better result
o 241393
c local Search
c better result
o 242364
c local Search
c better result
o 241393
c local Search
c better result
o 242364
c local Search
c better result
o 326662
c local Search
c better result
o 240571
c local Search
c better result
o 326599
c local Search
c better result
o 241542
c local Search
c better result
o 326662
c local Search
c better result
o 240571
c local Search
c better result
o 326599
c local Search
c better result
o 241542
c local Search
c better result
o 240913
c local Search
c better result
o 241884
c local Search
c better result
o 240913
c local Search
c better result
o 241884
c local Search
o 75433
c local Search
o 75396
c local Search
o 74592
c local Search
c better result
o 242661
c local Search
c better result
o 243798
c local Search
c better result
o 242661
c local Search
c better result
o 328033
c local Search
c better result
o 242976
c local Search
c better result
o 327996
c local Search
c better result
o 241839
c local Search
c better result
o 328033
c local Search
c better result
o 242976
c local Search
c better result
o 327996
c local Search
c better result
o 241839
c local Search
o 74112
c local Search
c better result
o 242181
c local Search
c better result
o 243318
c local Search
c better result
o 242181
c local Search
c better result
o 244518
c local Search
c better result
o 159396
c local Search
c better result
o 244481
c local Search
c better result
o 158259
c local Search
o 75868
c local Search
o 75831
c local Search
o 75384
c local Search
c better result
o 158331
c local Search
o 75027
c local Search
c better result
o 243096
c local Search
c better result
o 244038
c local Search
c better result
o 158916
c local Search
c better result
o 244001
c local Search
c better result
o 157779
c local Search
c better result
o 328468
c local Search
c better result
o 243411
c local Search
c better result
o 328431
c local Search
c better result
o 242274
c local Search
o 74904
c local Search
c better result
o 157851
c local Search
o 74547
c local Search
c better result
o 242616
c local Search
c better result
o 244768
c local Search
c better result
o 242827
c local Search
o 76089
c local Search
c better result
o 242827
c local Search
c better result
o 243354
c local Search
c better result
o 242827
c local Search
c better result
o 243354
c local Search
c better result
o 328162
c local Search
c better result
o 242005
c local Search
c better result
o 328689
c local Search
c better result
o 242532
c local Search
c better result
o 328162
c local Search
c better result
o 242005
c local Search
c better result
o 328689
c local Search
c better result
o 242532
c local Search
c better result
o 242347
c local Search
c better result
o 242874
c local Search
c better result
o 242347
c local Search
c better result
o 242874
c local Search
c better result
o 244647
c local Search
c better result
o 158425
c local Search
c better result
o 245174
c local Search
c better result
o 158952
c local Search
c better result
o 245203
c local Search
c better result
o 243262
c local Search
o 76524
c local Search
c better result
o 158497
c local Search
c better result
o 159024
c local Search
c better result
o 243262
c local Search
c better result
o 243789
c local Search
c better result
o 244167
c local Search
c better result
o 157945
c local Search
c better result
o 244694
c local Search
c better result
o 158472
c local Search
c better result
o 328597
c local Search
c better result
o 242440
c local Search
c better result
o 329124
c local Search
c better result
o 242967
c local Search
c better result
o 158017
c local Search
c better result
o 158544
c local Search
c better result
o 242782
c local Search
c better result
o 243309
c local Search
o 75562
c local Search
o 75433
c local Search
c better result
o 242827
c local Search
o 74592
c local Search
c better result
o 242347
c local Search
o 74112
o 74047
c local Search
c better result
o 242116
c local Search
c better result
o 241996
c local Search
c better result
o 242116
c local Search
c better result
o 326231
c local Search
c better result
o 241174
c local Search
c better result
o 326128
c local Search
c better result
o 241294
c local Search
c better result
o 326231
c local Search
c better result
o 241174
c local Search
c better result
o 326128
c local Search
c better result
o 241294
c local Search
c better result
o 241516
c local Search
c better result
o 240616
c local Search
c better result
o 241516
c local Search
c better result
o 240616
c local Search
c better result
o 242716
c local Search
c better result
o 157594
c local Search
c better result
o 242613
c local Search
c better result
o 157714
c local Search
c better result
o 243272
c local Search
c better result
o 242431
c local Search
c better result
o 243169
c local Search
c better result
o 242551
c local Search
c better result
o 157666
c local Search
c better result
o 157786
c local Search
c better result
o 242431
c local Search
c better result
o 242551
c local Search
c better result
o 242236
c local Search
c better result
o 157114
c local Search
c better result
o 242133
c local Search
c better result
o 156214
c local Search
c better result
o 326666
c local Search
c better result
o 241609
c local Search
c better result
o 326563
c local Search
c better result
o 241729
c local Search
c better result
o 157186
c local Search
c better result
o 156286
c local Search
c better result
o 241951
c local Search
c better result
o 241051
c local Search
c better result
o 242900
c local Search
c better result
o 241025
c local Search
c better result
o 243427
c local Search
c better result
o 241486
c local Search
c better result
o 242900
c local Search
c better result
o 241025
c local Search
c better result
o 243427
c local Search
c better result
o 241486
c local Search
c better result
o 241025
c local Search
c better result
o 241486
c local Search
c better result
o 241025
c local Search
c better result
o 241486
c local Search
c better result
o 326294
c local Search
c better result
o 240203
c local Search
c better result
o 326821
c local Search
c better result
o 240664
c local Search
c better result
o 326294
c local Search
c better result
o 240203
c local Search
c better result
o 326821
c local Search
c better result
o 240664
c local Search
c better result
o 240545
c local Search
c better result
o 241006
c local Search
c better result
o 240545
c local Search
c better result
o 241006
c local Search
c better result
o 242779
c local Search
c better result
o 156623
c local Search
c better result
o 243306
c local Search
c better result
o 157084
c local Search
c better result
o 243335
c local Search
c better result
o 241460
c local Search
c better result
o 243862
c local Search
c better result
o 241921
c local Search
c better result
o 156695
c local Search
c better result
o 157156
c local Search
c better result
o 241460
c local Search
c better result
o 241921
c local Search
c better result
o 242299
c local Search
c better result
o 156143
c local Search
c better result
o 242826
c local Search
c better result
o 156604
c local Search
c better result
o 326729
c local Search
c better result
o 240638
c local Search
c better result
o 327256
c local Search
c better result
o 241099
c local Search
c better result
o 156215
c local Search
c better result
o 156676
c local Search
c better result
o 240980
c local Search
c better result
o 241441
c local Search
c better result
o 242900
c local Search
c better result
o 241025
c local Search
c better result
o 242837
c local Search
c better result
o 241996
c local Search
c better result
o 242900
c local Search
c better result
o 241025
c local Search
c better result
o 242837
c local Search
c better result
o 241996
c local Search
c better result
o 241025
c local Search
c better result
o 241996
c local Search
c better result
o 241025
c local Search
c better result
o 241996
c local Search
c better result
o 326294
c local Search
c better result
o 240203
c local Search
c better result
o 326231
c local Search
c better result
o 241174
c local Search
c better result
o 326294
c local Search
c better result
o 240203
c local Search
c better result
o 326231
c local Search
c better result
o 241174
c local Search
c better result
o 240545
c local Search
c better result
o 241516
c local Search
c better result
o 240545
c local Search
c better result
o 241516
c local Search
c better result
o 242779
c local Search
c better result
o 156623
c local Search
c better result
o 242716
c local Search
c better result
o 157594
c local Search
c better result
o 243335
c local Search
c better result
o 241460
c local Search
c better result
o 243272
c local Search
c better result
o 242431
c local Search
c better result
o 156695
c local Search
c better result
o 157666
c local Search
c better result
o 241460
c local Search
c better result
o 242431
c local Search
c better result
o 242299
c local Search
c better result
o 156143
c local Search
c better result
o 242236
c local Search
c better result
o 157114
c local Search
c better result
o 326729
c local Search
c better result
o 240638
c local Search
c better result
o 326666
c local Search
c better result
o 241609
c local Search
c better result
o 156215
c local Search
c better result
o 157186
c local Search
c better result
o 240980
c local Search
c better result
o 241951
c local Search
c better result
o 243682
c local Search
c better result
o 158560
c local Search
c better result
o 243682
c local Search
c better result
o 158560
c local Search
o 75032
c local Search
o 74548
c local Search
o 74191
c local Search
o 74068
c local Search
o 73711
c local Search
o 73646
c local Search
c better result
o 156587
c local Search
c better result
o 156587
o 73166
c local Search
c better result
o 156219
c local Search
c better result
o 240984
c local Search
c better result
o 242769
c local Search
c better result
o 157647
c local Search
c better result
o 243325
c local Search
c better result
o 242484
c local Search
c better result
o 157719
c local Search
c better result
o 242484
c local Search
c better result
o 241269
c local Search
c better result
o 156147
c local Search
c better result
o 241825
c local Search
c better result
o 241662
c local Search
c better result
o 156219
c local Search
c better result
o 240984
c local Search
c better result
o 242139
c local Search
c better res