Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-20-2_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 54 374 671427
WARNING: Ubcsat not found.
o 671427
o 57592
o 56944
o 56714
o 54269
o 53529
o 52141
o 51493
o 51263
o 48818
o 47471
o 45897
o 45002
o 44290
o 43720
o 42943
o 42146
o 41369
o 41251
o 40474
o 40417
o 39705
o 39135
o 38358
o 37561
o 36784
o 36666
o 35889
o 35640
o 34863
o 34745
o 33968
o 33401
o 32624
o 32506
o 31729
o 31075
o 30577
o 30504
o 29934
o 29233
o 29039
o 28338
o 28068
o 27995
o 27425
o 26724
o 26530
o 25829
o 25175
o 24905
o 24010
o 23356
o 23346
o 22692
o 22109
o 22079
o 21425
o 21193
o 21110
o 20509
o 20217
o 20032
o 19492
o 19487
o 19440
o 19170
o 19025
o 18764
o 18753
o 18714
o 18529
o 18518
o 18440
o 18255
c Learned clauses = 0
c NB_MONO= 15729, NB_BRANCHE= 98467, NB_BACK= 49309 
s OPTIMUM FOUND
c Optimal Solution = 18255
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 0
5.329u 0.009s 0:05.35 99.4%	0+0k 0+0io 0pf+0w