Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27836
WARNING: Ubcsat not found.
o 27836
o 5887
o 5885
o 5872
o 5870
o 5868
o 5852
o 5850
o 5841
o 5838
o 5833
o 5827
o 5820
o 5808
o 5806
o 5791
o 5786
o 5782
o 5780
o 5772
o 5766
o 5763
o 5745
o 5741
o 5733
o 5731
o 5722
o 5720
o 5718
o 5713
o 5711
o 5708
o 5702
o 5698
o 5688
o 5684
o 5674
o 5667
o 5654
o 5652
o 5650
o 5648
o 5644
o 5640
o 5638
o 5637
o 5626
o 5624
o 5614
o 5611
o 5609
o 5603
o 5595
o 5592
o 5591
o 5588
o 5576
o 5567
o 5564
o 5563
o 5557
o 5551
o 5542
o 5541
o 5536
o 5534
o 5532
o 5531
o 5529
o 5525
o 5523
o 5521
o 5520
o 5517
o 5512
o 5508
o 5507
o 5497
o 5490
o 5489
o 5488
o 5475
o 5473
o 5471
o 5470
o 5469
o 5468
o 5467
o 5460
o 5451
o 5444
o 5441
o 5440
o 5431
o 5425
o 5424
o 5423
o 5422
o 5421
o 5418
o 5412
o 5410
o 5405
o 5399
o 5394
o 5393
o 5392
o 5385
o 5384
o 5377
o 5372
o 5366
o 5360
o 5359
o 5357
o 5350
o 5348
o 5345
o 5341
o 5340
o 5338
o 5337
o 5335
o 5330
o 5328
o 5327
o 5326
o 5324
o 5318
o 5315
o 5312
c Learned clauses = 0
c NB_MONO= 499, NB_BRANCHE= 26617, NB_BACK= 13373 
s OPTIMUM FOUND
c Optimal Solution = 5312
v 1 2 -3 4 -5 6 -7 -8 9 -10 11 12 13 14 15 -16 17 -18 19 -20 21 22 23 24 25 26 27 28 -29 30 31 -32 -33 -34 35 36 37 38 -39 40 41 -42 -43 44 45 46 47 48 49 -50 51 -52 53 54 -55 56 -57 58 59 -60 -61 -62 -63 64 65 66 -67 -68 -69 70 -71 -72 73 -74 75 -76 77 -78 79 80 -81 82 83 84 85 -86 -87 88 -89 90 91 -92 93 -94 -95 96 97 -98 -99 -100 101 -102 103 -104 -105 106 107 108 109 -110 111 112 -113 -114 -115 116 -117 118 -119 120 121 -122 123 -124 -125 -126 -127 -128 129 130 131 132 -133 134 -135 136 -137 138 139 140 141 -142 -143 -144 -145 146 147 148 149 -150 0
351.544u 0.010s 5:52.30 99.7%	0+0k 0+0io 0pf+0w