Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-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/CarlosAnsotegui/WPM1/wpm1
c lw 1030
c lw 2324
c lw 3351
c lw 4603
c lw 6217
c lw 6355
c lw 6830
c lw 6867
c lw 6908
c lw 6968
c lw 7005
c lw 7098
c lw 7113
c lw 7135
c lw 7330
c lw 7477
c lw 7510
c lw 7573
c lw 7633
c lw 7674
c lw 7806
c lw 7921
c lw 8371
c lw 8394
c lw 8479
c lw 8517
c lw 8676
c lw 8761
c lw 8764
c lw 8783
c lw 9121
c lw 9298
c lw 9424
c lw 9573
c lw 9782
c lw 10727
c lw 10856
c lw 10932
c lw 11082
c lw 11198
c lw 11327
c lw 11817
c lw 11881
c lw 12249
c lw 12364
c lw 12624
c lw 12645
c lw 12762
c lw 12891
c lw 12900
c lw 12948
c lw 13007
c lw 13022
c lw 13332
c lw 13368
c lw 13483
c lw 13499
c lw 13614
c lw 13676
c lw 13680
c lw 13715
c lw 13743
c lw 13791
c lw 13826
c lw 13907
c lw 14077
c lw 14092
c lw 14107
c lw 14230
c lw 14340
c lw 15271
c lw 15834
c lw 15840
c lw 16072
c lw 16147
c lw 16607
c lw 16627
c lw 16642
c lw 16655
c lw 16750
c lw 16878
c lw 16908
c lw 16915
c lw 16930
c lw 16931
c lw 16959
c lw 16960
c lw 16974
c lw 16975
c lw 17041
c lw 17076
c lw 17099
c lw 17100
c lw 17114
c lw 17115
c lw 17122
c lw 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 
o 17124
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-9.net.wcnf 17124
3.964u 0.018s 0:03.98 99.7%	0+0k 0+0io 0pf+0w