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_hi_file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4669
o 4666
o 4661
o 4654
o 4647
o 4641
o 4638
o 4634
o 4628
o 4627
o 4626
o 4620
o 4614
o 4606
o 4604
o 4599
o 4598
o 4594
o 4593
o 4592
o 4587
o 4586
o 4585
o 4577
o 4576
o 4571
o 4569
o 4567
o 4566
o 4562
o 4558
o 4555
o 4550
o 4549
o 4547
o 4542
o 4538
o 4535
o 4534
o 4533
o 4530
o 4529
o 4526
o 4524
o 4518
o 4517
o 4513
o 4505
o 4499
o 4498
o 4497
o 4492
o 4491
o 4490
o 4485
o 4478
o 4473
o 4470
o 4468
o 4464
o 4463
o 4459
o 4458
o 4452
o 4450
o 4444
o 4443
o 4439
o 4437
o 4428
o 4424
o 4419
o 4411
o 4406
o 4399
o 4397
o 4393
o 4390
o 4381
o 4379
o 4377
o 4367
o 4363
o 4351
o 4349
o 4342
o 4341
o 4328
c 796 branches 4355 propagates
c total generalized unit propagation = 5760, success = 10.57%
s OPTIMUM FOUND
c Optimal Solution = 4328
v 147 3 63 -101 115 -34 -47 140 110 -81 -14 -141 68 131 13 128 114 -20 134 -94 -136 -96 -11 38 111 82 51 -137 -150 -44 -64 -35 95 33 80 -10 43 124 -48 -148 55 106 -86 120 -54 -130 -12 -121 -5 -149 7 -70 92 -123 72 -1 -122 -26 15 22 30 125 144 -32 103 40 -93 -37 -2 -112 76 105 -135 -41 -108 100 56 -46 27 62 58 138 78 107 -39 -77 -6 -143 -126 139 67 102 50 -75 -42 87 -117 28 61 -74 -23 109 -4 118 -88 21 146 57 25 83 127 98 -17 129 142 113 69 -73 -49 -31 -65 -84 145 60 24 -90 53 -45 -132 91 -133 36 9 -16 -66 -89 79 29 -8 97 71 59 119 -104 116 -18 85 -19 -99 -52
13.241u 0.004s 0:13.33 99.3%	0+0k 0+0io 0pf+0w