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_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_0.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27631
WARNING: Ubcsat not found.
o 27631
o 5936
o 5930
o 5927
o 5907
o 5904
o 5901
o 5897
o 5892
o 5888
o 5885
o 5884
o 5882
o 5873
o 5869
o 5867
o 5864
o 5861
o 5859
o 5848
o 5844
o 5842
o 5839
o 5827
o 5820
o 5811
o 5807
o 5802
o 5795
o 5794
o 5790
o 5786
o 5771
o 5766
o 5762
o 5761
o 5760
o 5747
o 5745
o 5744
o 5742
o 5739
o 5736
o 5729
o 5726
o 5725
o 5721
o 5717
o 5716
o 5715
o 5713
o 5712
o 5711
o 5709
o 5704
o 5702
o 5697
o 5696
o 5695
o 5690
o 5689
o 5688
o 5685
o 5684
o 5681
o 5675
o 5674
o 5673
o 5672
o 5671
o 5667
o 5664
o 5662
o 5659
o 5655
o 5639
o 5637
o 5632
o 5629
o 5625
o 5621
o 5619
o 5617
o 5610
o 5609
o 5605
o 5603
o 5599
o 5598
o 5594
o 5591
o 5582
o 5577
o 5574
o 5560
o 5546
o 5539
o 5526
o 5524
o 5521
o 5515
o 5514
o 5510
o 5508
o 5500
o 5499
o 5498
o 5497
o 5496
o 5495
o 5491
o 5480
o 5479
o 5478
o 5476
o 5474
o 5473
o 5461
o 5459
o 5458
o 5454
o 5452
o 5451
o 5449
o 5448
o 5445
o 5440
o 5439
o 5436
o 5433
o 5432
o 5429
o 5427
o 5423
o 5418
o 5415
o 5411
o 5406
o 5404
o 5399
o 5396
o 5393
o 5392
o 5391
o 5389
o 5386
o 5384
o 5378
o 5372
o 5365
o 5363
o 5362
c Learned clauses = 0
c NB_MONO= 479, NB_BRANCHE= 8241, NB_BACK= 4170 
s OPTIMUM FOUND
c Optimal Solution = 5362
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
67.313u 0.012s 1:07.34 99.9%	0+0k 0+0io 0pf+0w