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-80-2_network-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2739490
o 254311
o 253566
o 252513
o 251730
o 251631
o 250848
o 250121
o 249338
o 249290
o 248995
o 248408
o 248113
o 247681
o 246898
o 246603
o 246536
o 245753
o 245458
o 245248
o 244953
o 244521
o 243738
o 243443
o 243272
o 242977
o 242767
o 242472
o 242040
o 241257
o 240962
o 240787
o 240004
o 239709
o 239452
o 239244
o 238949
o 238778
o 238483
o 238273
o 237978
o 237546
o 236763
o 236468
o 236293
o 235510
o 235215
o 235029
o 234979
o 234972
o 234540
o 233757
o 233462
o 233287
o 232504
o 232209
o 232045
o 231870
o 231087
o 230792
o 230743
o 230557
o 230507
o 230500
o 230377
o 230068
o 230041
o 229594
o 229285
o 228990
o 228815
o 228788
o 228341
o 228032
o 227737
o 227573
o 227398
o 227371
o 226924
o 226615
o 226320
o 226072
o 226049
o 225874
o 225847
o 225400
o 225091
o 224796
o 224778
o 224521
o 224346
o 224319
o 223872
o 223563
o 223268
o 223107
o 222946
o 222637
o 222633
o 222324
o 222029
o 221781
o 221758
o 221583
o 221422
o 221113
o 221109
o 220800
o 220505
o 220487
o 220230
o 220055
o 219894
o 219585
o 219581
o 219272
o 218977
o 218818
o 218509
o 218214
o 217966
o 217943
o 217768
o 217607
o 217298
o 217294
o 216985
o 216690
o 216672
o 216415
o 216240
o 216079
o 215770
o 215766
o 215457
o 215162
o 215094
o 214799
o 214549
o 214339
o 214301
o 214091
o 214068
o 213893
o 213605
o 213320
o 213110
o 213025
o 212815
o 212797
o 212750
o 212540
o 212365
o 212077
o 211792
o 211582
o 211497
o 211287
o 211134
o 210924
o 210719
o 210424
o 210167
o 209992
o 209831
o 209522
o 209518
o 209209
o 208914
o 208864
o 208846
o 208551
o 208301
o 208091
o 208053
o 207843
o 207820
o 207741
o 207645
o 207357
o 207072
o 206862
o 206777
o 206567
o 206549
o 206502
o 206292
o 206213
o 206117
o 205829
o 205544
o 205334
o 205249
o 205039
o 204886
o 204676
o 204473
o 204268
o 203973
o 203716
o 203541
o 203380
o 203071
o 203067
o 202758
o 202463
o 202413
o 202395
o 202100
o 201935
o 201850
o 201640
o 201568
o 201465
o 201255
o 201253
o 200944
o 200940
o 200631
o 200346
o 200136
o 200051
o 199841
o 199666
o 199378
o 199093
o 198883
o 198798
o 198588
o 198538
o 198435
o 198225
o 198207
o 198189
o 198120
o 197959
o 197650
o 197646
o 197337
o 197042
o 196974
o 196679
o 196514
o 196429
o 196219
o 196147
o 196044
o 195834
o 195796
o 195586
o 195411
o 195123
o 194838
o 194628
o 194543
o 194333
o 194245
o 193957
o 193672
o 193462
o 193377
o 193167
o 193117
o 193014
o 192804
o 192728
o 192518
o 192450
o 192365
o 192155
o 192137
o 192119
o 192050
o 191889
o 191580
o 191576
o 191267
o 190972
o 190904
o 190609
o 190444
o 190359
o 190149
o 190077
o 189974
o 189764
o 189726
o 189516
o 189341
o 189053
o 188768
o 188558
o 188473
o 188263
o 188261
o 188175
o 187887
o 187602
o 187392
o 187307
o 187097
o 187047
o 186944
o 186734
o 186649
o 186546
o 186336
o 186251
o 186041
o 185999
o 185914
o 185704
o 185618
o 185330
o 185045
o 184835
o 184750
o 184540
o 184538
o 184452
o 184164
o 183879
o 183669
o 183584
o 183374
o 183324
o 183221
o 183011
o 182927
o 182750
o 182669
o 182628
o 182418
o 182276
o 182226
o 182208
o 182123
o 181913
o 181862
o 181777
o 181567
o 181370
o 181271
o 181061
o 181011
o 180908
o 180698
o 180613
o 180403
o 180180
o 179895
o 179685
o 179600
o 179390
o 179322
o 179237
o 179027
o 178943
o 178900
o 178832
o 178747
o 178537
o 178453
o 178276
o 178195
o 178154
o 177944
o 177802
o 177752
o 177734
o 177649
o 177439
o 177388
o 177303
o 177093
o 176896
o 176797
o 176587
o 176537
o 176434
o 176224
o 176139
o 175929
o 175706
o 175421
o 175211
o 175126
o 174916
o 174848
o 174763
o 174553
o 174469
o 174338
o 174253
o 174043
o 173975
o 173890
o 173680
o 173596
o 173465
o 173441
o 173381
o 173357
o 173253
o 173169
o 173167
o 173060
o 172957
o 172747
o 172697
o 172594
o 172384
o 172300
o 172299
o 172089
o 172005
o 171981
o 171962
o 171912
o 171894
o 171809
o 171599
o 171575
o 171515
o 171491
o 171338
o 171314
o 171257
o 171233
o 171216
o 171192
o 171006
o 170982
o 170864
o 170840
o 170814
o 170796
o 170711
o 170501
o 170477
o 170450
o 170365
o 170155
o 170069
o 169962
o 169859
o 169649
o 169599
o 169496
o 169286
o 169201
o 168991
o 168967
o 168768
o 168483
o 168273
o 168188
o 167978
o 167910
o 167825
o 167615
o 167591
o 167531
o 167507
o 167400
o 167315
o 167105
o 167037
o 166952
o 166742
o 166718
o 166658
o 166634
o 166560
o 166350
o 166326
o 166266
o 166242
o 166225
o 166201
o 166102
o 166078
o 166023
o 165999
o 165945
o 165927
o 165842
o 165632
o 165453
o 165354
o 165144
o 165059
o 164849
o 164825
o 164761
o 164473
o 164188
o 163978
o 163893
o 163683
o 163659
o 163599
o 163575
o 163530
o 163320
o 163296
o 163236
o 163212
o 163105
o 163020
o 162810
o 162742
o 162657
o 162447
o 162423
o 162363
o 162339
o 162310
o 162286
o 162226
o 162202
o 162185
o 162161
o 161983
o 161959
o 161905
o 161887
o 161802
o 161592
o 161413
o 161314
o 161104
o 161019
o 160809
o 160785
o 160721
o 160433
o 160148
o 159938
o 159853
o 159643
o 159619
o 159559
o 159535
o 159490
o 159280
o 159256
o 159196
o 159172
o 159065
o 158980
o 158770
o 158702
o 158617
o 158407
o 158383
o 158323
o 158299
o 158125
o 158040
o 157830
o 157762
o 157677
o 157467
o 157443
o 157383
o 157359
o 157198
o 157099
o 156889
o 156865
o 156804
o 156594
o 156570
o 156510
o 156486
o 156412
o 156202
o 156178
o 156118
o 156094
o 156077
o 156053
o 155954
o 155930
o 155875
o 155851
o 155797
o 155779
o 155694
o 155484
o 155460
o 155305
o 155206
o 154996
o 154972
o 154911
o 154887
o 154701
o 154677
o 154613
o 154325
o 154040
o 153830
o 153745
o 153535
o 153511
o 153451
o 153427
o 153382
o 153172
o 153148
o 153088
o 153064
o 152957
o 152872
o 152662
o 152594
o 152509
o 152299
o 152275
o 152215
o 152191
o 152162
o 152138
o 152078
o 152054
o 152037
o 152013
o 151835
o 151811
o 151757
o 151739
o 151654
o 151444
o 151420
o 151265
o 151166
o 150956
o 150932
o 150871
o 150847
o 150661
o 150637
o 150573
o 150285
o 150000
o 149790
o 149705
o 149495
o 149471
o 149411
o 149387
o 149342
o 149132
o 149108
o 149048
o 149024
o 148917
o 148832
o 148622
o 148554
o 148469
o 148259
o 148235
o 148175
o 148151
o 148142
o 148082
o 148058
o 147984
o 147774
o 147750
o 147690
o 147666
o 147649
o 147625
o 147437
o 147351
o 147063
o 146778
o 146568
o 146483
o 146273
o 146249
o 146185
o 145897
o 145612
o 145402
o 145317
o 145107
o 145083
o 145023
o 144999
o 144954
o 144744
o 144720
o 144660
o 144636
o 144529
o 144444
o 144234
o 144166
o 144081
o 143871
o 143847
o 143787
o 143763
o 143734
o 143710
o 143650
o 143626
o 143581
o 143557
o 143371
o 143347
o 143287
o 143263
o 143246
o 143222
o 143034
o 142837
o 142738
o 142528
o 142443
o 142233
o 142165
o 142080
o 141870
o 141846
o 141671
o 141572
o 141362
o 141277
o 141067
o 141043
o 141017
o 140999
o 140914
o 140704
o 140680
o 140620
o 140596
o 140489
o 140404
o 140194
o 140126
o 140041
o 139831
o 139807
o 139747
o 139723
o 139674
o 139464
o 139396
o 139311
o 139101
o 139077
o 139017
o 138993
o 138964
o 138940
o 138880
o 138856
o 138811
o 138787
o 138601
o 138577
o 138517
o 138493
o 138476
o 138452
o 138264
o 138067
o 137968
o 137758
o 137673
o 137463
o 137395
o 137310
o 137100
o 137076
o 136901
o 136802
o 136592
o 136507
o 136297
o 136229
o 136144
o 135934
o 135910
o 135850
o 135826
o 135719
o 135634
o 135424
o 135356
o 135271
o 135061
o 135037
o 134977
o 134953
o 134947
o 134748
o 134463
o 134253
o 134168
o 133958
o 133890
o 133805
o 133595
o 133571
o 133511
o 133487
o 133380
o 133330
o 133326
o 133227
o 133017
o 132932
o 132722
o 132698
o 132638
o 132614
o 132565
o 132355
o 132287
o 132202
o 131992
o 131968
o 131908
o 131884
o 131855
o 131831
o 131771
o 131747
o 131702
o 131678
o 131492
o 131468
o 131408
o 131384
o 131367
o 131343
o 131155
o 130958
o 130859
o 130649
o 130564
o 130354
o 130286
o 130201
o 129991
o 129967
o 129792
o 129693
o 129483
o 129398
o 129188
o 129120
o 129035
o 128825
o 128801
o 128741
o 128717
o 128610
o 128525
o 128315
o 128247
o 128162
o 127952
o 127928
o 127868
o 127844
o 127714
o 127504
o 127419
o 127209
o 127141
o 127056
o 126846
o 126822
o 126762
o 126738
o 126631
o 126607
o 126547
o 126523
o 126522
o 126336
o 126312
o 126252
o 126228
o 126183
o 126159
o 125973
o 125949
o 125889
o 125865
o 125Killed
1979.696u 0.002s 33:00.12 99.9%	0+0k 0+0io 0pf+0w