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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1504548
o 153576
o 152053
o 151453
o 151309
o 151019
o 150631
o 150208
o 149496
o 149108
o 148896
o 148508
o 148364
o 148300
o 148010
o 147622
o 147423
o 147279
o 147220
o 146832
o 146688
o 146487
o 146099
o 145887
o 145499
o 145355
o 145348
o 145204
o 145140
o 144850
o 144462
o 144442
o 144298
o 143862
o 143718
o 143474
o 143330
o 143327
o 142939
o 142727
o 142339
o 142195
o 142151
o 142007
o 142000
o 141856
o 141792
o 141502
o 141114
o 141094
o 140950
o 140514
o 140370
o 140126
o 139982
o 139979
o 139591
o 139379
o 138991
o 138847
o 138465
o 138321
o 138305
o 137917
o 137773
o 137748
o 137639
o 137203
o 137059
o 136815
o 136671
o 136668
o 136280
o 136068
o 135680
o 135536
o 135154
o 135010
o 134998
o 134854
o 134829
o 134720
o 134284
o 134140
o 133896
o 133752
o 133749
o 133361
o 133149
o 132761
o 132617
o 132235
o 132091
o 131992
o 131915
o 131527
o 131383
o 131001
o 130857
o 130726
o 130582
o 130505
o 130117
o 129973
o 129591
o 129447
o 129348
o 129271
o 128883
o 128739
o 128357
o 128213
o 127990
o 127846
o 127747
o 127670
o 127282
o 127138
o 126756
o 126612
o 126539
o 126440
o 126363
o 125975
o 125831
o 125449
o 125305
o 125228
o 125129
o 125052
o 124664
o 124520
o 124138
o 123994
o 123771
o 123627
o 123528
o 123451
o 123063
o 122919
o 122537
o 122393
o 122323
o 122185
o 121941
o 121797
o 121595
o 121451
o 121254
o 120866
o 120722
o 120340
o 120196
o 119994
o 119850
o 119803
o 119559
o 119415
o 119033
o 118889
o 118687
o 118543
o 118466
o 118248
o 118104
o 117722
o 117578
o 117376
o 117232
o 117035
o 116647
o 116503
o 116121
o 115977
o 115775
o 115631
o 115377
o 115233
o 115031
o 114887
o 114669
o 114525
o 114143
o 113999
o 113797
o 113653
o 113547
o 113403
o 113201
o 113057
o 112855
o 112711
o 112472
o 112328
o 112126
o 111982
o 111946
o 111802
o 111600
o 111456
o 111254
o 111110
o 111021
o 110883
o 110639
o 110495
o 110293
o 110149
o 109947
o 109803
o 109726
o 109716
o 109572
o 109328
o 109184
o 108982
o 108838
o 108636
o 108492
o 108253
o 108109
o 107907
o 107763
o 107727
o 107583
o 107381
o 107237
o 107035
o 106891
o 106864
o 106757
o 106613
o 106497
o 106390
o 106246
o 106147
o 106135
o 105997
o 105753
o 105609
o 105407
o 105263
o 105156
o 105012
o 104811
o 104667
o 104465
o 104321
o 104214
o 104070
o 103950
o 103938
o 103800
o 103556
o 103412
o 103210
o 103066
o 102959
o 102815
o 102720
o 102613
o 102469
o 102249
o 102105
o 101903
o 101759
o 101652
o 101508
o 101413
o 101306
o 101162
o 101085
o 101075
o 100931
o 100794
o 100687
o 100543
o 100448
o 100341
o 100197
o 100102
o 99995
o 99851
o 99761
o 99719
o 99517
o 99373
o 99337
o 99193
o 98991
o 98847
o 98740
o 98596
o 98501
o 98394
o 98250
o 98231
o 98185
o 98041
o 97839
o 97695
o 97668
o 97561
o 97417
o 97301
o 97194
o 97050
o 96951
o 96949
o 96747
o 96603
o 96557
o 96413
o 96211
o 96067
o 95960
o 95816
o 95756
o 95661
o 95554
o 95410
o 95290
o 95278
o 95140
o 94896
o 94752
o 94550
o 94406
o 94299
o 94155
o 94060
o 93953
o 93809
o 93589
o 93445
o 93243
o 93099
o 92992
o 92848
o 92753
o 92646
o 92502
o 92425
o 92415
o 92271
o 92134
o 92027
o 91883
o 91788
o 91681
o 91537
o 91442
o 91335
o 91191
o 91101
o 91059
o 90857
o 90713
o 90677
o 90533
o 90331
o 90187
o 90080
o 89936
o 89841
o 89734
o 89590
o 89544
o 89400
o 89305
o 89198
o 89054
o 89028
o 88963
o 88819
o 88617
o 88473
o 88446
o 88339
o 88195
o 88079
o 87972
o 87828
o 87727
o 87525
o 87381
o 87335
o 87191
o 86989
o 86845
o 86738
o 86594
o 86572
o 86465
o 86321
o 86226
o 86119
o 85975
o 85880
o 85773
o 85629
o 85539
o 85497
o 85295
o 85151
o 85115
o 84971
o 84769
o 84625
o 84518
o 84374
o 84279
o 84172
o 84028
o 83944
o 83800
o 83693
o 83549
o 83429
o 83215
o 83071
o 82689
o 82545
o 82438
o 82294
o 82199
o 82092
o 81948
o 81853
o 81746
o 81602
o 81455
o 81311
o 81109
o 80965
o 80858
o 80714
o 80619
o 80512
o 80368
o 80322
o 80178
o 80083
o 79976
o 79832
o 79685
o 79541
o 79434
o 79290
o 79195
o 79088
o 78944
o 78842
o 78698
o 78614
o 78470
o 78363
o 78219
o 78032
o 77888
o 77751
o 77644
o 77500
o 77405
o 77298
o 77154
o 77108
o 76964
o 76869
o 76762
o 76618
o 76523
o 76416
o 76272
o 76171
o 76125
o 75981
o 75779
o 75635
o 75528
o 75384
o 75289
o 75182
o 75038
o 75023
o 74922
o 74720
o 74576
o 74530
o 74386
o 74184
o 74040
o 73933
o 73789
o 73694
o 73587
o 73443
o 73420
o 73354
o 73313
o 73247
o 73169
o 73103
o 73074
o 73008
o 72967
o 72901
o 72823
o 72757
o 72708
o 72642
o 72629
o 72563
o 72517
o 72439
o 72373
o 72344
o 72278
o 72237
o 72171
o 72093
o 72027
o 71978
o 71912
o 71871
o 71805
o 71755
o 71689
o 71648
o 71582
o 71504
o 71438
o 71426
o 71403
o 71337
o 71201
o 71135
o 71057
o 70991
o 70950
o 70884
o 70806
o 70740
o 70694
o 70616
o 70550
o 70521
o 70455
o 70414
o 70348
o 70270
o 70204
o 70155
o 70089
o 70079
o 69935
o 69805
o 69739
o 69661
o 69595
o 69566
o 69500
o 69459
o 69393
o 69315
o 69249
o 69220
o 69154
o 69113
o 69047
o 68969
o 68903
o 68854
o 68788
o 68787
o 68721
o 68680
o 68614
o 68536
o 68470
o 68424
o 68383
o 68317
o 68239
o 68173
o 68124
o 68058
o 68017
o 67951
o 67869
o 67846
o 67780
o 67644
o 67578
o 67500
o 67434
o 67393
o 67327
o 67249
o 67183
o 67137
o 67059
o 66993
o 66964
o 66898
o 66857
o 66791
o 66713
o 66647
o 66601
o 66560
o 66494
o 66416
o 66350
o 66301
o 66235
o 66188
o 66110
o 66044
o 66003
o 65937
o 65859
o 65793
o 65640
o 65496
o 65389
o 65245
o 65020
o 64954
o 64876
o 64810
o 64769
o 64703
o 64625
o 64559
o 64513
o 64472
o 64406
o 64328
o 64262
o 64213
o 64147
o 64113
o 64047
o 63969
o 63903
o 63853
o 63804
o 63738
o 63737
o 63659
o 63593
o 63544
o 63478
o 63463
o 63397
o 63390
o 63348
o 63341
o 63261
o 63195
o 63117
o 63051
o 63044
o 62994
o 62945
o 62879
o 62819
o 62758
o 62692
o 62688
o 62643
o 62577
o 62573
o 62540
o 62536
o 62474
o 62470
o 62425
o 62421
o 62359
o 62355
o 62313
o 62309
o 62295
o 62151
o 62085
o 62078
o 62022
o 62015
o 61898
o 61832
o 61825
o 61696
o 61689
o 61630
o 61623
o 61552
o 61486
o 61479
o 61429
o 61371
o 61364
o 61314
o 61254
o 61193
o 61127
o 61123
o 61078
o 61012
o 61008
o 60965
o 60904
o 60900
o 60838
o 60834
o 60789
o 60785
o 60723
o 60719
o 60693
o 60677
o 60673
o 60632
o 60566
o 60562
o 60558
o 60517
o 60451
o 60447
o 60418
o 60411
o 60361
o 60301
o 60203
o 60137
o 60133
o 60125
o 60059
o 60055
o 60012
o 60007
o 60003
o 59914
o 59848
o 59844
o 59836
o 59770
o 59766
o 59740
o 59642
o 59576
o 59572
o 59564
o 59498
o 59494
o 59470
o 59404
o 59400
o 59357
o 59340
o 59274
o 59270
o 59259
o 59181
o 59115
o 59111
o 59085
o 59053
o 59051
o 59020
o 58909
o 58843
o 58839
o 58810
o 58803
o 58753
o 58693
o 58517
o 58451
o 58447
o 58404
o 58387
o 58321
o 58317
o 58228
o 58162
o 58158
o 58132
o 58098
o 58067
o 57956
o 57890
o 57886
o 57883
o 57845
o 57838
o 57788
o 57728
o 57712
o 57708
o 57667
o 57663
o 57601
o 57597
o 57552
o 57548
o 57486
o 57482
o 57478
o 57428
o 57370
o 57363
o 57313
o 57269
o 57263
o 57213
o 57209
o 57153
o 57126
o 57122
o 57118
o 57077
o 57011
o 57007
o 56967
o 56963
o 56911
o 56907
o 56862
o 56855
o 56796
o 56789
o 56739
o 56681
o 56674
o 56624
o 56564
o 56503
o 56437
o 56433
o 56388
o 56322
o 56318
o 56317
o 56267
o 56209
o 56202
o 56152
o 56092
o 56031
o 56027
o 55965
o 55961
o 55916
o 55912
o 55850
o 55846
o 55796
o 55789
o 55733
o 55731
o 55700
o 55589
o 55582
o 55523
o 55516
o 55466
o 55408
o 55401
o 55351
o 55291
o 55275
o 55271
o 55230
o 55164
o 55160
o 55156
o 55115
o 55049
o 55045
o 55041
o 54975
o 54971
o 54963
o 54897
o 54893
o 54872
o 54806
o 54741
o 54710
o 54599
o 54533
o 54526
o 54521
o 54455
o 54448
o 54398
o 54338
o 54240
o 54174
o 54170
o 54162
o 54096
o 54092
o 54063
o 54003
o 53827
o 53761
o 53757
o 53714
o 53697
o 53631
o 53627
o 53538
o 53472
o 53468
o 53442
o 53408
o 53377
o 53266
o 53262
o 53200
o 53196
o 53141
o 53134
o 53084
o 53024
o 53008
o 53004
o 52963
o 52897
o 52893
o 52889
o 52848
o 52782
o 52778
o 52774
o 52708
o 52704
o 52696
o 52630
o 52626
o 52605
o 52539
o 52474
o 52443
o 52332
o 52266
o 52259
o 52254
o 52188
o 52181
o 52131
o 52071
o 51973
o 51907
o 51903
o 51895
o 51829
o 51825
o 51772
o 51768
o 51752
o 51748
o 51694
o 51690
o 51674
o 51670
o 51630
o 51564
o 51560
o 51552
o 51486
o 51482
o 51429
o 51425Killed
1979.696u 0.002s 33:01.58 99.9%	0+0k 0+0io 0pf+0w