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_lo_file_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1415
o 1414
o 1389
o 1388
o 1375
o 1374
o 1369
o 1367
o 1365
o 1364
o 1360
o 1359
o 1357
o 1354
o 1353
o 1351
o 1350
o 1347
o 1344
o 1341
o 1339
o 1337
o 1335
o 1331
o 1329
o 1328
o 1322
o 1321
o 1318
o 1317
o 1315
o 1314
o 1311
o 1309
o 1303
o 1300
o 1299
o 1295
o 1292
o 1290
o 1289
o 1280
o 1270
o 1269
o 1265
o 1263
o 1262
o 1261
c 290 branches 2230 propagates
c total generalized unit propagation = 2686, success = 6.18%
s OPTIMUM FOUND
c Optimal Solution = 1261
v -36 23 -128 98 -142 41 60 78 133 -59 101 -114 68 -134 -72 -110 13 107 56 -148 48 75 -71 -53 -103 35 124 46 -79 -91 -109 14 -121 38 119 116 146 -95 31 -106 -69 89 -34 47 -76 24 139 -62 1 -58 39 54 145 -27 -105 102 132 -120 -6 86 70 -63 52 138 104 -123 -94 55 37 88 -83 141 -108 81 -66 -64 100 140 -131 -115 57 -126 -50 130 17 10 150 -15 51 147 80 -84 99 -97 -135 -74 137 118 -26 67 -111 96 -87 -7 12 92 -29 -93 -82 -40 -77 19 -125 112 30 -49 -144 45 -3 -42 65 -44 -28 -4 -61 -43 -129 22 -143 136 -16 122 5 -21 73 -2 20 -8 -127 149 -117 32 9 11 -85 -33 -90 113 18 25
2.338u 0.000s 0:02.34 99.5%	0+0k 0+0io 0pf+0w