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_70_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0001.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 73 397 55315
c WARNING: Ubcsat not found.
o 55315
c local Search
o 43259
c local Search
o 42651
c local Search
o 42547
c local Search
o 42145
c local Search
o 42041
c local Search
c better result
o 205805
c local Search
c better result
o 205805
c local Search
c better result
o 206001
c local Search
c better result
o 206001
c local Search
c better result
o 152102
c local Search
c better result
o 152102
c local Search
c better result
o 152298
c local Search
c better result
o 152298
c local Search
c better result
o 206809
c local Search
c better result
o 206809
c local Search
c better result
o 207005
c local Search
c better result
o 207005
c local Search
c better result
o 151998
c local Search
c better result
o 151998
c local Search
c better result
o 152194
c local Search
c better result
o 152194
c local Search
c better result
o 206705
c local Search
c better result
o 206705
c local Search
c better result
o 206901
c local Search
c better result
o 206901
c local Search
c better result
o 151202
c local Search
c better result
o 151202
c local Search
c better result
o 151398
c local Search
c better result
o 151398
c local Search
c better result
o 205909
c local Search
c better result
o 205909
c local Search
c better result
o 206105
c local Search
c better result
o 206105
c local Search
c better result
o 151098
c local Search
c better result
o 151098
c local Search
c better result
o 151294
c local Search
c better result
o 151294
c local Search
c better result
o 205805
c local Search
c better result
o 205805
c local Search
c better result
o 206001
c local Search
c better result
o 206001
c local Search
c better result
o 152102
c local Search
c better result
o 152102
c local Search
c better result
o 152298
c local Search
c better result
o 152298
c local Search
c better result
o 206809
c local Search
c better result
o 206809
c local Search
c better result
o 207005
c local Search
c better result
o 207005
c local Search
c better result
o 151998
c local Search
c better result
o 151998
c local Search
c better result
o 152194
c local Search
c better result
o 152194
c local Search
c better result
o 206705
c local Search
c better result
o 206705
c local Search
c better result
o 206901
c local Search
c better result
o 206901
c local Search
c better result
o 151363
c local Search
c better result
o 151363
c local Search
c better result
o 151559
c local Search
c better result
o 151559
c local Search
c better result
o 206070
c local Search
c better result
o 206070
c local Search
c better result
o 206266
c local Search
c better result
o 206266
c local Search
c better result
o 151259
c local Search
c better result
o 151259
c local Search
c better result
o 151455
c local Search
c better result
o 151455
c local Search
c better result
o 205966
c local Search
c better result
o 205966
c local Search
c better result
o 206162
c local Search
c better result
o 206162
c local Search
c better result
o 152263
c local Search
c better result
o 152263
c local Search
c better result
o 152459
c local Search
c better result
o 152459
c local Search
c better result
o 206970
c local Search
c better result
o 206970
c local Search
c better result
o 207166
c local Search
c better result
o 207166
c local Search
c better result
o 152159
c local Search
c better result
o 152159
c local Search
c better result
o 152355
c local Search
c better result
o 152355
c local Search
c better result
o 206866
c local Search
c better result
o 206866
c local Search
c better result
o 207062
c local Search
c better result
o 207062
c local Search
c better result
o 151363
c local Search
c better result
o 151363
c local Search
c better result
o 151559
c local Search
c better result
o 151559
c local Search
c better result
o 206070
c local Search
c better result
o 206070
c local Search
c better result
o 206266
c local Search
c better result
o 206266
c local Search
c better result
o 151259
c local Search
c better result
o 151259
c local Search
c better result
o 151455
c local Search
c better result
o 151455
c local Search
c better result
o 205966
c local Search
c better result
o 205966
c local Search
c better result
o 206162
c local Search
c better result
o 206162
c local Search
c better result
o 152263
c local Search
c better result
o 152263
c local Search
c better result
o 152459
c local Search
c better result
o 152459
c local Search
c better result
o 206970
c local Search
c better result
o 206970
c local Search
c better result
o 207166
c local Search
c better result
o 207166
c local Search
c better result
o 152159
c local Search
c better result
o 152159
c local Search
c better result
o 152355
c local Search
c better result
o 152355
c local Search
c better result
o 206866
c local Search
c better result
o 206866
c local Search
c better result
o 207062
c local Search
c better result
o 207062
c local Search
c better result
o 151925
c local Search
c better result
o 151925
c local Search
c better result
o 152121
c local Search
c better result
o 152121
c local Search
c better result
o 206632
c local Search
c better result
o 206632
c local Search
c better result
o 206828
c local Search
c better result
o 206828
c local Search
c better result
o 151821
c local Search
c better result
o 151821
c local Search
c better result
o 152017
c local Search
c better result
o 152017
c local Search
c better result
o 206528
c local Search
c better result
o 206528
c local Search
c better result
o 206724
c local Search
c better result
o 206724
c local Search
c better result
o 151925
c local Search
c better result
o 151925
c local Search
c better result
o 152121
c local Search
c better result
o 152121
c local Search
c better result
o 206632
c local Search
c better result
o 206632
c local Search
c better result
o 206828
c local Search
c better result
o 206828
c local Search
c better result
o 151821
c local Search
c better result
o 151821
c local Search
c better result
o 152017
c local Search
c better result
o 152017
c local Search
c better result
o 206528
c local Search
c better result
o 206528
c local Search
c better result
o 206724
c local Search
c better result
o 206724
c local Search
c better result
o 152086
c local Search
c better result
o 152086
c local Search
c better result
o 152282
c local Search
c better result
o 152282
c local Search
c better result
o 206793
c local Search
c better result
o 206793
c local Search
c better result
o 206989
c local Search
c better result
o 206989
c local Search
c better result
o 151982
c local Search
c better result
o 151982
c local Search
c better result
o 152178
c local Search
c better result
o 152178
c local Search
c better result
o 206689
c local Search
c better result
o 206689
c local Search
c better result
o 206885
c local Search
c better result
o 206885
c local Search
c better result
o 152086
c local Search
c better result
o 152086
c local Search
c better result
o 152282
c local Search
c better result
o 152282
c local Search
c better result
o 206793
c local Search
c better result
o 206793
c local Search
c better result
o 206989
c local Search
c better result
o 206989
c local Search
c better result
o 151982
c local Search
c better result
o 151982
c local Search
c better result
o 152178
c local Search
c better result
o 152178
c local Search
c better result
o 206689
c local Search
c better result
o 206689
c local Search
c better result
o 206885
c local Search
c better result
o 206885
c local Search
c better result
o 151419
c local Search
c better result
o 151419
c local Search
c better result
o 151615
c local Search
c better result
o 151615
c local Search
c better result
o 206126
c local Search
c better result
o 206126
c local Search
c better result
o 206322
c local Search
c better result
o 206322
c local Search
c better result
o 151315
c local Search
c better result
o 151315
c local Search
c better result
o 151511
c local Search
c better result
o 151511
c local Search
c better result
o 206022
c local Search
c better result
o 206022
c local Search
c better result
o 206218
c local Search
c better result
o 206218
c local Search
c better result
o 151419
c local Search
c better result
o 151419
c local Search
c better result
o 151615
c local Search
c better result
o 151615
c local Search
c better result
o 206126
c local Search
c better result
o 206126
c local Search
c better result
o 206322
c local Search
c better result
o 206322
c local Search
c better result
o 151315
c local Search
c better result
o 151315
c local Search
c better result
o 151511
c local Search
c better result
o 151511
c local Search
c better result
o 206022
c local Search
c better result
o 206022
c local Search
c better result
o 206218
c local Search
c better result
o 206218
c local Search
c better result
o 151580
c local Search
c better result
o 151580
c local Search
c better result
o 151776
c local Search
c better result
o 151776
c local Search
c better result
o 206287
c local Search
c better result
o 206287
c local Search
c better result
o 206483
c local Search
c better result
o 206483
c local Search
c better result
o 151476
c local Search
c better result
o 151476
c local Search
c better result
o 151672
c local Search
c better result
o 151672
c local Search
c better result
o 206183
c local Search
c better result
o 206183
c local Search
c better result
o 206379
c local Search
c better result
o 206379
c local Search
c better result
o 151580
c local Search
c better result
o 151580
c local Search
c better result
o 151776
c local Search
c better result
o 151776
c local Search
c better result
o 206287
c local Search
c better result
o 206287
c local Search
c better result
o 206483
c local Search
c better result
o 206483
c local Search
c better result
o 151476
c local Search
c better result
o 151476
c local Search
c better result
o 151672
c local Search
c better result
o 151672
c local Search
c better result
o 206183
c local Search
c better result
o 206183
c local Search
c better result
o 206379
c local Search
c better result
o 206379
c local Search
c better result
o 151681
c local Search
c better result
o 151877
c local Search
c better result
o 206388
c local Search
c better result
o 206584
c local Search
c better result
o 151577
c local Search
c better result
o 151773
c local Search
c better result
o 206284
c local Search
c better result
o 206480
c local Search
c better result
o 152581
c local Search
c better result
o 152777
c local Search
c better result
o 207288
c local Search
c better result
o 207484
c local Search
c better result
o 152477
c local Search
c better result
o 152673
c local Search
c better result
o 207184
c local Search
c better result
o 207380
c local Search
c better result
o 151681
c local Search
c better result
o 151877
c local Search
c better result
o 206388
c local Search
c better result
o 206584
c local Search
c better result
o 151577
c local Search
c better result
o 151773
c local Search
c better result
o 206284
c local Search
c better result
o 206480
c local Search
c better result
o 152581
c local Search
c better result
o 152777
c local Search
c better result
o 207288
c local Search
c better result
o 207484
c local Search
c better result
o 152477
c local Search
c better result
o 152673
c local Search
c better result
o 207184
c local Search
c better result
o 207380
c local Search
c better result
o 151842
c local Search
c better result
o 152038
c local Search
c better result
o 206549
c local Search
c better result
o 206745
c local Search
c better result
o 151738
c local Search
c better result
o 151934
c local Search
c better result
o 206445
c local Search
c better result
o 206641
c local Search
c better result
o 152742
c local Search
c better result
o 152938
c local Search
c better result
o 207449
c local Search
c better result
o 207645
c local Search
c better result
o 152638
c local Search
c better result
o 152834
c local Search
c better result
o 207345
c local Search
c better result
o 207541
c local Search
c better result
o 151842
c local Search
c better result
o 152038
c local Search
c better result
o 206549
c local Search
c better result
o 206745
c local Search
c better result
o 151738
c local Search
c better result
o 151934
c local Search
c better result
o 206445
c local Search
c better result
o 206641
c local Search
c better result
o 152742
c local Search
c better result
o 152938
c local Search
c better result
o 207449
c local Search
c better result
o 207645
c local Search
c better result
o 152638
c local Search
c better result
o 152834
c local Search
c better result
o 207345
c local Search
c better result
o 207541
c local Search
c better result
o 151898
c local Search
c better result
o 152094
c local Search
c better result
o 206605
c local Search
c better result
o 206801
c local Search
c better result
o 151794
c local Search
c better result
o 151990
c local Search
c better result
o 206501
c local Search
c better result
o 206697
c local Search
c better result
o 151898
c local Search
c better result
o 152094
c local Search
c better result
o 206605
c local Search
c better result
o 206801
c local Search
c better result
o 151794
c local Search
c better result
o 151990
c local Search
c better result
o 206501
c local Search
c better result
o 206697
c local Search
c better result
o 152059
c local Search
c better result
o 152255
c local Search
c better result
o 206766
c local Search
c better result
o 206962
c local Search
c better result
o 151955
c local Search
c better result
o 152151
c local Search
c better result
o 206662
c local Search
c better result
o 206858
c local Search
c better result
o 152059
c local Search
c better result
o 152255
c local Search
c better result
o 206766
c local Search
c better result
o 206962
c local Search
c better result
o 151955
c local Search
c better result
o 152151
c local Search
c better result
o 206662
c local Search
c better result
o 206858
c local Search
c better result
o 151708
c local Search
c better result
o 151708
c local Search
c better result
o 151904
c local Search
c better result
o 151904
c local Search
c better result
o 206415
c local Search
c better result
o 206415
c local Search
c better result
o 206611
c local Search
c better result
o 206611
c local Search
c better result
o 151604
c local Search
c better result
o 151604
c local Search
c better result
o 151800
c local Search
c better result
o 151800
c local Search
c better result
o 206311
c local Search
c better result
o 206311
c local Search
c better result
o 206507
c local Search
c better result
o 206507
c local Search
c better result
o 152608
c local Search
c better result
o 152608
c local Search
c better result
o 152804
c local Search
c better result
o 152804
c local Search
c better result
o 207315
c local Search
c better result
o 207315
c local Search
c better result
o 207511
c local Search
c better result
o 207511
c local Search
c better result
o 152504
c local Search
c better result
o 152504
c local Search
c better result
o 152700
c local Search
c better result
o 152700
c local Search
c better result
o 207211
c local Search
c better result
o 207211
c local Search
c better result
o 207407
c local Search
c better result
o 207407
c local Search
c better result
o 151708
c local Search
c better result
o 151708
c local Search
c better result
o 151904
c local Search
c better result
o 151904
c local Search
c better result
o 206415
c local Search
c better result
o 206415
c local Search
c better result
o 206611
c local Search
c better result
o 206611
c local Search
c better result
o 151604
c local Search
c better result
o 151604
c local Search
c better result
o 151800
c local Search
c better result
o 151800
c local Search
c better result
o 206311
c local Search
c better result
o 206311
c local Search
c better result
o 206507
c local Search
c better result
o 206507
c local Search
c better result
o 152608
c local Search
c better result
o 152608
c local Search
c better result
o 152804
c local Search
c better result
o 152804
c local Search
c better result
o 207315
c local Search
c better result
o 207315
c local Search
c better result
o 207511
c local Search
c better result
o 207511
c local Search
c better result
o 152504
c local Search
c better result
o 152504
c local Search
c better result
o 152700
c local Search
c better result
o 152700
c local Search
c better result
o 207211
c local Search
c better result
o 207211
c local Search
c better result
o 207407
c local Search
c better result
o 207407
c local Search
c better result
o 151869
c local Search
c better result
o 151869
c local Search
c better result
o 152065
c local Search
c better result
o 152065
c local Search
c better result
o 206576
c local Search
c better result
o 206576
c local Search
c better result
o 206772
c local Search
c better result
o 206772
c local Search
c better result
o 151765
c local Search
c better result
o 151765
c local Search
c better result
o 151961
c local Search
c better result
o 151961
c local Search
c better result
o 206472
c local Search
c better result
o 206472
c local Search
c better result
o 206668
c local Search
c better result
o 206668
c local Search
c better result
o 152769
c local Search
c better result
o 152769
c local Search
c better result
o 152965
c local Search
c better result
o 152965
c local Search
c better result
o 207476
c local Search
c better result
o 207476
c local Search
c better result
o 207672
c local Search
c better result
o 207672
c local Search
c better result
o 152665
c local Search
c better result
o 152665
c local Search
c better result
o 152861
c local Search
c better result
o 152861
c local Search
c better result
o 207372
c local Search
c better result
o 207372
c local Search
c better result
o 207568
c local Search
c better result
o 207568
c local Search
c better result
o 151869
c local Search
c better result
o 151869
c local Search
c better result
o 152065
c local Search
c better result
o 152065
c local Search
c better result
o 206576
c local Search
c better result
o 206576
c local Search
c better result
o 206772
c local Search
c better result
o 206772
c local Search
c better result
o 151765
c local Search
c better result
o 151765
c local Search
c better result
o 151961
c local Search
c better result
o 151961
c local Search
c better result
o 206472
c local Search
c better result
o 206472
c local Search
c better result
o 206668
c local Search
c better result
o 206668
c local Search
c better result
o 152769
c local Search
c better result
o 152769
c local Search
c better result
o 152965
c local Search
c better result
o 152965
c local Search
c better result
o 207476
c local Search
c better result
o 207476
c local Search
c better result
o 207672
c local Search
c better result
o 207672
c local Search
c better result
o 152665
c local Search
c better result
o 152665
c local Search
c better result
o 152861
c local Search
c better result
o 152861
c local Search
c better result
o 207372
c local Search
c better result
o 207372
c local Search
c better result
o 207568
c local Search
c better result
o 207568
c local Search
c better result
o 151202
c local Search
c better result
o 151202
c local Search
c better result
o 151398
c local Search
c better result
o 151398
c local Search
c better result
o 205909
c local Search
c better result
o 205909
c local Search
c better result
o 206105
c local Search
c better result
o 206105
c local Search
c better result
o 151098
c local Search
c better result
o 151098
c local Search
c better result
o 151294
c local Search
c better result
o 151294
c local Search
c better result
o 205805
c local Search
c better result
o 205805
c local Search
c better result
o 206001
c local Search
c better result
o 206001
c local Search
c better result
o 152102
c local Search
c better result
o 152102
c local Search
c better result
o 152298
c local Search
c better result
o 152298
c local Search
c better result
o 206809
c local Search
c better result
o 206809
c local Search
c better result
o 207005
c local Search
c better result
o 207005
c local Search
c better result
o 151998
c local Search
c better result
o 151998
c local Search
c better result
o 152194
c local Search
c better result
o 152194
c local Search
c better result
o 206705
c local Search
c better result
o 206705
c local Search
c better result
o 206901
c local Search
c better result
o 206901
c local Search
c better result
o 151202
c local Search
c better result
o 151202
c local Search
c better result
o 151398
c local Search
c better result
o 151398
c local Search
c better result
o 205909
c local Search
c better result
o 205909
c local Search
c better result
o 206105
c local Search
c better result
o 206105
c local Search
c better result
o 151098
c local Search
c better result
o 151098
c local Search
c better result
o 151294
c local Search
c better result
o 151294
c local Search
c better result
o 205805
c local Search
c better result
o 205805
c local Search
c better result
o 206001
c local Search
c better result
o 206001
c local Search
c better result
o 152102
c local Search
c better result
o 152102
c local Search
c better result
o 152298
c local Search
c better result
o 152298
c local Search
c better result
o 206809
c local Search
c better result
o 206809
c local Search
c better result
o 207005
c local Search
c better result
o 207005
c local Search
c better result
o 151998
c local Search
c better result
o 151998
c local Search
c better result
o 152194
c local Search
c better result
o 152194
c local Search
c better result
o 206705
c local Search
c better result
o 206705
c local Search
c better result
o 206901
c local Search
c better result
o 206901
c local Search
c better result
o 151363
c local Search
c better result
o 151363
c local Search
c better result
o 151559
c local Search
c better result
o 151559
c local Search
c better result
o 206070
c local Search
c better result
o 206070
c local Search
c better result
o 206266
c local Search
c better result
o 206266
c local Search
c better result
o 151259
c local Search
c better result
o 151259
c local Search
c better result
o 151455
c local Search
c better result
o 151455
c local Search
c better result
o 205966
c local Search
c better result
o 205966
c local Search
c better result
o 206162
c local Search
c better result
o 206162
c local Search
c better result
o 152263
c local Search
c better result
o 152263
c local Search
c better result
o 152459
c local Search
c better result
o 152459
c local Search
c better result
o 206970
c local Search
c better result
o 206970
c local Search
c better result
o 207166
c local Search
c better result
o 207166
c local Search
c better result
o 152159
c local Search
c better result
o 152159
c local Search
c better result
o 152355
c local Search
c better result
o 152355
c local Search
c better result
o 206866
c local Search
c better result
o 206866
c local Search
c better result
o 207062
c local Search
c better result
o 207062
c local Search
c better result
o 151363
c local Search
c better result
o 151363
c local Search
c better result
o 151559
c local Search
c better result
o 151559
c local Search
c better result
o 206070
c local Search
c better result
o 206070
c local Search
c better result
o 206266
c local Search
c better result
o 206266
c local Search
c better result
o 151259
c local Search
c better result
o 151259
c local Search
c better result
o 151455
c local Search
c better result
o 151455
c local Search
c better result
o 205966
c local Search
c better result
o 205966
c local Search
c better result
o 206162
c local Search
c better result
o 206162
c local Search
c better result
o 152263
c local Search
c better result
o 152263
c local Search
c better result
o 152459
c local Search
c better result
o 152459
c local Search
c better result
o 206970
c local Search
c better result
o 206970
c local Search
c better result
o 207166
c local Search
c better result
o 207166
c local Search
c better result
o 152159
c local Search
c better result
o 152159
c local Search
c better result
o 152355
c local Search
c better result
o 152355
c local Search
c better result
o 206866
c local Search
c better result
o 206866
c local Search
c better result
o 207062
c local Search
c better result
o 207062
c local Search
c better result
o 151925
c local Search
c better result
o 151925
c local Search
c better result
o 152121
c local Search
c better result
o 152121
c local Search
c better result
o 206632
c local Search
c better result
o 206632
c local Search
c better result
o 206828
c local Search
c better result
o 206828
c local Search
c better result
o 151821
c local Search
c better result
o 151821
c local Search
c better result
o 152017
c local Search
c better result
o 152017
c local Search
c better result
o 206528
c local Search
c better result
o 206528
c local Search
c better result
o 206724
c local Search
c better result
o 206724
c local Search
c better result
o 151925
c local Search
c better result
o 151925
c local Search
c better result
o 152121
c local Search
c better result
o 152121
c local Search
c better result
o 206632
c local Search
c better result
o 206632
c local Search
c better result
o 206828
c local Search
c better result
o 206828
c local Search
c better result
o 151821
c local Search
c better result
o 151821
c local Search
c better result
o 152017
c local Search
c better result
o 152017
c local Search
c better result
o 206528
c local Search
c better result
o 206528
c local Search
c better result
o 206724
c local Search
c better result
o 206724
c local Search
c better result
o 152086
c local Search
c better result
o 152086
c local Search
c better result
o 152282
c local Search
c better result
o 152282
c local Search
c better result
o 206793
c local Search
c better result
o 206793
c local Search
c better result
o 206989
c local Search
c better result
o 206989
c local Search
c better result
o 151982
c local Search
c better result
o 151982
c local Search
c better result
o 152178
c local Search
c better result
o 152178
c local Search
c better result
o 206689
c local Search
c better result
o 206689
c local Search
c better result
o 206885
c local Search
c better result
o 206885
c local Search
c better result
o 152086
c local Search
c better result
o 152086
c local Search
c better result
o 152282
c local Search
c better result
o 152282
c local Search
c better result
o 206793
c local Search
c better result
o 206793
c local Search
c better result
o 206989
c local Search
c better result
o 206989
c local Search
c better result
o 151982
c local Search
c better result
o 151982
c local Search
c better result
o 152178
c local Search
c better result
o 152178
c local Search
c better result
o 206689
c local Search
c better result
o 206689
c local Search
c better result
o 206885
c local Search
c better result
o 206885
c local Search
c better result
o 151419
c local Search
c better result
o 151419
c local Search
c better result
o 151615
c local Search
c better result
o 151615
c local Search
c better result
o 206126
c local Search
c better result
o 206126
c local Search
c better result
o 206322
c local Search
c better result
o 206322
c local Search
c better result
o 151315
c local Search
c better result
o 151315
c local Search
c better result
o 151511
c local Search
c better result
o 151511
c local Search
c better result
o 206022
c local Search
c better result
o 206022
c local Search
c better result
o 206218
c local Search
c better result
o 206218
c local Search
c better result
o 151419
c local Search
c better result
o 151419
c local Search
c better result
o 151615
c local Search
c better result
o 151615
c local Search
c better result
o 206126
c local Search
c better result
o 206126
c local Search
c better result
o 206322
c local Search
c better result
o 206322
c local Search
c better result
o 151315
c local Search
c better result
o 151315
c local Search
c better result
o 151511
c local Search
c better result
o 151511
c local Search
c better result
o 206022
c local Search
c better result
o 206022
c local Search
c better result
o 206218
c local Search
c better result
o 206218
c local Search
c better result
o 151580
c local Search
c better result
o 151580
c local Search
c better result
o 151776
c local Search
c better result
o 151776
c local Search
c better result
o 206287
c local Search
c better result
o 206287
c local Search
c better result
o 206483
c local Search
c better result
o 206483
c local Search
c better result
o 151476
c local Search
c better result
o 151476
c local Search
c better result
o 151672
c local Search
c better result
o 151672
c local Search
c better result
o 206183
c local Search
c better result
o 206183
c local Search
c better result
o 206379
c local Search
c better result
o 206379
c local Search
c better result
o 151580
c local Search
c better result
o 151580
c local Search
c better result
o 151776
c local Search
c better result
o 151776
c local Search
c better result
o 206287
c local Search
c better result
o 206287
c local Search
c better result
o 206483
c local Search
c better result
o 206483
c local Search
c better result
o 151476
c local Search
c better result
o 151476
c local Search
c better result
o 151672
c local Search
c better result
o 151672
c local Search
c better result
o 206183
c local Search
c better result
o 206183
c local Search
c better result
o 206379
c local Search
c better result
o 206379
c local Search
c better result
o 151681
c local Search
c better result
o 151877
c local Search
c better result
o 206388
c local Search
c better result
o 206584
c local Search
c better result
o 151577
c local Search
c better result
o 151773
c local Search
c better result
o 206284
c local Search
c better result
o 206480
c local Search
c better result
o 152581
c local Search
c better result
o 152777
c local Search
c better result
o 207288
c local Search
c better result
o 207484
c local Search
c better result
o 152477
c local Search
c better result
o 152673
c local Search
c better result
o 207184
c local Search
c better result
o 207380
c local Search
c better result
o 151681
c local Search
c better result
o 151877
c local Search
c better result
o 206388
c local Search
c better result
o 206584
c local Search
c better result
o 151577
c local Search
c better result
o 151773
c local Search
c better result
o 206284
c local Search
c better result
o 206480
c local Search
c better result
o 152581
c local Search
c better result
o 152777
c local Search
c better result
o 207288
c local Search
c better result
o 207484
c local Search
c better result
o 152477
c local Search
c better result
o 152673
c local Search
c better result
o 207184
c local Search
c better result
o 207380
c local Search
c better result
o 151842
c local Search
c better result
o 152038
c local Search
c better result
o 206549
c local Search
c better result
o 206745
c local Search
c better result
o 151738
c local Search
c better result
o 151934
c local Search
c better result
o 206445
c local Search
c better result
o 206641
c local Search
c better result
o 152742
c local Search
c better result
o 152938
c local Search
c better result
o 207449
c local Search
c better result
o 207645
c local Search
c better result
o 152638
c local Search
c better result
o 152834
c local Search
c better result
o 207345
c local Search
c better result
o 207541
c local Search
c better result
o 151842
c local Search
c better result
o 152038
c local Search
c better result
o 206549
c local Search
c better result
o 206745
c local Search
c better result
o 151738
c local Search
c better result
o 151934
c local Search
c better result
o 206445
c local Search
c better result
o 206641
c local Search
c better result
o 152742
c local Search
c better result
o 152938
c local Search
c better result
o 207449
c local Search
c better result
o 207645
c local Search
c better result
o 152638
c local Search
c better result
o 152834
c local Search
c better result
o 207345
c local Search
c better result
o 207541
c local Search
c better result
o 151898
c local Search
c better result
o 152094
c local Search
c better result
o 206605
c local Search
c better result
o 206801
c local Search
c better result
o 151794
c local Search
c better result
o 151990
c local Search
c better result
o 206501
c local Search
c better result
o 206697
c local Search
c better result
o 151898
c local Search
c better result
o 152094
c local Search
c better result
o 206605
c local Search
c better result
o 206801
c local Search
c better result
o 151794
c local Search
c better result
o 151990
c local Search
c better result
o 206501
c local Search
c better result
o 206697
c local Search
c better result
o 152059
c local Search
c better result
o 152255
c local Search
c better result
o 206766
c local Search
c better result
o 206962
c local Search
c better result
o 151955
c local Search
c better result
o 152151
c local Search
c better result
o 206662
c local Search
c better result
o 206858
c local Search
c better result
o 152059
c local Search
c better result
o 152255
c local Search
c be