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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 22300
o 155167
o 155013
o 152904
o 152827
o 151846
o 150754
o 149860
o 149075
o 149072
o 148615
o 148205
o 148128
o 147147
o 146055
o 145161
o 144376
o 143437
o 142543
o 141758
o 140982
o 140197
o 139754
o 138969
o 138193
o 137408
o 136764
o 135988
o 135203
o 135180
o 134395
o 134229
o 133453
o 132668
o 132500
o 131715
o 131071
o 130295
o 129510
o 129487
o 128702
o 128536
o 127760
o 126975
o 126918
o 126133
o 125770
o 124985
o 124962
o 124177
o 124011
o 123235
o 122450
o 122393
o 121608
o 121489
o 120704
o 120681
o 119896
o 119730
o 118954
o 118169
o 118112
o 117327
o 116995
o 116901
o 116844
o 116059
o 115727
o 115442
o 115385
o 114600
o 114268
o 113876
o 113091
o 113034
o 112249
o 111917
o 111873
o 111816
o 111031
o 110699
o 110414
o 110357
o 109572
o 109240
o 108848
o 108063
o 108006
o 107221
o 106889
o 106743
o 106411
o 106317
o 106260
o 105475
o 105143
o 104858
o 104801
o 104016
o 103684
o 103292
o 102507
o 102450
o 101665
o 101333
o 100562
o 100505
o 99720
o 99388
o 99242
o 98910
o 98816
o 98759
o 97974
o 97642
o 97357
o 97300
o 96515
o 96183
o 95791
o 95006
o 94949
o 94164
o 93832
o 93427
o 93095
o 92785
o 92782
o 92725
o 91940
o 91608
o 91216
o 90431
o 90374
o 89589
o 89257
o 89119
o 89062
o 88277
o 87945
o 87553
o 86768
o 86711
o 85926
o 85594
o 85458
o 85126
o 84721
o 84389
o 84079
o 84076
o 84019
o 83234
o 82902
o 82792
o 82679
o 82510
o 81725
o 81668
o 80883
o 80551
o 80413
o 80356
o 79571
o 79239
o 79129
o 79016
o 78847
o 78062
o 78005
o 77220
o 76888
o 76663
o 76353
o 76350
o 76293
o 75508
o 75176
o 75066
o 74953
o 74784
o 73999
o 73942
o 73157
o 72825
o 72687
o 72630
o 71845
o 71513
o 71403
o 71290
o 71121
o 70336
o 70279
o 69494
o 69162
o 69119
o 68334
o 68277
o 67492
o 67160
o 66452
o 66120
o 66050
o 65836
o 65342
o 65128
o 65010
o 64796
o 64762
o 64644
o 64430
o 64313
o 64108
o 63976
o 63956
o 63742
o 63688
o 63571
o 63488
o 63366
o 63356
o 63234
o 63122
o 63000
o 62908
o 62694
o 62577
o 62372
o 62240
o 62220
o 62006
o 61952
o 61835
o 61752
o 61630
o 61620
o 61498
o 61386
o 61264
o 61227
o 61115
o 60993
o 60881
o 60798
o 60676
o 60666
o 60544
o 60432
o 60310
o 60210
o 60156
o 60039
o 60031
o 59824
o 59702
o 59590
o 59468
o 59379
o 59257
o 59145
o 59062
o 58940
o 58930
o 58808
o 58696
o 58574
o 58474
o 58420
o 58303
o 58295
o 58088
o 57966
o 57854
o 57732
o 57575
o 57453
o 57209
o 57087
o 56987
o 56833
o 56711
o 56696
o 56574
o 56367
o 56245
o 56205
o 56083
o 56071
o 55949
o 55742
o 55620
o 55572
o 55475
o 55429
o 55269
o 55157
o 55100
o 55068
o 54956
o 54844
o 54627
o 54515
o 54443
o 54226
o 54114
o 54064
o 53952
o 53930
o 53818
o 53601
o 53489
o 53456
o 53322
o 53290
o 52993
o 52988
o 52916
o 52699
o 52587
o 52492
o 52420
o 52388
o 52091
o 52053
o 51981
o 51764
o 51652
o 51557
o 51485
o 51453
o 51156
o 51141
o 51046
o 50962
o 50840
o 50645
Killed
1979.621u 0.077s 33:10.95 99.4%	0+0k 0+0io 6pf+0w