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-50-2_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 130 810 1487271
c WARNING: Ubcsat not found.
o 1487271
c local Search
o 167030
c local Search
o 165030
c local Search
o 164162
c local Search
o 164144
c local Search
o 163276
c local Search
o 163021
c local Search
o 162158
c local Search
o 162140
c local Search
o 161272
c local Search
o 161017
o 160710
c local Search
o 159842
c local Search
o 159824
c local Search
o 158956
c local Search
o 158701
o 158000
o 157982
c local Search
o 157965
c local Search
o 157114
c local Search
o 156859
o 156552
c local Search
o 156535
o 155684
o 155666
o 155649
o 154798
o 154543
c local Search
o 154002
c local Search
o 153747
c local Search
o 153162
c local Search
o 153144
c local Search
o 153127
o 152276
o 152021
o 151922
c local Search
o 151741
c local Search
o 151156
o 151138
o 151121
o 150270
o 150015
o 149916
c local Search
o 149208
o 148953
o 148854
c local Search
o 148833
o 148809
o 148734
o 148628
o 148553
o 148236
c local Search
o 148043
c local Search
o 147968
o 147950
c local Search
o 147350
o 147157
o 147082
c local Search
o 146902
c local Search
o 146827
o 146803
o 146728
o 146288
c local Search
o 146095
o 146020
c local Search
o 145840
c local Search
o 145765
o 145741
o 145666
c local Search
o 145658
o 145559
o 145538
o 145514
c local Search
o 145439
o 145333
o 145258
o 144941
o 144748
o 144673
o 144655
o 144055
o 143862
o 143787
o 143607
o 143532
o 143508
o 143433
o 142993
o 142800
c local Search
o 142725
o 142545
o 142470
o 142446
o 142371
o 142306
o 142231
o 142207
o 142132
c local Search
o 142043
c local Search
o 141968
o 141788
o 141713
c local Search
o 141689
o 141614
o 141606
o 141507
o 141486
o 141462
c local Search
o 141387
o 141281
o 141206
o 140889
o 140696
o 140621
c local Search
o 140603
o 140003
o 139810
c local Search
o 139735
o 139555
o 139480
c local Search
o 139456
o 139381
o 138941
o 138748
o 138673
o 138493
o 138418
o 138394
o 138319
o 138254
o 138179
c local Search
o 138155
o 138080
o 138066
o 137873
o 137798
c local Search
o 137780
o 137180
o 136987
o 136912
o 136732
o 136657
o 136633
o 136558
c local Search
o 136118
o 135925
o 135850
o 135670
o 135595
o 135571
o 135496
o 135431
o 135356
o 135332
o 135257
o 135213
o 135078
o 135003
o 134773
o 134580
o 134505
o 134325
o 134250
o 134226
o 134151
o 134086
o 134011
o 133987
o 133912
o 133844
o 133664
o 133589
o 133572
o 133497
o 133317
o 133242
o 133012
o 132819
o 132744
o 132564
o 132489
o 132465
o 132390
o 132255
c local Search
o 132180
o 131950
o 131757
o 131682
o 131502
o 131427
o 131403
o 131328
o 131263
o 131188
o 131164
o 131089
o 131056
o 130981
o 130957
o 130882
o 130817
o 130742
o 130718
o 130643
o 130599
o 130464
o 130389
o 130159
o 129966
o 129891
o 129711
o 129636
o 129612
o 129537
o 129472
o 129397
o 129373
o 129298
o 129297
o 129222
o 129198
o 129123
o 128988
o 128913
o 128683
o 128490
o 128415
o 128235
o 128160
o 128136
o 128061
o 127950
o 127875
o 127851
o 127776
o 127641
o 127566
o 127336
o 127143
o 127068
o 126888
o 126813
o 126789
o 126714
o 126649
o 126574
o 126550
o 126475
o 126346
o 126271
o 126249
o 126041
o 125848
o 125773
o 125593
o 125518
o 125494
o 125419
o 125284
o 125209
o 125187
o 124979
o 124786
o 124711
o 124531
o 124456
o 124432
o 124357
o 124292
o 124217
o 124193
o 124118
o 124085
o 124010
o 123986
o 123911
o 123846
o 123771
o 123747
o 123672
o 123628
o 123493
o 123418
o 123396
o 123188
o 122995
o 122920
o 122740
o 122665
o 122641
o 122566
o 122501
o 122426
o 122402
o 122327
o 122326
o 122251
o 122227
o 122152
o 122017
o 121942
o 121920
o 121712
o 121519
o 121444
o 121264
o 121189
o 121165
o 121090
o 120979
o 120904
o 120880
o 120805
o 120670
o 120595
o 120573
o 120365
o 120172
o 120097
o 119917
o 119842
o 119818
o 119743
o 119678
o 119603
o 119579
o 119504
o 119372
o 119297
o 119273
o 119198
o 119133
o 119058
o 119034
o 118959
o 118926
o 118851
o 118827
o 118752
o 118687
o 118612
o 118588
o 118513
o 118469
o 118448
o 118373
o 118349
o 118274
o 118259
o 118237
o 118029
o 117836
o 117761
o 117581
o 117506
o 117482
o 117407
o 117342
o 117267
o 117243
o 117168
o 117167
o 117092
o 117068
o 116993
o 1169