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_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0000.txt.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 63339
o 62437
o 62248
o 62175
o 62070
o 61832
o 61808
o 61657
o 61422
o 61292
o 61200
o 61011
o 60831
o 60680
o 60647
o 60498
o 60334
o 59966
o 59831
o 59699
o 59671
o 59496
o 58952
o 58763
o 58548
o 58385
o 57893
o 57718
o 57704
o 57489
o 57442
o 57253
o 56878
o 56759
o 56581
o 56534
o 56410
o 56362
o 56187
o 56173
o 56126
o 55937
o 55879
o 55848
o 55801
o 55612
o 55454
o 55439
o 55264
o 55250
o 55203
o 55184
o 54958
o 54914
o 54801
o 54778
o 54731
o 54474
o 54285
o 54193
o 53899
o 53710
o 53663
o 53474
o 53356
o 53308
o 53294
o 53247
o 53146
o 53132
o 53085
o 52910
o 52896
o 52887
o 52712
o 52698
o 52545
o 52506
o 52492
o 52362
o 52348
o 52270
o 52256
o 52198
o 52158
o 51922
o 51914
o 51900
o 51747
o 51733
o 51731
o 51647
o 51633
o 51586
o 51397
o 51214
o 51064
o 50828
o 50639
o 50599
o 50532
o 50343
o 50314
o 50249
o 50180
o 50013
o 49925
o 49911
o 49864
o 49689
o 49675
o 49667
o 49576
o 49562
o 49512
o 49407
o 49276
o 49185
o 49171
o 49014
o 49000
o 48903
o 48728
o 48714
o 48623
o 48609
c Best Solution: 48609
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
89.211u 0.466s 1:30.25 99.3%	0+0k 0+0io 0pf+0w