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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2452122
o 194871
o 194859
o 194684
o 192796
o 192181
o 192169
o 191994
o 191604
o 191073
o 190106
o 189663
o 189369
o 188838
o 187871
o 187016
o 186899
o 186601
o 186158
o 185864
o 185333
o 184366
o 184016
o 183049
o 182766
o 182194
o 182077
o 181779
o 181336
o 181042
o 180511
o 179544
o 179492
o 179142
o 178175
o 177916
o 177892
o 177320
o 177203
o 176905
o 176462
o 176168
o 175637
o 174670
o 173803
o 173751
o 173401
o 172434
o 172175
o 172151
o 171579
o 171462
o 171164
o 170721
o 170427
o 169896
o 168929
o 168746
o 168722
o 168150
o 168033
o 167735
o 167292
o 166998
o 166467
o 165500
o 165296
o 164329
o 163892
o 163872
o 163598
o 163067
o 162100
o 161941
o 161410
o 160443
o 160169
o 159638
o 158671
o 158467
o 157500
o 157370
o 157166
o 156199
o 155664
o 155289
o 155085
o 154118
o 154057
o 153526
o 152559
o 152355
o 151388
o 151282
o 150949
o 150723
o 150675
o 150144
o 149177
o 148973
o 148006
o 147729
o 147613
o 147108
o 146442
o 145937
o 145372
o 145168
o 144201
o 143782
o 143536
o 143488
o 142957
o 141990
o 141786
o 140819
o 140542
o 140426
o 139921
o 139255
o 138750
o 138626
o 138251
o 138219
o 137585
o 137080
o 136515
o 135978
o 135344
o 135313
o 135265
o 134734
o 133767
o 133133
o 132596
o 131962
o 131685
o 131569
o 131064
o 131032
o 130398
o 129893
o 129356
o 128722
o 128185
o 127551
o 127325
o 126950
o 126413
o 125779
o 125502
o 125256
o 124881
o 124849
o 124215
o 123710
o 123443
o 122878
o 122341
o 121707
o 121676
o 121628
o 121097
o 120130
o 119496
o 118959
o 118325
o 118048
o 117932
o 117427
o 117395
o 116761
o 116256
o 116019
o 115706
o 115085
o 114548
o 113914
o 113688
o 113313
o 112776
o 112142
o 111865
o 111749
o 111244
o 111212
o 110578
o 110073
o 109846
o 109128
o 108623
o 108494
o 107989
o 107957
o 107323
o 106818
o 106581
o 106281
o 105647
o 105110
o 104476
o 104250
o 103875
o 103338
o 102704
o 102311
o 101806
o 101774
o 101140
o 100635
o 100521
o 100016
o 99984
o 99350
o 98845
o 98479
o 97974
o 97708
o 97676
o 97042
o 96537
o 96423
o 95918
o 95886
o 95252
o 94747
o 94381
o 93876
o 93836
o 93683
o 93649
o 93235
o 92730
o 92364
o 91859
o 91819
o 91666
o 91359
o 91319
o 91166
o 91023
o 90992
o 90518
o 90492
o 90018
o 89870
o 89868
o 89837
o 89363
o 89323
o 89170
o 88863
o 88823
o 88670
o 88527
o 88496
o 88022
o 87996
o 87522
o 87374
o 87330
o 87325
o 87299
o 86825
o 86677
o 86635
o 86487
o 86408
o 86386
o 86260
o 86218
o 86196
o 86070
o 86014
o 85910
o 85762
o 85673
o 85627
o 85520
o 85421
o 85268
o 84979
o 84872
o 84479
o 84372
o 84120
o 83972
o 83782
o 83675
o 83423
o 83275
o 83233
o 83085
o 83006
o 82984
o 82858
o 82816
o 82794
o 82668
o 82619
o 82318
o 82278
o 82125
o 81982
o 81951
o 81477
o 81451
o 80977
o 80829
o 80785
o 80780
o 80754
o 80280
o 80132
o 80090
o 79942
o 79863
o 79841
o 79715
o 79673
o 79651
o 79525
o 79407
o 79385
o 79259
o 79137
o 79115
o 78989
o 78982
o 78896
o 78770
o 78644
o 78622
o 78496
o 78447
o 78364
o 78306
o 78199
o 78073
o 77947
o 77925
o 77799
o 77757
o 77735
o 77609
o 77566
o 77468
o 77342
o 77302
o 77275
o 77149
o 77066
o 76968
o 76842
o 76802
o 76775
o 76649
o 76418
o 76127
o 76001
o 75918
o 75627
o 75501
o 75479
o 75353
o 75304
o 75221
o 74930
o 74804
o 74782
o 74656
o 74614
o 74592
o 74466
o 74463
o 74337
o 74326
o 74200
o 74078
o 74056
o 73930
o 73923
o 73801
o 73794
o 73550
o 73385
o 73282
o 73237
o 73134
o 73092
o 73047
o 72944
o 72865
o 72820
o 72717
o 72675
o 72630
o 72527
o 72511
o 72408
o 72401
o 72364
o 72261
o 72242
o 72139
o 72094
o 71991
o 71984
o 71975
o 71938
o 71812
o 71729
o 71601
o 71475
o 71438
o 71312
o 71249
o 71164
o 71101
o 71032
o 70904
o 70778
o 70741
o 70615
o 70552
o 70467
o 70404
o 70362
o 70277
o 70214
o 70159
o 70096
o 70011
o 69948
o 69889
o 69826
o 69741
o 69678
o 69671
o 69547
o 69542
o 69484
o 69132
o 68998
o 68984
o 68850
o 68845
o 68787
o 68660
o 68655
o 68597
o 68567
o 68559
o 68433
o 68428
o 68370
o 68369
o 68243
o 68238
o 68180
o 68124
o 68119
o 68061
o 68054
o 67977
o 67972
o 67914
o 67855
o 67850
o 67792
o 67707
o 67702
o 67644
o 67Killed
1979.652u 0.046s 33:06.09 99.6%	0+0k 0+0io 0pf+0w