Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2500 13760
WARNING: Ubcsat not found.
o 13760
o 2643
o 2640
o 2629
o 2628
o 2625
o 2614
o 2611
o 2608
o 2605
o 2600
o 2596
o 2595
o 2594
o 2593
o 2592
o 2591
o 2585
o 2581
o 2578
o 2576
o 2575
o 2572
o 2567
o 2566
o 2563
o 2561
o 2552
o 2550
o 2542
o 2539
o 2535
o 2532
o 2530
o 2522
o 2519
o 2515
o 2512
o 2504
o 2499
o 2498
o 2492
o 2486
o 2485
o 2483
o 2476
o 2475
o 2473
o 2472
o 2466
o 2465
o 2464
o 2463
o 2462
o 2457
o 2456
o 2449
o 2444
o 2442
o 2437
o 2434
o 2433
o 2427
o 2425
o 2419
o 2418
o 2412
o 2408
o 2404
o 2403
o 2402
o 2395
o 2388
o 2384
o 2382
o 2381
o 2377
o 2376
o 2374
o 2373
o 2369
o 2367
o 2363
o 2361
o 2359
o 2356
o 2354
o 2353
o 2351
o 2350
o 2349
o 2348
o 2342
o 2337
o 2329
o 2326
o 2323
o 2319
o 2315
o 2314
o 2312
o 2311
o 2309
o 2307
o 2304
o 2302
o 2299
o 2295
o 2294
o 2291
o 2290
o 2283
o 2276
o 2273
o 2268
o 2266
o 2265
o 2264
o 2261
o 2260
o 2259
o 2258
o 2253
o 2247
o 2243
o 2241
c Learned clauses = 0
c NB_MONO= 811, NB_BRANCHE= 3193, NB_BACK= 1629 
s OPTIMUM FOUND
c Optimal Solution = 2241
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 0
14.500u 0.011s 0:14.54 99.7%	0+0k 0+0io 0pf+0w