Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_70_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0006.txt.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 56345
o 55528
o 55314
o 54497
o 53774
o 53543
o 53298
o 53239
o 53152
o 53113
o 53015
o 52928
o 52827
o 52626
o 52539
o 52493
o 52292
o 52205
o 52150
o 52063
o 51958
o 51954
o 51867
o 51786
o 51620
o 51452
o 51219
o 51156
o 51051
o 50807
o 50803
o 50610
o 50469
o 50438
o 50104
o 49936
o 49912
o 49717
o 49693
o 49328
o 48994
o 48826
o 48793
o 48790
o 48685
o 48664
o 48463
o 48322
o 48158
o 47957
o 47930
o 47858
o 47835
o 47748
o 47730
o 47662
o 47616
o 47556
o 47529
o 47513
o 47424
o 47399
o 47312
o 47094
o 46874
o 46673
o 46648
o 46507
o 46343
o 46142
o 46022
o 45978
o 45950
o 45949
o 45905
o 45854
o 45748
o 45661
o 45443
o 45356
o 45286
o 45199
o 45155
o 45094
o 45007
o 44823
o 44736
o 44703
o 44616
o 44588
o 44543
o 44531
o 44504
o 44492
o 44440
o 44416
o 44354
o 44317
o 44230
o 44206
o 44167
o 44103
c Best Solution: 44103
s OPTIMUM FOUND
v 1 -2 -3 -4 -5 -6 -7 8 -9 -10 -11 -12 -13 -14 -15 16 -17 -18 -19 -20 21 -22 -23 -24 -25 -26 -27 -28 -29 30 -31 -32 -33 34 -35 -36 37 -38 -39 40 -41 -42 -43 44 -45 46 -47 -48 -49 -50 51 -52 -53 -54 -55 56 -57 -58 59 -60 -61 -62 -63 64 -65 -66 -67 -68 69 70 -71
125.991u 0.602s 2:07.09 99.6%	0+0k 0+0io 0pf+0w