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_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2599
o 2595
o 2581
o 2575
o 2574
o 2572
o 2553
o 2551
o 2548
o 2529
o 2527
o 2513
o 2511
o 2499
o 2498
o 2490
o 2488
o 2480
o 2478
o 2476
o 2467
o 2465
o 2459
o 2457
o 2455
o 2449
o 2445
o 2443
o 2439
o 2435
o 2432
o 2430
o 2428
o 2425
o 2422
o 2418
o 2412
o 2407
o 2403
o 2398
o 2397
o 2396
o 2391
o 2389
o 2387
o 2385
o 2380
o 2372
o 2370
o 2368
o 2362
o 2359
o 2357
o 2356
o 2353
c 598 branches 2892 propagates
c total generalized unit propagation = 3969, success = 12.07%
s OPTIMUM FOUND
c Optimal Solution = 2353
v -88 -107 -38 -102 -84 -40 65 150 18 124 -24 144 80 10 -81 82 -134 19 95 -22 -135 -36 -100 -6 23 -127 118 120 12 -93 -32 -15 72 48 -8 77 78 46 53 114 -145 51 -149 63 -35 -106 -25 -28 -117 -30 -101 123 -69 129 -13 98 131 126 34 -103 29 -54 89 -67 -41 60 37 -26 -110 44 75 132 55 -96 -125 70 -115 33 137 -45 91 140 47 -64 -2 -108 133 73 74 -119 -20 -147 -142 66 -94 -76 -141 -104 143 -16 92 109 87 -122 -43 85 11 -50 68 146 -9 3 -128 -27 -49 -90 -83 58 1 136 56 -52 -111 -7 105 113 14 -4 31 -21 -57 42 59 -17 -97 -116 138 -39 -139 -5 71 121 -61 86 62 -130 79 99 112 -148
10.421u 0.003s 0:10.48 99.4%	0+0k 0+0io 0pf+0w