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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1873356
o 179351
o 179211
o 176804
o 176279
o 175483
o 175413
o 175191
o 173959
o 173870
o 173800
o 173434
o 172638
o 172568
o 172365
o 172276
o 172206
o 171840
o 171044
o 170974
o 170303
o 170214
o 170144
o 169778
o 168982
o 168912
o 168848
o 168482
o 167686
o 167616
o 166945
o 166856
o 166786
o 166420
o 165624
o 165554
o 165058
o 164988
o 164731
o 163935
o 163865
o 163759
o 162963
o 162893
o 162397
o 162327
o 162070
o 161274
o 161204
o 161097
o 160301
o 160231
o 160219
o 160209
o 160102
o 159306
o 159236
o 159234
o 158438
o 158368
o 158261
o 157465
o 157395
o 157064
o 156994
o 156737
o 155941
o 155871
o 155764
o 154968
o 154898
o 154886
o 154876
o 154769
o 153973
o 153903
o 153901
o 153105
o 153035
o 152928
o 152132
o 152062
o 151944
o 151874
o 151651
o 151264
o 150855
o 150785
o 150678
o 150291
o 149882
o 149812
o 149517
o 149108
o 149038
o 148815
o 148428
o 148019
o 147949
o 147842
o 147455
o 147046
o 146976
o 146928
o 146519
o 146449
o 145907
o 145837
o 145498
o 145428
o 144934
o 144864
o 144525
o 144455
o 144160
o 143751
o 143681
o 143071
o 143001
o 142662
o 142592
o 142098
o 142028
o 141689
o 141619
o 141263
o 140854
o 140784
o 140290
o 140220
o 139881
o 139811
o 139516
o 139107
o 139037
o 138427
o 138357
o 138018
o 137948
o 137454
o 137384
o 137045
o 136975
o 136587
o 136517
o 135907
o 135837
o 135498
o 135428
o 134934
o 134864
o 134525
o 134455
o 134293
o 134223
o 134076
o 134006
o 133957
o 133548
o 133478
o 133203
o 133133
o 132523
o 132453
o 132114
o 132044
o 131550
o 131480
o 131141
o 131071
o 131067
o 131031
o 130573
o 130503
o 130164
o 130094
o 129750
o 129680
o 129676
o 129640
o 129182
o 129112
o 128773
o 128703
o 128624
o 128554
o 128505
o 128096
o 128026
o 127751
o 127681
o 127456
o 127386
o 127071
o 127001
o 126662
o 126592
o 126483
o 126413
o 126098
o 126028
o 125689
o 125619
o 125506
o 125436
o 125121
o 125051
o 124712
o 124642
o 124444
o 124374
o 124294
o 124224
o 124115
o 124045
o 123849
o 123730
o 123321
o 123251
o 123076
o 123006
o 122967
o 122887
o 122817
o 122708
o 122638
o 122323
o 122253
o 121914
o 121844
o 121816
o 121746
o 121535
o 121465
o 121267
o 121197
o 121117
o 121047
o 120938
o 120868
o 120672
o 120553
o 120144
o 120074
o 120068
o 119988
o 119918
o 119809
o 119739
o 119424
o 119354
o 119015
o 118945
o 118747
o 118677
o 118597
o 118527
o 118418
o 118348
o 118152
o 118033
o 117624
o 117554
o 117471
o 117401
o 117352
o 117282
o 116943
o 116873
o 116729
o 116659
o 116623
o 116379
o 116165
o 116095
o 115970
o 115756
o 115686
o 115488
o 115418
o 115338
o 115268
o 115107
o 114988
o 114579
o 114509
o 114365
o 114295
o 114216
o 114146
o 114097
o 113902
o 113688
o 113618
o 113548
o 113352
o 113233
o 113038
o 112824
o 112754
o 112580
o 112366
o 112296
o 112285
o 112071
o 112001
o 111900
o 111686
o 111616
o 111491
o 111277
o 111207
o 111098
o 111028
o 110927
o 110713
o 110643
o 110518
o 110304
o 110234
o 110165
o 109921
o 109707
o 109637
o 109441
o 109322
o 109127
o 108913
o 108843
o 108668
o 108598
o 108514
o 108300
o 108230
o 108034
o 107915
o 107720
o 107506
o 107436
o 107408
o 107338
o 107153
o 106939
o 106869
o 106744
o 106530
o 106460
o 106264
o 106145
o 105950
o 105736
o 105666
o 105615
o 105401
o 105331
o 105230
o 105016
o 104946
o 104821
o 104607
o 104537
o 104468
o 104224
o 104010
o 103940
o 103744
o 103625
o 103430
o 103216
o 103146
o 103039
o 102969
o 102877
o 102807
o 102758
o 102563
o 102349
o 102279
o 102229
o 101985
o 101771
o 101701
o 101505
o 101386
o 101191
o 100977
o 100907
o 100843
o 100629
o 100559
o 100554
o 100484
o 100433
o 100219
o 100149
o 99953
o 99834
o 99639
o 99425
o 99355
o 99286
o 99042
o 98828
o 98758
o 98562
o 98443
o 98248
o 98034
o 97964
o 97905
o 97691
o 97621
o 97576
o 97381
o 97167
o 97097
o 97047
o 96803
o 96589
o 96519
o 96323
o 96204
o 96009
o 95795
o 95725
o 95666
o 95452
o 95382
o 95278
o 95208
o 95048
o 94978
o 94964
o 94750
o 94680
o 94492
o 94373
o 94262
o 94178
o 93964
o 93894
o 93849
o 93835
o 93621
o 93551
o 93482
o 93367
o 93297
o 93252
o 93238
o 930Killed
1979.623u 0.075s 33:03.03 99.8%	0+0k 0+0io 0pf+0w