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
c first lower bound: 3627
o 4849
o 4833
o 4828
o 4821
o 4812
o 4800
o 4784
o 4769
o 4761
o 4759
o 4754
o 4751
o 4745
o 4737
o 4733
o 4725
o 4717
o 4710
o 4706
o 4704
o 4701
o 4698
o 4690
o 4678
o 4669
o 4653
o 4644
o 4638
o 4631
o 4628
o 4625
o 4622
o 4619
o 4604
o 4603
o 4599
o 4594
o 4591
o 4587
o 4582
o 4581
o 4579
o 4578
o 4577
o 4573
o 4571
o 4570
o 4561
o 4557
o 4555
o 4552
o 4551
o 4544
o 4542
o 4535
o 4532
o 4525
o 4521
o 4519
o 4516
o 4514
o 4502
o 4500
o 4498
o 4497
o 4492
o 4491
o 4490
o 4485
o 4478
o 4473
o 4468
o 4464
o 4463
o 4458
o 4452
o 4450
o 4444
o 4439
o 4435
o 4434
o 4428
o 4424
o 4419
o 4418
o 4415
o 4411
o 4399
o 4398
o 4397
o 4394
o 4393
o 4390
o 4381
o 4379
o 4377
o 4367
o 4363
o 4351
o 4349
o 4342
o 4328
c 1113 branches 6758 propagates
c total generalized unit propagation = 4344, success = 18.58%
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
6.719u 0.002s 0:06.74 99.5%	0+0k 0+0io 0pf+0w