Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C2500_H150_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 1914
o 2795
o 2783
o 2780
o 2768
o 2742
o 2741
o 2739
o 2730
o 2729
o 2727
o 2725
o 2724
o 2715
o 2711
o 2710
o 2708
o 2705
o 2703
o 2702
o 2700
o 2698
o 2697
o 2695
o 2685
o 2682
o 2679
o 2678
o 2677
o 2675
o 2673
o 2670
o 2667
o 2665
o 2661
o 2658
o 2657
o 2653
o 2652
o 2649
o 2647
o 2644
o 2643
o 2639
o 2631
o 2624
o 2619
o 2617
o 2614
o 2612
o 2610
o 2609
o 2606
o 2595
o 2593
o 2592
o 2586
o 2584
o 2579
o 2578
o 2577
o 2575
o 2572
o 2567
o 2564
o 2558
o 2556
o 2553
o 2550
o 2547
o 2544
o 2538
o 2535
o 2534
o 2532
o 2528
o 2526
o 2519
o 2514
o 2507
o 2498
o 2496
o 2492
o 2490
o 2487
o 2481
o 2474
o 2470
o 2465
o 2460
o 2457
o 2456
o 2454
o 2453
o 2450
o 2448
o 2441
o 2439
o 2437
o 2432
o 2430
o 2424
o 2418
o 2410
o 2407
o 2403
o 2394
o 2390
c 620 branches 5085 propagates
c total generalized unit propagation = 2211, success = 11.67%
s OPTIMUM FOUND
c Optimal Solution = 2390
v 58 118 25 97 100 -94 137 10 -92 75 -143 62 70 -131 -135 -13 -103 -7 109 116 -102 20 -48 112 -80 -33 113 -144 124 142 -31 -5 -39 115 123 90 -150 145 -134 -106 53 127 -45 139 27 -60 73 -149 -117 120 -23 114 -41 -64 101 2 44 -22 95 -88 -32 26 30 72 119 54 -16 -105 63 99 -51 -128 49 15 3 -6 85 66 -141 38 47 -12 34 87 -78 -28 24 129 -29 43 40 86 -121 -89 125 -133 9 -14 91 71 138 -37 -50 -98 -96 -81 93 17 42 -104 74 111 -68 18 82 36 -69 -84 57 -46 -110 -107 122 -55 -52 -83 -8 126 -59 -77 -146 -132 -148 -11 1 19 -21 -130 -65 -56 4 -76 35 -67 79 136 -147 -108 61 -140
1.078u 0.002s 0:01.08 99.0%	0+0k 0+0io 0pf+0w