Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxsat_Power-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-80-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WMaxsat_Power/WMaxsat_Power
c Instance info: p wcnf 228 1638 3007711
c 0 228 3007711
c WARNING: Ubcsat problem.
o 3007711
o 266033
o 265699
o 265167
o 264838
o 264306
o 263945
o 263611
o 263079
o 262966
o 262924
o 262879
o 262605
o 262271
o 261739
o 261697
o 261652
o 261133
o 260823
o 260781
o 260736
o 260428
o 260386
o 260341
o 260325
o 259793
o 259751
o 259706
o 259495
o 258963
o 258921
o 258876
o 258854
o 258812
o 258767
o 258357
o 258248
o 258047
o 258005
o 257960
o 257938
o 257896
o 257851
o 257652
o 257610
o 257565
o 257543
o 257501
o 257456
o 257017
o 256975
o 256930
o 256908
o 256866
o 256821
o 256434
o 256392
o 256347
o 256325
o 256283
o 256238
o 256156
o 256114
o 256069
o 256047
o 256005
o 255960
o 255761
o 255719
o 255674
o 255652
o 255610
o 255565
o 255126
o 255084
o 255039
o 255017
o 254975
o 254930
o 254657
o 254548
o 254347
o 254305
o 254260
o 254238
o 254196
o 254151
o 253952
o 253910
o 253865
o 253843
o 253801
o 253756
o 253317
o 253275
o 253230
o 253208
o 253166
o 253121
o 253074
o 253032
o 252987
o 252965
o 252923
o 252878
o 252679
o 252637
o 252592
o 252570
o 252528
o 252483
o 252044
o 252002
o 251957
o 251935
o 251893
o 251848
o 251461
o 251419
o 251374
o 251352
o 251310
o 251265
o 251183
o 251141
o 251096
o 251074
o 251032
o 250987
o 250788
o 250746
o 250701
o 250679
o 250637
o 250592
o 250153
o 250111
o 250066
o 250044
o 250002
o 249957
o 249684
o 249575
o 249374
o 249332
o 249287
o 249265
o 249223
o 249178
o 248979
o 248937
o 248892
o 248870
o 248828
o 248783
o 248344
o 248302
o 248257
o 248235
o 248193
o 248148
o 247754
o 247712
o 247667
o 247645
o 247603
o 247558
o 247171
o 247129
o 247084
o 247062
o 247020
o 246975
o 246951
o 246893
o 246851
o 246806
o 246784
o 246742
o 246697
o 246498
o 246456
o 246411
o 246389
o 246347
o 246302
o 245863
o 245821
o 245776
o 245754
o 245712
o 245667
o 245338
o 245296
o 245251
o 245229
o 245187
o 245142
o 245084
o 245042
o 244997
o 244975
o 244933
o 244888
o 244689
o 244647
o 244602
o 244580
o 244538
o 244493
o 244054
o 244012
o 243967
o 243945
o 243903
o 243858
o 243854
o 243812
o 243767
o 243530
o 243488
o 243443
o 243421
o 243379
o 243334
o 243161
o 243119
o 243074
o 243052
o 243010
o 242965
o 242526
o 242484
o 242439
o 242417
o 242375
o 242330
o 242001
o 241959
o 241914
o 241892
o 241850
o 241805
o 241747
o 241705
o 241660
o 241638
o 241596
o 241551
o 241352
o 241310
o 241265
o 241243
o 241201
o 241156
o 240717
o 240675
o 240630
o 240608
o 240566
o 240521
o 240347
o 240305
o 240260
o 240238
o 240196
o 240151
o 239712
o 239670
o 239625
o 239603
o 239561
o 239516
o 239483
o 239441
o 239396
o 239374
o 239332
o 239287
o 239114
o 239072
o 239027
o 239005
o 238963
o 238918
o 238479
o 238437
o 238392
o 238370
o 238328
o 238283
o 237954
o 237912
o 237867
o 237845
o 237803
o 237758
o 237700
o 237658
o 237613
o 237591
o 237549
o 237504
o 237305
o 237263
o 237218
o 237196
o 237154
o 237109
o 236670
o 236628
o 236583
o 236561
o 236519
o 236474
o 236452
o 236430
o 236388
o 236343
o 235904
o 235862
o 235817
o 235795
o 235753
o 235708
o 235379
o 235337
o 235292
o 235270
o 235228
o 235183
o 235125
o 235083
o 235038
o 235016
o 234974
o 234929
o 234730
o 234688
o 234643
o 234621
o 234579
o 234534
o 234095
o 234053
o 234008
o 233986
o 233944
o 233899
o 233725
o 233683
o 233638
o 233616
o 233574
o 233529
o 233090
o 233048
o 233003
o 232981
o 232939
o 232894
o 232861
o 232819
o 232774
o 232752
o 232710
o 232665
o 232492
o 232450
o 232405
o 232383
o 232341
o 232296
o 231857
o 231815
o 231770
o 231748
o 231706
o 231661
o 231332
o 231290
o 231245
o 231223
o 231181
o 231136
o 231078
o 231036
o 230991
o 230969
o 230927
o 230882
o 230683
o 230641
o 230596
o 230574
o 230532
o 230487
o 230048
o 230006
o 229961
o 229939
o 229897
o 229852
o 229707
o 229665
o 229620
o 229563
o 229521
o 229476
o 229454
o 229412
o 229367
o 229345
o 229323
o 229281
o 229236
o 228941
o 228899
o 228854
o 228797
o 228755
o 228710
o 228688
o 228646
o 228601
o 228416
o 228374
o 228329
o 228272
o 228230
o 228185
o 228163
o 228121
o 228076
o 228075
o 228018
o 227976
o 227931
o 227909
o 227867
o 227822
o 227767
o 227725
o 227680
o 227623
o 2275