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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 56 325 592104
WARNING: Ubcsat not found.
o 592104
o 73287
o 71548
o 70279
o 69140
o 67501
o 66866
o 65727
o 64088
o 63435
o 63051
o 62915
o 61276
o 60195
o 59004
o 57863
o 56782
o 55591
o 54938
o 54785
o 54751
o 54098
o 53326
o 52245
o 51054
o 50401
o 50354
o 49213
o 48132
o 46941
o 46288
o 46254
o 45601
o 45541
o 45338
o 44888
o 44854
o 44651
o 44201
o 44097
o 43444
o 43291
o 43257
o 42604
o 41874
o 41221
o 41187
o 40534
o 39928
o 39881
o 38740
o 37659
o 36468
o 35815
o 35781
o 35128
o 34794
o 34760
o 34107
o 33728
o 33394
o 33360
o 33157
o 32707
o 32631
o 31440
o 30787
o 30753
o 30100
o 29766
o 29732
o 29079
o 28700
o 28366
o 28332
o 28129
o 27679
o 27425
o 27233
o 27091
o 26899
o 26404
o 26212
o 26025
o 25833
o 25691
o 25499
o 25454
o 25004
o 24812
o 24672
o 24435
o 24382
o 23985
o 23942
o 23750
o 23492
o 23262
o 22923
o 22537
o 22345
o 22205
o 21968
o 21915
o 21518
o 21497
o 21260
o 21207
o 20810
o 20698
o 20413
o 20221
o 20081
o 19844
o 19791
o 19394
o 19373
o 19136
o 19083
o 18686
o 18574
o 18460
o 18010
o 17928
o 17478
o 17463
o 17360
o 17345
o 17342
o 17139
o 17124
c Learned clauses = 0
c NB_MONO= 10241, NB_BRANCHE= 60140, NB_BACK= 30301 
s OPTIMUM FOUND
c Optimal Solution = 17124
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 0
2.085u 0.006s 0:02.10 99.0%	0+0k 0+0io 0pf+0w