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
o 2699
o 2689
o 2676
o 2669
o 2665
o 2660
o 2657
o 2653
o 2652
o 2649
o 2642
o 2639
o 2633
o 2630
o 2625
o 2622
o 2617
o 2612
o 2610
o 2609
o 2606
o 2604
o 2601
o 2595
o 2593
o 2589
o 2586
o 2584
o 2575
o 2572
o 2567
o 2558
o 2556
o 2553
o 2550
o 2538
o 2535
o 2528
o 2526
o 2525
o 2519
o 2514
o 2513
o 2511
o 2498
o 2496
o 2484
o 2481
o 2474
o 2470
o 2468
o 2465
o 2455
o 2454
o 2453
o 2450
o 2448
o 2441
o 2438
o 2432
o 2430
o 2424
o 2410
o 2407
o 2406
o 2403
o 2394
o 2390
c 461 branches 2575 propagates
c total generalized unit propagation = 3277, success = 7.35%
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
4.602u 0.003s 0:04.60 100.0%	0+0k 0+0io 0pf+0w