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_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 927
o 1521
o 1519
o 1501
o 1499
o 1498
o 1496
o 1491
o 1489
o 1488
o 1486
o 1483
o 1480
o 1477
o 1475
o 1472
o 1469
o 1465
o 1464
o 1463
o 1462
o 1458
o 1457
o 1455
o 1454
o 1453
o 1451
o 1446
o 1443
o 1437
o 1436
o 1430
o 1429
o 1426
o 1425
o 1424
o 1420
o 1416
o 1413
o 1412
o 1411
o 1409
o 1407
o 1406
o 1404
o 1402
o 1397
o 1395
o 1394
o 1391
o 1390
o 1388
o 1385
o 1384
o 1383
o 1381
o 1380
o 1379
o 1378
o 1371
o 1368
o 1366
o 1365
o 1359
o 1356
o 1354
o 1353
o 1345
o 1343
o 1341
o 1339
o 1338
o 1334
o 1333
o 1332
o 1327
o 1324
o 1320
o 1315
o 1314
o 1312
o 1310
o 1306
o 1301
o 1298
o 1292
o 1289
o 1288
o 1287
o 1278
o 1276
o 1265
o 1261
o 1254
o 1247
o 1242
o 1235
o 1232
c 653 branches 4896 propagates
c total generalized unit propagation = 2509, success = 11.24%
s OPTIMUM FOUND
c Optimal Solution = 1232
v -38 -27 -78 99 103 94 26 -72 -110 -133 -148 -127 -123 115 4 67 61 126 36 91 100 -130 131 1 -59 19 57 125 66 98 -81 -70 -146 -56 58 -31 5 -82 136 -141 77 87 3 -11 -34 -25 -92 30 112 -40 43 143 20 -149 106 79 47 69 -121 -93 53 -6 -88 86 97 119 -49 -109 104 -13 -84 101 28 -132 -147 113 73 18 -107 -142 -128 -24 85 83 122 -41 76 45 -105 -32 51 -15 -60 -35 42 -114 -22 62 -108 23 -118 -55 -46 139 134 -75 124 -71 -2 -150 8 48 -95 37 -145 117 138 -129 144 68 -17 137 80 -102 111 -50 -16 -65 44 -90 14 -140 -74 -135 -120 29 12 89 -52 -33 21 9 10 -96 -7 -116 54 63 64 -39
1.251u 0.002s 0:01.28 97.6%	0+0k 0+0io 0pf+0w