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-60-2_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 23322
o 202253
o 202241
o 202066
o 200178
o 198986
o 198455
o 197488
o 196959
o 195992
o 195489
o 195143
o 195131
o 194956
o 194614
o 193068
o 191876
o 191345
o 190378
o 189849
o 188882
o 188379
o 188305
o 188188
o 187659
o 186692
o 186189
o 185504
o 184975
o 184008
o 183505
o 183431
o 183314
o 182785
o 181818
o 181315
o 180765
o 180236
o 179269
o 178766
o 178692
o 178575
o 178046
o 177079
o 176576
o 176258
o 175956
o 174989
o 174486
o 174212
o 173709
o 173407
o 172440
o 171937
o 171863
o 171519
o 171217
o 170250
o 169747
o 169260
o 168757
o 168625
o 168122
o 168048
o 167704
o 167402
o 166435
o 165932
o 165564
o 165061
o 164782
o 164480
o 163513
o 163010
o 162523
o 162020
o 161888
o 161385
o 161311
o 160967
o 160665
o 159698
o 159195
o 158827
o 158324
o 158318
o 157815
o 157587
o 157084
o 156597
o 156094
o 155962
o 155459
o 155385
o 155041
o 154739
o 153772
o 153269
o 152901
o 152398
o 151818
o 151315
o 150947
o 150444
o 149982
o 149765
o 149262
o 148929
o 148627
o 147660
o 147157
o 146789
o 146286
o 145706
o 145203
o 144835
o 144332
o 144149
o 143818
o 142949
o 142446
o 142078
o 141575
o 140995
o 140492
o 140124
o 139621
o 139437
o 138934
o 138803
o 138300
o 138063
o 137932
o 137429
o 136980
o 136849
o 136346
o 136109
o 135978
o 135475
o 135292
o 134961
o 134726
o 134223
o 134092
o 133589
o 133352
o 133221
o 132718
o 132269
o 132138
o 131635
o 131398
o 131267
o 130764
o 130334
o 130097
o 129966
o 129463
o 129431
o 128928
o 128887
o 128756
o 128253
o 128016
o 127885
o 127382
o 126882
o 126689
o 126651
o 126648
o 126517
o 126014
o 125780
o 125777
o 125646
o 125143
o 124643
o 124151
o 123914
o 123280
o 122831
o 122197
o 121960
o 121326
o 120896
o 120659
o 120025
o 119490
o 119449
o 118815
o 118578
o 117944
o 117444
o 117251
o 117213
o 117210
o 116576
o 116342
o 116339
o 115705
o 115205
o 114786
o 114552
o 114549
o 113915
o 113415
o 113372
o 113264
o 113138
o 112627
o 112501
o 112127
o 112001
o 111686
o 111562
o 111107
o 110688
o 110653
o 110454
o 110451
o 109817
o 109317
o 109274
o 109239
o 109166
o 109040
o 108529
o 108403
o 108029
o 107903
o 107588
o 107464
o 107424
o 107395
o 107271
o 107115
o 106881
o 106878
o 106244
o 105744
o 105325
o 105091
o 105088
o 104454
o 103954
o 103911
o 103803
o 103677
o 103166
o 103040
o 102666
o 102540
o 102225
o 102101
o 101646
o 101227
o 101192
o 100993
o 100990
o 100356
o 99856
o 99813
o 99778
o 99705
o 99579
o 99068
o 98942
o 98568
o 98442
o 98127
o 98003
o 97963
o 97934
o 97810
o 97501
o 97458
o 97423
o 97232
o 97106
o 96713
o 96587
o 96213
o 96087
o 95772
o 95648
o 95608
o 95579
o 95455
o 95263
o 95137
o 94763
o 94637
o 94322
o 94198
o 94158
o 94129
o 94005
o 93508
o 93089
o 92855
o 92852
o 92218
o 91718
o 91675
o 91567
o 91441
o 90930
o 90804
o 90430
o 90304
o 89989
o 89865
o 89410
o 88991
o 88956
o 88757
o 88754
o 88120
o 87620
o 87577
o 87542
o 87469
o 87343
o 86832
o 86706
o 86332
o 86206
o 85891
o 85767
o 85727
o 85698
o 85574
o 85265
o 85222
o 85187
o 84996
o 84870
o 84477
o 84351
o 83977
o 83851
o 83536
o 83412
o 83372
o 83343
o 83219
o 83027
o 82901
o 82527
o 82401
o 82086
o 81962
o 81922
o 81893
o 81769
o 81481
o 81355
o 81040
o 80916
o 80876
o 80847
o 80723
o 80531
o 80405
o 80031
o 79905
o 79590
o 79466
o 79426
o 79397
o 79273
o 79023
o 78897
o 78879
o 78582
o 78458
o 78418
o 78389
o 78265
o 78164
o 78038
o 78020
o 77723
o 77599
o 77559
o 77530
o 77406
o 77378
o 77349
o 77225
o 77117
o 76823
o 76697
o 76679
o 76382
o 76258
o 76201
o 76077
o 76053
o 75929
o 75887
o 75863
o 75739
o 75344
o 75218
o 74844
o 74718
o 74403
o 74279
o 74239
o 74210
o 74086
o 73836
o 73710
o 73692
o 73395
o 73271
o 73231
o 73202
o 73078
o 72977
o 72851
o 72833
o 72536
o 72412
o 72372
o 72343
o 72219
o 72123
o 72002
o 71878
o 71844
o 71581
o 71457
o 71417
o 71388
o 71264
o 71236
o 71207
o 71083
o 71071
o 70975
o 70971
o 70847
o 70661
o 70537
o 70503
o 70240
o 70116
o 70059
o 69935
o 69911
o 69787
o 69745
o 69721
o 69597
o 69572
o 69564
o 69538
o 69275
o 69151
o 69111
o 69082
o 68958
o 68930
o 68901
o 68777
o 68765
o 68665
o 68541
o 68355
o 68231
o 68223
o 68197
o 67934
o 67810
o 67753
o 67629
o 67605
o 67481
o 67439
o 67415
o 67291
o 67208
o 67084
o 67077
o 67027
o 66903
o 66896
o 66879
o 66755
o 66748
o 66611
o 66485
o 66430
o 66304
o 66282
o 66156
o 66114
o 66092
o 65966
o 65885
o 65759
o 65752
o 65704
o 65578
o 65571
o 65556
o 65430
o 65423
o 65410
o 65358
o 65262
o 65210
o 65168
o 65072
o 65020
o 65009
o 65003
o 64957
o 64908
o 64866
o 64770
o 64718
o 64684
o 64632
o 64625
o 64536
o 64484
o 64477
o 64473
o 64467
o 64421
o 64414
o 64382
o 64330
o 64323
o 64234
o 64182
o 64175
o 64124
o 63998
o 63976
o 63850
o 63808
o 63786
o 63660
o 63579
o 63453
o 63446
o 63398
o 63272
o 63265
o 63250
o 63124
o 63117
o 63114
o 63018
o 62966
o 62923
o 62917
o 62871
o 62821
o 62775
o 62769
o 62723
o 62681
o 62631
o 62585
o 62579
o 62533
o 62482
o 62430
o 62423
o 62378
o 62372
o 62326
o 62319
o 62243
o 62197
o 62191
o 62145
o 62138
o 62095
o 62049
o 62043
o 61997
o 61990
o 61985
o 61963
o 61837
o 61774
o 61767
o 61756
o 61630
o 61623
o 61575
o 61449
o 61442
o 61427
o 61301
o 61294
o 61201
o 61149
o 61138
o 61132
o 61086
o 61047
o 60995
o 60899
o 60847
o 60806
o 60754
o 60658
o 60606
o 60595
o 60589
o 60543
o 60504
o 60452
o 60356
o 60304
o 60118
o 59937
o 59789
o 59575
o 59394
o 59246
o 59243
o 59147
o 59095
o 59089
o 59043
o 59037
o 58991
o 58908
o 58862
o 58856
o 58810
o 58760
o 58714
o 58708
o 58662
o 58604
o 58552
o 58546
o 58500
o 58494
o 58448
o 58365
o 58319
o 58313
o 58267
o 58217
o 58171
o 58165
o 58119
o 58114
o 57966
o 57896
o 57752
o 57571
o 57423
o 57410
o 57364
o 57229
o 57183
o 57081
o 57035
o 56925
o 56867
o 56821
o 56686
o 56640
o 56538
o 56492
o 56158
o 55977
o 55829
o 55771
o 55725
o 55590
o 55544
o 55442
o 55396
o 55286
o 55228
o 55182
o 55047
o 55001
o 54899
o 54853
o 54693
o 54512
o 54306
o 54260
o 54125
o 54079
o 53991
o 53945
Killed
1979.636u 0.062s 33:12.28 99.3%	0+0k 0+0io 0pf+0w