Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_80_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 57643
o 48765
o 48759
o 48753
o 48744
o 48738
o 48732
o 48716
o 48707
o 48701
o 48695
o 48679
o 48573
o 48567
o 48561
o 48552
o 48546
o 48540
o 48524
o 48515
o 48509
o 48503
o 48487
o 48463
o 48457
o 48451
o 48442
o 48436
o 48430
o 48414
o 48271
o 48265
o 48259
o 48250
o 48244
o 48238
o 48222
o 48128
o 48122
o 48116
o 48107
o 48101
o 48095
o 48079
o 48070
o 48064
o 48058
o 48042
o 48018
o 48012
o 48006
o 47997
o 47991
o 47985
o 47969
o 47826
o 47820
o 47814
o 47805
o 47799
o 47793
o 47777
o 47639
o 47618
o 47609
o 47603
o 47597
o 47588
o 47582
o 47576
o 47560
o 47551
o 47545
o 47539
o 47523
o 47499
o 47493
o 47487
o 47478
o 47472
o 47466
o 47450
o 47307
o 47301
o 47295
o 47286
o 47280
o 47274
o 47258
o 47164
o 47158
o 47152
o 47143
o 47137
o 47131
o 47115
o 47106
o 47100
o 47094
o 47078
o 47054
o 47048
o 47042
o 47033
o 47027
o 47021
o 47005
o 46862
o 46856
o 46850
o 46841
o 46835
o 46829
o 46813
o 46675
o 46654
o 46618
o 46597
o 46587
o 46444
o 46438
o 46432
o 46423
o 46417
o 46411
o 46395
o 46387
o 46381
o 46375
o 46366
o 46360
o 46354
o 46338
o 46257
o 46236
o 46200
o 46179
o 46174
o 46168
o 46162
o 46146
o 46138
o 46132
o 46126
o 46117
o 46111
o 46105
o 46089
o 46008
o 45987
o 45951
o 45930
o 45915
o 45879
o 45858
o 45851
o 45830
o 45820
o 45677
o 45671
o 45665
o 45656
o 45650
o 45644
o 45628
o 45620
o 45614
o 45608
o 45599
o 45593
o 45587
o 45571
o 45490
o 45469
o 45433
o 45412
o 45403
o 45322
o 45301
o 45265
o 45244
o 45110
o 45104
o 45098
o 45089
o 45083
o 45077
o 45061
o 44923
o 44902
o 44896
o 44887
o 44881
o 44875
o 44859
o 44836
o 44830
o 44824
o 44815
o 44809
o 44803
o 44787
o 44721
o 44700
o 44649
o 44628
o 44553
o 44532
o 44481
o 44460
o 44456
o 44447
o 44441
o 44435
o 44419
o 44396
o 44390
o 44384
o 44375
o 44369
o 44363
o 44347
o 44281
o 44260
o 44209
o 44188
o 44154
o 44133
o 44082
o 44061
o 44050
o 44021
o 44000
o 43984
o 43963
o 43949
o 43928
o 43912
o 43891
s OPTIMUM FOUND
c Optimal Solution = 43891
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 81
c Program terminated in 0.020 seconds.
0.028u 0.001s 0:00.03 66.6%	0+0k 0+0io 0pf+0w