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_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4723
o 4707
o 4705
o 4697
o 4695
o 4694
o 4689
o 4686
o 4684
o 4681
o 4679
o 4676
o 4675
o 4673
o 4672
o 4664
o 4663
o 4662
o 4652
o 4651
o 4641
o 4640
o 4632
o 4630
o 4628
o 4619
o 4618
o 4615
o 4604
o 4599
o 4591
o 4588
o 4580
o 4575
o 4566
o 4558
o 4553
o 4543
o 4541
o 4533
o 4522
o 4518
o 4517
o 4515
o 4501
o 4498
o 4492
o 4478
o 4475
o 4467
o 4463
o 4456
o 4450
o 4443
o 4441
o 4436
o 4433
o 4430
o 4427
o 4425
o 4423
o 4420
o 4419
o 4417
o 4410
o 4403
o 4396
o 4390
o 4388
o 4379
o 4378
o 4376
o 4375
o 4369
o 4365
o 4362
o 4356
o 4352
o 4349
o 4346
o 4345
o 4342
o 4334
o 4333
o 4322
o 4311
o 4303
o 4302
o 4299
o 4295
o 4290
o 4288
o 4281
o 4280
o 4272
o 4269
o 4267
o 4265
o 4264
o 4263
o 4261
o 4257
o 4252
o 4251
o 4247
o 4246
o 4239
o 4235
o 4222
o 4220
o 4218
o 4217
o 4213
o 4205
o 4202
o 4201
o 4199
o 4195
o 4194
o 4193
o 4192
o 4184
o 4182
o 4179
o 4177
o 4176
o 4175
o 4174
o 4173
o 4171
o 4166
o 4163
o 4153
o 4144
c 1969 branches 8368 propagates
c total generalized unit propagation = 11973, success = 13.66%
s OPTIMUM FOUND
c Optimal Solution = 4144
v -58 46 -100 42 -68 116 12 -62 22 4 92 -86 -55 1 -69 30 -127 129 106 -99 -71 -11 60 -82 148 -120 -90 8 -28 76 -142 93 -45 49 102 144 -139 -136 10 110 -130 -117 138 -109 52 -16 -61 -122 -111 -74 -63 84 -78 105 56 -143 -133 13 59 -121 32 2 -107 -140 47 67 -141 3 -132 -91 -41 -77 -65 -150 75 -96 -125 48 -108 17 26 43 -27 113 -79 64 -73 40 6 -124 123 -19 85 -98 -72 135 -66 -14 -88 29 50 -23 -25 -128 -137 18 -36 -54 112 34 -9 103 -7 -39 24 51 -101 -94 80 -81 134 -35 -20 57 21 -126 115 -145 -95 -146 147 37 -104 -83 15 119 -31 -70 -118 -33 38 87 89 131 -5 -53 -114 97 -149 -44
49.617u 0.004s 0:49.63 99.9%	0+0k 0+0io 0pf+0w