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_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0005.txt.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 120 1053 98388
c WARNING: Ubcsat not found.
o 98388
c local Search
c better result
o 183743
c local Search
c better result
o 183731
c local Search
c better result
o 281788
c local Search
c better result
o 281776
c local Search
c better result
o 183743
c local Search
c better result
o 183731
c local Search
c better result
o 281788
c local Search
c better result
o 281776
c local Search
c better result
o 183743
c local Search
c better result
o 183731
c local Search
c better result
o 281788
c local Search
c better result
o 281776
c local Search
o 86535
c local Search
o 86523
c local Search
c better result
o 183348
c local Search
c better result
o 183336
c local Search
c better result
o 281393
c local Search
c better result
o 281381
c local Search
c better result
o 183348
c local Search
c better result
o 183336
c local Search
c better result
o 281393
c local Search
c better result
o 281381
c local Search
c better result
o 183348
c local Search
c better result
o 183336
c local Search
c better result
o 281393
c local Search
c better result
o 281381
c local Search
o 86140
c local Search
o 86128
c local Search
c better result
o 183186
c local Search
c better result
o 183174
c local Search
c better result
o 281231
c local Search
c better result
o 281219
c local Search
c better result
o 183186
c local Search
c better result
o 183174
c local Search
c better result
o 281231
c local Search
c better result
o 281219
c local Search
c better result
o 183186
c local Search
c better result
o 183174
c local Search
c better result
o 281231
c local Search
c better result
o 281219
c local Search
o 85978
c local Search
o 85966
c local Search
o 85951
c local Search
o 85939
c local Search
c better result
o 182997
c local Search
c better result
o 182985
c local Search
c better result
o 281042
c local Search
c better result
o 281030
c local Search
c better result
o 182997
c local Search
c better result
o 182985
c local Search
c better result
o 281042
c local Search
c better result
o 281030
c local Search
c better result
o 182997
c local Search
c better result
o 182985
c local Search
c better result
o 281042
c local Search
c better result
o 281030
c local Search
o 85789
c local Search
o 85777
c local Search
c better result
o 182751
c local Search
c better result
o 182739
c local Search
c better result
o 280796
c local Search
c better result
o 280784
c local Search
c better result
o 182751
c local Search
c better result
o 182739
c local Search
c better result
o 280796
c local Search
c better result
o 280784
c local Search
c better result
o 182751
c local Search
c better result
o 182739
c local Search
c better result
o 280796
c local Search
c better result
o 280784
c local Search
o 85543
c local Search
o 85531
c local Search
c better result
o 182589
c local Search
c better result
o 182577
c local Search
c better result
o 280634
c local Search
c better result
o 280622
c local Search
c better result
o 182589
c local Search
c better result
o 182577
c local Search
c better result
o 280634
c local Search
c better result
o 280622
c local Search
c better result
o 182589
c local Search
c better result
o 182577
c local Search
c better result
o 280634
c local Search
c better result
o 280622
c local Search
o 85381
c local Search
o 85369
c local Search
o 85354
c local Search
o 85342
c local Search
c better result
o 182400
c local Search
c better result
o 182388
c local Search
c better result
o 280445
c local Search
c better result
o 280433
c local Search
c better result
o 182400
c local Search
c better result
o 182388
c local Search
c better result
o 280445
c local Search
c better result
o 280433
c local Search
c better result
o 182400
c local Search
c better result
o 182388
c local Search
c better result
o 280445
c local Search
c better result
o 280433
c local Search
o 85192
c local Search
o 85180
c local Search
o 85170
c local Search
o 85158
c local Search
c better result
o 182216
c local Search
c better result
o 182204
c local Search
c better result
o 280261
c local Search
c better result
o 280249
c local Search
c better result
o 182216
c local Search
c better result
o 182204
c local Search
c better result
o 280261
c local Search
c better result
o 280249
c local Search
c better result
o 182216
c local Search
c better result
o 182204
c local Search
c better result
o 280261
c local Search
c better result
o 280249
c local Search
o 85008
c local Search
o 84996
c local Search
o 84981
c local Search
o 84969
c local Search
c better result
o 182027
c local Search
c better result
o 182015
c local Search
c better result
o 280072
c local Search
c better result
o 280060
c local Search
c better result
o 182027
c local Search
c better result
o 182015
c local Search
c better result
o 280072
c local Search
c better result
o 280060
c local Search
c better result
o 182027
c local Search
c better result
o 182015
c local Search
c better result
o 280072
c local Search
c better result
o 280060
c local Search
o 84819
c local Search
o 84807
c local Search
c better result
o 280261
c local Search
c better result
o 280249
c local Search
c better result
o 280261
c local Search
c better result
o 280249
c local Search
c better result
o 280261
c local Search
c better result
o 280249
c local Search
o 84665
c local Search
o 84653
c local Search
o 84638
c local Search
o 84626
c local Search
c better result
o 280072
c local Search
c better result
o 280060
o 84803
ERROR: Solution verification fails, real_empty = 84582, NB_EMPTY = 84791.
c local Search
c better result
o 280060
c local Search
c better result
o 280072
c local Search
c better result
o 280060
c local Search
o 84476
c local Search
o 84464
c local Search
c better result
o 279590
c local Search
c better result
o 279578
c local Search
c better result
o 377635
c local Search
c better result
o 377623
c local Search
c better result
o 279590
c local Search
c better result
o 279578
c local Search
c better result
o 377635
c local Search
c better result
o 377623
c local Search
c better result
o 279590
c local Search
c better result
o 279578
c local Search
c better result
o 377635
c local Search
c better result
o 377623
c local Search
c better result
o 181172
c local Search
c better result
o 181160
c local Search
c better result
o 181150
c local Search
c better result
o 181138
c local Search
c better result
o 181172
c local Search
c better result
o 181160
c local Search
c better result
o 181150
c local Search
c better result
o 181138
c local Search
c better result
o 181172
c local Search
c better result
o 181160
c local Search
c better result
o 181150
c local Search
c better result
o 181138
c local Search
c better result
o 280243
c local Search
c better result
o 280231
c local Search
c better result
o 280221
c local Search
c better result
o 280209
c local Search
c better result
o 280243
c local Search
c better result
o 280231
c local Search
c better result
o 280221
c local Search
c better result
o 280209
c local Search
c better result
o 280243
c local Search
c better result
o 280231
c local Search
c better result
o 280221
c local Search
c better result
o 280209
c local Search
c better result
o 180777
c local Search
c better result
o 180765
c local Search
c better result
o 180755
c local Search
c better result
o 180743
c local Search
c better result
o 180777
c local Search
c better result
o 180765
c local Search
c better result
o 180755
c local Search
c better result
o 180743
c local Search
c better result
o 180777
c local Search
c better result
o 180765
c local Search
c better result
o 180755
c local Search
c better result
o 180743
c local Search
c better result
o 279848
c local Search
c better result
o 279836
c local Search
c better result
o 279826
c local Search
c better result
o 279814
c local Search
c better result
o 279848
c local Search
c better result
o 279836
c local Search
c better result
o 279826
c local Search
c better result
o 279814
c local Search
c better result
o 279848
c local Search
c better result
o 279836
c local Search
c better result
o 279826
c local Search
c better result
o 279814
c local Search
c better result
o 180292
c local Search
c better result
o 180280
c local Search
c better result
o 180270
c local Search
c better result
o 180258
c local Search
c better result
o 180292
c local Search
c better result
o 180280
c local Search
c better result
o 180270
c local Search
c better result
o 180258
c local Search
c better result
o 180292
c local Search
c better result
o 180280
c local Search
c better result
o 180270
c local Search
c better result
o 180258
c local Search
c better result
o 279363
c local Search
c better result
o 279351
c local Search
c better result
o 279341
c local Search
c better result
o 279329
c local Search
c better result
o 279363
c local Search
c better result
o 279351
c local Search
c better result
o 279341
c local Search
c better result
o 279329
c local Search
c better result
o 279363
c local Search
c better result
o 279351
c local Search
c better result
o 279341
c local Search
c better result
o 279329
c local Search
c better result
o 180615
c local Search
c better result
o 180603
c local Search
c better result
o 180593
c local Search
c better result
o 180581
c local Search
c better result
o 180615
c local Search
c better result
o 180603
c local Search
c better result
o 180593
c local Search
c better result
o 180581
c local Search
c better result
o 180615
c local Search
c better result
o 180603
c local Search
c better result
o 180593
c local Search
c better result
o 180581
c local Search
c better result
o 279686
c local Search
c better result
o 279674
c local Search
c better result
o 279664
c local Search
c better result
o 279652
c local Search
c better result
o 279686
c local Search
c better result
o 279674
c local Search
c better result
o 279664
c local Search
c better result
o 279652
c local Search
c better result
o 279686
c local Search
c better result
o 279674
c local Search
c better result
o 279664
c local Search
c better result
o 279652
c local Search
c better result
o 280280
c local Search
c better result
o 280268
c local Search
c better result
o 280280
c local Search
c better result
o 280268
c local Search
c better result
o 280280
c local Search
c better result
o 280268
c local Search
c better result
o 379351
c local Search
c better result
o 379339
c local Search
c better result
o 379351
c local Search
c better result
o 379339
c local Search
c better result
o 379351
c local Search
c better result
o 379339
c local Search
c better result
o 279885
c local Search
c better result
o 279873
c local Search
c better result
o 279885
c local Search
c better result
o 279873
c local Search
c better result
o 279885
c local Search
c better result
o 279873
c local Search
c better result
o 378956
c local Search
c better result
o 378944
c local Search
c better result
o 378956
c local Search
c better result
o 378944
c local Search
c better result
o 378956
c local Search
c better result
o 378944
c local Search
c better result
o 279400
c local Search
c better result
o 279388
c local Search
c better result
o 279400
c local Search
c better result
o 279388
c local Search
c better result
o 279400
c local Search
c better result
o 279388
c local Search
c better result
o 378471
c local Search
c better result
o 378459
c local Search
c better result
o 378471
c local Search
c better result
o 378459
c local Search
c better result
o 378471
c local Search
c better result
o 378459
c local Search
c better result
o 279723
c local Search
c better result
o 279711
c local Search
c better result
o 279723
c local Search
c better result
o 279711
c local Search
c better result
o 279723
c local Search
c better result
o 279711
c local Search
c better result
o 378794
c local Search
c better result
o 378782
c local Search
c better result
o 378794
c local Search
c better result
o 378782
c local Search
c better result
o 378794
c local Search
c better result
o 378782
c local Search
c better result
o 280376
c local Search
c better result
o 280364
c local Search
c better result
o 280376
c local Search
c better result
o 280364
c local Search
c better result
o 280376
c local Search
c better result
o 280364
c local Search
c better result
o 379447
c local Search
c better result
o 379435
c local Search
c better result
o 379447
c local Search
c better result
o 379435
c local Search
c better result
o 379447
c local Search
c better result
o 379435
c local Search
c better result
o 279981
c local Search
c better result
o 279969
c local Search
c better result
o 279981
c local Search
c better result
o 279969
c local Search
c better result
o 279981
c local Search
c better result
o 279969
c local Search
c better result
o 379052
c local Search
c better result
o 379040
c local Search
c better result
o 379052
c local Search
c better result
o 379040
c local Search
c better result
o 379052
c local Search
c better result
o 379040
c local Search
c better result
o 279496
c local Search
c better result
o 279484
c local Search
c better result
o 279496
c local Search
c better result
o 279484
c local Search
c better result
o 279496
c local Search
c better result
o 279484
c local Search
c better result
o 378567
c local Search
c better result
o 378555
c local Search
c better result
o 378567
c local Search
c better result
o 378555
c local Search
c better result
o 378567
c local Search
c better result
o 378555
c local Search
c better result
o 279819
c local Search
c better result
o 279807
c local Search
c better result
o 279819
c local Search
c better result
o 279807
c local Search
c better result
o 279819
c local Search
c better result
o 279807
c local Search
c better result
o 378890
c local Search
c better result
o 378878
c local Search
c better result
o 378890
c local Search
c better result
o 378878
c local Search
c better result
o 378890
c local Search
c better result
o 378878
c local Search
c better result
o 280091
c local Search
c better result
o 280079
c local Search
c better result
o 280091
c local Search
c better result
o 280079
c local Search
c better result
o 280091
c local Search
c better result
o 280079
c local Search
c better result
o 379162
c local Search
c better result
o 379150
c local Search
c better result
o 379162
c local Search
c better result
o 379150
c local Search
c better result
o 379162
c local Search
c better result
o 379150
c local Search
c better result
o 279696
c local Search
c better result
o 279684
c local Search
c better result
o 279696
c local Search
c better result
o 279684
c local Search
c better result
o 279696
c local Search
c better result
o 279684
c local Search
c better result
o 378767
c local Search
c better result
o 378755
c local Search
c better result
o 378767
c local Search
c better result
o 378755
c local Search
c better result
o 378767
c local Search
c better result
o 378755
c local Search
c better result
o 279211
c local Search
c better result
o 279199
c local Search
c better result
o 279211
c local Search
c better result
o 279199
c local Search
c better result
o 279211
c local Search
c better result
o 279199
c local Search
c better result
o 378282
c local Search
c better result
o 378270
c local Search
c better result
o 378282
c local Search
c better result
o 378270
c local Search
c better result
o 378282
c local Search
c better result
o 378270
c local Search
c better result
o 279534
c local Search
c better result
o 279522
c local Search
c better result
o 279534
c local Search
c better result
o 279522
c local Search
c better result
o 279534
c local Search
c better result
o 279522
c local Search
c better result
o 378605
c local Search
c better result
o 378593
c local Search
c better result
o 378605
c local Search
c better result
o 378593
c local Search
c better result
o 378605
c local Search
c better result
o 378593
c local Search
c better result
o 280187
c local Search
c better result
o 280175
c local Search
c better result
o 280187
c local Search
c better result
o 280175
c local Search
c better result
o 280187
c local Search
c better result
o 280175
c local Search
c better result
o 379258
c local Search
c better result
o 379246
c local Search
c better result
o 379258
c local Search
c better result
o 379246
c local Search
c better result
o 379258
c local Search
c better result
o 379246
c local Search
c better result
o 279792
c local Search
c better result
o 279780
c local Search
c better result
o 279792
c local Search
c better result
o 279780
c local Search
c better result
o 279792
c local Search
c better result
o 279780
c local Search
c better result
o 378863
c local Search
c better result
o 378851
c local Search
c better result
o 378863
c local Search
c better result
o 378851
c local Search
c better result
o 378863
c local Search
c better result
o 378851
c local Search
c better result
o 279307
c local Search
c better result
o 279295
c local Search
c better result
o 279307
c local Search
c better result
o 279295
c local Search
c better result
o 279307
c local Search
c better result
o 279295
c local Search
c better result
o 378378
c local Search
c better result
o 378366
c local Search
c better result
o 378378
c local Search
c better result
o 378366
c local Search
c better result
o 378378
c local Search
c better result
o 378366
c local Search
c better result
o 279630
c local Search
c better result
o 279618
c local Search
c better result
o 279630
c local Search
c better result
o 279618
c local Search
c better result
o 279630
c local Search
c better result
o 279618
c local Search
c better result
o 378701
c local Search
c better result
o 378689
c local Search
c better result
o 378701
c local Search
c better result
o 378689
c local Search
c better result
o 378701
c local Search
c better result
o 378689
c local Search
c better result
o 279683
c local Search
c better result
o 279671
c local Search
c better result
o 279683
c local Search
c better result
o 279671
c local Search
c better result
o 279683
c local Search
c better result
o 279671
c local Search
c better result
o 378754
c local Search
c better result
o 378742
c local Search
c better result
o 378754
c local Search
c better result
o 378742
c local Search
c better result
o 378754
c local Search
c better result
o 378742
c local Search
c better result
o 279288
c local Search
c better result
o 279276
c local Search
c better result
o 279288
c local Search
c better result
o 279276
c local Search
c better result
o 279288
c local Search
c better result
o 279276
c local Search
c better result
o 378359
c local Search
c better result
o 378347
c local Search
c better result
o 378359
c local Search
c better result
o 378347
c local Search
c better result
o 378359
c local Search
c better result
o 378347
c local Search
c better result
o 278803
c local Search
c better result
o 278791
c local Search
c better result
o 278803
c local Search
c better result
o 278791
c local Search
c better result
o 278803
c local Search
c better result
o 278791
c local Search
c better result
o 377874
c local Search
c better result
o 377862
c local Search
c better result
o 377874
c local Search
c better result
o 377862
c local Search
c better result
o 377874
c local Search
c better result
o 377862
c local Search
c better result
o 279126
c local Search
c better result
o 279114
c local Search
c better result
o 279126
c local Search
c better result
o 279114
c local Search
c better result
o 279126
c local Search
c better result
o 279114
c local Search
c better result
o 378197
c local Search
c better result
o 378185
c local Search
c better result
o 378197
c local Search
c better result
o 378185
c local Search
c better result
o 378197
c local Search
c better result
o 378185
c local Search
c better result
o 279779
c local Search
c better result
o 279767
c local Search
c better result
o 279779
c local Search
c better result
o 279767
c local Search
c better result
o 279779
c local Search
c better result
o 279767
c local Search
c better result
o 378850
c local Search
c better result
o 378838
c local Search
c better result
o 378850
c local Search
c better result
o 378838
c local Search
c better result
o 378850
c local Search
c better result
o 378838
c local Search
c better result
o 279384
c local Search
c better result
o 279372
c local Search
c better result
o 279384
c local Search
c better result
o 279372
c local Search
c better result
o 279384
c local Search
c better result
o 279372
c local Search
c better result
o 378455
c local Search
c better result
o 378443
c local Search
c better result
o 378455
c local Search
c better result
o 378443
c local Search
c better result
o 378455
c local Search
c better result
o 378443
c local Search
c better result
o 278899
c local Search
c better result
o 278887
c local Search
c better result
o 278899
c local Search
c better result
o 278887
c local Search
c better result
o 278899
c local Search
c better result
o 278887
c local Search
c better result
o 377970
c local Search
c better result
o 377958
c local Search
c better result
o 377970
c local Search
c better result
o 377958
c local Search
c better result
o 377970
c local Search
c better result
o 377958
c local Search
c better result
o 279222
c local Search
c better result
o 279210
c local Search
c better result
o 279222
c local Search
c better result
o 279210
c local Search
c better result
o 279222
c local Search
c better result
o 279210
c local Search
c better result
o 378293
c local Search
c better result
o 378281
c local Search
c better result
o 378293
c local Search
c better result
o 378281
c local Search
c better result
o 378293
c local Search
c better result
o 378281
c local Search
c better result
o 279494
c local Search
c better result
o 279482
c local Search
c better result
o 279494
c local Search
c better result
o 279482
c local Search
c better result
o 279494
c local Search
c better result
o 279482
c local Search
c better result
o 378565
c local Search
c better result
o 378553
c local Search
c better result
o 378565
c local Search
c better result
o 378553
c local Search
c better result
o 378565
c local Search
c better result
o 378553
c local Search
c better result
o 279099
c local Search
c better result
o 279087
c local Search
c better result
o 279099
c local Search
c better result
o 279087
c local Search
c better result
o 279099
c local Search
c better result
o 279087
c local Search
c better result
o 378170
c local Search
c better result
o 378158
c local Search
c better result
o 378170
c local Search
c better result
o 378158
c local Search
c better result
o 378170
c local Search
c better result
o 378158
c local Search
c better result
o 278614
c local Search
c better result
o 278602
c local Search
c better result
o 278614
c local Search
c better result
o 278602
c local Search
c better result
o 278614
c local Search
c better result
o 278602
c local Search
c better result
o 377685
c local Search
c better result
o 377673
c local Search
c better result
o 377685
c local Search
c better result
o 377673
c local Search
c better result
o 377685
c local Search
c better result
o 377673
c local Search
c better result
o 278937
c local Search
c better result
o 278925
c local Search
c better result
o 278937
c local Search
c better result
o 278925
c local Search
c better result
o 278937
c local Search
c better result
o 278925
c local Search
c better result
o 378008
c local Search
c better result
o 377996
c local Search
c better result
o 378008
c local Search
c better result
o 377996
c local Search
c better result
o 378008
c local Search
c better result
o 377996
c local Search
c better result
o 279590
c local Search
c better result
o 279578
c local Search
c better result
o 279590
c local Search
c better result
o 279578
c local Search
c better result
o 279590
c local Search
c better result
o 279578
c local Search
c better result
o 378661
c local Search
c better result
o 378649
c local Search
c better result
o 378661
c local Search
c better result
o 378649
c local Search
c better result
o 378661
c local Search
c better result
o 378649
c local Search
c better result
o 279195
c local Search
c better result
o 279183
c local Search
c better result
o 279195
c local Search
c better result
o 279183
c local Search
c better result
o 279195
c local Search
c better result
o 279183
c local Search
c better result
o 378266
c local Search
c better result
o 378254
c local Search
c better result
o 378266
c local Search
c better result
o 378254
c local Search
c better result
o 378266
c local Search
c better result
o 378254
c local Search
c better result
o 278710
c local Search
c better result
o 278698
c local Search
c better result
o 278710
c local Search
c better result
o 278698
c local Search
c better result
o 278710
c