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_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0004.txt.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 46342
o 45569
o 45529
o 44756
o 44685
o 44391
o 44284
o 43790
o 43764
o 43684
o 43323
o 43207
o 43081
o 42848
o 42732
o 42642
o 42283
o 42035
o 41994
o 41959
o 41754
o 41638
o 41592
o 41390
o 41371
o 41199
o 41103
o 41053
o 41011
o 40813
o 40751
o 40697
o 40679
o 40439
o 40323
o 40281
o 40263
o 40023
o 39913
o 39907
o 39853
o 39795
o 39631
o 39567
o 39497
o 39385
o 39323
o 39252
o 39140
o 39081
o 38893
o 38777
o 38715
o 38665
o 38648
o 38589
o 38498
o 38386
o 38336
o 38244
o 38156
o 38044
o 37980
o 37979
o 37938
o 37826
o 37764
o 37713
o 37671
o 37584
o 37519
o 37468
o 37409
o 37312
o 37308
o 37196
o 37161
o 37074
o 37070
o 36958
o 36956
o 36952
o 36840
o 36789
o 36785
o 36698
o 36664
o 36660
o 36548
o 36546
o 36545
o 36480
o 36451
o 36416
o 36383
o 36271
o 36220
o 36141
o 36042
o 36024
o 35983
o 35981
o 35896
o 35780
o 35668
o 35606
o 35565
o 35478
o 35362
o 35301
o 35250
o 35187
o 35071
o 34963
o 34912
o 34903
o 34894
o 34716
o 34600
o 34580
o 34570
o 34483
o 34367
o 34280
o 34164
o 34162
o 34046
o 33934
o 33924
o 33808
o 33696
o 33632
o 33567
o 33470
o 33405
c Best Solution: 33405
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
67.218u 0.352s 1:07.64 99.8%	0+0k 0+0io 0pf+0w