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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 436
c lw 1746
c lw 2762
c lw 4071
c lw 5345
c lw 5373
c lw 5400
c lw 5916
c lw 6136
c lw 6381
c lw 6533
c lw 6784
c lw 7139
c lw 7242
c lw 7733
c lw 7980
c lw 8226
c lw 8253
c lw 8265
c lw 8485
c lw 8659
c lw 8702
c lw 8765
c lw 8823
c lw 8943
c lw 9530
c lw 10089
c lw 10118
c lw 10188
c lw 10431
c lw 10445
c lw 11555
c lw 11615
c lw 11653
c lw 11788
c lw 11873
c lw 12294
c lw 12316
c lw 12527
c lw 12577
c lw 12939
c lw 12999
c lw 13004
c lw 13182
c lw 13258
c lw 13535
c lw 13654
c lw 13810
c lw 13842
c lw 13989
c lw 14073
c lw 14382
c lw 14526
c lw 14557
c lw 14641
c lw 14713
c lw 14813
c lw 14832
c lw 14958
c lw 14990
c lw 15022
c lw 15056
c lw 15080
c lw 15140
c lw 15178
c lw 15199
c lw 15233
c lw 15285
c lw 15301
c lw 15503
c lw 15558
c lw 15785
c lw 15859
c lw 15871
c lw 15898
c lw 16017
c lw 16165
c lw 16208
c lw 16300
c lw 16324
c lw 16363
c lw 16368
c lw 16372
c lw 16422
c lw 16489
c lw 16648
c lw 16663
c lw 16899
c lw 16926
c lw 17078
c lw 17257
c lw 17280
c lw 17472
c lw 17524
c lw 17573
c lw 17616
c lw 17627
c lw 17683
c lw 17707
c lw 17717
c lw 17749
c lw 17786
c lw 17813
c lw 17961
c lw 17968
c lw 18023
c lw 18024
c lw 18035
c lw 18039
c lw 18047
c lw 18058
c lw 18073
c lw 18125
c lw 18139
c lw 18140
c lw 18147
c lw 18150
c lw 18154
c lw 18158
c lw 18165
c lw 18172
c lw 18173
c lw 18194
c lw 18211
c lw 18232
c lw 18239
c lw 18291
c lw 18292
c lw 18293
c lw 18294
c lw 18298
c lw 18301
c lw 18308
c lw 18309
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 
o 18309
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-6.net.wcnf 18309
10.820u 0.063s 0:10.92 99.6%	0+0k 0+0io 0pf+0w