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_8.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_8.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 13573
o 2640
o 2639
o 2628
o 2622
o 2621
o 2616
o 2610
o 2607
o 2606
o 2592
o 2590
o 2587
o 2582
o 2577
o 2570
o 2562
o 2554
o 2546
o 2538
o 2526
o 2523
o 2516
o 2515
o 2512
o 2511
o 2505
o 2502
o 2501
o 2498
o 2492
o 2490
o 2484
o 2482
o 2481
o 2479
o 2478
o 2476
o 2474
o 2472
o 2468
o 2465
o 2459
o 2449
o 2445
o 2443
o 2442
o 2435
o 2432
o 2430
o 2428
o 2425
o 2421
o 2418
o 2407
o 2403
o 2398
o 2393
o 2389
o 2387
o 2385
o 2380
o 2376
o 2374
o 2372
o 2362
o 2360
o 2359
o 2357
o 2356
o 2355
o 2353
s OPTIMUM FOUND
c Optimal Solution = 2353
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 16.090 seconds.
16.088u 0.010s 0:16.17 99.5%	0+0k 0+0io 0pf+0w