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_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1608
o 1604
o 1601
o 1597
o 1595
o 1590
o 1589
o 1588
o 1584
o 1583
o 1582
o 1578
o 1576
o 1572
o 1571
o 1569
o 1567
o 1566
o 1565
o 1563
o 1561
o 1560
o 1551
o 1545
o 1544
o 1543
o 1542
o 1538
o 1537
o 1532
o 1527
o 1519
o 1514
o 1512
o 1511
o 1507
o 1501
o 1496
o 1492
o 1491
o 1484
o 1478
o 1472
o 1465
o 1459
o 1456
o 1455
o 1449
o 1448
o 1446
o 1445
o 1444
o 1438
o 1437
o 1433
o 1427
o 1423
o 1417
o 1414
o 1412
o 1406
o 1403
o 1397
o 1396
o 1390
o 1387
o 1380
o 1378
o 1374
o 1371
o 1366
o 1363
o 1362
o 1361
o 1356
o 1355
o 1350
o 1345
o 1342
o 1340
o 1338
o 1336
o 1334
o 1332
o 1329
o 1327
o 1326
o 1324
o 1315
o 1314
o 1313
o 1312
o 1306
o 1299
o 1298
o 1295
c 422 branches 3253 propagates
c total generalized unit propagation = 3884, success = 5.38%
s OPTIMUM FOUND
c Optimal Solution = 1295
v 4 74 147 143 -46 -37 -95 31 -41 58 63 48 -64 -55 -68 119 43 39 -29 66 82 112 22 -127 -40 110 102 -144 71 23 33 107 -52 38 -15 -78 -54 -87 120 114 108 -21 106 44 -59 -116 117 104 -7 149 -73 113 61 -89 -81 45 -8 132 -5 -20 121 115 57 146 -93 56 -47 131 -17 84 -140 -130 -83 -90 12 -134 65 67 14 -118 103 92 -150 -60 -3 -79 94 -86 -27 -50 99 18 -9 28 105 123 -30 -72 42 32 -25 91 -122 -16 -137 -96 -142 69 -34 11 145 -85 49 124 -141 88 24 10 129 6 100 -80 -53 -109 128 -126 135 70 -97 -77 -36 -133 101 148 13 75 139 35 -76 -125 -51 138 2 -19 -111 62 1 98 136 26
2.069u 0.001s 0:02.07 99.5%	0+0k 0+0io 0pf+0w