Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-80-2_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 230 1539 2834841
WARNING: Ubcsat not found.
o 2834841
o 252631
o 251449
o 250937
o 250616
o 250195
o 249683
o 249362
o 248871
o 248359
o 248038
o 247869
o 247828
o 247507
o 247378
o 246866
o 246545
o 246504
o 246183
o 245810
o 245489
o 245320
o 245279
o 244958
o 244829
o 244317
o 243996
o 243955
o 243634
o 243321
o 243106
o 242793
o 242715
o 242546
o 242505
o 242184
o 242055
o 241543
o 241222
o 241181
o 240860
o 240547
o 240387
o 239980
o 239659
o 239618
o 239297
o 238984
o 238824
o 238749
o 238708
o 238387
o 238074
o 237914
o 237908
o 237867
o 237546
o 237321
o 237233
o 237008
o 236848
o 236666
o 236345
o 236304
o 235983
o 235758
o 235670
o 235445
o 235285
o 235073
o 234848
o 234760
o 234535
o 234375
o 234351
o 234191
o 234185
o 234144
o 233823
o 233598
o 233510
o 233285
o 233125
o 233052
o 233011
o 232690
o 232622
o 232581
o 232260
o 232035
o 231947
o 231722
o 231562
o 231350
o 231125
o 231037
o 230812
o 230652
o 230557
o 230484
o 230443
o 230122
o 230054
o 230013
o 229692
o 229467
o 229379
o 229154
o 228994
o 228782
o 228557
o 228469
o 228244
o 228084
o 227866
o 227778
o 227553
o 227393
o 227321
o 227280
o 226959
o 226891
o 226850
o 226529
o 226304
o 226216
o 225991
o 225831
o 225619
o 225394
o 225306
o 225081
o 224921
o 224703
o 224615
o 224390
o 224230
o 224135
o 224047
o 223822
o 223662
o 223450
o 223225
o 223137
o 222912
o 222752
o 222534
o 222446
o 222221
o 222061
o 221973
o 221830
o 221539
o 221471
o 221430
o 221109
o 220884
o 220796
o 220571
o 220411
o 220199
o 219974
o 219886
o 219661
o 219501
o 219283
o 219195
o 218970
o 218810
o 218715
o 218627
o 218402
o 218242
o 218030
o 217805
o 217717
o 217492
o 217332
o 217114
o 217026
o 216801
o 216641
o 216427
o 216339
o 216114
o 215895
o 215735
o 215648
o 215423
o 215204
o 215044
o 214855
o 214636
o 214476
o 214258
o 214170
o 213945
o 213726
o 213566
o 213479
o 213254
o 213035
o 212875
o 212823
o 212605
o 212517
o 212292
o 212132
o 211918
o 211830
o 211605
o 211386
o 211226
o 211139
o 210914
o 210695
o 210535
o 210346
o 210127
o 209967
o 209749
o 209661
o 209436
o 209217
o 209057
o 208970
o 208745
o 208526
o 208366
o 208307
o 208123
o 207904
o 207744
o 207563
o 207344
o 207184
o 206966
o 206878
o 206653
o 206434
o 206274
o 206187
o 205962
o 205743
o 205583
o 205424
o 205264
o 205205
o 205116
o 204956
o 204897
o 204894
o 204807
o 204582
o 204363
o 204203
o 204044
o 203884
o 203825
o 203660
o 203441
o 203281
o 203194
o 202969
o 202750
o 202590
o 202431
o 202271
o 202212
o 202136
o 201976
o 201889
o 201664
o 201445
o 201285
o 201226
o 201042
o 200823
o 200663
o 200482
o 200263
o 200103
o 199885
o 199797
o 199572
o 199353
o 199193
o 199106
o 198881
o 198662
o 198502
o 198343
o 198183
o 198124
o 198035
o 197875
o 197816
o 197813
o 197726
o 197501
o 197282
o 197122
o 196963
o 196803
o 196744
o 196579
o 196360
o 196200
o 196113
o 195888
o 195669
o 195509
o 195350
o 195190
o 195131
o 195012
o 194852
o 194793
o 194676
o 194516
o 194429
o 194204
o 193985
o 193825
o 193666
o 193506
o 193447
o 193358
o 193198
o 193139
o 193136
o 193049
o 192824
o 192605
o 192445
o 192286
o 192126
o 192067
o 191902
o 191683
o 191523
o 191436
o 191211
o 190992
o 190832
o 190673
o 190513
o 190454
o 190408
o 190248
o 190161
o 189936
o 189717
o 189557
o 189398
o 189238
o 189179
o 189145
o 188920
o 188701
o 188541
o 188382
o 188222
o 188163
o 188074
o 187914
o 187855
o 187852
o 187765
o 187540
o 187321
o 187161
o 187002
o 186842
o 186783
o 186618
o 186399
o 186239
o 186152
o 185927
o 185708
o 185548
o 185389
o 185229
o 185170
o 185124
o 184964
o 184877
o 184652
o 184433
o 184273
o 184114
o 183954
o 183895
o 183879
o 183660
o 183500
o 183341
o 183181
o 183122
o 183033
o 182873
o 182814
o 182811
o 182724
o 182499
o 182280
o 182120
o 181961
o 181801
o 181742
o 181577
o 181358
o 181198
o 181111
o 180886
o 180667
o 180507
o 180348
o 180188
o 180129
o 180083
o 179923
o 179836
o 179611
o 179392
o 179232
o 179073
o 178913
o 178854
o 178723
o 178563
o 178476
o 178251
o 178032
o 177872
o 177713
o 177553
o 177494
o 177448
o 177288
o 177201
o 176976
o 176757
o 176597
o 176438
o 176278
o 176219
o 176210
o 176051
o 175891
o 175832
o 175667
o 175448
o 175288
o 175201
o 174976
o 174757
o 174597
o 174438
o 174278
o 174219
o 174125
o 174066
o 173901
o 173682
o 173522
o 173435
o 173210
o 172991
o 172831
o 172672
o 172512
o 172453
o 172407
o 172247
o 172160
o 171935
o 171716
o 171556
o 171397
o 171237
o 171178
o 170981
o 170821
o 170734
o 170509
o 170290
o 170130
o 169971
o 169811
o 169752
o 169706
o 169546
o 169459
o 169234
o 169015
o 168855
o 168696
o 168536
o 168477
o 168346
o 168186
o 168099
o 167874
o 167655
o 167495
o 167336
o 167176
o 167117
o 167071
o 166911
o 166824
o 166599
o 166380
o 166220
o 166061
o 165901
o 165842
o 165833
o 165674
o 165514
o 165455
o 165290
o 165071
o 164911
o 164824
o 164599
o 164380
o 164220
o 164061
o 163901
o 163842
o 163748
o 163689
o 163524
o 163305
o 163145
o 163058
o 162833
o 162614
o 162454
o 162295
o 162135
o 162076
o 162030
o 161870
o 161783
o 161558
o 161339
o 161179
o 161020
o 160860
o 160801
o 160765
o 160540
o 160321
o 160161
o 160002
o 159842
o 159783
o 159657
o 159598
o 159504
o 159445
o 159342
o 159124
o 159036
o 158811
o 158592
o 158432
o 158370
o 158210
o 158113
o 158051
o 157891
o 157832
o 157761
o 157536
o 157317
o 157157
o 157095
o 156935
o 156838
o 156776
o 156616
o 156557
o 156518
o 156299
o 156139
o 156077
o 155917
o 155820
o 155758
o 155598
o 155539
o 155500
o 155281
o 155121
o 154962
o 154802
o 154743
o 154707
o 154482
o 154263
o 154103
o 153944
o 153784
o 153725
o 153599
o 153540
o 153446
o 153387
o 153284
o 152978
o 152753
o 152534
o 152374
o 152312
o 152152
o 152055
o 151993
o 151833
o 151774
o 151703
o 151478
o 151259
o 151099
o 151037
o 150877
o 150780
o 150718
o 150558
o 150499
o 150460
o 150241
o 150081
o 150019
o 149859
o 149762
o 149700
o 149540
o 149481
o 149462
o 149365
o 149303
o 149143
o 149084
o 149045
o 148826
o 148666
o 148604
o 148444
o 148347
o 148285
o 148125
o 148066
o 147885
o 147725
o 147663
o 147503
o 147406
o 147344
o 147184
o 147125
o 147107
o 147010
o 146948
o 146788
o 146729
o 146642
o 146583
o 146571
o 146512
o 146473
o 146355
o 146254
o 146195
o 146094
o 146032
o 145973
o 145872
o 145775
o 145713
o 145654
o 145553
o 145494
o 145423
o 145364
o 145325
o 145106
o 144946
o 144884
o 144724
o 144627
o 144565
o 144405
o 144346
o 144165
o 144005
o 143943
o 143783
o 143686
o 143624
o 143464
o 143405
o 143387
o 143290
o 143228
o 143068
o 143009
o 142922
o 142863
o 142851
o 142792
o 142753
o 142635
o 142534
o 142475
o 142374
o 142312
o 142253
o 142152
o 142055
o 141993
o 141934
o 141833
o 141774
o 141757
o 141597
o 141538
o 141451
o 141392
o 141380
o 141321
o 141282
o 141164
o 141063
o 141004
o 140903
o 140841
o 140782
o 140681
o 140584
o 140522
o 140463
o 140362
o 140303
o 140221
o 140162
o 140150
o 140091
o 140057
o 139956
o 139838
o 139737
o 139678
o 139577
o 139515
o 139456
o 139355
o 139354
o 139292
o 139233
o 139132
o 139073
o 139002
o 138943
o 138808
o 138589
o 138429
o 138367
o 138207
o 138206
o 138144
o 137984
o 137925
o 137867
o 137648
o 137488
o 137426
o 137266
o 137265
o 137203
o 137043
o 136984
o 136870
o 136869
o 136807
o 136647
o 136588
o 136501
o 136442
o 136430
o 136371
o 136337
o 136236
o 136118
o 136017
o 135958
o 135857
o 135795
o 135736
o 135635
o 135634
o 135572
o 135513
o 135412
o 135353
o 135336
o 135176
o 135117
o 135030
o 134971
o 134959
o 134900
o 134866
o 134765
o 134647
o 134546
o 134487
o 134386
o 134324
o 134265
o 134164
o 134163
o 134101
o 134042
o 133941
o 133882
o 133832
o 133731
o 133669
o 133610
o 133509
o 133508
o 133446
o 133387
o 133286
o 133227
o 133225
o 133166
o 133132
o 133031
o 132913
o 132812
o 132753
o 132652
o 132590
o 132531
o 132430
o 132429
o 132367
o 132308
o 132207
o 132148
o 132098
o 131997
o 131935
o 131876
o 131775
o 131774
o 131712
o 131653
o 131552
o 131493
o 131441
o 131382
o 131281
o 131222
o 131191
o 131129
o 131070
o 130969
o 130968
o 130906
o 130847
o 130746
o 130687
o 130685
o 130626
o 130592
o 130491
o 130373
o 130272
o 130213
o 130112
o 130050
o 129991
o 129890
o 129889
o 129827
o Killed
1979.624u 0.075s 33:12.36 99.3%	0+0k 0+0io 0pf+0w