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-60-2_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 161 1034 1919796
WARNING: Ubcsat not found.
o 1919796
o 175905
o 175010
o 173746
o 173595
o 172331
o 171843
o 171597
o 171567
o 171281
o 171035
o 171005
o 170896
o 169632
o 169144
o 168898
o 168868
o 168707
o 168509
o 168310
o 168219
o 168021
o 167822
o 167775
o 167576
o 167546
o 167504
o 167305
o 167258
o 167059
o 167029
o 166854
o 166824
o 166641
o 166611
o 166465
o 166435
o 166260
o 166230
o 166047
o 166017
o 165971
o 165924
o 165725
o 165695
o 165520
o 165490
o 165307
o 165277
o 165082
o 164883
o 164836
o 164637
o 164607
o 164565
o 164366
o 164319
o 164120
o 164090
o 163915
o 163885
o 163702
o 163672
o 163640
o 163610
o 163427
o 163397
o 163276
o 163246
o 163204
o 163005
o 162958
o 162759
o 162729
o 162554
o 162524
o 162341
o 162311
o 162299
o 162159
o 162129
o 161946
o 161916
o 161824
o 161777
o 161578
o 161548
o 161373
o 161343
o 161160
o 161130
o 161098
o 161068
o 160885
o 160855
o 160798
o 160768
o 160585
o 160555
o 160463
o 160416
o 160217
o 160187
o 160012
o 159982
o 159799
o 159769
o 159748
o 159739
o 159556
o 159526
o 159469
o 159439
o 159256
o 159226
o 159134
o 159087
o 158888
o 158858
o 158683
o 158653
o 158470
o 158440
o 158407
o 158377
o 158285
o 158238
o 158039
o 158009
o 157834
o 157804
o 157621
o 157591
o 157495
o 157465
o 157444
o 157435
o 157252
o 157222
o 157165
o 157135
o 156952
o 156922
o 156830
o 156783
o 156584
o 156554
o 156379
o 156349
o 156166
o 156136
o 156103
o 156073
o 155981
o 155934
o 155735
o 155705
o 155530
o 155500
o 155317
o 155287
o 155260
o 155230
o 155138
o 155091
o 154892
o 154862
o 154687
o 154657
o 154474
o 154444
o 154411
o 154381
o 154289
o 154242
o 154043
o 154013
o 153838
o 153808
o 153625
o 153595
o 153558
o 153528
o 153355
o 153325
o 153127
o 153097
o 152922
o 152892
o 152709
o 152679
o 152583
o 152553
o 152532
o 152523
o 152340
o 152310
o 152288
o 152113
o 152083
o 151900
o 151870
o 151672
o 151642
o 151467
o 151437
o 151254
o 151224
o 151051
o 151021
o 150823
o 150793
o 150618
o 150588
o 150405
o 150375
o 150208
o 150178
o 149980
o 149950
o 149775
o 149745
o 149562
o 149532
o 149359
o 149329
o 149131
o 149101
o 148926
o 148896
o 148713
o 148683
o 148543
o 148513
o 148338
o 148308
o 148125
o 148095
o 148071
o 148041
o 147843
o 147813
o 147638
o 147608
o 147425
o 147395
o 147228
o 147198
o 147000
o 146970
o 146795
o 146765
o 146582
o 146552
o 146379
o 146349
o 146151
o 146121
o 145946
o 145916
o 145733
o 145703
o 145681
o 145498
o 145468
o 145301
o 145271
o 145073
o 145043
o 144868
o 144838
o 144655
o 144625
o 144452
o 144422
o 144224
o 144194
o 144019
o 143989
o 143806
o 143776
o 143636
o 143606
o 143431
o 143401
o 143218
o 143188
o 143164
o 143134
o 142936
o 142906
o 142731
o 142701
o 142518
o 142488
o 142321
o 142291
o 142093
o 142063
o 141888
o 141858
o 141675
o 141645
o 141472
o 141442
o 141244
o 141214
o 141039
o 141009
o 140826
o 140796
o 140744
o 140714
o 140574
o 140544
o 140369
o 140339
o 140156
o 140126
o 140102
o 140072
o 139874
o 139844
o 139669
o 139639
o 139456
o 139426
o 139259
o 139229
o 139031
o 139001
o 138826
o 138796
o 138613
o 138583
o 138410
o 138380
o 138182
o 138152
o 137977
o 137947
o 137764
o 137734
o 137610
o 137580
o 137397
o 137367
o 137343
o 137313
o 137115
o 137085
o 136910
o 136880
o 136697
o 136667
o 136500
o 136470
o 136272
o 136242
o 136067
o 136037
o 135854
o 135824
o 135651
o 135621
o 135423
o 135393
o 135218
o 135188
o 135005
o 134975
o 134825
o 134795
o 134620
o 134590
o 134407
o 134377
o 134210
o 134180
o 133982
o 133952
o 133777
o 133747
o 133564
o 133534
o 133361
o 133331
o 133133
o 133103
o 132928
o 132898
o 132715
o 132685
o 132561
o 132531
o 132348
o 132318
o 132294
o 132264
o 132066
o 132036
o 131861
o 131831
o 131648
o 131618
o 131451
o 131421
o 131223
o 131193
o 131018
o 130988
o 130805
o 130775
o 130602
o 130572
o 130374
o 130344
o 130169
o 130139
o 129956
o 129926
o 129917
o 129742
o 129712
o 129529
o 129499
o 129475
o 129445
o 129247
o 129217
o 129042
o 129012
o 128829
o 128799
o 128675
o 128645
o 128462
oKilled
1979.623u 0.076s 33:08.90 99.5%	0+0k 0+0io 0pf+0w