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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 18055
o 170272
o 170049
o 169593
o 166080
o 164428
o 161237
o 160990
o 160967
o 160720
o 160496
o 159831
o 159584
o 159187
o 155996
o 155749
o 155726
o 155479
o 155255
o 154590
o 154343
o 153213
o 152966
o 152943
o 152696
o 152472
o 151807
o 151560
o 151370
o 151347
o 151100
o 150876
o 150861
o 150211
o 149964
o 149731
o 149484
o 148834
o 148587
o 148564
o 148317
o 148093
o 148078
o 147428
o 147181
o 147178
o 146931
o 146698
o 146451
o 145801
o 145554
o 145531
o 145284
o 145060
o 145045
o 144395
o 144148
o 144092
o 144077
o 143427
o 143180
o 143115
o 143100
o 142450
o 142203
o 141970
o 141723
o 141073
o 140826
o 140803
o 140556
o 140332
o 140317
o 139667
o 139420
o 139417
o 139170
o 138937
o 138690
o 138040
o 137793
o 137770
o 137523
o 137299
o 137284
o 136634
o 136387
o 136331
o 136316
o 135666
o 135419
o 134882
o 134635
o 134612
o 134365
o 134141
o 134126
o 133476
o 133229
o 133226
o 132979
o 132746
o 132499
o 131849
o 131602
o 131579
o 131332
o 131108
o 131093
o 130443
o 130196
o 130140
o 130125
o 129475
o 129228
o 128597
o 128350
o 128342
o 128286
o 128271
o 127621
o 127374
o 127164
o 126917
o 126861
o 126846
o 126196
o 125949
o 125583
o 125336
o 125313
o 125066
o 124842
o 124827
o 124177
o 123930
o 123874
o 123859
o 123209
o 122962
o 122331
o 122084
o 121494
o 121247
o 121191
o 121176
o 120526
o 120279
o 119648
o 119401
o 119177
o 119162
o 118512
o 118265
o 118209
o 118194
o 117544
o 117297
o 116666
o 116419
o 116276
o 116029
o 116021
o 115965
o 115950
o 115300
o 115053
o 114843
o 114596
o 114540
o 114525
o 113875
o 113628
o 113262
o 113015
o 112992
o 112745
o 112521
o 112506
o 111856
o 111609
o 111553
o 111538
o 110888
o 110641
o 110010
o 109763
o 109173
o 108926
o 108870
o 108855
o 108205
o 107958
o 107327
o 107080
o 106856
o 106841
o 106191
o 105944
o 105888
o 105873
o 105223
o 104976
o 104345
o 104098
o 104059
o 103878
o 103631
o 103575
o 103560
o 102910
o 102663
o 102032
o 101785
o 101623
o 101376
o 101195
o 100948
o 100892
o 100877
o 100227
o 99980
o 99349
o 99102
o 98641
o 98394
o 98213
o 97966
o 97910
o 97895
o 97245
o 96998
o 96367
o 96120
o 95798
o 95551
o 95335
o 94920
o 94673
o 94634
o 94453
o 94206
o 94147
o 93900
o 93485
o 93238
o 93022
o 92607
o 92360
o 92198
o 91951
o 91770
o 91523
o 91464
o 91217
o 90802
o 90555
o 90339
o 89924
o 89677
o 89631
o 89216
o 88969
o 88788
o 88541
o 88482
o 88235
o 87820
o 87573
o 87357
o 86942
o 86695
o 86510
o 86294
o 85879
o 85632
o 85593
o 85412
o 85165
o 85106
o 84859
o 84444
o 84197
o 83981
o 83566
o 83319
o 83157
o 82910
o 82729
o 82482
o 82423
o 82176
o 81761
o 81514
o 81298
o 80883
o 80636
o 80590
o 80175
o 79928
o 79747
o 79500
o 79441
o 79194
o 78779
o 78532
o 78316
o 77901
o 77654
o 77314
o 77067
o 76905
o 76658
o 76477
o 76230
o 76171
o 75924
o 75509
o 75262
o 75046
o 74631
o 74384
o 74338
o 73923
o 73676
o 73495
o 73248
o 73189
o 72942
o 72527
o 72280
o 72064
o 71649
o 71402
o 71310
o 71194
o 70779
o 70532
o 70440
o 70352
o 70260
o 69993
o 69746
o 69654
o 69406
o 69159
o 68997
o 68750
o 68569
o 68322
o 68263
o 68016
o 67601
o 67354
o 67138
o 66723
o 66476
o 66430
o 66015
o 65768
o 65587
o 65340
o 65281
o 65034
o 64619
o 64372
o 64156
o 63741
o 63494
o 63402
o 63286
o 62871
o 62624
o 62532
o 62444
o 62352
o 62013
o 61776
o 61665
o 61596
o 61485
o 60966
o 60750
o 60088
o 59996
o 59880
o 59218
o 59126
o 59038
o 58946
o 58754
o 58607
o 58517
o 58370
o 58259
o 58190
o 58079
o 58020
o 57948
o 57879
o 57768
o 57709
o 57664
o 57620
o 57509
o 57440
o 57329
o 57270
o 57144
o 57092
o 56945
o 56855
o 56708
o 56597
o 56528
o 56417
o 56358
o 56292
o 56223
o 56112
o 56053
o 55956
o 55776
o 55717
o 55651
o 55591
o 55471
o 55412
o 55376
o 55053
o 54873
o 54814
o 54779
o 54729
o 54660
o 54549
o 54490
o 54314
o 54255
o 54138
o 54088
o 54028
o 53908
o 53849
o 53818
o 53758
o 53638
o 53579
o 53552
o 53519
o 53372
o 53316
o 53196
o 53146
o 53086
o 52966
o 52876
o 52816
o 52696
o 52562
o 52442
o 52397
o 52277
o 52143
o 52023
Killed
1979.695u 0.003s 33:00.16 99.9%	0+0k 0+0io 0pf+0w