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-240-1_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 247391
o 247391
o 247384
o 247369
o 247352
o 247320
o 247305
o 247292
o 247277
o 247260
o 247228
o 247213
o 247208
o 247200
o 247185
o 247167
o 247135
o 247120
o 247103
o 247071
o 247056
o 247026
o 247011
o 246982
o 246967
o 246959
o 246944
o 246926
o 246894
o 246879
o 246862
o 246830
o 246815
o 246802
o 246787
o 246770
o 246738
o 246723
o 246711
o 246679
o 246664
o 246649
o 246617
o 246602
o 246573
o 246558
o 246550
o 246535
o 246517
o 246485
o 246470
o 246453
o 246421
o 246406
o 246376
o 246361
o 246332
o 246317
o 246309
o 246294
o 246276
o 246244
o 246229
o 246212
o 246180
o 246165
o 246156
o 246126
o 246111
o 246082
o 246067
o 246059
o 246044
o 246026
o 245994
o 245979
o 245962
o 245930
o 245915
o 245902
o 245887
o 245870
o 245838
o 245823
o 245810
o 245792
o 245760
o 245745
o 245733
o 245701
o 245686
o 245654
o 245622
o 245607
o 245566
o 245534
o 245519
o 245516
o 245508
o 245493
o 245475
o 245443
o 245428
o 245398
o 245383
o 245381
o 245366
o 245325
o 245293
o 245278
o 245275
o 245267
o 245252
o 245234
o 245202
o 245187
o 245178
o 245148
o 245133
o 245123
o 245113
o 245105
o 245090
o 245072
o 245040
o 245025
o 245017
o 245002
o 244984
o 244952
o 244937
o 244933
o 244925
o 244910
o 244892
o 244860
o 244845
o 244837
o 244805
o 244792
o 244760
o 244748
o 244716
o 244693
o 244660
o 244628
o 244596
o 244564
o 244557
o 244549
o 244534
o 244516
o 244484
o 244469
o 244452
o 244420
o 244405
o 244399
o 244384
o 244376
o 244361
o 244343
o 244311
o 244296
o 244279
o 244247
o 244232
o 244215
o 244200
o 244171
o 244156
o 244148
o 244133
o 244115
o 244083
o 244068
o 244051
o 244019
o 244004
o 243989
o 243957
o 243942
o 243913
o 243898
o 243890
o 243875
o 243857
o 243825
o 243810
o 243793
o 243761
o 243746
o 243716
o 243701
o 243672
o 243657
o 243649
o 243634
o 243616
o 243584
o 243569
o 243552
o 243520
o 243505
o 243496
o 243466
o 243451
o 243425
o 243410
o 243393
o 243361
o 243346
o 243334
o 243319
o 243302
o 243270
o 243255
o 243254
o 243242
o 243227
o 243210
o 243178
o 243163
o 243150
o 243132
o 243100
o 243085
o 243073
o 243041
o 243026
o 243011
o 242979
o 242964
o 242962
o 242947
o 242906
o 242874
o 242859
o 242856
o 242848
o 242833
o 242815
o 242783
o 242768
o 242738
o 242723
o 242721
o 242706
o 242665
o 242633
o 242618
o 242615
o 242607
o 242592
o 242574
o 242542
o 242527
o 242518
o 242488
o 242473
o 242471
o 242456
o 242415
o 242383
o 242368
o 242365
o 242357
o 242342
o 242324
o 242292
o 242277
o 242276
o 242273
o 242265
o 242250
o 242232
o 242200
o 242185
o 242176
o 242163
o 242148
o 242131
o 242099
o 242084
o 242071
o 242053
o 242021
o 242006
o 241994
o 241962
o 241947
o 241942
o 241924
o 241892
o 241877
o 241875
o 241865
o 241857
o 241842
o 241824
o 241792
o 241777
o 241769
o 241754
o 241736
o 241704
o 241689
o 241659
o 241644
o 241634
o 241624
o 241616
o 241601
o 241583
o 241551
o 241536
o 241528
o 241513
o 241495
o 241463
o 241448
o 241439
o 241409
o 241394
o 241392
o 241377
o 241336
o 241304
o 241289
o 241286
o 241278
o 241263
o 241245
o 241213
o 241198
o 241197
o 241194
o 241186
o 241171
o 241153
o 241121
o 241106
o 241105
o 241073
o 241058
o 241028
o 241013
o 241003
o 240993
o 240985
o 240970
o 240952
o 240920
o 240905
o 240897
o 240882
o 240864
o 240832
o 240817
o 240808
o 240778
o 240763
o 240753
o 240743
o 240735
o 240720
o 240702
o 240670
o 240655
o 240647
o 240632
o 240614
o 240582
o 240567
o 240563
o 240555
o 240540
o 240522
o 240490
o 240475
o 240465
o 240447
o 240415
o 240400
o 240395
o 240392
o 240360
o 240345
o 240342
o 240334
o 240319
o 240301
o 240269
o 240254
o 240249
o 240217
o 240202
o 240197
o 240191
o 240176
o 240158
o 240126
o 240111
o 240106
o 240102
o 240097
o 240087
o 240055
o 240040
o 239999
o 239967
o 239952
o 239947
o 239941
o 239926
o 239908
o 239876
o 239861
o 239856
o 239855
o 239849
o 239834
o 239816
o 239784
o 239769
o 239764