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_80_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0004.txt.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 61333
o 60182
o 59192
o 58980
o 58869
o 58001
o 57660
o 57650
o 57396
o 57222
o 57153
o 56905
o 56737
o 56487
o 56449
o 56418
o 56380
o 56363
o 56344
o 56233
o 55999
o 55697
o 55586
o 55325
o 55214
o 54986
o 54875
o 54510
o 54171
o 54060
o 54038
o 54012
o 53976
o 53901
o 53879
o 53768
o 53673
o 53562
o 53540
o 53429
o 53391
o 53195
o 53166
o 53124
o 53117
o 52921
o 52788
o 52748
o 52658
o 52601
o 52560
o 52449
o 52376
o 52170
o 52037
o 51926
o 51730
o 51688
o 51555
o 51444
o 51330
o 51219
o 51116
o 51043
o 51001
o 50795
o 50662
o 50551
o 50511
o 50272
o 50230
o 50103
o 50031
o 49920
o 49862
o 49819
o 49563
o 49557
o 49488
o 49385
o 49342
o 49334
o 49266
o 49159
o 49048
o 48945
o 48902
o 48799
o 48731
o 48628
o 48585
o 48448
o 48337
o 48234
o 48100
o 48058
o 47955
o 47896
o 47835
o 47617
o 47403
o 47365
o 47355
o 47252
o 47209
o 47093
o 46995
o 46973
o 46862
o 46755
o 46541
o 46504
o 46397
o 46286
o 46183
c Best Solution: 46183
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 -72 -73 74 -75 76 -77 78 -79 80
46.857u 0.228s 0:47.38 99.3%	0+0k 0+0io 0pf+0w