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-50-2_network-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WMaxsat_Power/WMaxsat_Power
c Instance info: p wcnf 137 880 1613156
c 0 137 1613156
c WARNING: Ubcsat problem.
o 1613156
o 166489
o 166442
o 165832
o 164167
o 164120
o 163510
o 163504
o 163457
o 162847
o 162401
o 162300
o 161854
o 161405
o 160959
o 160833
o 160306
o 159860
o 159417
o 158971
o 158870
o 158424
o 158418
o 157975
o 157529
o 157227
o 156784
o 156338
o 156047
o 155601
o 155500
o 155054
o 154896
o 154605
o 154159
o 153955
o 153652
o 153408
o 153203
o 152757
o 152513
o 152455
o 152012
o 151566
o 151275
o 150829
o 150585
o 150282
o 150038
o 149833
o 149387
o 149143
o 148988
o 148930
o 148487
o 148041
o 147750
o 147304
o 147060
o 146757
o 146513
o 146308
o 145862
o 145618
o 145613
o 145167
o 144876
o 144430
o 144186
o 143883
o 143639
o 143434
o 142988
o 142744
o 142632
o 142427
o 141981
o 141737
o 141559
o 141315
o 141068
o 140824
o 140619
o 140173
o 139929
o 139887
o 139721
o 139436
o 139270
o 139145
o 138699
o 138533
o 138455
o 138289
o 138152
o 137986
o 137908
o 137742
o 137703
o 137257
o 137091
o 137013
o 136847
o 136735
o 136696
o 136250
o 136084
o 136006
o 135840
o 135828
o 135662
o 135584
o 135418
o 135337
o 135171
o 135093
o 134927
o 134888
o 134442
o 134276
o 134198
o 134032
o 134003
o 133925
o 133759
o 133718
o 133674
o 133562
o 133523
o 133077
o 132911
o 132833
o 132667
o 132655
o 132489
o 132411
o 132245
o 132164
o 131998
o 131920
o 131754
o 131715
o 131269
o 131103
o 131025
o 130859
o 130808
o 130642
o 130278
o 130112
o 130034
o 129868
o 129756
o 129717
o 129271
o 129105
o 129027
o 128861
o 128849
o 128683
o 128605
o 128439
o 128358
o 128192
o 128114
o 127948
o 127909
o 127463
o 127297
o 127219
o 127053
o 127024
o 126946
o 126780
o 126739
o 126695
o 126583
o 126544
o 126098
o 125932
o 125854
o 125688
o 125676
o 125510
o 125432
o 125266
o 125185
o 125019
o 124941
o 124775
o 124736
o 124290
o 124124
o 124046
o 123880
o 123848
o 123682
o 123601
o 123435
o 123357
o 123191
o 123152
o 122706
o 122540
o 122462
o 122296
o 122283
o 121837
o 121671
o 121593
o 121427
o 121415
o 121249
o 121171
o 121005
o 120924
o 120758
o 120680
o 120514
o 120475
o 120029
o 119863
o 119785
o 119619
o 119590
o 119512
o 119346
o 119305
o 119261
o 119149
o 119110
o 118664
o 118498
o 118420
o 118254
o 118242
o 118076
o 117998
o 117832
o 117751
o 117585
o 117507
o 117341
o 117302
o 116856
o 116690
o 116612
o 116446
o 116414
o 116248
o 116167
o 116001
o 115923
o 115757
o 115718
o 115272
o 115106
o 115028
o 114862
o 114720
o 114708
o 114542
o 114464
o 114298
o 114217
o 114051
o 113973
o 113807
o 113768
o 113322
o 113156
o 113078
o 112912
o 112883
o 112805
o 112639
o 112598
o 112554
o 112442
o 112403
o 111957
o 111791
o 111713
o 111547
o 111535
o 111369
o 111291
o 111125
o 111044
o 110878
o 110800
o 110634
o 110595
o 110149
o 109983
o 109905
o 109739
o 109707
o 109541
o 109460
o 109294
o 109216
o 109050
o 109011
o 108565
o 108399
o 108321
o 108155
o 107788
o 107622
o 107544
o 107378
o 107346
o 107180
o 107099
o 106933
o 106855
o 106689
o 106650
o 106204
o 106038
o 105960
o 105794
o 105777
o 105611
o 105572
o 105126
o 104960
o 104882
o 104716
o 104574
o 104562
o 104396
o 104318
o 104152
o 104071
o 103905
o 103827
o 103661
o 103622
o 103176
o 103010
o 102932
o 102766
o 102737
o 102659
o 102493
o 102452
o 102408
o 102296
o 102257
o 101811
o 101645
o 101567
o 101401
o 101389
o 101223
o 101145
o 100979
o 100898
o 100732
o 100654
o 100488
o 100449
o 100003
o 99837
o 99759
o 99593
o 99561
o 99395
o 99314
o 99148
o 99070
o 98904
o 98865
o 98419
o 98253
o 98175
o 98009
o 97642
o 97476
o 97398
o 97232
o 97200
o 97034
o 96953
o 96787
o 96709
o 96543
o 96504
o 96058
o 95892
o 95814
o 95648
o 95608
o 95442
o 95364
o 95198
o 95166
o 95000
o 94634
o 94468
o 94390
o 94224
o 94024
o 93858
o 93780
o 93614
o 93556
o 93390
o 93312
o 93146
o 92946
o 92780
o 92702
o 92536
o 92394
o 92382
o 92216
o 92138
o 91972
o 91606
o 91440
o 91362
o 91196
o 90996
o 90830
o 90752
o 90586
o 90557
o 90479
o 90313
o 90272
o 90228
o 90075
o 89997
o 89831
o 89631
o 89465
o 89387
o 89221
o 89209
o 89043
o 88965
o 88799
o 88433
o 88267
o 88189
o 88023
o 87823
o 87657
o 87579
o 87413
o 87381
o 87215
o 86849