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_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 16313
o 3247
o 3244
o 3240
o 3239
o 3236
o 3235
o 3232
o 3226
o 3221
o 3218
o 3217
o 3215
o 3212
o 3211
o 3209
o 3208
o 3207
o 3204
o 3203
o 3201
o 3199
o 3195
o 3192
o 3189
o 3187
o 3186
o 3184
o 3182
o 3179
o 3176
o 3172
o 3171
o 3167
o 3166
o 3165
o 3164
o 3161
o 3155
o 3154
o 3151
o 3148
o 3147
o 3145
o 3144
o 3140
o 3134
o 3129
o 3128
o 3127
o 3126
o 3124
o 3123
o 3119
o 3115
o 3111
o 3110
o 3108
o 3107
o 3104
o 3103
o 3102
o 3101
o 3099
o 3098
o 3097
o 3096
o 3094
o 3089
o 3088
o 3083
o 3079
o 3075
o 3073
o 3072
o 3071
o 3070
o 3068
o 3065
o 3060
o 3059
o 3058
o 3055
o 3051
o 3050
o 3048
o 3045
o 3044
o 3043
o 3041
o 3036
o 3034
o 3032
o 3031
o 3030
o 3029
o 3028
o 3024
o 3017
o 3015
o 3013
o 3011
o 3009
o 3008
o 3005
o 3003
o 3002
o 3001
o 3000
o 2996
o 2995
o 2989
o 2987
o 2983
o 2982
o 2981
o 2980
o 2977
o 2972
o 2971
o 2969
o 2964
o 2953
o 2951
o 2947
o 2944
o 2941
o 2936
o 2934
o 2933
o 2932
o 2930
o 2929
o 2927
o 2924
o 2922
o 2921
o 2919
o 2917
o 2915
o 2910
o 2910
o 2908
o 2907
o 2906
o 2903
o 2899
o 2895
o 2891
o 2889
o 2885
s OPTIMUM FOUND
c Optimal Solution = 2885
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 87.850 seconds.
87.838u 0.003s 1:32.27 95.1%	0+0k 0+0io 0pf+0w