Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-20-2_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 46 277 525610
WARNING: Ubcsat not found.
o 525610
o 58144
o 58132
o 58012
o 55818
o 54495
o 54483
o 54363
o 52169
o 51654
o 51119
o 49280
o 49060
o 48960
o 47311
o 47179
o 46591
o 45460
o 45449
o 44861
o 43730
o 43556
o 43545
o 42957
o 41826
o 41615
o 41604
o 41016
o 39885
o 39260
o 39249
o 38661
o 37530
o 37356
o 37345
o 36757
o 35626
o 35069
o 33938
o 33618
o 33607
o 33019
o 31888
o 31278
o 31267
o 30679
o 29548
o 29374
o 29363
o 28775
o 27644
o 27444
o 26327
o 25257
o 24904
o 24822
o 24257
o 24017
o 23771
o 23533
o 22746
o 22722
o 22146
o 22064
o 21853
o 21688
o 21063
o 20819
c Learned clauses = 0
c NB_MONO= 3269, NB_BRANCHE= 28274, NB_BACK= 14178 
s OPTIMUM FOUND
c Optimal Solution = 20819
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 0
0.695u 0.005s 0:00.70 98.5%	0+0k 0+0io 0pf+0w