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_1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 16597
o 3261
o 3255
o 3253
o 3251
o 3242
o 3238
o 3237
o 3236
o 3233
o 3232
o 3228
o 3224
o 3221
o 3220
o 3215
o 3214
o 3212
o 3211
o 3210
o 3207
o 3204
o 3197
o 3191
o 3189
o 3186
o 3185
o 3174
o 3169
o 3168
o 3164
o 3162
o 3153
o 3149
o 3148
o 3146
o 3144
o 3139
o 3138
o 3137
o 3134
o 3130
o 3129
o 3123
o 3121
o 3119
o 3116
o 3114
o 3113
o 3112
o 3108
o 3106
o 3105
o 3104
o 3103
o 3099
o 3098
o 3097
o 3090
o 3087
o 3080
o 3078
o 3076
o 3075
o 3074
o 3072
o 3071
o 3068
o 3062
o 3059
o 3058
o 3057
o 3054
o 3051
o 3048
o 3047
o 3039
o 3037
o 3034
o 3033
o 3030
o 3028
o 3027
o 3021
o 3018
o 3011
o 3010
o 3005
o 2998
o 2994
o 2991
o 2990
o 2985
o 2984
o 2982
o 2978
o 2966
o 2953
o 2951
o 2950
o 2945
o 2944
o 2943
o 2937
o 2936
o 2935
o 2929
o 2928
o 2924
o 2918
s OPTIMUM FOUND
c Optimal Solution = 2918
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 76.120 seconds.
76.111u 0.004s 1:16.26 99.8%	0+0k 0+0io 0pf+0w