Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-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/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2500 13561
WARNING: Ubcsat not found.
o 13561
o 2665
o 2657
o 2655
o 2653
o 2652
o 2650
o 2649
o 2647
o 2644
o 2643
o 2640
o 2639
o 2630
o 2626
o 2623
o 2621
o 2618
o 2615
o 2613
o 2612
o 2609
o 2608
o 2604
o 2601
o 2600
o 2598
o 2597
o 2595
o 2594
o 2591
o 2589
o 2587
o 2586
o 2583
o 2582
o 2578
o 2575
o 2569
o 2566
o 2564
o 2563
o 2561
o 2553
o 2544
o 2543
o 2539
o 2533
o 2530
o 2524
o 2520
o 2517
o 2512
o 2510
o 2509
o 2507
o 2506
o 2503
o 2502
o 2500
o 2498
o 2495
o 2494
o 2492
o 2490
o 2489
o 2488
o 2484
o 2481
o 2480
o 2478
o 2476
o 2473
o 2471
o 2469
o 2468
o 2466
o 2465
o 2463
o 2461
o 2459
o 2456
o 2454
o 2452
o 2450
o 2448
o 2447
o 2445
o 2443
o 2441
o 2439
o 2435
o 2433
o 2421
o 2419
o 2417
o 2414
o 2412
o 2411
o 2409
o 2408
o 2406
o 2405
o 2400
o 2398
o 2397
o 2395
o 2385
o 2383
o 2381
o 2379
o 2376
o 2374
o 2371
o 2369
o 2368
o 2366
o 2365
o 2364
o 2355
o 2350
o 2349
o 2347
o 2344
o 2342
o 2341
o 2339
o 2337
o 2332
o 2330
o 2329
o 2324
o 2317
o 2316
o 2314
o 2313
o 2312
o 2311
o 2308
o 2306
o 2299
o 2297
o 2294
o 2291
o 2287
o 2286
o 2284
o 2281
o 2279
o 2276
o 2275
o 2273
o 2267
o 2264
o 2263
o 2260
o 2259
o 2256
o 2255
o 2254
o 2250
o 2249
o 2243
o 2242
o 2239
o 2236
o 2234
o 2230
o 2225
o 2224
o 2219
o 2218
o 2217
o 2213
o 2212
o 2211
o 2206
o 2203
o 2199
o 2194
o 2190
o 2186
o 2184
o 2179
o 2176
o 2172
o 2171
o 2161
o 2155
o 2150
o 2149
o 2145
o 2140
o 2138
o 2133
o 2128
o 2126
o 2123
o 2122
o 2118
o 2113
c Learned clauses = 0
c NB_MONO= 1131, NB_BRANCHE= 4989, NB_BACK= 2550 
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 0
24.623u 0.006s 0:24.68 99.7%	0+0k 0+0io 0pf+0w