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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 212766
o 212766
o 212761
o 212713
o 212693
o 212685
o 212639
o 212591
o 212580
o 212532
o 212524
o 212478
o 212430
o 212417
o 212369
o 212361
o 212315
o 212267
o 212247
o 212239
o 212193
o 212145
o 212129
o 212081
o 212073
o 212027
o 211979
o 211959
o 211951
o 211905
o 211857
o 211856
o 211777
o 211729
o 211683
o 211635
o 211627
o 211581
o 211533
o 211513
o 211505
o 211459
o 211411
o 211372
o 211326
o 211278
o 211270
o 211224
o 211176
o 211156
o 211148
o 211102
o 211054
o 211043
o 210995
o 210974
o 210926
o 210880
o 210832
o 210824
o 210778
o 210730
o 210710
o 210702
o 210656
o 210608
o 210594
o 210548
o 210500
o 210492
o 210446
o 210398
o 210378
o 210370
o 210324
o 210276
o 210196
o 210148
o 210102
o 210054
o 210046
o 210000
o 209952
o 209932
o 209924
o 209878
o 209830
o 209829
o 209821
o 209775
o 209727
o 209707
o 209699
o 209653
o 209605
o 209591
o 209545
o 209497
o 209489
o 209443
o 209395
o 209375
o 209367
o 209321
o 209273
o 209262
o 209214
o 209193
o 209145
o 209099
o 209051
o 209043
o 208997
o 208949
o 208929
o 208921
o 208875
o 208827
o 208788
o 208780
o 208734
o 208686
o 208666
o 208658
o 208612
o 208564
o 208545
o 208465
o 208417
o 208371
o 208323
o 208315
o 208269
o 208221
o 208201
o 208193
o 208147
o 208099
o 208092
o 208072
o 208064
o 208018
o 207970
o 207955
o 207871
o 207823
o 207777
o 207729
o 207721
o 207675
o 207627
o 207607
o 207599
o 207553
o 207505
o 207481
o 207433
o 207402
o 207354
o 207308
o 207260
o 207227
o 207143
o 207095
o 207049
o 207001
o 206993
o 206947
o 206899
o 206879
o 206871
o 206825
o 206777
o 206753
o 206705
o 206669
o 206655
o 206607
o 206561
o 206513
o 206505
o 206459
o 206411
o 206391
o 206383
o 206337
o 206289
o 206265
o 206217
o 206181
o 206158
o 206122
o 206085
o 206037
o 206019
o 206011
o 205965
o 205917
o 205900
o 205816
o 205768
o 205722
o 205674
o 205666
o 205620
o 205572
o 205554
o 205546
o 205500
o 205452
o 205428
o 205380
o 205344
o 205299
o 205253
o 205205
o 205172
o 205088
o 205040
o 204994
o 204946
o 204938
o 204892
o 204844
o 204826
o 204818
o 204772
o 204724
o 204700
o 204652
o 204616
o 204600
o 204552
o 204506
o 204458
o 204450
o 204404
o 204356
o 204338
o 204330
o 204284
o 204236
o 204212
o 204164
o 204128
o 204105
o 204069
o 204062
o 204016
o 203968
o 203960
o 203914
o 203866
o 203848
o 203840
o 203794
o 203746
o 203722
o 203674
o 203638
o 203615
o 203579
o 203547
o 203523
o 203475
o 203444
o 203436
o 203390
o 203342
o 203324
o 203316
o 203270
o 203222
o 203179
o 203161
o 203153
o 203107
o 203059
o 203035
o 202987
o 202951
o 202939
o 202921
o 202913
o 202867
o 202819
o 202795
o 202747
o 202716
o 202708
o 202662
o 202614
o 202596
o 202588
o 202542
o 202494
o 202451
o 202433
o 202425
o 202379
o 202331
o 202307
o 202259
o 202223