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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-1.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 191235
o 191235
o 191232
o 191226
o 191218
o 191198
o 191190
o 191184
o 191176
o 191146
o 191138
o 191102
o 191094
o 191046
o 191038
o 191032
o 191024
o 191004
o 190996
o 190990
o 190982
o 190970
o 190962
o 190926
o 190918
o 190870
o 190862
o 190856
o 190848
o 190847
o 190839
o 190791
o 190783
o 190747
o 190739
o 190691
o 190683
o 190677
o 190669
o 190649
o 190641
o 190635
o 190627
o 190619
o 190613
o 190605
o 190595
o 190587
o 190551
o 190543
o 190495
o 190487
o 190481
o 190473
o 190453
o 190445
o 190439
o 190431
o 190401
o 190393
o 190387
o 190379
o 190372
o 190364
o 190328
o 190320
o 190272
o 190264
o 190258
o 190250
o 190240
o 190232
o 190196
o 190188
o 190140
o 190132
o 190126
o 190118
o 190098
o 190090
o 190084
o 190076
o 190070
o 190064
o 190056
o 190046
o 190038
o 190002
o 189994
o 189946
o 189938
o 189932
o 189924
o 189904
o 189896
o 189890
o 189882
o 189880
o 189870
o 189862
o 189826
o 189818
o 189770
o 189762
o 189756
o 189748
o 189723
o 189715
o 189709
o 189701
o 189691
o 189683
o 189647
o 189639
o 189591
o 189583
o 189577
o 189569
o 189549
o 189541
o 189535
o 189527
o 189503
o 189495
o 189489
o 189481
o 189457
o 189449
o 189443
o 189435
o 189424
o 189416
o 189380
o 189372
o 189324
o 189316
o 189310
o 189302
o 189282
o 189274
o 189268
o 189260
o 189252
o 189246
o 189238
o 189228
o 189220
o 189184
o 189176
o 189128
o 189120
o 189114
o 189106
o 189086
o 189078
o 189072
o 189064
o 189034
o 189026
o 189020
o 189012
o 189005
o 188997
o 188961
o 188953
o 188905
o 188897
o 188891
o 188883
o 188873
o 188865
o 188829
o 188821
o 188773
o 188765
o 188759
o 188751
o 188731
o 188723
o 188717
o 188709
o 188703
o 188697
o 188689
o 188679
o 188671
o 188635
o 188627
o 188579
o 188571
o 188565
o 188557
o 188537
o 188529
o 188523
o 188515
o 188485
o 188477
o 188471
o 188463
o 188456
o 188448
o 188412
o 188404
o 188356
o 188348
o 188342
o 188334
o 188324
o 188316
o 188280
o 188272
o 188224
o 188216
o 188210
o 188202
o 188182
o 188174
o 188168
o 188160
o 188157
o 188132
o 188124
o 188118
o 188110
o 188100
o 188092
o 188056
o 188048
o 188000
o 187992
o 187986
o 187978
o 187958
o 187950
o 187944
o 187936
o 187931
o 187923
o 187875
o 187867
o 187861
o 187853
o 187843
o 187835
o 187799
o 187791
o 187743
o 187735
o 187729
o 187721
o 187718
o 187710
o 187662
o 187654
o 187648
o 187640
o 187620
o 187612
o 187606
o 187598