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_120_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 98388
o 85788
o 85776
o 85393
o 85381
o 85343
o 85331
o 85167
o 85155
o 84772
o 84760
o 84722
o 84710
o 84487
o 84475
o 84437
o 84425
o 84215
o 84203
o 83930
o 83918
o 83892
o 83880
o 83842
o 83830
o 83620
o 83608
o 83335
o 83323
o 83080
o 83068
o 82982
o 82970
o 82944
o 82932
o 82894
o 82882
o 82672
o 82660
o 82387
o 82375
o 82132
o 82120
o 82118
o 82045
o 82033
o 81760
o 81748
o 81505
o 81493
o 81491
o 81403
o 81393
o 81386
o 81374
o 81364
o 81352
o 81150
o 81138
o 81136
o 81048
o 81029
o 80862
o 80774
o 80771
o 80683
o 80650
o 80582
o 80494
o 80491
o 80403
o 80385
o 80373
o 80197
o 80121
o 80070
o 80004
o 79987
o 79958
o 79870
o 79798
o 79747
o 79664
o 79643
o 79533
o 79445
o 79442
o 79354
o 79311
o 79308
o 79220
o 79148
o 79115
o 79014
s OPTIMUM FOUND
c Optimal Solution = 79014
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 -101 102 -103 -104 105 -106 -107 -108 -109 -110 -111 -112 -113 114 -115 -116 -117 -118 -119 -120
c Program terminated in 1.630 seconds.
1.635u 0.002s 0:01.64 99.3%	0+0k 0+0io 0pf+0w