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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4628
o 4626
o 4623
o 4614
o 4612
o 4610
o 4609
o 4605
o 4602
o 4601
o 4596
o 4594
o 4593
o 4592
o 4590
o 4585
o 4583
o 4582
o 4577
o 4566
o 4563
o 4560
o 4559
o 4556
o 4543
o 4534
o 4531
o 4530
o 4529
o 4527
o 4526
o 4518
o 4515
o 4513
o 4512
o 4511
o 4506
o 4502
o 4495
o 4488
o 4483
o 4476
o 4462
o 4461
o 4460
o 4456
o 4453
o 4451
o 4441
o 4439
o 4438
o 4428
o 4424
o 4421
o 4417
o 4415
o 4413
o 4410
o 4404
o 4402
o 4395
o 4392
o 4389
o 4384
o 4380
o 4377
o 4375
o 4364
o 4363
o 4361
o 4360
o 4347
o 4339
o 4335
o 4332
o 4329
o 4323
o 4311
o 4308
o 4304
o 4300
o 4299
o 4283
o 4271
o 4268
o 4259
o 4256
o 4246
o 4242
o 4237
o 4236
o 4235
c 605 branches 3255 propagates
c total generalized unit propagation = 4258, success = 9.35%
s OPTIMUM FOUND
c Optimal Solution = 4235
v 30 105 -106 -25 -44 90 -50 -104 -119 57 -22 -144 -3 -39 -96 150 -143 24 100 -79 -33 56 121 -112 -114 71 -103 -109 -9 78 -118 95 -87 141 82 -2 -113 122 -147 20 -12 99 18 -53 26 -138 120 -116 -128 115 139 -107 6 -47 72 -84 -58 124 -125 -98 -14 76 -13 88 -31 -140 21 -60 -61 74 -15 146 52 -43 19 149 -16 -29 127 77 -35 111 46 45 81 102 135 59 -69 36 48 28 42 83 -73 63 108 -130 91 -62 38 -23 -67 49 -123 10 -32 65 92 -68 85 75 -145 134 -66 -136 51 -132 -41 97 8 -34 5 70 -93 -131 89 4 40 -126 -37 148 110 86 129 -17 -137 -64 -133 142 1 -101 7 55 80 11 -54 27 117 94
4.346u 0.005s 0:04.36 99.5%	0+0k 0+0io 0pf+0w