Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-200-1_network-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-10.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 206781
o 206781
o 206770
o 206753
o 206743
o 206720
o 206703
o 206697
o 206681
o 206664
o 206641
o 206624
o 206618
o 206602
o 206585
o 206562
o 206545
o 206543
o 206520
o 206503
o 206493
o 206470
o 206453
o 206449
o 206432
o 206422
o 206399
o 206382
o 206381
o 206364
o 206350
o 206341
o 206324
o 206310
o 206294
o 206277
o 206254
o 206237
o 206231
o 206215
o 206198
o 206175
o 206158
o 206156
o 206133
o 206116
o 206106
o 206083
o 206066
o 206058
o 206052
o 206036
o 206019
o 205996
o 205979
o 205977
o 205954
o 205937
o 205927
o 205904
o 205887
o 205876
o 205870
o 205853
o 205836
o 205830
o 205824
o 205814
o 205797
o 205791
o 205774
o 205757
o 205751
o 205749
o 205732
o 205715
o 205709
o 205705
o 205699
o 205682
o 205665
o 205659
o 205651
o 205645
o 205635
o 205618
o 205612
o 205595
o 205578
o 205572
o 205570
o 205553
o 205536
o 205530
o 205526
o 205520
o 205503
o 205486
o 205480
o 205479
o 205456
o 205439
o 205429
o 205406
o 205389
o 205385
o 205368
o 205358
o 205335
o 205318
o 205317
o 205300
o 205286
o 205277
o 205260
o 205246
o 205230
o 205213
o 205190
o 205173
o 205167
o 205151
o 205134
o 205111
o 205094
o 205092
o 205069
o 205052
o 205042
o 205019
o 205002
o 204990
o 204973
o 204950
o 204933
o 204931
o 204908
o 204891
o 204881
o 204858
o 204841
o 204826
o 204803
o 204786
o 204780
o 204764
o 204747
o 204724
o 204707
o 204705
o 204682
o 204665
o 204655
o 204632
o 204615
o 204614
o 204597
o 204583
o 204574
o 204557
o 204543
o 204527
o 204510
o 204487
o 204470
o 204464
o 204448
o 204431
o 204408
o 204391
o 204389
o 204366
o 204349
o 204339
o 204316
o 204299
o 204295
o 204278
o 204268
o 204245
o 204228
o 204227
o 204210
o 204196
o 204187
o 204170
o 204156
o 204148
o 204131
o 204117
o 204108
o 204091
o 204077
o 204061
o 204044
o 204021
o 204004
o 204002
o 203979
o 203962
o 203952
o 203929
o 203912
o 203904
o 203898
o 203882
o 203865
o 203842
o 203825
o 203823
o 203800
o 203783
o 203773
o 203750
o 203733
o 203722
o 203716
o 203699
o 203682
o 203676
o 203670
o 203660
o 203643
o 203637
o 203620
o 203603
o 203597
o 203595
o 203578
o 203561
o 203555