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-100-2_network-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WMaxsat_Power/WMaxsat_Power
c Instance info: p wcnf 278 2043 3812772
c 0 278 3812772
c WARNING: Ubcsat problem.
o 3812772
o 331266
o 331130
o 331048
o 330876
o 330740
o 330658
o 330656
o 330520
o 330438
o 330410
o 330263
o 330127
o 330045
o 329873
o 329737
o 329655
o 329653
o 329517
o 329435
o 329407
o 329381
o 329379
o 329243
o 329161
o 329133
o 329096
o 329014
o 328986
o 327764
o 327628
o 327546
o 327374
o 327238
o 327156
o 327154
o 327018
o 326936
o 326908
o 326761
o 326625
o 326543
o 326371
o 326235
o 326153
o 326151
o 326015
o 325933
o 325905
o 325879
o 325877
o 325741
o 325659
o 325631
o 325552
o 325524
o 325377
o 325241
o 325159
o 324987
o 324851
o 324769
o 324767
o 324631
o 324549
o 324521
o 324495
o 324493
o 324357
o 324275
o 324247
o 323977
o 323841
o 323759
o 323587
o 323451
o 323369
o 323367
o 323231
o 323149
o 323121
o 322974
o 322838
o 322756
o 322584
o 322448
o 322366
o 322364
o 322228
o 322146
o 322118
o 322092
o 322090
o 321954
o 321872
o 321844
o 321820
o 321738
o 321736
o 321600
o 321518
o 321490
o 321464
o 321462
o 321326
o 321244
o 321216
o 321186
o 321158
o 321132
o 321130
o 320994
o 320912
o 320884
o 320847
o 320675
o 320539
o 320457
o 320455
o 320319
o 320237
o 320209
o 320183
o 320181
o 320045
o 319963
o 319935
o 319807
o 319725
o 319553
o 319417
o 319335
o 319333
o 319197
o 319115
o 319087
o 319061
o 319059
o 318923
o 318841
o 318813
o 318783
o 318755
o 318729
o 318727
o 318591
o 318509
o 318481
o 318392
o 318310
o 318282
o 318252
o 318224
o 318198
o 318196
o 318060
o 317978
o 317950
o 317927
o 317845
o 317673
o 317537
o 317455
o 317453
o 317317
o 317235
o 317207
o 317181
o 317179
o 317043
o 316961
o 316933
o 316909
o 316827
o 316825
o 316689
o 316607
o 316579
o 316553
o 316551
o 316415
o 316333
o 316305
o 316275
o 316247
o 316221
o 316219
o 316083
o 316001
o 315973
o 315936
o 315764
o 315628
o 315546
o 315544
o 315408
o 315326
o 315298
o 315272
o 315270
o 315134
o 315052
o 315024
o 314896
o 314814
o 314642
o 314506
o 314424
o 314422
o 314286
o 314204
o 314176
o 314150
o 314148
o 314012
o 313930
o 313902
o 313872
o 313844
o 313818
o 313816
o 313680
o 313598
o 313570
o 313493
o 313411
o 313383
o 313360
o 313278
o 313106
o 312970
o 312888
o 312886
o 312750
o 312668
o 312640
o 312614
o 312612
o 312476
o 312394
o 312366
o 312342
o 312260
o 312258
o 312122
o 312040
o 312012
o 311986
o 311984
o 311848
o 311766
o 311738
o 311708
o 311680
o 311654
o 311652
o 311516
o 311434
o 311406
o 311369
o 311197
o 311061
o 310979
o 310977
o 310841
o 310759
o 310731
o 310705
o 310703
o 310567
o 310485
o 310457
o 310411
o 310383
o 310329
o 310247
o 310075
o 309939
o 309857
o 309855
o 309719
o 309637
o 309609
o 309583
o 309581
o 309445
o 309363
o 309335
o 309305
o 309277
o 309251
o 309249
o 309113
o 309031
o 309003
o 308975
o 308945
o 308917
o 308891
o 308889
o 308753
o 308671
o 308643
o 308538
o 308456
o 308454
o 308318
o 308236
o 308208
o 308182
o 308180
o 308044
o 307962
o 307934
o 307904
o 307876
o 307850
o 307848
o 307712
o 307630
o 307602
o 307453
o 307317
o 307235
o 307233
o 307097
o 307015
o 306987
o 306961
o 306959
o 306823
o 306741
o 306713
o 306683
o 306655
o 306629
o 306627
o 306491
o 306409
o 306381
o 306353
o 306323
o 306295
o 306269
o 306267
o 306131
o 306049
o 306021
o 305916
o 305834
o 305832
o 305696
o 305614
o 305586
o 305560
o 305558
o 305422
o 305340
o 305312
o 305282
o 305254
o 305228
o 305226
o 305090
o 305008
o 304980
o 304953
o 304927
o 304925
o 304789
o 304707
o 304679
o 304659
o 304607
o 304579
o 304510
o 304374
o 304292
o 304290
o 304154
o 304072
o 304044
o 304018
o 304016
o 303880
o 303798
o 303770
o 303740
o 303712
o 303686
o 303684
o 303548
o 303466
o 303438
o 303386
o 303358
o 303352
o 303326
o 303324
o 303188
o 303106
o 303078
o 303026
o 302998
o 302973
o 302891
o 302889
o 302753
o 302671
o 302643
o 302617
o 302615
o 302479
o 302397
o 302369
o 302339
o 302311
o 302285
o 302283
o 302147
o 302065
o 302037
o 301985
o 301957
o 301846
o 301764
o 301736
o 301684
o 301656
o 301581
o 301499
o 301471
o 301441
o 301413
o 301387
o 301385
o 301249
o 301167
o 301139
o 301134
o 301106
o 301080
o 301078
o 300942
o 300860
o 3008