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_3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 13859
o 2713
o 2705
o 2701
o 2700
o 2696
o 2692
o 2686
o 2682
o 2680
o 2677
o 2675
o 2672
o 2671
o 2670
o 2668
o 2663
o 2659
o 2656
o 2651
o 2645
o 2644
o 2643
o 2639
o 2634
o 2631
o 2630
o 2626
o 2624
o 2619
o 2617
o 2612
o 2605
o 2603
o 2598
o 2597
o 2596
o 2589
o 2585
o 2583
o 2580
o 2577
o 2576
o 2571
o 2566
o 2561
o 2556
o 2551
o 2546
o 2543
o 2541
o 2535
o 2531
o 2530
o 2525
o 2524
o 2520
o 2519
o 2509
o 2504
o 2502
o 2501
o 2497
o 2496
o 2491
o 2490
o 2486
o 2485
o 2484
o 2479
o 2476
o 2470
o 2469
o 2467
o 2464
o 2461
o 2460
o 2455
o 2453
o 2450
o 2449
o 2445
o 2439
o 2434
o 2431
o 2425
o 2424
o 2419
o 2417
o 2415
o 2412
o 2411
o 2410
o 2407
o 2405
o 2404
o 2401
o 2399
o 2397
o 2389
o 2382
o 2380
o 2379
o 2378
o 2376
o 2373
o 2371
o 2368
o 2362
o 2360
o 2355
o 2353
o 2351
o 2346
o 2342
o 2339
s OPTIMUM FOUND
c Optimal Solution = 2339
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 10.650 seconds.
10.648u 0.003s 0:10.67 99.7%	0+0k 0+0io 0pf+0w