Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-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/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 165 1053 1873356
WARNING: Ubcsat not found.
o 1873356
o 177615
o 177475
o 175068
o 174543
o 173747
o 173677
o 173660
o 173546
o 173021
o 172225
o 172155
o 172077
o 172007
o 171698
o 170902
o 170832
o 170815
o 170701
o 170176
o 169380
o 169310
o 169232
o 169162
o 169107
o 168582
o 167786
o 167716
o 167638
o 167568
o 167246
o 167176
o 167159
o 167045
o 166520
o 165724
o 165654
o 165576
o 165506
o 165224
o 164428
o 164358
o 164280
o 164210
o 163888
o 163818
o 163801
o 163687
o 163162
o 162366
o 162296
o 162218
o 162148
o 161800
o 161730
o 161652
o 161582
o 161473
o 160677
o 160607
o 160529
o 160459
o 159705
o 159635
o 159557
o 159487
o 159139
o 159069
o 158991
o 158921
o 158812
o 158016
o 157946
o 157868
o 157798
o 157043
o 156973
o 156895
o 156825
o 156815
o 156467
o 156397
o 156319
o 156249
o 156140
o 155344
o 155274
o 155196
o 155126
o 154372
o 154302
o 154224
o 154154
o 153806
o 153736
o 153658
o 153588
o 153479
o 152683
o 152613
o 152535
o 152465
o 151710
o 151640
o 151562
o 151492
o 151381
o 151311
o 151233
o 151163
o 151054
o 150667
o 150258
o 150188
o 150110
o 150040
o 149695
o 149286
o 149216
o 149138
o 149068
o 148720
o 148650
o 148572
o 148502
o 148393
o 148006
o 147597
o 147527
o 147449
o 147379
o 147033
o 146624
o 146554
o 146476
o 146406
o 146097
o 146027
o 145949
o 145879
o 145876
o 145806
o 145697
o 145310
o 144901
o 144831
o 144753
o 144683
o 144338
o 143929
o 143859
o 143781
o 143711
o 143363
o 143293
o 143215
o 143145
o 143036
o 142649
o 142240
o 142170
o 142092
o 142022
o 141676
o 141267
o 141197
o 141119
o 141049
o 140666
o 140257
o 140187
o 140109
o 140039
o 139694
o 139285
o 139215
o 139137
o 139067
o 138719
o 138649
o 138571
o 138501
o 138392
o 138005
o 137596
o 137526
o 137448
o 137378
o 137032
o 136623
o 136553
o 136475
o 136405
o 136199
o 136129
o 136051
o 135981
o 135872
o 135485
o 135076
o 135006
o 134928
o 134858
o 134512
o 134103
o 134033
o 133955
o 133885
o 133871
o 133801
o 133723
o 133653
o 133584
o 133506
o 133436
o 133126
o 133056
o 132978
o 132908
o 132815
o 132745
o 132667
o 132597
o 132488
o 132101
o 131692
o 131622
o 131544
o 131474
o 131128
o 130719
o 130649
o 130571
o 130501
o 130487
o 130417
o 130339
o 130269
o 130200
o 130122
o 130052
o 129742
o 129672
o 129594
o 129524
o 129328
o 129258
o 129180
o 129110
o 129096
o 129026
o 128948
o 128878
o 128809
o 128731
o 128661
o 128351
o 128281
o 128203
o 128133
o 128132
o 128054
o 127984
o 127674
o 127604
o 127526
o 127456
o 127114
o 127044
o 126966
o 126896
o 126886
o 126816
o 126470
o 126061
o 125991
o 125913
o 125843
o 125676
o 125267
o 125197
o 125119
o 125049
o 125035
o 124965
o 124887
o 124817
o 124748
o 124670
o 124600
o 124290
o 124220
o 124142
o 124072
o 123876
o 123806
o 123728
o 123658
o 123644
o 123574
o 123496
o 123426
o 123357
o 123279
o 123209
o 122899
o 122829
o 122751
o 122681
o 122654
o 122584
o 122506
o 122436
o 122399
o 122321
o 122251
o 122237
o 122167
o 122089
o 122019
o 121950
o 121872
o 121802
o 121492
o 121422
o 121344
o 121274
o 121246
o 121176
o 121119
o 120773
o 120364
o 120294
o 120216
o 120146
o 119979
o 119570
o 119500
o 119422
o 119352
o 119338
o 119268
o 119190
o 119120
o 119051
o 118973
o 118903
o 118593
o 118523
o 118445
o 118375
o 118179
o 118109
o 118031
o 117961
o 117947
o 117877
o 117799
o 117729
o 117660
o 117582
o 117512
o 117202
o 117132
o 117054
o 116984
o 116934
o 116525
o 116455
o 116311
o 116241
o 116163
o 116093
o 116079
o 116009
o 115931
o 115861
o 115792
o 115714
o 115644
o 115548
o 115478
o 115334
o 115264
o 115186
o 115116
o 115064
o 114920
o 114850
o 114772
o 114702
o 114688
o 114618
o 114540
o 114470
o 114401
o 114323
o 114253
o 114157
o 114087
o 113943
o 113873
o 113795
o 113725
o 113724
o 113646
o 113576
o 113480
o 113410
o 113266
o 113196
o 113118
o 113048
o 112920
o 112850
o 112706
o 112636
o 112558
o 112488
o 112478
o 112408
o 112276
o 111867
o 111797
o 111653
o 111583
o 111505
o 111435
o 111073
o 111003
o 110859
o 110789
o 110711
o 110641
o 110627
o 110557
o 110479
o 110409
o 110340
o 110262
o 110192
o 110096
o 110026
o 109882
o 109812
o 109734
o 109664
o 109612
o 109468
o 109398
o 109320
o 109250
o 109236
o 109166
o 109088
o 109018
o 108949
o 108871
o 108801
o 108705
o 108635
o 108491
o 108421
o 108343
o 108273
o 108246
o 108176
o 108098
o 108028
o 107991
o 107913
o 107843
o 107829
o 107759
o 107681
o 107611
o 107542
o 107464
o 107394
o 107298
o 107228
o 107084
o 107014
o 106936
o 106866
o 106838
o 106768
o 106711
o 106579
o 106170
o 106100
o 105956
o 105886
o 105808
o 105738
o 105376
o 105306
o 105162
o 105092
o 105014
o 104944
o 104930
o 104860
o 104782
o 104712
o 104643
o 104565
o 104495
o 104399
o 104329
o 104185
o 104115
o 104037
o 103967
o 103915
o 103771
o 103701
o 103623
o 103553
o 103539
o 103469
o 103391
o 103321
o 103252
o 103174
o 103104
o 103008
o 102938
o 102794
o 102724
o 102646
o 102576
o 102540
o 102470
o 102326
o 102256
o 102178
o 102108
o 101746
o 101676
o 101532
o 101462
o 101384
o 101314
o 101300
o 101230
o 101152
o 101082
o 101013
o 100935
o 100865
o 100769
o 100699
o 100555
o 100485
o 100407
o 100337
o 100207
o 100137
o 100059
o 99989
o 99980
o 99910
o 99832
o 99762
o 99748
o 99678
o 99600
o 99530
o 99461
o 99383
o 99313
o 99217
o 99147
o 99003
o 98933
o 98855
o 98785
o 98733
o 98589
o 98519
o 98441
o 98371
o 98357
o 98287
o 98209
o 98139
o 98070
o 97992
o 97922
o 97826
o 97756
o 97612
o 97542
o 97464
o 97394
o 97269
o 97199
o 97121
o 97051
o 96996
o 96926
o 96564
o 96494
o 96350
o 96280
o 96202
o 96132
o 96118
o 96048
o 95970
o 95900
o 95831
o 95753
o 95683
o 95587
o 95517
o 95373
o 95303
o 95225
o 95155
o 95030
o 94960
o 94882
o 94812
o 94746
o 94676
o 94598
o 94528
o 94519
o 94449
o 94371
o 94301
o 94287
o 94217
o 94139
o 94069
o 94000
o 93922
o 93852
o 93756
o 93686
o 93542
o 93472
o 93394
o 93324
o 93272
o 93128
o 93058
o 92980
o 92910
o 92896
o 92826
o 92748
o 92678
o 92609
o 92531
o 92461
o 92365
o 92295
o 92151
o 92081
o 92003
o 91933
o 91808
o 91738
o 91660
o 91590
o 91535
o 91465
o 91401
o 91331
o 91103
o 91033
o 90889
o 90819
o 90741
o 90671
o 90657
o 90587
o 90509
o 90439
o 90370
o 90292
o 90222
o 90126
o 90056
o 89912
o 89842
o 89764
o 89694
o 89569
o 89499
o 89421
o 89351
o 89346
o 89276
o 89246
o 89176
o 89098
o 89028
o 88903
o 88833
o 88755
o 88685
o 88630
o 88560
o 88496
o 88426
o 88198
o 88128
o 87984
o 87914
o 87836
o 87766
o 87752
o 87682
o 87604
o 87534
o 87465
o 87387
o 87317
o 87221
o 87151
o 87007
o 86937
o 86859
o 86789
o 86664
o 86594
o 86516
o 86446
o 86384
o 86370
o 86300
o 86222
o 86152
o 86083
o 86005
o 85935
o 85839
o 85769
o 85625
o 85555
o 85477
o 85407
o 85282
o 85212
o 85134
o 85064
o 85058
o 84988
o 84921
o 84843
o 84773
o 84735
o 84665
o 84569
o 84499
o 84355
o 84285
o 84207
o 84137
o 84012
o 83942
o 83864
o 83794
o 83788
o 83718
o 83651
o 83573
o 83503
o 83460
o 83382
o 83312
o 83306
o 83236
o 83169
o 83091
o 83021
o 82983
o 82913
o 82817
o 82747
o 82603
o 82533
o 82455
o 82385
o 82260
o 82190
o 82112
o 82042
o 82036
o 81966
o 81899
o 81821
o 81751
o 81638
o 81568
o 81424
o 81354
o 81276
o 81206
o 81081
o 81011
o 80933
o 80863
o 80811
o 80741
o 80513
o 80443
o 80299
o 80229
o 80151
o 80081
o 79956
o 79886
o 79808
o 79738
o 79709
o 79639
o 79514
o 79444
o 79366
o 79296
o 79259
o 79181
o 79111
o 79098
o 79028
o 78989
o 78761
o 78691
o 78547
o 78477
o 78399
o 78329
o 78204
o 78134
o 78056
o 77986
o 77957
o 77887
o 77762
o 77692
o 77614
o 77544
o 77505
o 77394
o 77324
o 77246
o 77176
o 77051
o 76981
o 76903
o 76833
o 76794
o 76724
o 76701
o 76576
o 76506
o 76428
o 76358
o 76295
o 76225
o 76200
o 76130
o 75863
o 75793
o 75649
o 75579
o 75501
o 75431
o 75306
o 75236
o 75158
o 75088
o 75068
o 75049
o 74979
o 74976
o 74898
o 74828
o 74789
o 74719
o 74696
o 74571
o 74501
o 74423
o 74353
o 74343
o 74273
o 74129
o 74059
o 73981
o 73911
o 73786
o 73716
o 73638
o 73568
o 73496
o 73426
o 73301
o 73231
o 73153
o 73083
o 73063
o 73044
o 72974
o 72936
o 72866
o 72788
o 72718
o 72698
o 72679
o 72609
o 72583
o 72511
o 72441
o 72316
o 72246
o 72168
o 72098
o 72078
o 72059
o 71989
o 71979
o 71854
o 71784
o 71706
o 71636
o 71625
o 71614
o 7148Killed
1979.678u 0.021s 33:02.53 99.8%	0+0k 0+0io 0pf+0w