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-60-2_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1786369
o 186648
o 185638
o 185593
o 185394
o 184192
o 183182
o 183137
o 182993
o 182948
o 182780
o 181578
o 180568
o 180523
o 180492
o 180447
o 180279
o 179077
o 178067
o 178022
o 177384
o 176374
o 176329
o 176284
o 175274
o 175229
o 175169
o 175124
o 174678
o 174633
o 174486
o 173476
o 173431
o 172706
o 171696
o 171651
o 171205
o 171160
o 171013
o 170003
o 169958
o 169220
o 169175
o 169109
o 168099
o 168054
o 167329
o 166319
o 166274
o 165828
o 165783
o 165636
o 164626
o 164581
o 163843
o 163798
o 163525
o 163480
o 163244
o 163199
o 162825
o 162780
o 162042
o 161997
o 161832
o 161787
o 161551
o 161506
o 161132
o 161087
o 160349
o 160304
o 159864
o 159819
o 159445
o 159400
o 158662
o 158617
o 158424
o 158379
o 158232
o 157222
o 157177
o 156439
o 156394
o 156246
o 156201
o 155463
o 155418
o 155363
o 155318
o 154978
o 154933
o 154559
o 154514
o 153776
o 153731
o 153538
o 153493
o 153346
o 152336
o 152291
o 151553
o 151508
o 150647
o 150602
o 150127
o 150082
o 149864
o 149819
o 149344
o 149299
o 148489
o 148444
o 147941
o 147896
o 147706
o 147661
o 147158
o 147113
o 146800
o 146755
o 146252
o 146207
o 145732
o 145687
o 145469
o 145424
o 144949
o 144904
o 144597
o 144552
o 144077
o 144032
o 143770
o 143725
o 143719
o 143674
o 142915
o 142870
o 142132
o 142087
o 141584
o 141539
o 141510
o 141465
o 141226
o 141181
o 140706
o 140661
o 140443
o 140398
o 139923
o 139878
o 139850
o 139375
o 139330
o 139318
o 138815
o 138770
o 138295
o 138250
o 138168
o 138123
o 137620
o 137575
o 137100
o 137055
o 137012
o 136967
o 136728
o 136683
o 136208
o 136163
o 135945
o 135900
o 135425
o 135380
o 135352
o 134877
o 134832
o 134824
o 134781
o 134736
o 134497
o 134452
o 133977
o 133932
o 133714
o 133669
o 133194
o 133149
o 133121
o 132646
o 132601
o 132402
o 132357
o 131882
o 131837
o 131809
o 131334
o 131289
o 131207
o 131162
o 131137
o 130659
o 130614
o 130139
o 130094
o 130051
o 130006
o 129767
o 129722
o 129247
o 129202
o 128984
o 128939
o 128464
o 128419
o 128391
o 127916
o 127871
o 127863
o 127820
o 127775
o 127536
o 127491
o 127016
o 126971
o 126753
o 126708
o 126233
o 126188
o 126160
o 125685
o 125640
o 125406
o 125361
o 124886
o 124841
o 124833
o 124778
o 124733
o 124255
o 124210
o 123735
o 123690
o 123653
o 123175
o 123130
o 122655
o 122610
o 122387
o 122342
o 121868
o 121823
o 121348
o 121303
o 121275
o 120800
o 120755
o 120747
o 120704
o 120659
o 120197
o 120152
o 120115
o 119637
o 119592
o 119117
o 119072
o 119044
o 118569
o 118524
o 118503
o 118458
o 117983
o 117938
o 117930
o 117875
o 117830
o 117352
o 117307
o 116832
o 116787
o 116750
o 116272
o 116227
o 115752
o 115707
o 115484
o 115439
o 114965
o 114920
o 114445
o 114400
o 114372
o 113897
o 113852
o 113844
o 113801
o 113756
o 113294
o 113249
o 113212
o 112734
o 112689
o 112214
o 112169
o 112141
o 111666
o 111621
o 111553
o 111508
o 111033
o 110988
o 110712
o 110517
o 110472
o 110438
o 110393
o 110164
o 109969
o 109924
o 109710
o 109665
o 109389
o 109194
o 109149
o 109108
o 108832
o 108637
o 108592
o 108585
o 108309
o 108114
o 108069
o 108002
o 107957
o 107681
o 107486
o 107441
o 107434
o 107158
o 106963
o 106918
o 106877
o 106601
o 106406
o 106361
o 106354
o 106078
o 105883
o 105838
o 105804
o 105759
o 105354
o 105309
o 105033
o 104838
o 104793
o 104726
o 104681
o 104405
o 104210
o 104165
o 104158
o 103882
o 103687
o 103642
o 103601
o 103325
o 103130
o 103085
o 103078
o 102802
o 102607
o 102562
o 102528
o 102483
o 102434
o 102406
o 101886
o 101565
o 101370
o 101291
o 101272
o 100989
o 100944
o 100668
o 100473
o 100428
o 100421
o 100145
o 99950
o 99905
o 99864
o 99588
o 99393
o 99348
o 99341
o 99065
o 98870
o 98825
o 98791
o 98746
o 98697
o 98669
o 98480
o 98432
o 98149
o 98111
o 97828
o 97633
o 97554
o 97505
o 97460
o 97410
o 97184
o 96989
o 96944
o 96910
o 96865
o 96816
o 96788
o 96689
o 96268
o 96173
o 95947
o 95752
o 95673
o 95641
o 95446
o 95421
o 95414
o 95409
o 95093
o 94898
o 94819
o 94779
o 94629
o 94584
o 94411
o 94366
o 94095
o 94050
o 93863
o 93818
o 93547
o 93502
o 9346Killed
1979.602u 0.096s 33:01.79 99.8%	0+0k 0+0io 0pf+0w