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_me_file_rwpms_wcnf_L2_V150_C3500_H150_5.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_5.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3500 19054
WARNING: Ubcsat not found.
o 19054
o 3690
o 3685
o 3678
o 3673
o 3662
o 3661
o 3653
o 3652
o 3651
o 3650
o 3643
o 3641
o 3640
o 3639
o 3638
o 3637
o 3633
o 3629
o 3624
o 3623
o 3622
o 3618
o 3616
o 3614
o 3612
o 3608
o 3606
o 3600
o 3599
o 3597
o 3596
o 3595
o 3594
o 3592
o 3589
o 3588
o 3584
o 3583
o 3577
o 3576
o 3570
o 3569
o 3567
o 3564
o 3560
o 3559
o 3558
o 3557
o 3554
o 3553
o 3549
o 3547
o 3544
o 3540
o 3538
o 3537
o 3528
o 3527
o 3522
o 3515
o 3513
o 3512
o 3510
o 3509
o 3506
o 3505
o 3504
o 3503
o 3500
o 3499
o 3497
o 3495
o 3493
o 3492
o 3490
o 3489
o 3486
o 3484
o 3481
o 3480
o 3479
o 3477
o 3465
o 3464
o 3461
o 3457
o 3454
o 3453
o 3450
c Learned clauses = 1
c NB_MONO= 449, NB_BRANCHE= 25647, NB_BACK= 12866 
s OPTIMUM FOUND
c Optimal Solution = 3450
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
212.086u 0.010s 3:32.16 99.9%	0+0k 0+0io 0pf+0w