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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4589
o 4586
o 4585
o 4582
o 4577
o 4576
o 4570
o 4569
o 4565
o 4562
o 4553
o 4547
o 4543
o 4530
o 4527
o 4523
o 4522
o 4516
o 4508
o 4501
o 4495
o 4494
o 4489
o 4488
o 4484
o 4483
o 4472
o 4471
o 4467
o 4459
o 4457
o 4454
o 4452
o 4448
o 4445
o 4443
o 4441
o 4436
o 4432
o 4428
o 4423
o 4419
o 4411
o 4404
o 4398
o 4397
o 4390
o 4389
o 4386
o 4381
o 4375
o 4358
o 4346
o 4342
o 4340
o 4333
o 4328
o 4324
o 4316
o 4310
o 4308
o 4299
o 4298
o 4296
o 4287
o 4284
o 4282
o 4270
o 4265
o 4256
o 4255
o 4253
o 4252
o 4247
o 4244
o 4241
o 4236
o 4226
o 4217
o 4212
o 4208
o 4190
o 4183
o 4176
o 4170
o 4164
o 4161
o 4159
o 4149
c 1576 branches 6609 propagates
c total generalized unit propagation = 9549, success = 14.28%
s OPTIMUM FOUND
c Optimal Solution = 4149
v 11 17 -101 82 -139 -117 112 -119 43 149 -45 137 -113 -13 98 92 115 -42 141 107 -127 81 -20 8 144 -22 -38 110 1 -58 130 94 120 -77 56 -54 -14 35 -91 50 47 -27 31 69 -108 -95 -109 70 -10 59 39 -86 140 -32 -103 100 48 71 135 44 -65 -76 105 79 -62 61 -125 49 -124 129 84 -75 83 80 -7 24 85 138 -37 -19 -104 -148 41 -88 106 34 -142 122 -30 -16 -6 -9 23 -116 -132 -89 -118 -96 46 63 29 133 -52 111 121 -60 -136 72 2 123 134 -147 28 143 36 87 73 -93 74 -3 150 97 -55 -131 -78 -18 26 -5 -57 126 33 146 -66 90 -67 40 53 15 145 -25 68 4 -51 12 102 -128 64 114 -21 99
53.752u 0.004s 0:53.82 99.8%	0+0k 0+0io 0pf+0w