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_7.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 16572
o 3310
o 3297
o 3291
o 3290
o 3287
o 3286
o 3285
o 3280
o 3279
o 3278
o 3275
o 3271
o 3270
o 3266
o 3265
o 3262
o 3261
o 3260
o 3259
o 3257
o 3254
o 3252
o 3251
o 3248
o 3247
o 3245
o 3241
o 3237
o 3236
o 3234
o 3230
o 3229
o 3225
o 3223
o 3222
o 3220
o 3218
o 3217
o 3214
o 3211
o 3210
o 3207
o 3205
o 3199
o 3196
o 3193
o 3191
o 3190
o 3188
o 3187
o 3184
o 3183
o 3180
o 3179
o 3177
o 3172
o 3169
o 3168
o 3167
o 3165
o 3157
o 3155
o 3154
o 3149
o 3148
o 3147
o 3143
o 3141
o 3138
o 3137
o 3135
o 3134
o 3133
o 3131
o 3130
o 3128
o 3123
o 3121
o 3118
o 3115
o 3112
o 3106
o 3104
o 3103
o 3102
o 3096
o 3095
o 3092
o 3090
o 3089
o 3087
o 3084
o 3080
o 3076
o 3073
o 3071
o 3065
o 3058
o 3056
o 3054
o 3052
o 3050
o 3049
o 3047
o 3046
o 3042
o 3041
o 3035
o 3031
o 3028
o 3026
o 3015
o 3010
o 3009
o 3007
o 3005
o 3004
o 2997
o 2991
o 2986
o 2980
o 2976
o 2975
o 2973
o 2972
o 2970
o 2967
o 2963
o 2960
o 2959
o 2957
o 2956
o 2949
o 2948
o 2947
o 2940
o 2939
o 2938
o 2937
o 2936
o 2934
o 2931
o 2927
o 2917
o 2916
o 2915
o 2914
o 2906
o 2904
o 2903
o 2902
o 2892
o 2891
o 2890
o 2886
o 2884
o 2883
o 2878
o 2866
o 2864
o 2856
o 2855
o 2854
o 2850
o 2849
o 2846
o 2842
o 2838
o 2836
o 2831
o 2829
o 2820
o 2818
o 2815
s OPTIMUM FOUND
c Optimal Solution = 2815
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 19.730 seconds.
19.731u 0.005s 0:19.74 99.9%	0+0k 0+0io 0pf+0w