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_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 119228
o 106930
o 106923
o 106552
o 106545
o 106434
o 106427
o 106056
o 106049
o 105984
o 105977
o 105970
o 105963
o 105866
o 105859
o 105592
o 105585
o 105488
o 105481
o 105452
o 105445
o 105416
o 105409
o 105380
o 105373
o 105312
o 105305
o 105276
o 105269
o 105238
o 105231
o 105202
o 105195
o 105166
o 105159
o 105130
o 105123
o 105062
o 105055
o 105026
o 105019
o 104790
o 104783
o 104686
o 104679
o 104650
o 104643
o 104614
o 104607
o 104510
o 104503
o 104474
o 104467
o 104436
o 104429
o 104400
o 104393
o 104364
o 104357
o 104260
o 104253
o 104224
o 104217
o 104211
o 104204
o 104175
o 104168
o 104148
o 104141
o 104131
o 104124
o 104063
o 104056
o 104027
o 104020
o 104014
o 104007
o 103978
o 103971
o 103950
o 103943
o 103868
o 103861
o 103832
o 103825
o 103819
o 103812
o 103783
o 103776
o 103648
o 103641
o 103612
o 103605
o 103472
o 103465
o 103436
o 103429
o 103423
o 103416
o 103387
o 103380
o 103334
o 103327
o 103298
o 103291
o 103158
o 103151
o 103122
o 103115
o 103109
o 103102
o 103073
o 103066
o 103045
o 103038
o 103020
o 103013
o 102984
o 102977
o 102956
o 102949
o 102915
o 102908
o 102879
o 102872
o 102866
o 102859
o 102830
o 102823
o 102777
o 102770
o 102741
o 102734
o 102674
o 102667
o 102638
o 102631
o 102544
o 102537
o 102508
o 102501
o 102477
o 102470
o 102441
o 102434
o 102430
o 102394
o 102330
o 102323
o 102313
o 102306
o 102246
o 102239
o 102200
o 102193
o 102133
o 102126
o 102119
o 102051
o 102044
o 102015
o 102008
o 101993
o 101986
o 101973
o 101966
o 101947
o 101940
o 101911
o 101904
o 101894
o 101887
o 101817
o 101810
o 101781
o 101774
s OPTIMUM FOUND
c Optimal Solution = 101774
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
c Program terminated in 26.450 seconds.
26.446u 0.003s 0:26.45 99.9%	0+0k 0+0io 0pf+0w