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_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2845
o 2844
o 2841
o 2840
o 2833
o 2829
o 2828
o 2820
o 2815
o 2810
o 2808
o 2805
o 2803
o 2801
o 2799
o 2796
o 2795
o 2792
o 2789
o 2787
o 2785
o 2783
o 2781
o 2779
o 2776
o 2768
o 2767
o 2763
o 2762
o 2761
o 2757
o 2751
o 2750
o 2746
o 2745
o 2742
o 2741
o 2737
o 2735
o 2734
o 2723
o 2722
o 2720
o 2716
o 2699
o 2698
o 2694
o 2692
o 2682
o 2680
o 2678
o 2677
o 2675
o 2672
o 2670
o 2668
o 2666
o 2656
o 2653
o 2650
o 2639
o 2636
o 2631
o 2626
o 2622
o 2621
o 2620
o 2619
o 2611
o 2610
o 2609
o 2603
o 2599
o 2596
o 2595
o 2591
o 2588
o 2585
o 2583
o 2572
o 2569
o 2568
o 2565
o 2562
o 2560
c 525 branches 3467 propagates
c total generalized unit propagation = 4293, success = 7.01%
s OPTIMUM FOUND
c Optimal Solution = 2560
v 68 90 105 10 -147 87 -136 138 -71 -6 92 66 74 -88 101 56 -35 -31 83 119 75 -129 81 -116 91 -29 -118 5 -39 47 -17 -4 100 -94 -73 -145 70 42 -79 112 113 -109 150 -59 -93 -137 -51 -132 -97 -104 -25 -55 -50 -23 -20 8 9 146 12 107 41 61 3 126 134 27 -38 -28 123 -58 44 135 -40 65 102 -46 139 19 76 34 64 63 128 -127 122 18 -131 -1 -49 117 -60 -114 82 -62 -85 33 54 -37 -80 148 -140 -77 86 -52 22 98 121 124 -11 53 -2 141 -24 -110 -95 -32 115 96 143 108 149 -30 111 7 144 -84 103 36 57 89 142 130 78 -45 16 -99 106 -43 -120 -125 26 -15 -69 -13 67 133 -21 14 -72 48
2.158u 0.002s 0:02.17 99.0%	0+0k 0+0io 0pf+0w