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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1613156
o 167211
o 167164
o 166554
o 164395
o 164348
o 163738
o 163690
o 163256
o 163209
o 162599
o 162073
o 162026
o 161416
o 161368
o 160934
o 160887
o 160277
o 160271
o 160224
o 159614
o 159168
o 159067
o 158621
o 158172
o 157726
o 157600
o 157073
o 156627
o 156184
o 155738
o 155637
o 155191
o 155185
o 154742
o 154296
o 153994
o 153551
o 153105
o 152814
o 152368
o 152267
o 151821
o 151663
o 151372
o 150926
o 150771
o 150469
o 150026
o 149580
o 149289
o 148843
o 148742
o 148296
o 148138
o 147847
o 147401
o 147152
o 146706
o 146415
o 145969
o 145868
o 145422
o 145264
o 144973
o 144527
o 144415
o 144257
o 143966
o 143520
o 143098
o 143053
o 142607
o 142449
o 142158
o 141712
o 141670
o 141504
o 141421
o 140975
o 140809
o 140684
o 140238
o 140072
o 139691
o 139525
o 139367
o 139242
o 138796
o 138630
o 138518
o 138360
o 138235
o 137789
o 137623
o 137367
o 137201
o 136876
o 136710
o 136552
o 136427
o 135981
o 135815
o 135708
o 135542
o 135501
o 135457
o 135345
o 135187
o 135062
o 134616
o 134450
o 134194
o 134028
o 133703
o 133537
o 133379
o 133254
o 132808
o 132642
o 132591
o 132425
o 132388
o 132263
o 131817
o 131651
o 131539
o 131381
o 131256
o 130810
o 130644
o 130388
o 130222
o 129897
o 129731
o 129573
o 129448
o 129002
o 128836
o 128703
o 128537
o 128522
o 128478
o 128366
o 128208
o 128083
o 127637
o 127471
o 127215
o 127049
o 126724
o 126558
o 126400
o 126275
o 125829
o 125663
o 125631
o 125465
o 125140
o 124974
o 124816
o 124691
o 124245
o 124079
o 123947
o 123822
o 123376
o 123210
o 122954
o 122788
o 122463
o 122297
o 122139
o 122014
o 121568
o 121402
o 121269
o 121103
o 121088
o 121044
o 120932
o 120774
o 120649
o 120203
o 120037
o 119781
o 119615
o 119290
o 119124
o 118966
o 118841
o 118395
o 118229
o 118197
o 118031
o 117706
o 117540
o 117382
o 117257
o 116811
o 116645
o 116247
o 116202
o 115756
o 115598
o 115307
o 114861
o 114695
o 114562
o 114396
o 114381
o 114337
o 114225
o 114067
o 113942
o 113496
o 113330
o 113074
o 112908
o 112583
o 112417
o 112259
o 112134
o 111688
o 111522
o 111490
o 111324
o 111287
o 110841
o 110675
o 110550
o 110104
o 109938
o 109898
o 109773
o 109327
o 109161
o 109129
o 108963
o 108926
o 108480
o 108314
o 108189
o 107743
o 107577
o 107560
o 107394
o 107236
o 107111
o 106665
o 106499
o 106101
o 106056
o 105610
o 105452
o 105161
o 104715
o 104549
o 104416
o 104250
o 104235
o 104191
o 104079
o 103921
o 103796
o 103350
o 103184
o 102928
o 102762
o 102437
o 102271
o 102113
o 101988
o 101542
o 101376
o 101344
o 101178
o 100853
o 100687
o 100529
o 100404
o 99958
o 99792
o 99752
o 99627
o 99181
o 99015
o 98983
o 98817
o 98492
o 98326
o 98168
o 98043
o 97597
o 97431
o 97147
o 96981
o 96949
o 96783
o 96746
o 96300
o 96134
o 96009
o 95563
o 95397
o 95380
o 95214
o 95056
o 94931
o 94485
o 94319
o 94040
o 93874
o 93716
o 93591
o 93145
o 92979
o 92846
o 92680
o 92665
o 92621
o 92509
o 92351
o 92226
o 91780
o 91614
o 91358
o 91192
o 90867
o 90701
o 90543
o 90418
o 89972
o 89806
o 89362
o 89196
o 89164
o 88998
o 88673
o 88507
o 88349
o 88224
o 87778
o 87612
o 87611
o 87445
o 87001
o 86835
o 86803
o 86637
o 86312
o 86146
o 85988
o 85863
o 85417
o 85251
o 85179
o 84854
o 84688
o 84569
o 84403
o 83959
o 83793
o 83552
o 83386
o 83354
o 83188
o 83151
o 82705
o 82539
o 82414
o 81968
o 81802
o 81762
o 81635
o 81191
o 81025
o 80993
o 80827
o 80502
o 80336
o 80178
o 80053
o 79607
o 79441
o 79369
o 79044
o 78878
o 78872
o 78759
o 78595
o 78149
o 77983
o 77763
o 77597
o 77565
o 77399
o 77360
o 76916
o 76750
o 76623
o 76179
o 76013
o 75941
o 75616
o 75450
o 75444
o 75331
o 75167
o 74721
o 74555
o 74522
o 74415
o 74382
o 74226
o 74060
o 73920
o 73738
o 73572
o 73539
o 73426
o 73260
o 73177
o 72731
o 72452
o 72288
o 71842
o 71676
o 71643
o 71536
o 71503
o 71347
o 71181
o 71041
o 70948
o 70915
o 70619
o 70453
o 70271
o 70105
o 70072
o 69965
o 69932
o 69793
o 69667
o 69585
o 69419
o 68985
o 68819
o 68375
o 68209
o 68176
o 68069
o 68036
o 67880
o 67714
o 67574
o 67456
o 67290
o 67257
o 67150
o 67117
o 66961
o 66795
o 66655Killed
1979.696u 0.002s 33:01.66 99.9%	0+0k 0+0io 0pf+0w