Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_RAMSEY_ram_k3_n10.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n10.ra1.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 45 330 0
WARNING: Ubcsat not found.
o 169851
o 1985
o 1840
o 1763
o 1648
o 1549
o 1464
o 1233
o 1141
o 1113
o 1036
o 921
o 836
o 750
o 733
o 674
o 655
o 382
o 304
o 248
o 246
o 232
c Learned clauses = 0
c NB_MONO= 1112, NB_BRANCHE= 75494, NB_BACK= 43114 
s OPTIMUM FOUND
c Optimal Solution = 232
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 0
3.645u 0.009s 0:03.66 99.4%	0+0k 0+0io 0pf+0w