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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-3.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 211833
o 211833
o 211814
o 211758
o 211703
o 211679
o 211624
o 211610
o 211568
o 211554
o 211545
o 211531
o 211489
o 211475
o 211441
o 211427
o 211380
o 211336
o 211331
o 211270
o 211214
o 211199
o 211155
o 211150
o 211089
o 211033
o 211019
o 210996
o 210940
o 210926
o 210884
o 210870
o 210848
o 210838
o 210793
o 210779
o 210732
o 210728
o 210723
o 210662
o 210606
o 210551
o 210496
o 210440
o 210385
o 210371
o 210347
o 210292
o 210278
o 210236
o 210222
o 210171
o 210157
o 210153
o 210139
o 210103
o 210048
o 210037
o 209982
o 209967
o 209964
o 209909
o 209856
o 209801
o 209763
o 209708
o 209694
o 209652
o 209638
o 209629
o 209615
o 209573
o 209559
o 209525
o 209511
o 209469
o 209455
o 209406
o 209354
o 209298
o 209283
o 209281
o 209225
o 209173
o 209117
o 209103
o 209080
o 209024
o 209010
o 208968
o 208954
o 208932
o 208922
o 208877
o 208863
o 208821
o 208807
o 208771
o 208716
o 208705
o 208650
o 208635
o 208632
o 208577
o 208524
o 208469
o 208431
o 208376
o 208362
o 208320
o 208306
o 208299
o 208285
o 208261
o 208206
o 208192
o 208150