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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2337541
o 185784
o 185733
o 184217
o 184044
o 183610
o 183085
o 182747
o 182222
o 182205
o 181771
o 181246
o 180900
o 180727
o 180293
o 179768
o 179712
o 179695
o 179261
o 178736
o 178390
o 178217
o 177783
o 177258
o 177108
o 176762
o 176589
o 176155
o 175630
o 175615
o 175090
o 175078
o 174732
o 174559
o 174125
o 173600
o 173539
o 173105
o 172580
o 172430
o 171972
o 171911
o 171477
o 170952
o 170477
o 170462
o 169937
o 169780
o 169255
o 168972
o 168447
o 168235
o 167952
o 167427
o 167277
o 166819
o 166607
o 166324
o 165799
o 165275
o 164889
o 164364
o 164322
o 163797
o 163647
o 163261
o 162736
o 162694
o 162169
o 161835
o 161505
o 161340
o 160815
o 160291
o 159905
o 159380
o 159338
o 158813
o 158663
o 158277
o 157752
o 157710
o 157185
o 156942
o 156418
o 155960
o 155630
o 155465
o 154940
o 154790
o 154332
o 154002
o 153837
o 153312
o 153012
o 152487
o 152094
o 151569
o 151419
o 150961
o 150631
o 150466
o 149941
o 149730
o 149205
o 148942
o 148417
o 148252
o 147727
o 147546
o 147088
o 146758
o 146593
o 146068
o 145768
o 145243
o 145030
o 144505
o 144294
o 143769
o 143311
o 143099
o 142981
o 142858
o 142816
o 142291
o 142110
o 141652
o 141322
o 141157
o 140632
o 140332
o 139807
o 139580
o 139429
o 139055
o 138842
o 138691
o 138317
o 137955
o 137581
o 137497
o 137167
o 137044
o 137002
o 136477
o 136103
o 135922
o 135910
o 135385
o 135343
o 134818
o 134444
o 134144
o 133993
o 133619
o 133425
o 133198
o 133047
o 132673
o 132349
o 132184
o 131659
o 131285
o 130834
o 130460
o 130129
o 129978
o 129604
o 129126
o 128961
o 128436
o 128062
o 127762
o 127611
o 127237
o 126955
o 126804
o 126430
o 126401
o 126250
o 125876
o 125545
o 125394
o 125020
o 124660
o 124286
o 124003
o 123852
o 123478
o 123178
o 123027
o 122653
o 122348
o 122197
o 121823
o 121634
o 121352
o 121201
o 120827
o 120798
o 120647
o 120273
o 119942
o 119791
o 119417
o 119372
o 118998
o 118683
o 118249
o 117875
o 117575
o 117424
o 117050
o 116745
o 116594
o 116220
o 115996
o 115956
o 115582
o 115284
o 114833
o 114459
o 114154
o 114003
o 113629
o 113467
o 113093
o 112800
o 112795
o 112537
o 112495
o 112344
o 111970
o 111782
o 111408
o 111391
o 110957
o 110583
o 110578
o 110561
o 110278
o 110127
o 109753
o 109441
o 109258
o 109107
o 108733
o 108571
o 108197
o 107904
o 107899
o 107641
o 107599
o 107448
o 107074
o 106915
o 106610
o 106459
o 106085
o 106061
o 105687
o 105682
o 105231
o 104857
o 104698
o 104693
o 104435
o 104393
o 104242
o 103868
o 103539
o 103380
o 103375
o 103117
o 103075
o 102924
o 102550
o 102221
o 102178
o 101892
o 101849
o 101733
o 101690
o 101428
o 101385
o 101277
o 100903
o 100860
o 100676
o 100220
o 99846
o 99687
o 99231
o 98857
o 98528
o 98369
o 97913
o 97539
o 97210
o 97167
o 96881
o 96838
o 96722
o 96679
o 96417
o 96374
o 96266
o 95892
o 95849
o 95746
o 95595
o 95221
o 95178
o 95001
o 94958
o 94842
o 94799
o 94579
o 94536
o 94386
o 94012
o 93969
o 93909
o 93866
o 93715
o 93672
o 93341
o 93298
o 93047
o 93004
o 92853
o 92479
o 92436
o 92173
o 92130
o 91799
o 91756
o 91520
o 91477
o 91214
o 91171
o 90840
o 90797
o 90771
o 90440
o 90397
o 90380
o 90337
o 90180
o 90137
o 90120
o 90077
o 89946
o 89903
o 89746
o 89703
o 89665
o 89583
o 89540
o 89355
o 89312
o 88981
o 88938
o 88675
o 88632
o 88301
o 88258
o 88022
o 87979
o 87716
o 87673
o 87342
o 87299
o 87197
o 87154
o 86823
o 86780
o 86732
o 86689
o 86358
o 86315
o 86285
o 86242
o 86079
o 86036
o 85773
o 85730
o 85399
o 85356
o 85326
o 85283
o 85210
o 85167
o 84931
o 84888
o 84625
o 84251
o 84208
o 84106
o 84063
o 83732
o 83689
o 83641
o 83598
o 83267
o 83224
o 83194
o 83151
o 82988
o 82945
o 82682
o 82308
o 82265
o 82235
o 82192
o 81938
o 81895
o 81847
o 81804
o 81473
o 81430
o 81400
o 81357
o 81194
o 81151
o 80888
o 80845
o 80514
o 80471
o 80441
o 80398
o 80289
o 80246
o 80144
o 80101
o 79770
o 79727
o 79679
o 79636
o 79305
o 79262
o 79232
o 79189
o 79026
o 78983
o 78720
o 78677
o 78346
o 78303
o 78273
o 78230
o 78153
o 78080
o 78074
o 77928
o 77783
o 77555
o 77409
o 77318
o 77090
o 76944
o 76871
o 768Killed
1979.639u 0.059s 33:10.97 99.4%	0+0k 0+0io 0pf+0w