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_120_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0003.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 120 1553 92446
c WARNING: Ubcsat not found.
o 92446
c local Search
o 80460
c local Search
o 80401
c local Search
o 80392
c local Search
o 80344
c local Search
o 80335
c local Search
c better result
o 170562
c local Search
c better result
o 170503
c local Search
c better result
o 169407
c local Search
c better result
o 169348
c local Search
c better result
o 170595
c local Search
c better result
o 169440
c local Search
c better result
o 170553
c local Search
c better result
o 170494
c local Search
c better result
o 169398
c local Search
c better result
o 169339
c local Search
c better result
o 170586
c local Search
c better result
o 169431
c local Search
c better result
o 170505
c local Search
c better result
o 170446
c local Search
c better result
o 169350
c local Search
c better result
o 169291
c local Search
c better result
o 170538
c local Search
c better result
o 169383
c local Search
c better result
o 170496
c local Search
c better result
o 170437
c local Search
c better result
o 169341
c local Search
c better result
o 169282
c local Search
c better result
o 170529
c local Search
c better result
o 169374
c local Search
c better result
o 170562
c local Search
c better result
o 170503
c local Search
c better result
o 169407
c local Search
c better result
o 169348
c local Search
c better result
o 170595
c local Search
c better result
o 169440
c local Search
c better result
o 170553
c local Search
c better result
o 170494
c local Search
c better result
o 169398
c local Search
c better result
o 169339
c local Search
c better result
o 170586
c local Search
c better result
o 169431
c local Search
c better result
o 170505
c local Search
c better result
o 170446
c local Search
c better result
o 169350
c local Search
c better result
o 169291
c local Search
c better result
o 170538
c local Search
c better result
o 169383
c local Search
c better result
o 170496
c local Search
c better result
o 170437
c local Search
c better result
o 169341
c local Search
c better result
o 169282
c local Search
c better result
o 170529
c local Search
c better result
o 169374
c local Search
c better result
o 170396
c local Search
c better result
o 170337
c local Search
c better result
o 170429
c local Search
c better result
o 170429
c local Search
c better result
o 170387
c local Search
c better result
o 170328
c local Search
c better result
o 170420
c local Search
c better result
o 170420
c local Search
c better result
o 170339
c local Search
c better result
o 170280
c local Search
c better result
o 170372
c local Search
c better result
o 170372
c local Search
c better result
o 170330
c local Search
c better result
o 170271
c local Search
c better result
o 170363
c local Search
c better result
o 170363
c local Search
c better result
o 170396
c local Search
c better result
o 170337
c local Search
c better result
o 170429
c local Search
c better result
o 170429
c local Search
c better result
o 170387
c local Search
c better result
o 170328
c local Search
c better result
o 170420
c local Search
c better result
o 170420
c local Search
c better result
o 170339
c local Search
c better result
o 170280
c local Search
c better result
o 170372
c local Search
c better result
o 170372
c local Search
c better result
o 170330
c local Search
c better result
o 170271
c local Search
c better result
o 170363
c local Search
c better result
o 170363
c local Search
c better result
o 170396
c local Search
c better result
o 170337
c local Search
c better result
o 170429
c local Search
c better result
o 170429
c local Search
c better result
o 170387
c local Search
c better result
o 170328
c local Search
c better result
o 170420
c local Search
c better result
o 170420
c local Search
c better result
o 170339
c local Search
c better result
o 170280
c local Search
c better result
o 170372
c local Search
c better result
o 170372
c local Search
c better result
o 170330
c local Search
c better result
o 170271
c local Search
c better result
o 170363
c local Search
c better result
o 170363
c local Search
c better result
o 170396
c local Search
c better result
o 170337
c local Search
c better result
o 170429
c local Search
c better result
o 170429
c local Search
c better result
o 170387
c local Search
c better result
o 170328
c local Search
c better result
o 170420
c local Search
c better result
o 170420
c local Search
c better result
o 170339
c local Search
c better result
o 170280
c local Search
c better result
o 170372
c local Search
c better result
o 170372
c local Search
c better result
o 170330
c local Search
c better result
o 170271
c local Search
c better result
o 170363
c local Search
c better result
o 170363
c local Search
o 80401
c local Search
o 80392
c local Search
o 80344
c local Search
o 80335
c local Search
c better result
o 170503
c local Search
c better result
o 169348
c local Search
c better result
o 170494
c local Search
c better result
o 169339
c local Search
c better result
o 170446
c local Search
c better result
o 169291
c local Search
c better result
o 170437
c local Search
c better result
o 169282
c local Search
c better result
o 170503
c local Search
c better result
o 169348
c local Search
c better result
o 170494
c local Search
c better result
o 169339
c local Search
c better result
o 170446
c local Search
c better result
o 169291
c local Search
c better result
o 170437
c local Search
c better result
o 169282
c local Search
c better result
o 170337
c local Search
c better result
o 170328
c local Search
c better result
o 170280
c local Search
c better result
o 170271
c local Search
c better result
o 170337
c local Search
c better result
o 170328
c local Search
c better result
o 170280
c local Search
c better result
o 170271
c local Search
c better result
o 170337
c local Search
c better result
o 170328
c local Search
c better result
o 170280
c local Search
c better result
o 170271
c local Search
c better result
o 170337
c local Search
c better result
o 170328
c local Search
c better result
o 170280
c local Search
c better result
o 170271
c local Search
o 80004
c local Search
o 79945
c local Search
o 79936
c local Search
o 79888
o 79879
c local Search
c better result
o 170106
c local Search
c better result
o 170047
c local Search
c better result
o 168951
c local Search
c better result
o 168892
c local Search
c better result
o 170139
c local Search
c better result
o 168984
c local Search
c better result
o 170097
c local Search
c better result
o 170038
c local Search
c better result
o 168942
c local Search
c better result
o 168883
c local Search
c better result
o 170130
c local Search
c better result
o 168975
c local Search
c better result
o 170049
c local Search
c better result
o 169990
c local Search
c better result
o 168894
c local Search
c better result
o 168835
c local Search
c better result
o 170082
c local Search
c better result
o 168927
c local Search
c better result
o 170040
c local Search
c better result
o 169981
c local Search
c better result
o 168885
c local Search
c better result
o 168826
c local Search
c better result
o 170073
c local Search
c better result
o 168918
c local Search
c better result
o 170106
c local Search
c better result
o 170047
c local Search
c better result
o 168951
c local Search
c better result
o 168892
c local Search
c better result
o 170139
c local Search
c better result
o 168984
c local Search
c better result
o 170097
c local Search
c better result
o 170038
c local Search
c better result
o 168942
c local Search
c better result
o 168883
c local Search
c better result
o 170130
c local Search
c better result
o 168975
c local Search
c better result
o 170049
c local Search
c better result
o 169990
c local Search
c better result
o 168894
c local Search
c better result
o 168835
c local Search
c better result
o 170082
c local Search
c better result
o 168927
c local Search
c better result
o 170040
c local Search
c better result
o 169981
c local Search
c better result
o 168885
c local Search
c better result
o 168826
c local Search
c better result
o 170073
c local Search
c better result
o 168918
c local Search
c better result
o 169940
c local Search
c better result
o 169881
c local Search
c better result
o 169973
c local Search
c better result
o 169973
c local Search
c better result
o 169931
c local Search
c better result
o 169872
c local Search
c better result
o 169964
c local Search
c better result
o 169964
c local Search
c better result
o 169883
c local Search
c better result
o 169824
c local Search
c better result
o 169916
c local Search
c better result
o 169916
c local Search
c better result
o 169874
c local Search
c better result
o 169815
c local Search
c better result
o 169907
c local Search
c better result
o 169907
c local Search
c better result
o 169940
c local Search
c better result
o 169881
c local Search
c better result
o 169973
c local Search
c better result
o 169973
c local Search
c better result
o 169931
c local Search
c better result
o 169872
c local Search
c better result
o 169964
c local Search
c better result
o 169964
c local Search
c better result
o 169883
c local Search
c better result
o 169824
c local Search
c better result
o 169916
c local Search
c better result
o 169916
c local Search
c better result
o 169874
c local Search
c better result
o 169815
c local Search
c better result
o 169907
c local Search
c better result
o 169907
c local Search
c better result
o 169940
c local Search
c better result
o 169881
c local Search
c better result
o 169973
c local Search
c better result
o 169973
c local Search
c better result
o 169931
c local Search
c better result
o 169872
c local Search
c better result
o 169964
c local Search
c better result
o 169964
c local Search
c better result
o 169883
c local Search
c better result
o 169824
c local Search
c better result
o 169916
c local Search
c better result
o 169916
c local Search
c better result
o 169874
c local Search
c better result
o 169815
c local Search
c better result
o 169907
c local Search
c better result
o 169907
c local Search
c better result
o 169940
c local Search
c better result
o 169881
c local Search
c better result
o 169973
c local Search
c better result
o 169973
c local Search
c better result
o 169931
c local Search
c better result
o 169872
c local Search
c better result
o 169964
c local Search
c better result
o 169964
c local Search
c better result
o 169883
c local Search
c better result
o 169824
c local Search
c better result
o 169916
c local Search
c better result
o 169916
c local Search
c better result
o 169874
c local Search
c better result
o 169815
c local Search
c better result
o 169907
c local Search
c better result
o 169907
c local Search
o 79945
c local Search
o 79936
c local Search
o 79888
c local Search
o 79879
o 79627
c local Search
c better result
o 170038
c local Search
c better result
o 168883
c local Search
c better result
o 169990
c local Search
c better result
o 168835
c local Search
c better result
o 169981
c local Search
c better result
o 168826
c local Search
c better result
o 170047
c local Search
c better result
o 168892
c local Search
c better result
o 170038
c local Search
c better result
o 168883
c local Search
c better result
o 169990
c local Search
c better result
o 168835
c local Search
c better result
o 169981
c local Search
c better result
o 168826
c local Search
c better result
o 169881
c local Search
c better result
o 169872
c local Search
c better result
o 169824
c local Search
c better result
o 169815
c local Search
c better result
o 169881
c local Search
c better result
o 169872
c local Search
c better result
o 169824
c local Search
c better result
o 169815
c local Search
c better result
o 169881
c local Search
c better result
o 169872
c local Search
c better result
o 169824
c local Search
c better result
o 169815
c local Search
c better result
o 169881
c local Search
c better result
o 169872
c local Search
c better result
o 169824
c local Search
c better result
o 169815
c local Search
o 80252
c local Search
o 80193
c local Search
o 80184
c local Search
o 80136
o 80127
c local Search
c better result
o 170354
c local Search
c better result
o 170295
c local Search
c better result
o 169199
c local Search
c better result
o 169140
c local Search
c better result
o 170387
c local Search
c better result
o 169232
c local Search
c better result
o 170345
c local Search
c better result
o 170286
c local Search
c better result
o 169190
c local Search
c better result
o 169131
c local Search
c better result
o 170378
c local Search
c better result
o 169223
c local Search
c better result
o 170297
c local Search
c better result
o 170238
c local Search
c better result
o 169142
c local Search
c better result
o 169083
c local Search
c better result
o 170330
c local Search
c better result
o 169175
c local Search
c better result
o 170288
c local Search
c better result
o 170229
c local Search
c better result
o 169133
c local Search
c better result
o 169074
c local Search
c better result
o 170321
c local Search
c better result
o 169166
c local Search
c better result
o 170354
c local Search
c better result
o 170295
c local Search
c better result
o 169199
c local Search
c better result
o 169140
c local Search
c better result
o 170387
c local Search
c better result
o 169232
c local Search
c better result
o 170345
c local Search
c better result
o 170286
c local Search
c better result
o 169190
c local Search
c better result
o 169131
c local Search
c better result
o 170378
c local Search
c better result
o 169223
c local Search
c better result
o 170297
c local Search
c better result
o 170238
c local Search
c better result
o 169142
c local Search
c better result
o 169083
c local Search
c better result
o 170330
c local Search
c better result
o 169175
c local Search
c better result
o 170288
c local Search
c better result
o 170229
c local Search
c better result
o 169133
c local Search
c better result
o 169074
c local Search
c better result
o 170321
c local Search
c better result
o 169166
c local Search
c better result
o 170188
c local Search
c better result
o 170129
c local Search
c better result
o 170221
c local Search
c better result
o 170221
c local Search
c better result
o 170179
c local Search
c better result
o 170120
c local Search
c better result
o 170212
c local Search
c better result
o 170212
c local Search
c better result
o 170131
c local Search
c better result
o 170072
c local Search
c better result
o 170164
c local Search
c better result
o 170164
c local Search
c better result
o 170122
c local Search
c better result
o 170063
c local Search
c better result
o 170155
c local Search
c better result
o 170155
c local Search
c better result
o 170188
c local Search
c better result
o 170129
c local Search
c better result
o 170221
c local Search
c better result
o 170221
c local Search
c better result
o 170179
c local Search
c better result
o 170120
c local Search
c better result
o 170212
c local Search
c better result
o 170212
c local Search
c better result
o 170131
c local Search
c better result
o 170072
c local Search
c better result
o 170164
c local Search
c better result
o 170164
c local Search
c better result
o 170122
c local Search
c better result
o 170063
c local Search
c better result
o 170155
c local Search
c better result
o 170155
c local Search
c better result
o 170188
c local Search
c better result
o 170129
c local Search
c better result
o 170221
c local Search
c better result
o 170221
c local Search
c better result
o 170179
c local Search
c better result
o 170120
c local Search
c better result
o 170212
c local Search
c better result
o 170212
c local Search
c better result
o 170131
c local Search
c better result
o 170072
c local Search
c better result
o 170164
c local Search
c better result
o 170164
c local Search
c better result
o 170122
c local Search
c better result
o 170063
c local Search
c better result
o 170155
c local Search
c better result
o 170155
c local Search
c better result
o 170188
c local Search
c better result
o 170129
c local Search
c better result
o 170221
c local Search
c better result
o 170221
c local Search
c better result
o 170179
c local Search
c better result
o 170120
c local Search
c better result
o 170212
c local Search
c better result
o 170212
c local Search
c better result
o 170131
c local Search
c better result
o 170072
c local Search
c better result
o 170164
c local Search
c better result
o 170164
c local Search
c better result
o 170122
c