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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2791
o 2789
o 2788
o 2786
o 2784
o 2782
o 2779
o 2778
o 2777
o 2776
o 2775
o 2774
o 2772
o 2771
o 2768
o 2767
o 2766
o 2765
o 2763
o 2761
o 2760
o 2759
o 2757
o 2754
o 2749
o 2744
o 2743
o 2742
o 2740
o 2736
o 2735
o 2734
o 2730
o 2728
o 2726
o 2725
o 2724
o 2720
o 2719
o 2716
o 2715
o 2712
o 2711
o 2710
o 2708
o 2705
o 2701
o 2700
o 2694
o 2691
o 2689
o 2686
o 2685
o 2680
o 2674
o 2673
o 2667
o 2661
o 2655
o 2654
o 2652
o 2649
o 2646
o 2645
o 2641
o 2640
o 2636
o 2631
o 2629
o 2626
o 2620
o 2618
o 2615
o 2613
o 2607
o 2604
o 2603
o 2597
o 2594
o 2593
o 2592
o 2591
o 2588
o 2585
o 2581
o 2580
o 2578
o 2577
o 2574
o 2565
o 2564
o 2563
o 2561
o 2558
o 2556
o 2554
o 2550
o 2547
o 2544
o 2541
o 2538
o 2537
o 2533
o 2532
o 2529
o 2526
o 2525
o 2519
o 2518
o 2517
o 2515
o 2514
o 2503
o 2501
o 2500
o 2499
o 2488
c 786 branches 4305 propagates
c total generalized unit propagation = 5623, success = 9.46%
s OPTIMUM FOUND
c Optimal Solution = 2488
v 18 -21 71 -95 64 52 90 1 -94 33 -65 79 50 -20 118 -138 -126 -70 -11 38 -63 48 128 -141 -44 -122 -68 -139 47 5 -14 130 -142 -3 145 -32 -61 134 109 -28 -82 100 146 111 -125 -115 116 -26 62 -87 123 136 -149 98 -41 -66 -53 8 135 -54 -108 148 -4 -120 83 -23 91 -24 -78 -57 45 -7 -113 -127 -102 119 88 -40 -133 -55 -59 -147 31 -43 6 34 -93 58 73 -15 -129 49 84 -80 76 19 -10 46 69 106 -92 -101 150 -9 -143 -107 137 -2 -117 81 -104 -60 -56 42 -124 27 -114 -131 99 -144 -12 -140 -132 -37 77 72 22 105 103 36 -29 51 75 -85 35 -121 86 -74 67 110 -17 -112 13 97 -39 25 -30 -89 96 16
7.428u 0.004s 0:07.47 99.3%	0+0k 0+0io 0pf+0w