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_random-net_random-net-60-2_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 169 1200 2240595
c WARNING: Ubcsat not found.
o 2240595
c local Search
o 190665
c local Search
o 190659
c local Search
o 190060
c local Search
o 188952
c local Search
o 188677
c local Search
o 188671
c local Search
o 188072
c local Search
o 186964
c local Search
o 186409
c local Search
o 185558
o 185372
c local Search
o 185279
c local Search
o 185003
c local Search
o 184817
c local Search
o 184724
o 184023
o 183837
c local Search
o 183744
c local Search
o 183468
c local Search
o 183282
o 183189
c local Search
o 183029
o 182178
o 181992
o 181899
o 181623
o 181437
c local Search
o 181344
c local Search
o 181281
c local Search
o 181095
c local Search
o 181002
c local Search
o 180772
o 180586
o 180493
o 180301
c local Search
o 180115
c local Search
o 180022
o 179746
o 179560
o 179467
o 179237
o 179051
c local Search
o 178958
o 178798
o 178456
c local Search
o 178270
o 178177
o 177901
o 177715
o 177622
o 177392
c local Search
o 177206
c local Search
o 177113
o 177035
c local Search
o 176849
o 176756
o 176743
c local Search
o 176557
c local Search
o 176464
o 176401
o 176215
o 176122
c local Search
o 175892
o 175706
c local Search
o 175613
c local Search
o 175421
o 175235
o 175142
c local Search
o 174866
o 174680
o 174587
o 174357
c local Search
o 174171
o 174078
o 173918
o 173576
o 173390
o 173297
o 173021
o 172835
o 172742
o 172512
o 172326
o 172233
o 172163
o 172070
o 171992
o 171806
c local Search
o 171713
o 171700
o 171514
o 171421
o 171358
o 171172
o 171079
o 170849
o 170663
c local Search
o 170570
c local Search
o 170378
o 170192
o 170099
c local Search
o 169823
o 169637
o 169544
o 169314
o 169128
o 169035
c local Search
o 168875
o 168842
o 168533
o 168347
o 168254
o 167978
c local Search
o 167792
o 167699
o 167469
c local Search
o 167283
o 167190
o 167136
c local Search
o 167043
o 166767
o 166581
o 166488
o 166258
o 166072
o 165979
o 165819
o 165786
o 165477
o 165291
c local Search
o 165198
o 164922
o 164736
o 164643
o 164413
c local Search
o 164227
o 164134
o 164082
o 164011
o 163825
o 163732
o 163502
o 163316
c local Search
o 163223
o 163169
o 163076
o 162800
o 162614
o 162521
o 162291
o 162105
o 162012
o 161818
o 161632
o 161539
o 161510
o 161324
o 161231
o 160955
o 160769
o 160676
o 160446
o 160260
o 160167
o 160115
o 160038
o 159945
o 159893
o 159822
o 159636
o 159543
o 159313
o 159127
o 159034
o 158980
o 158887
o 158611
o 158425
o 158332
o 158102
o 157916
o 157823
o 157629
c local Search
o 157443
o 157350
o 157321
o 157135
o 157042
o 156766
o 156580
o 156487
o 156257
o 156071
o 155978
o 155926
o 155896
o 155710
o 155617
o 155588
o 155402
o 155309
o 155033
o 154847
o 154754
o 154524
o 154338
o 154245
o 154193
o 154008
o 153822
o 153729
o 153675
o 153582
o 153306
o 153120
o 153027
o 152797
o 152611
o 152518
o 152324
o 152138
o 152045
o 152016
o 151830
o 151737
o 151461
o 151275
o 151182
o 150952
o 150766
o 150673
o 150621
o 150591
o 150405
o 150312
o 150283
o 150097
o 150004
o 149728
o 149542
o 149449
o 149219
o 149033
o 148940
o 148888
o 148748
o 148655
o 148603
o 148482
o 148389
o 148335
o 148242
o 147966
o 147780
o 147687
o 147457
o 147271
o 147178
o 146984
o 146798
o 146705
o 146676
o 146490
o 146397
o 146121
o 145935
o 145842
o 145612
o 145426
o 145333
o 145281
o 145251
o 145065
o 144972
o 144943
o 144757
o 144664
o 144388
o 144202
o 144109
o 143879
o 143693
o 143600
o 143548
o 143408
o 143315
o 143263
o 143106
o 142920
o 142827
o 142633
o 142447
o 142354
o 142325
o 142139
o 142046
o 141770
o 141584
o 141491
o 141261
o 141075
o 140982
o 140930
o 140900
o 140714
o 140621
o 140592
o 140406
o 140313
o 140037
o 139851
o 139758
o 139528
o 139342
o 139249
o 139197
o 139057
o 138964
o 138912
o 138841
o 138655
o 138562
o 138332
o 138146
o 138053
o 138001
o 137861
o 137768
o 137716
o 137632
o 137402
o 137216
o 137123
o 137071
o 136933
o 136747
o 136654
o 136424
o 136238
o 136145
o 135992
o 135899
o 135669
o 135483
o 135390
o 135338
o 135198
o 135105
o 135053
o 135042
o 134949
o 134796
o 134703
o 134473
o 134287
o 134194
o 134142
o 134002
o 133909
o 133857
o 133840
o 133700
o 133607
o 133555
o 133