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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 219 1596 3022350
WARNING: Ubcsat not found.
o 3022350
o 245795
o 244958
o 244399
o 244185
o 243494
o 242935
o 242316
o 241479
o 240920
o 240706
o 240015
o 239456
o 239157
o 238747
o 238320
o 238188
o 237761
o 237547
o 237283
o 236856
o 236724
o 236297
o 235944
o 235730
o 235039
o 234480
o 234181
o 233771
o 233344
o 233212
o 232785
o 232571
o 232307
o 231880
o 231748
o 231321
o 231025
o 230811
o 230547
o 230120
o 229988
o 229561
o 229238
o 228811
o 228679
o 228252
o 228038
o 227774
o 227347
o 227215
o 226788
o 226670
o 226377
o 226245
o 225818
o 225604
o 225340
o 224913
o 224781
o 224354
o 224150
o 223886
o 223459
o 223327
o 222900
o 222701
o 222659
o 222554
o 222422
o 221995
o 221791
o 221527
o 221100
o 220968
o 220541
o 220415
o 220216
o 220174
o 220069
o 219937
o 219510
o 219306
o 219042
o 218615
o 218483
o 218056
o 217817
o 217614
o 217323
o 217191
o 216764
o 216583
o 216379
o 216115
o 215688
o 215556
o 215129
o 214838
o 214706
o 214279
o 214040
o 214022
o 213595
o 213391
o 213127
o 212700
o 212568
o 212141
o 211902
o 211699
o 211408
o 211276
o 210849
o 210668
o 210464
o 210200
o 209773
o 209641
o 209214
o 208923
o 208791
o 208364
o 208125
o 208014
o 207587
o 207455
o 207028
o 206789
o 206450
o 206318
o 205891
o 205600
o 205468
o 205041
o 204802
o 204660
o 204528
o 204101
o 203810
o 203678
o 203251
o 203012
o 202676
o 202437
o 202098
o 201966
o 201539
o 201248
o 201116
o 200689
o 200450
o 200308
o 200176
o 199749
o 199458
o 199326
o 198899
o 198660
o 198239
o 198000
o 197858
o 197726
o 197299
o 197008
o 196876
o 196449
o 196210
o 196073
o 195941
o 195514
o 195275
o 195090
o 194958
o 194531
o 194292
o 193871
o 193632
o 193490
o 193358
o 192931
o 192640
o 192508
o 192081
o 191842
o 191689
o 191377
o 191138
o 190759
o 190610
o 190520
o 190371
o 190335
o 190203
o 189776
o 189627
o 189537
o 189388
o 189116
o 188967
o 188877
o 188728
o 188603
o 188176
o 188027
o 187885
o 187753
o 187326
o 187177
o 187087
o 186938
o 186934
o 186785
o 186622
o 186473
o 186383
o 186234
o 186118
o 185879
o 185726
o 185414
o 185175
o 184796
o 184647
o 184557
o 184408
o 184372
o 184240
o 184195
o 183813
o 183664
o 183574
o 183425
o 183153
o 183004
o 182914
o 182765
o 182640
o 182595
o 182213
o 182064
o 181922
o 181790
o 181745
o 181363
o 181214
o 181124
o 180975
o 180971
o 180822
o 180659
o 180510
o 180420
o 180271
o 180227
o 180182
o 179800
o 179651
o 179561
o 179412
o 179316
o 179271
o 178889
o 178740
o 178650
o 178501
o 178200
o 178051
o 177909
o 177777
o 177732
o 177350
o 177201
o 177111
o 176962
o 176958
o 176809
o 176646
o 176497
o 176407
o 176258
o 176222
o 176073
o 175943
o 175853
o 175704
o 175403
o 175254
o 175112
o 174980
o 174935
o 174553
o 174404
o 174314
o 174165
o 174161
o 174012
o 173849
o 173700
o 173610
o 173461
o 173423
o 173419
o 173270
o 173107
o 172958
o 172868
o 172719
o 172501
o 172352
o 172262
o 172113
o 171812
o 171663
o 171521
o 171389
o 171344
o 170962
o 170813
o 170723
o 170574
o 170570
o 170421
o 170258
o 170109
o 170019
o 169870
o 169834
o 169685
o 169555
o 169465
o 169316
o 169015
o 168866
o 168724
o 168592
o 168547
o 168165
o 168016
o 167926
o 167777
o 167773
o 167624
o 167461
o 167312
o 167222
o 167073
o 167035
o 167031
o 166882
o 166719
o 166570
o 166480
o 166331
o 166302
o 166264
o 166260
o 166111
o 165948
o 165799
o 165709
o 165560
o 165342
o 165193
o 165103
o 164954
o 164653
o 164504
o 164362
o 164230
o 164185
o 163803
o 163654
o 163564
o 163415
o 163411
o 163262
o 163099
o 162950
o 162860
o 162711
o 162675
o 162526
o 162396
o 162306
o 162157
o 161856
o 161707
o 161565
o 161433
o 161388
o 161006
o 160857
o 160767
o 160618
o 160614
o 160465
o 160302
o 160153
o 160063
o 159914
o 159876
o 159872
o 159723
o 159560
o 159411
o 159321
o 159172
o 159074
o 158925
o 158835
o 158686
o 158606
o 158443
o 158294
o 158204
o 158055
o 158026
o 157988
o 157984
o 157835
o 157672
o 157523
o 157433
o 157284
o 157262
o 157254
o 157066
o 156917
o 156827
o 156678
o 156573
o 156565
o 156377
o 156228
o 156086
o 155954
oKilled
1979.690u 0.009s 33:00.62 99.9%	0+0k 0+0io 0pf+0w