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_170_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 138135
o 119565
o 119348
o 119157
o 118940
o 118836
o 118645
o 118428
o 118371
o 118315
o 118258
o 118241
o 118184
o 118181
o 118160
o 118143
o 118086
o 118083
o 118072
o 118055
o 117998
o 117995
o 117987
o 117970
o 117913
o 117910
o 117899
o 117882
o 117825
o 117822
o 117787
o 117784
o 117776
o 117759
o 117702
o 117699
o 117688
o 117671
o 117614
o 117611
o 117591
o 117588
o 117577
o 117560
o 117503
o 117500
o 117493
o 117490
o 117479
o 117462
o 117405
o 117402
o 117361
o 117330
o 117273
o 117250
o 117219
o 117162
o 117157
o 117126
o 117069
o 117064
o 117059
o 117028
o 116971
o 116962
o 116952
o 116921
o 116864
o 116861
o 116833
o 116776
o 116767
o 116757
o 116726
o 116669
o 116666
o 116580
o 116557
o 116469
o 116464
o 116376
o 116371
o 116366
o 116278
o 116251
o 116171
o 116168
o 116144
o 116141
o 116083
o 116056
o 115976
o 115973
o 115949
o 115946
o 115942
o 115937
o 115932
o 115844
o 115817
o 115761
o 115751
o 115663
o 115636
o 115633
o 115622
o 115619
o 115552
o 115529
o 115525
o 115502
o 115454
o 115431
o 115427
o 115404
o 115401
o 115398
o 115394
o 115371
o 115364
o 115341
o 115338
o 115316
o 115313
o 115293
o 115290
o 115289
o 115286
o 115266
o 115263
o 115260
o 115257
o 115256
o 115253
o 115233
o 115230
o 115226
o 115223
o 115203
o 115200
o 115197
o 115174
o 115171
o 115129
o 115126
o 115089
o 115086
o 115065
o 115048
o 114991
o 114988
o 114968
o 114965
o 114940
o 114917
o 114896
o 114878
o 114821
o 114798
o 114761
o 114737
o 114720
o 114663
o 114660
o 114631
o 114550
o 114523
o 114493
s OPTIMUM FOUND
c Optimal Solution = 114493
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 -162 -163 -164 -165 166 -167 168 169 -170 -171 -172
c Program terminated in 189.610 seconds.
189.588u 0.036s 3:09.67 99.9%	0+0k 0+0io 0pf+0w