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_C2500_H150_2.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_2.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 13561
o 2571
o 2569
o 2554
o 2546
o 2544
o 2543
o 2539
o 2536
o 2532
o 2530
o 2528
o 2526
o 2513
o 2510
o 2508
o 2506
o 2504
o 2503
o 2502
o 2499
o 2498
o 2496
o 2489
o 2487
o 2482
o 2480
o 2479
o 2478
o 2474
o 2472
o 2471
o 2467
o 2462
o 2460
o 2459
o 2458
o 2455
o 2453
o 2451
o 2445
o 2441
o 2438
o 2435
o 2430
o 2429
o 2427
o 2423
o 2418
o 2417
o 2416
o 2415
o 2411
o 2405
o 2396
o 2390
o 2389
o 2386
o 2381
o 2380
o 2378
o 2375
o 2369
o 2367
o 2366
o 2360
o 2354
o 2351
o 2347
o 2344
o 2342
o 2341
o 2339
o 2337
o 2327
o 2324
o 2317
o 2316
o 2315
o 2311
o 2308
o 2306
o 2300
o 2296
o 2284
o 2281
o 2279
o 2276
o 2273
o 2268
o 2267
o 2264
o 2260
o 2252
o 2250
o 2249
o 2242
o 2240
o 2236
o 2234
o 2230
o 2225
o 2224
o 2219
o 2213
o 2211
o 2210
o 2203
o 2194
o 2186
o 2185
o 2180
o 2172
o 2170
o 2165
o 2162
o 2158
o 2156
o 2153
o 2152
o 2150
o 2148
o 2145
o 2144
o 2142
o 2141
o 2136
o 2134
o 2129
o 2126
o 2124
o 2123
o 2121
o 2116
o 2113
s OPTIMUM FOUND
c Optimal Solution = 2113
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 15.480 seconds.
15.485u 0.005s 0:15.49 99.9%	0+0k 0+0io 0pf+0w