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_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_0.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2659
o 2656
o 2655
o 2652
o 2639
o 2638
o 2633
o 2632
o 2629
o 2625
o 2622
o 2616
o 2615
o 2601
o 2598
o 2589
o 2586
o 2576
o 2573
o 2564
o 2559
o 2551
o 2546
o 2544
o 2538
o 2534
o 2532
o 2524
o 2523
o 2521
o 2513
o 2506
o 2503
o 2501
o 2497
o 2496
o 2493
o 2488
o 2484
o 2478
o 2476
o 2473
o 2472
o 2460
o 2452
o 2450
o 2448
o 2447
o 2441
o 2440
o 2435
o 2434
o 2427
o 2415
o 2414
c 416 branches 2647 propagates
c total generalized unit propagation = 3361, success = 8.87%
s OPTIMUM FOUND
c Optimal Solution = 2414
v -145 -21 -38 39 115 124 -72 -108 -49 5 15 -129 -22 -88 45 -40 37 74 104 -68 61 70 18 7 -144 -11 -52 -130 -97 16 -67 -116 25 -56 -110 46 131 -136 -127 -133 -79 32 90 58 -87 -81 12 -62 -148 -112 -118 141 60 -89 -14 19 69 -26 66 117 -103 -53 -41 -101 13 111 125 -107 -27 92 -143 77 -64 29 105 6 150 -146 -36 75 147 2 -17 119 33 100 -98 94 -134 -109 82 43 113 47 142 -65 35 42 78 80 -76 120 -3 85 140 59 -20 -96 -138 -54 -139 48 8 -4 -34 95 57 -63 -114 -122 -28 44 126 149 86 -83 -91 99 135 -128 71 -31 -106 24 51 30 84 -23 -102 121 10 -9 -132 93 73 -1 -50 -55 123 -137
3.942u 0.000s 0:03.98 98.9%	0+0k 0+0io 0pf+0w