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_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-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2500 13760
WARNING: Ubcsat not found.
o 13760
o 2616
o 2615
o 2608
o 2604
o 2601
o 2592
o 2591
o 2588
o 2582
o 2579
o 2578
o 2576
o 2574
o 2567
o 2566
o 2560
o 2556
o 2555
o 2553
o 2552
o 2549
o 2548
o 2545
o 2544
o 2542
o 2540
o 2531
o 2528
o 2527
o 2523
o 2522
o 2520
o 2519
o 2515
o 2514
o 2510
o 2506
o 2504
o 2502
o 2500
o 2496
o 2495
o 2493
o 2492
o 2485
o 2483
o 2482
o 2479
o 2477
o 2476
o 2475
o 2471
o 2467
o 2466
o 2465
o 2461
o 2460
o 2455
o 2451
o 2450
o 2448
o 2445
o 2443
o 2441
o 2440
o 2439
o 2438
o 2437
o 2431
o 2425
o 2418
o 2415
o 2411
o 2409
o 2404
o 2402
o 2401
o 2400
o 2398
o 2396
o 2395
o 2394
o 2392
o 2391
o 2390
o 2389
o 2387
o 2385
o 2384
o 2382
o 2379
o 2377
o 2367
o 2363
o 2361
o 2359
o 2356
o 2354
o 2353
o 2351
o 2350
o 2349
o 2339
o 2337
o 2329
o 2326
o 2323
o 2321
o 2319
o 2315
o 2314
o 2312
o 2311
o 2309
o 2306
o 2304
o 2301
o 2300
o 2299
o 2294
o 2291
o 2290
o 2283
o 2276
o 2275
o 2273
o 2269
o 2265
o 2264
o 2261
o 2260
o 2259
o 2258
o 2253
o 2252
o 2247
o 2246
o 2244
o 2243
o 2241
c Learned clauses = 0
c NB_MONO= 789, NB_BRANCHE= 5978, NB_BACK= 3024 
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
29.165u 0.006s 0:29.22 99.7%	0+0k 0+0io 0pf+0w