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-100-2_network-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 102251
o 102251
o 102248
o 102232
o 102175
o 102173
o 102162
o 102157
o 102100
o 102071
o 102067
o 102064
o 102019
o 102013
o 102001
o 101956
o 101940
o 101928
o 101883
o 101881
o 101870
o 101865
o 101853
o 101808
o 101803
o 101774
o 101770
o 101765
o 101720
o 101704
o 101692
o 101647
o 101641
o 101629
o 101584
o 101568
o 101556
o 101511
o 101506
o 101480
o 101444
o 101443
o 101417
o 101381
o 101370
o 101344
o 101308
o 101291
o 101234
o 101218
o 101161
o 101147
o 101131
o 101074
o 101070
o 101061
o 101056
o 100999
o 100995
o 100947
o 100941
o 100884
o 100868
o 100811
o 100809
o 100798
o 100793
o 100736
o 100707
o 100703
o 100694
o 100649
o 100637
o 100592
o 100576
o 100564
o 100519
o 100517
o 100501
o 100489
o 100444
o 100439
o 100410
o 100406
o 100401
o 100356
o 100345
o 100340
o 100328
o 100283
o 100282
o 100277
o 100265
o 100220
o 100209
o 100204
o 100192
o 100147
o 100142
o 100116
o 100080
o 100079
o 100053
o 100017
o 100006
o 99980
o 99944
o 99939
o 99923
o 99914
o 99866
o 99852
o 99836
o 99779
o 99777
o 99766
o 99761
o 99704
o 99606
o 99549
o 99533
o 99476
o 99462
o 99446
o 99389
o 99385
o 99376
o 99371
o 99314
o 99310
o 99282
o 99184
o 99127
o 99111
o 99054
o 99040
o 99024
o 98967
o 98963
o 98949
o 98892
o 98888
o 98840
o 98834
o 98777
o 98761
o 98704
o 98702
o 98691
o 98686
o 98629
o 98600
o 98596
o 98593
o 98548
o 98542
o 98530
o 98485
o 98469
o 98457
o 98412
o 98410
o 98399
o 98394
o 98382
o 98337
o 98318
o 98282
o 98245
o 98209
o 98207
o 98196
o 98170
o 98134
o 98080
o 98066
o 98050
o 97993
o 97991
o 97980
o 97975
o 97918
o 97820
o 97763
o 97747
o 97690
o 97676
o 97660
o 97603
o 97599
o 97597
o 97590
o 97585
o 97528
o 97524
o 97476
o 97470
o 97413
o 97397
o 97340
o 97338
o 97327
o 97322
o 97265
o 97236
o 97232
o 97229
o 97184
o 97178
o 97166
o 97121
o 97105
o 97093
o 97048
o 97046
o 97030
o 97018
o 96973
o 96954
o 96918
o 96881
o 96845
o 96843
o 96832
o 96806
o 96770
Killed
1980.428u 0.037s 33:03.04 99.8%	0+0k 0+0io 0pf+0w