Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 16563
o 3291
o 3290
o 3289
o 3287
o 3286
o 3281
o 3280
o 3278
o 3276
o 3275
o 3274
o 3257
o 3253
o 3249
o 3246
o 3244
o 3240
o 3239
o 3235
o 3232
o 3219
o 3217
o 3216
o 3215
o 3212
o 3211
o 3210
o 3209
o 3208
o 3183
o 3179
o 3178
o 3166
o 3165
o 3160
o 3158
o 3152
o 3151
o 3145
o 3131
o 3123
o 3116
o 3111
o 3110
o 3102
o 3099
o 3097
o 3088
o 3080
o 3069
o 3068
o 3065
o 3062
o 3061
o 3058
o 3056
o 3054
o 3050
o 3049
o 3048
o 3046
o 3039
o 3036
o 3034
o 3033
o 3032
o 3031
o 3030
o 3029
o 3027
o 3026
o 3025
o 3021
s OPTIMUM FOUND
c Optimal Solution = 3021
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 6.780 seconds.
6.784u 0.008s 0:06.81 99.5%	0+0k 0+0io 0pf+0w