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_100_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 73392
o 62123
o 62110
o 62043
o 62030
o 62019
o 62013
o 61129
o 61116
o 61049
o 61036
o 61025
o 60779
o 60766
o 60699
o 60686
o 60675
o 60330
o 60317
o 60250
o 60237
o 60226
o 60193
o 60180
o 60169
o 60077
o 60064
o 59997
o 59984
o 59973
o 59970
o 59967
o 59913
o 59902
o 59544
o 59464
o 59453
o 59407
o 59396
o 59291
o 59211
o 59200
o 59197
o 59194
o 59119
o 59039
o 59036
o 59028
o 59025
o 58920
o 58840
o 58829
o 58823
o 58808
o 58728
o 58695
o 58682
o 58671
o 58665
s OPTIMUM FOUND
c Optimal Solution = 58665
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 -82 -83 -84 85 -86 -87 -88 89 -90 -91 -92 -93 -94 95 -96 -97 -98 -99 -100
c Program terminated in 0.490 seconds.
0.493u 0.002s 0:00.50 98.0%	0+0k 0+0io 0pf+0w