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_8.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 16668
o 3483
o 3480
o 3477
o 3475
o 3468
o 3466
o 3465
o 3462
o 3453
o 3452
o 3450
o 3447
o 3444
o 3442
o 3440
o 3438
o 3435
o 3432
o 3429
o 3428
o 3427
o 3424
o 3422
o 3420
o 3418
o 3415
o 3413
o 3411
o 3407
o 3400
o 3399
o 3395
o 3392
o 3391
o 3390
o 3388
o 3387
o 3381
o 3374
o 3373
o 3371
o 3370
o 3369
o 3367
o 3365
o 3362
o 3361
o 3354
o 3353
o 3349
o 3344
o 3342
o 3338
o 3334
o 3333
o 3332
o 3328
o 3325
o 3320
o 3314
o 3310
o 3305
o 3302
o 3301
o 3297
o 3293
o 3292
o 3291
o 3285
o 3283
o 3280
o 3276
o 3275
o 3267
o 3264
o 3260
o 3257
o 3255
o 3254
o 3253
o 3252
o 3250
o 3247
o 3240
o 3234
o 3232
o 3230
o 3227
o 3225
o 3224
o 3221
o 3220
o 3218
o 3214
o 3206
o 3199
o 3198
o 3193
o 3192
o 3186
o 3178
o 3176
o 3167
o 3165
o 3163
o 3160
o 3158
o 3153
o 3151
o 3143
o 3142
o 3139
o 3138
o 3136
o 3135
o 3134
o 3133
o 3131
o 3127
o 3123
o 3121
o 3120
o 3118
o 3110
o 3107
o 3103
o 3098
o 3095
o 3092
o 3088
o 3085
o 3079
o 3077
o 3070
o 3068
o 3066
o 3059
o 3058
o 3056
o 3053
o 3051
o 3050
o 3049
o 3047
o 3045
o 3039
o 3033
o 3028
o 3027
o 3026
o 3025
s OPTIMUM FOUND
c Optimal Solution = 3025
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 93.210 seconds.
93.203u 0.015s 1:33.41 99.7%	0+0k 0+0io 0pf+0w