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_150_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 109904
o 97293
o 97255
o 97064
o 97026
o 97015
o 96789
o 96751
o 96560
o 96522
o 96511
o 96503
o 96312
o 96274
o 96263
o 96037
o 95999
o 95808
o 95770
o 95759
o 95687
o 95649
o 95458
o 95420
o 95409
o 95364
o 95326
o 95315
o 95307
o 95269
o 95258
o 95232
o 95194
o 95183
o 95138
o 95100
o 95089
o 95081
o 95043
o 95032
o 95010
o 94972
o 94961
o 94953
o 94915
o 94904
o 94902
o 94830
o 94792
o 94601
o 94563
o 94552
o 94507
o 94469
o 94458
o 94450
o 94412
o 94401
o 94375
o 94337
o 94326
o 94281
o 94243
o 94232
o 94224
o 94186
o 94175
o 94152
o 94114
o 94105
o 94058
o 94020
o 94011
o 94001
o 93963
o 93954
o 93948
o 93939
o 93892
o 93854
o 93845
o 93843
o 93834
o 93797
o 93788
o 93786
o 93777
o 93681
o 93643
o 93634
o 93587
o 93549
o 93540
o 93530
o 93492
o 93483
o 93455
o 93417
o 93408
o 93361
o 93323
o 93314
o 93304
o 93266
o 93257
o 93238
o 93200
o 93191
o 93144
o 93106
o 93097
o 93087
o 93049
o 93040
o 93025
o 92987
o 92968
o 92930
o 92919
o 92891
o 92853
o 92797
o 92759
o 92740
o 92702
o 92693
o 92682
o 92667
o 92619
o 92581
o 92496
o 92458
o 92402
o 92364
o 92328
o 92317
o 92314
o 92302
o 92299
s OPTIMUM FOUND
c Optimal Solution = 92299
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
c Program terminated in 7.360 seconds.
7.360u 0.003s 0:07.74 95.0%	0+0k 0+0io 0pf+0w