Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-50-2_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1980783
o 158954
o 157501
o 156941
o 156757
o 156315
o 156238
o 155817
o 155699
o 155257
o 155167
o 154725
o 154607
o 154165
o 153964
o 153887
o 153466
o 153348
o 152906
o 152816
o 152374
o 152256
o 151814
o 151486
o 151433
o 151249
o 150807
o 150689
o 150247
o 149919
o 149795
o 149681
o 149353
o 149111
o 148987
o 148873
o 148545
o 148272
o 148154
o 147712
o 147384
o 147260
o 147146
o 146818
o 146564
o 146322
o 146198
o 146084
o 145756
o 145483
o 145365
o 144923
o 144595
o 144471
o 144357
o 144029
o 143879
o 143551
o 143278
o 143160
o 142718
o 142390
o 142266
o 142152
o 141824
o 141814
o 141574
o 141449
o 141265
o 140823
o 140705
o 140263
o 140139
o 139697
o 139369
o 139007
o 138679
o 138555
o 138441
o 138113
o 137988
o 137804
o 137362
o 137244
o 136802
o 136678
o 136236
o 135908
o 135898
o 135658
o 135533
o 135349
o 134907
o 134789
o 134347
o 134223
o 133781
o 133453
o 133438
o 133324
o 132996
o 132980
o 132890
o 132448
o 132330
o 131888
o 131560
o 131322
o 130994
o 130824
o 130382
o 130264
o 129822
o 129494
o 129256
o 128928
o 128535
o 128207
o 127969
o 127641
o 127626
o 127512
o 127184
o 127168
o 127078
o 126636
o 126518
o 126076
o 125748
o 125510
o 125182
o 125012
o 124570
o 124452
o 124010
o 123682
o 123444
o 123116
o 122845
o 122517
o 122279
o 121951
o 121914
o 121586
o 121447
o 121277
o 120835
o 120717
o 120275
o 119947
o 119823
o 119709
o 119381
o 119110
o 118782
o 118544
o 118216
o 117995
o 117989
o 117871
o 117429
o 117101
o 117062
o 116830
o 116502
o 116496
o 116264
o 115936
o 115625
o 115404
o 115258
o 115252
o 115134
o 114692
o 114364
o 114325
o 114093
o 113765
o 113641
o 113527
o 113199
o 112784
o 112456
o 112218
o 111890
o 111676
o 111485
o 111247
o 110919
o 110736
o 110504
o 110176
o 110170
o 109938
o 109610
o 109572
o 109565
o 109402
o 108960
o 108842
o 108400
o 108072
o 107834
o 107506
o 107091
o 106763
o 106525
o 106197
o 105983
o 105792
o 105554
o 105226
o 105043
o 104811
o 104483
o 104477
o 104245
o 103917
o 103641
o 103403
o 103075
o 102900
o 102572
o 102334
o 102006
o 101931
o 101603
o 101479
o 101365
o 101037
o 100726
o 100635
o 100307
o 100124
o 99892
o 99564
o 99558
o 99326
o 98998
o 98722
o 98598
o 98484
o 98156
o 97885
o 97557
o 97433
o 97319
o 96991
o 96777
o 96586
o 96348
o 96020
o 95837
o 95605
o 95277
o 95271
o 95039
o 94711
o 94430
o 94192
o 93864
o 93642
o 93565
o 93123
o 92795
o 92723
o 92666
o 92540
o 92532
o 92410
o 92251
o 92129
o 92123
o 92013
o 91891
o 91685
o 91563
o 91491
o 91434
o 91390
o 91330
o 91048
o 90488
o 90160
o 89922
o 89594
o 89179
o 88851
o 88613
o 88285
o 88071
o 87880
o 87642
o 87314
o 87131
o 86899
o 86571
o 86565
o 86333
o 86005
o 85724
o 85486
o 85158
o 84936
o 84655
o 84417
o 84089
o 83836
o 83598
o 83270
o 83050
o 82722
o 82650
o 82593
o 82284
o 82162
o 81956
o 81834
o 81612
o 81490
o 81483
o 81418
o 81361
o 81243
o 81121
o 81114
o 81049
o 80992
o 80760
o 80688
o 80631
o 80322
o 80200
o 79994
o 79872
o 79650
o 79528
o 79456
o 79399
o 79281
o 79159
o 79087
o 79030
o 78972
o 78915
o 78797
o 78675
o 78603
o 78546
o 78545
o 78488
o 78468
o 78346
o 78274
o 78217
o 78014
o 77942
o 77885
o 77576
o 77454
o 77248
o 77126
o 76904
o 76782
o 76710
o 76653
o 76535
o 76413
o 76341
o 76284
o 76052
o 75980
o 75923
o 75852
o 75730
o 75614
o 75492
o 75286
o 75164
o 75148
o 74942
o 74820
o 74748
o 74691
o 74573
o 74451
o 74379
o 74322
o 74264
o 74207
o 74089
o 73967
o 73895
o 73838
o 73837
o 73780
o 73760
o 73638
o 73566
o 73509
o 73472
o 73350
o 73144
o 73022
o 72800
o 72678
o 72606
o 72549
o 72431
o 72309
o 72237
o 72180
o 72122
o 72065
o 71947
o 71825
o 71753
o 71696
o 71695
o 71638
o 71618
o 71496
o 71424
o 71367
o 71306
o 71249
o 71248
o 71191
o 71171
o 71049
o 70977
o 70920
o 70919
o 70862
o 70744
o 70622
o 70550
o 70493
o 70435
o 70378
o 70260
o 70138
o 70066
o 70009
o 70008
o 69951
o 69931
o 69809
o 69737
o 69680
o 69664
o 69663
o 69606
o 69488
o 69366
o 69359
o 69294
o 69237
o 69179
o 69122
o 69004
o 68882
o 68875
o 68810
o 68753
o 68752
o 68695
o 68675
o 68553
o 68546
o 6848Killed
1979.696u 0.002s 33:01.64 99.9%	0+0k 0+0io 0pf+0w