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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-4.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 224398
o 224398
o 224392
o 224383
o 224353
o 224344
o 224309
o 224300
o 224296
o 224293
o 224254
o 224245
o 224213
o 224204
o 224200
o 224197
o 224158
o 224149
o 224114
o 224105
o 224101
o 224098
o 224059
o 224050
o 224019
o 224010
o 224008
o 223969
o 223960
o 223958
o 223952
o 223913
o 223910
o 223871
o 223862
o 223858
o 223855
o 223816
o 223807
o 223775
o 223766
o 223762
o 223759
o 223720
o 223711
o 223700
o 223691
o 223659
o 223650
o 223646
o 223643
o 223604
o 223595
o 223593
o 223554
o 223551
o 223512
o 223503
o 223499
o 223496
o 223457
o 223448
o 223416
o 223407
o 223403
o 223400
o 223361
o 223352
o 223350
o 223343
o 223334
o 223304
o 223295
o 223257
o 223248
o 223237
o 223228
o 223196
o 223187
o 223183
o 223180
o 223141
o 223132
o 223130
o 223091
o 223088
o 223049
o 223040
o 223036
o 223033
o 222994
o 222985
o 222953
o 222944
o 222940
o 222937
o 222898
o 222889
o 222887
o 222880
o 222871
o 222841
o 222832
o 222830
o 222791
o 222782
o 222778
o 222775
o 222736
o 222727
o 222695
o 222686
o 222682
o 222679
o 222640
o 222631
o 222629
o 222622
o 222613
o 222583
o 222574
o 222565
o 222557
o 222556
o 222548
o 222543
o 222510
o 222502
o 222501
o 222493
o 222451
o 222418
o 222410
o 222409
o 222401
o 222396
o 222363
o 222355
o 222354
o 222346
o 222322
o 222314
o 222313
o 222305
o 222300
o 222267
o 222259
o 222258
o 222250
o 222233
o 222224
o 222222
o 222177
o 222135
o 222126
o 222122
o 222080
o 222071
o 222039
o 222030
o 222026
o 221984
o 221975
o 221961
o 221916
o 221874
o 221865
o 221863
o 221818
o 221776
o 221767
o 221763
o 221721
o 221712
o 221680
o 221671
o 221667
o 221625
o 221616
o 221611
o 221602
o 221598
o 221589
o 221556
o 221547
o 221526
o 221517
o 221485
o 221476
o 221472
o 221430
o 221421
o 221380
o 221338
o 221329
o 221325
o 221283
o 221274
o 221242
o 221233
o 221229
o 221187
o 221178
o 221167
o 221158
o 221126
o 221117
o 221113
o 221071
o 221062
o 221021
o 220979
o 220970
o 220966
o 220924
o 220915
o 220883
o 220874
o 220870
o 220828
o 220819
o 220817
o 220810
o 220801
o 220771
o 220762
o 220738
o 220729
o 220725
o 220722
o 220683
o 220674
o 220669
o 220660
o 220656
o 220647
o 220644
o 220614
o 220605
o 220584
o 220575
o 220543
o 220534
o 220530
o 220527
o 220488
o 220479
o 220477
o 220438
o 220435
o 220396
o 220387
o 220383
o 220380
o 220341
o 220332
o 220300
o 220291
o 220287
o 220284
o 220245
o 220236
o 220225
o 220216
o 220184
o 220175
o 220171
o 220168
o 220129
o 220120
o 220118
o 220079
o 220076
o 220037
o 220028
o 220024
o 220021
o 219982
o 219973