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_160_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 121485
o 106992
o 106885
o 106740
o 106633
o 106624
o 106617
o 106611
o 106400
o 106148
o 106139
o 106132
o 106126
o 105989
o 105980
o 105973
o 105967
o 105765
o 105513
o 105504
o 105497
o 105491
o 105354
o 105345
o 105338
o 105332
o 105166
o 104914
o 104907
o 104901
o 104755
o 104748
o 104742
o 104695
o 104686
o 104679
o 104673
o 104536
o 104527
o 104520
o 104514
o 104348
o 104096
o 104089
o 104083
o 103937
o 103930
o 103924
o 103690
o 103683
o 103677
o 103531
o 103524
o 103518
o 103514
o 103273
o 103267
o 103114
o 103108
o 103055
o 103049
o 102861
o 102854
o 102848
o 102702
o 102695
o 102689
o 102685
o 102444
o 102438
o 102285
o 102279
o 102226
o 102220
o 102091
o 102084
o 102078
o 101844
o 101837
o 101831
o 101685
o 101678
o 101672
o 101668
o 101427
o 101421
o 101268
o 101262
o 101209
o 101203
o 101073
o 101067
o 101039
o 101033
o 100952
o 100946
o 100844
o 100838
o 100708
o 100702
o 100698
o 100694
o 100666
o 100660
o 100612
o 100606
o 100453
o 100447
o 100317
o 100311
o 100283
o 100277
o 100268
o 100262
o 100255
o 100249
o 100240
o 100234
o 100059
o 99900
o 99841
o 99839
o 99772
o 99738
o 99700
o 99478
o 99297
s OPTIMUM FOUND
c Optimal Solution = 99297
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 121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 134 -135 -136 -137 138 -139 -140 -141 -142 -143 -144 -145 -146 -147 148 -149 -150 -151 -152 -153 154 -155 -156 157 158 -159 -160 -161
c Program terminated in 3.030 seconds.
3.033u 0.000s 0:03.04 99.6%	0+0k 0+0io 0pf+0w