Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-50-2_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 21648
o 148311
o 146912
o 146459
o 145411
o 144064
o 142339
o 140940
o 140487
o 140416
o 140148
o 139695
o 138571
o 138118
o 137017
o 136564
o 136493
o 136389
o 135937
o 135658
o 135265
o 134812
o 134383
o 134104
o 133711
o 133258
o 133187
o 133026
o 132633
o 132180
o 131751
o 131472
o 131079
o 130626
o 130555
o 130489
o 130418
o 130285
o 130214
o 130148
o 130077
o 129959
o 129566
o 129113
o 129042
o 128976
o 128905
o 128682
o 128611
o 128450
o 128057
o 127604
o 127175
o 126896
o 126503
o 126050
o 125979
o 125913
o 125842
o 125681
o 125610
o 125340
o 125061
o 124668
o 124215
o 124144
o 124078
o 124007
o 123874
o 123803
o 123737
o 123666
o 123548
o 123155
o 122702
o 122631
o 122565
o 122494
o 122271
o 122200
o 121951
o 121558
o 121105
o 121034
o 120764
o 120485
o 120092
o 119639
o 119568
o 119502
o 119431
o 119408
o 119247
o 118854
o 118401
o 117972
o 117693
o 117300
o 116847
o 116776
o 116710
o 116639
o 116478
o 116407
o 116137
o 115858
o 115465
o 115012
o 114941
o 114875
o 114804
o 114671
o 114600
o 114534
o 114463
o 114345
o 113952
o 113499
o 113428
o 113362
o 113291
o 113068
o 112997
o 112748
o 112355
o 111902
o 111831
o 111561
o 111282
o 110889
o 110436
o 110365
o 110299
o 110228
o 110202
o 110136
o 110065
o 109785
o 109714
o 109648
o 109577
o 109355
o 108962
o 108509
o 108438
o 108372
o 108301
o 108056
o 107663
o 107210
o 107139
o 107073
o 107002
o 106722
o 106651
o 106585
o 106514
o 106366
o 106295
o 106229
o 106158
o 106155
o 106150
o 106084
o 106013
o 105987
o 105921
o 105850
o 105570
o 105499
o 105433
o 105362
o 105140
o 104747
o 104294
o 104223
o 104157
o 104086
o 103841
o 103448
o 102995
o 102924
o 102858
o 102787
o 102507
o 102436
o 102370
o 102299
o 102246
o 102175
o 101895
o 101824
o 101758
o 101687
o 101445
o 101374
o 101308
o 101237
o 100957
o 100886
o 100820
o 100749
o 100472
o 100401
o 100335
o 100264
o 99984
o 99913
o 99847
o 99776
o 99724
o 99658
o 99587
o 99307
o 99236
o 99170
o 99099
o 98951
o 98880
o 98814
o 98743
o 98740
o 98735
o 98669
o 98598
o 98572
o 98506
o 98435
o 98155
o 98084
o 98018
o 97947
o 97725
o 97332
o 96879
o 96808
o 96742
o 96671
o 96426
o 96033
o 95580
o 95509
o 95443
o 95372
o 95092
o 95021
o 94955
o 94884
o 94831
o 94760
o 94480
o 94409
o 94343
o 94272
o 94030
o 93959
o 93893
o 93822
o 93542
o 93471
o 93405
o 93334
o 93057
o 92986
o 92920
o 92849
o 92569
o 92498
o 92432
o 92361
o 92282
o 92211
o 92145
o 92074
o 91926
o 91855
o 91789
o 91718
o 91715
o 91710
o 91644
o 91573
o 91565
o 91494
o 91428
o 91357
o 91112
o 90719
o 90266
o 90195
o 90129
o 90058
o 89778
o 89707
o 89641
o 89570
o 89522
o 89242
o 89171
o 89105
o 89034
o 89008
o 88555
o 88484
o 88418
o 88347
o 88067
o 87996
o 87930
o 87859
o 87806
o 87735
o 87455
o 87384
o 87318
o 87247
o 87005
o 86934
o 86868
o 86797
o 86517
o 86446
o 86380
o 86309
o 86032
o 85961
o 85895
o 85824
o 85544
o 85473
o 85407
o 85336
o 85303
o 85300
o 85295
o 85229
o 85158
o 85150
o 85079
o 85013
o 84942
o 84697
o 84304
o 83851
o 83780
o 83714
o 83643
o 83363
o 83292
o 83226
o 83155
o 83107
o 82827
o 82756
o 82690
o 82619
o 82593
o 82140
o 82069
o 82003
o 81932
o 81652
o 81581
o 81515
o 81444
o 81391
o 81320
o 81040
o 80969
o 80903
o 80832
o 80590
o 80519
o 80453
o 80382
o 80102
o 80031
o 79965
o 79894
o 79617
o 79546
o 79480
o 79409
o 79129
o 79058
o 78992
o 78921
o 78898
o 78618
o 78547
o 78481
o 78410
o 78168
o 78097
o 78031
o 77960
o 77680
o 77609
o 77543
o 77472
o 77195
o 77124
o 77058
o 76987
o 76707
o 76636
o 76570
o 76499
o 76319
o 76248
o 76182
o 76111
o 76088
o 75808
o 75737
o 75671
o 75600
o 75358
o 75287
o 75221
o 75150
o 74870
o 74799
o 74733
o 74662
o 74385
o 74314
o 74248
o 74177
o 73897
o 73826
o 73760
o 73689
o 73678
o 73607
o 73541
o 73470
o 73190
o 73119
o 73053
o 72982
o 72705
o 72634
o 72568
o 72497
o 72217
o 72146
o 72080
o 72009
o 71955
o 71889
o 71818
o 71812
o 71538
o 71467
o 71401
o 71330
o 71307
o 71236
o 71230
o 71159
o 71093
o 71022
o 70745
o 70674
o 70608
o 70537
o 70257
o 70186
o 70120
o 70049
o 69995
o 69929
o 69858
o 69852
o 69578
o 69507
o 69441
o 69370
o 69347
o 69276
o 69270
o 69211
o 69140
o 69117
o 69046
o 69040
o 68988
o 68982
o 68708
o 68637
o 68571
o 68500
o 68477
o 68406
o 68400
o 68341
o 68270
o 68247
o 68176
o 68170
o 68130
o 68124
o 68065
o 67994
o 67971
o 67900
o 67894
o 67847
o 67838
o 67642
o 67558
o 67487
o 67421
o 67350
o 67296
o 67230
o 67159
o 66963
o 66879
o 66808
o 66742
o 66671
o 66648
o 66577
o 66540
o 66469
o 66463
o 66403
o 66189
o 66118
o 66052
o 65981
o 65958
o 65887
o 65881
o 65822
o 65751
o 65728
o 65657
o 65651
o 65599
o 65593
o 65533
o 65319
o 65248
o 65182
o 65111
o 65088
o 65017
o 65011
o 64952
o 64881
o 64858
o 64787
o 64781
o 64741
o 64735
o 64676
o 64605
o 64582
o 64511
o 64505
o 64463
o 64392
o 64369
o 64298
o 64292
o 64272
o 64201
o 64004
o 63730
o 63659
o 63593
o 63522
o 63499
o 63428
o 63422
o 63383
o 63317
o 63246
o 63223
o 63152
o 63146
o 63100
o 63034
o 62963
o 62940
o 62869
o 62664
o 62580
o 62509
o 62443
o 62372
o 62259
o 61985
o 61901
o 61830
o 61764
o 61693
o 61670
o 61599
o 61485
o 61425
o 61211
o 61140
o 61074
o 61003
o 60980
o 60909
o 60903
o 60894
o 60823
o 60800
o 60729
o 60682
o 60588
o 60555
o 60341
o 60270
o 60204
o 60133
o 60110
o 60039
o 60033
o 59994
o 59928
o 59857
o 59834
o 59763
o 59757
o 59703
o 59697
o 59688
o 59617
o 59594
o 59523
o 59515
o 59444
o 59378
o 59307
o 59284
o 59213
o 59135
o 59064
o 58998
o 58927
o 58904
o 58833
o 58827
o 58788
o 58722
o 58651
o 58628
o 58557
o 58551
o 58519
o 58496
o 58425
o 58419
o 58380
o 58314
o 58243
o 58220
o 58149
o 58143
o 58114
o 58091
o 58020
o 58016
o 57975
o 57909
o 57838
o 57815
o 57744
o 57703
o 57632
o 57626
o 57420
o 57349
o 57334
o 57165
o 56712
o 56628
o 56234
o 56150
o 56079
o 55938
o 55913
o 55674
o 55460
o 55389
o 55383
o 55364
o 55280
o 55209
o 55068
o 55043
o 54804
o 54590
o 54519
o 54513
o 54314
o 54243
o 54237
o 54183
o 54177
o 54158
o 54074
o 54003
o 53978
o 53764
o 53693
o 53598
o 53384
o 53313
o 53307
o 53108
o 53037
o 53031
o 52976
o 52905
o 52899
o 52700
o 52629
o 52623
o 52571
o 52500
o 52496
o 52295
o 52224
o 52098
o 51966
o 51962
o 51873
o 51690
o 51669
o 51655
o 51571
o 51500
o 51334
o 51095
o 50881
o 50810
o 50804
o 50733
o 50494
o 50280
o 50209
o 50203
o 50089
o 49875
o 49804
o 49667
o 49453
o 49270
o 49150
o 48936
o 48930
o 48745
o 48531
o 48456
o 48254
o 48071
o 47867
o 47653
o 47470
o 47335
o 47152
o 47069
o 46723
o 46540
o 46405
o 46222
o 46176
o 45769
o 45586
o 45451
o 45268
o 45266
o 45083
o 45059
o 44606
o 44423
o 44288
o 44105
o 44063
o 43880
Killed
1979.653u 0.045s 33:11.55 99.4%	0+0k 0+0io 0pf+0w