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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 22065
o 146299
o 144785
o 144758
o 143382
o 141616
o 141575
o 140102
o 140061
o 140034
o 139186
o 139145
o 139118
o 138757
o 138716
o 138689
o 137841
o 137800
o 137773
o 136788
o 136747
o 136720
o 135687
o 135646
o 135619
o 135609
o 134771
o 134730
o 134703
o 134693
o 134342
o 134301
o 134274
o 134264
o 133426
o 133385
o 133358
o 133348
o 133129
o 133088
o 133061
o 133051
o 132835
o 132794
o 132767
o 132757
o 132406
o 132365
o 132338
o 132328
o 131490
o 131449
o 131422
o 131412
o 130716
o 130675
o 130648
o 130638
o 130573
o 130532
o 130505
o 130495
o 130435
o 130394
o 130367
o 130357
o 130138
o 130097
o 130070
o 130060
o 129844
o 129803
o 129776
o 129766
o 129415
o 129374
o 129347
o 129337
o 128499
o 128458
o 128431
o 128421
o 127725
o 127684
o 127657
o 127647
o 127520
o 127479
o 127452
o 127442
o 127377
o 127336
o 127309
o 127299
o 127239
o 127198
o 127171
o 127161
o 126942
o 126901
o 126874
o 126864
o 126648
o 126607
o 126580
o 126570
o 126219
o 126178
o 126151
o 126141
o 125303
o 125262
o 125235
o 125225
o 124529
o 124488
o 124461
o 124451
o 124411
o 124384
o 124374
o 123678
o 123637
o 123610
o 123600
o 123535
o 123494
o 123467
o 123457
o 123397
o 123356
o 123329
o 123319
o 123100
o 123059
o 123032
o 123022
o 122806
o 122765
o 122738
o 122728
o 122377
o 122336
o 122309
o 122299
o 121461
o 121420
o 121393
o 121383
o 120687
o 120646
o 120619
o 120609
o 120483
o 120442
o 120415
o 120405
o 120293
o 120252
o 120225
o 120215
o 119519
o 119478
o 119451
o 119441
o 119315
o 119274
o 119247
o 119237
o 119153
o 119112
o 119085
o 119075
o 118963
o 118922
o 118895
o 118885
o 118189
o 118148
o 118121
o 118111
o 117985
o 117944
o 117917
o 117907
o 117752
o 117711
o 117684
o 117674
o 117548
o 117507
o 117480
o 117470
o 117358
o 117317
o 117290
o 117280
o 116584
o 116543
o 116516
o 116506
o 116380
o 116339
o 116312
o 116302
o 116282
o 116272
o 115576
o 115535
o 115508
o 115498
o 115372
o 115331
o 115304
o 115294
o 115210
o 115169
o 115142
o 115132
o 115020
o 114979
o 114952
o 114942
o 114246
o 114205
o 114178
o 114168
o 114042
o 114001
o 113974
o 113964
o 113809
o 113768
o 113741
o 113731
o 113605
o 113564
o 113537
o 113527
o 113415
o 113374
o 113347
o 113337
o 112641
o 112600
o 112573
o 112563
o 112437
o 112396
o 112369
o 112359
o 112338
o 112297
o 112270
o 112260
o 112148
o 112107
o 112080
o 112070
o 111374
o 111333
o 111306
o 111296
o 111170
o 111129
o 111102
o 111092
o 111008
o 110967
o 110940
o 110930
o 110818
o 110777
o 110750
o 110740
o 110044
o 110003
o 109976
o 109966
o 109840
o 109799
o 109772
o 109762
o 109607
o 109566
o 109539
o 109529
o 109403
o 109362
o 109335
o 109325
o 109213
o 109172
o 109145
o 109135
o 108439
o 108398
o 108371
o 108361
o 108235
o 108194
o 108167
o 108157
o 108117
o 108090
o 108080
o 107954
o 107913
o 107886
o 107876
o 107721
o 107680
o 107653
o 107643
o 107517
o 107476
o 107449
o 107439
o 107327
o 107286
o 107259
o 107249
o 106553
o 106512
o 106485
o 106475
o 106349
o 106308
o 106281
o 106271
o 106250
o 106209
o 106182
o 106172
o 106060
o 106019
o 105992
o 105982
o 105286
o 105245
o 105218
o 105208
o 105082
o 105041
o 105014
o 105004
o 104920
o 104879
o 104852
o 104842
o 104730
o 104689
o 104662
o 104652
o 103956
o 103915
o 103888
o 103878
o 103752
o 103711
o 103684
o 103674
o 103519
o 103478
o 103451
o 103441
o 103315
o 103274
o 103247
o 103237
o 103125
o 103084
o 103057
o 103047
o 102351
o 102310
o 102283
o 102273
o 102147
o 102106
o 102079
o 102069
o 101733
o 101692
o 101665
o 101655
o 101529
o 101488
o 101461
o 101451
o 101401
o 101360
o 101333
o 101323
o 100627
o 100586
o 100559
o 100549
o 100423
o 100382
o 100355
o 100345
o 100261
o 100220
o 100193
o 100183
o 100071
o 100030
o 100003
o 99993
o 99297
o 99256
o 99229
o 99219
o 99093
o 99052
o 99025
o 99015
o 98860
o 98819
o 98792
o 98782
o 98656
o 98615
o 98588
o 98578
o 98466
o 98425
o 98398
o 98388
o 97692
o 97651
o 97624
o 97614
o 97488
o 97447
o 97420
o 97410
o 97250
o 97209
o 97182
o 97172
o 97046
o 97005
o 96978
o 96968
o 96334
o 96293
o 96266
o 96256
o 96130
o 96089
o 96062
o 96052
o 95897
o 95856
o 95829
o 95819
o 95693
o 95652
o 95625
o 95615
o 95503
o 95462
o 95435
o 95425
o 94729
o 94688
o 94661
o 94651
o 94525
o 94484
o 94457
o 94447
o 94433
o 94423
o 94297
o 94256
o 94229
o 94219
o 94111
o 94070
o 94043
o 94033
o 93907
o 93866
o 93839
o 93829
o 93815
o 93805
o 93679
o 93638
o 93611
o 93601
o 93005
o 92964
o 92937
o 92927
o 92801
o 92760
o 92733
o 92723
o 92639
o 92598
o 92571
o 92561
o 92449
o 92408
o 92381
o 92371
o 91675
o 91634
o 91607
o 91597
o 91471
o 91430
o 91403
o 91393
o 91238
o 91197
o 91170
o 91160
o 91034
o 90993
o 90966
o 90956
o 90844
o 90803
o 90776
o 90766
o 90070
o 90029
o 90002
o 89992
o 89866
o 89825
o 89798
o 89788
o 89774
o 89764
o 89638
o 89597
o 89570
o 89560
o 89550
o 89424
o 89383
o 89356
o 89346
o 89332
o 89322
o 89196
o 89155
o 89128
o 89118
o 89110
o 89083
o 89073
o 88947
o 88906
o 88879
o 88869
o 88855
o 88845
o 88719
o 88678
o 88651
o 88641
o 88533
o 88492
o 88465
o 88455
o 88329
o 88288
o 88261
o 88251
o 88237
o 88227
o 88101
o 88060
o 88033
o 88023
o 87427
o 87386
o 87359
o 87349
o 87223
o 87182
o 87155
o 87145
o 87061
o 87020
o 86993
o 86983
o 86871
o 86830
o 86803
o 86793
o 86097
o 86056
o 86029
o 86019
o 85893
o 85852
o 85825
o 85815
o 85660
o 85619
o 85592
o 85582
o 85456
o 85415
o 85388
o 85378
o 85266
o 85225
o 85198
o 85188
o 84492
o 84451
o 84424
o 84414
o 84288
o 84247
o 84220
o 84210
o 84196
o 84186
o 84060
o 84019
o 83992
o 83982
o 83972
o 83846
o 83805
o 83778
o 83768
o 83754
o 83744
o 83618
o 83577
o 83550
o 83540
o 83134
o 83093
o 83066
o 83056
o 82930
o 82889
o 82862
o 82852
o 82838
o 82828
o 82702
o 82661
o 82634
o 82624
o 82516
o 82475
o 82448
o 82438
o 82312
o 82271
o 82244
o 82234
o 82220
o 82210
o 82084
o 82043
o 82016
o 82006
o 81410
o 81369
o 81342
o 81332
o 81206
o 81165
o 81138
o 81128
o 81044
o 81003
o 80976
o 80966
o 80854
o 80813
o 80786
o 80776
o 80080
o 80039
o 80012
o 80002
o 79876
o 79835
o 79808
o 79798
o 79643
o 79602
o 79575
o 79565
o 79439
o 79398
o 79371
o 79361
o 79249
o 79208
o 79181
o 79171
o 78475
o 78434
o 78407
o 78397
o 78271
o 78230
o 78203
o 78193
o 78179
o 78169
o 78043
o 78002
o 77975
o 77965
o 77955
o 77829
o 77788
o 77761
o 77751
o 77737
o 77727
o 77601
o 77560
o 77533
o 77523
o 77515
o 77488
o 77478
o 77352
o 77311
o 77284
o 77274
o 77260
o 77250
o 77124
o 77083
o 77056
o 77046
o 76938
o 76897
o 76870
o 76860
o 76734
o 76693
o 76666
o 76656
o 76642
o 76632
o 76506
o 76465
o 76438
o 76428
o 75832
o 75791
o 75764
o 75754
o 75628
o 75587
o 75560
o 75550
o 75466
o 75425
o 75398
o 75388
o 75276
o 75235
o 75208
o 75198
o 74502
o 74461
o 74434
o 74424
o 74298
o 74257
o 74230
o 74220
o 74065
o 74024
o 73997
o 73987
o 73861
o 73820
o 73793
o 73783
o 73671
o 73630
o 73603
o 73593
o 72897
o 72856
o 72829
o 72819
o 72693
o 72652
o 72625
o 72615
o 72601
o 72591
o 72465
o 72424
o 72397
o 72387
o 72377
o 72251
o 72210
o 72183
o 72173
o 72159
o 72149
o 72023
o 71982
o 71955
o 71945
o 71793
o 71752
o 71725
o 71715
o 71589
o 71548
o 71521
o 71511
o 71448
o 71407
o 71380
o 71370
o 71220
o 71179
o 71152
o 71142
o 70985
o 70944
o 70917
o 70907
o 70757
o 70716
o 70689
o 70679
o 70543
o 70502
o 70475
o 70465
o 70315
o 70274
o 70247
o 70237
o 69881
o 69840
o 69813
o 69803
o 69738
o 69697
o 69670
o 69660
o 69510
o 69469
o 69442
o 69432
o 69291
o 69264
o 69254
o 69249
o 69058
o 69031
o 69021
o 68844
o 68817
o 68807
o 68616
o 68589
o 68579
o 68182
o 68155
o 68145
o 67851
o 67810
o 67783
o 67773
o 67699
o 67658
o 67631
o 67621
o 67480
o 67453
o 67443
o 67438
o 67247
o 67220
o 67210
o 67033
o 67006
o 66996
o 66805
o 66778
o 66768
o 66371
o 66344
o 66334
o 66040
o 65999
o 65972
o 65962
o 65947
o 65906
o 65879
o 65869
o 65719
o 65678
o 65651
o 65641
o 65500
o 65473
o 65463
o 65458
o 65267
o 65240
o 65230
o 65053
o 65026
o 65016
o 64825
o 64798
o 64788
o 64391
o 64364
o 64354
o 64060
o 64019
o 63992
o 63982
o 63959
o 63918
o 63891
o 63881
o 63860
o 63833
o 63823
o 63525
o 63484
o 63457
o 63447
o 63326
o 63299
o 63289
o 63284
o 63270
o 63260
o 63093
o 63066
o 63056
o 63046
o 62879
o 62852
o 62842
o 62828
o 62818
o 62651
o 62624
o 62614
o 62421
o 62394
o 62384
o 62217
o 62190
o 62180
o 62005
o 61964
o 61937
o 61927
o 61837
o 61796
o 61769
o 61759
o 61618
o 61591
o 61581
o 61576
o 61385
o 61358
o 61348
o 61171
o 61144
o 61134
o 60943
o 60916
o 60906
o 60509
o 60482
o 60472
o 60378
o 60351
o 60341
o 59944
o 59917
o 59907
o 59841
o 59814
o 59804
o 59407
o 59380
o 59370
o 59276
o 59249
o 59239
o 58842
o 58815
o 58805
o 58797
o 58601
o 58574
o 58564
o 58159
o 58132
o 58122
o 58036
o 58009
o 57999
o 57594
o 57567
o 57557
o 57499
o 57472
o 57462
o 57057
o 57030
o 57020
o 56934
o 56907
o 56897
o 56492
o 56465
o 56455
o 56424
o 56397
o 56369
o 56342
o 56190
o 56163
o 56067
o 56040
o 55625
o 55598
o 55322
o 55295
o 55267
o 55240
o 55088
o 55061
o 54965
o 54938
o 54523
o 54496
o 54436
o 54395
o 54343
o 54288
o 54109
o 53986
o 53893
o 53544
o 53488
o 53461
o 53451
o 53420
o 53393
o 53365
o 53338
o 53296
o 53269
o 53177
o 53150
o 53063
o 53036
o 52735
o 52708
o 52621
o 52594
o 52432
o 52405
o 52318
o 52291
o 52263
o 52236
o 52194
o 52167
o 52075
o 52048
o 51961
o 51934
o 51633
o 51606
o 51519
o 51492
o 51453
o 51339
o 51284
o 51215
o 51096
o 50982
o 50654
o 50540
o 50211
o 50184
o 50097
o 50070
o 50032
o 50005
o 49639
o 49612
o 49525
o 49498
o 49475
o 49109
o 49082
o 48995
o 48968
o 48660
o 48546
o 48479
o 48130
o 48016
o 47967
o 47650
o 47536
o 47518
o 47404
o 47355
o 47038
o 46924
Killed
1979.694u 0.004s 33:00.11 99.9%	0+0k 0+0io 0pf+0w