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-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/CarlosAnsotegui/WPM1/wpm1
c lw 350
c lw 1048
c lw 2188
c lw 3437
c lw 4950
c lw 6834
c lw 7458
c lw 7650
c lw 8074
c lw 8228
c lw 9061
c lw 9108
c lw 9227
c lw 9566
c lw 9944
c lw 10186
c lw 10607
c lw 11541
c lw 11704
c lw 11960
c lw 11988
c lw 12152
c lw 12423
c lw 12503
c lw 12774
c lw 12934
c lw 12981
c lw 13376
c lw 14357
c lw 14516
c lw 14719
c lw 14824
c lw 14990
c lw 15023
c lw 15062
c lw 15109
c lw 15142
c lw 15520
c lw 15798
c lw 16267
c lw 16285
c lw 17361
c lw 17408
c lw 17762
c lw 17915
c lw 18180
c lw 18182
c lw 18185
c lw 18203
c lw 18227
c lw 18382
c lw 18784
c lw 18823
c lw 18908
c lw 18982
c lw 19149
c lw 19184
c lw 19195
c lw 19282
c lw 19294
c lw 19476
c lw 19558
c lw 19708
c lw 19780
c lw 19877
c lw 19941
c lw 20175
c lw 20274
c lw 20340
c lw 20403
c lw 20509
c lw 20531
c lw 20785
c lw 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 
o 20819
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-1.net.wcnf 20819
0.951u 0.002s 0:00.98 96.9%	0+0k 0+0io 0pf+0w