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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 238
c lw 1342
c lw 2651
c lw 3821
c lw 3836
c lw 3869
c lw 4214
c lw 5126
c lw 5602
c lw 5673
c lw 6269
c lw 6297
c lw 6511
c lw 6610
c lw 7071
c lw 7124
c lw 7152
c lw 7187
c lw 7265
c lw 7293
c lw 7451
c lw 7490
c lw 7543
c lw 7591
c lw 7644
c lw 7684
c lw 7712
c lw 7747
c lw 7825
c lw 7842
c lw 7853
c lw 8671
c lw 8725
c lw 8823
c lw 8829
c lw 8892
c lw 8905
c lw 8922
c lw 8958
c lw 9000
c lw 9035
c lw 9062
c lw 9148
c lw 9413
c lw 10334
c lw 10460
c lw 10517
c lw 10518
c lw 10658
c lw 10693
c lw 10694
c lw 10828
c lw 11064
c lw 11093
c lw 11128
c lw 11268
c lw 11425
c lw 11468
c lw 11469
c lw 11481
c lw 11486
c lw 11739
c lw 12064
c lw 12459
c lw 12497
c lw 12621
c lw 12675
c lw 12805
c lw 12854
c lw 13140
c lw 13337
c lw 13390
c lw 13482
c lw 13546
c lw 13723
c lw 13844
c lw 13890
c lw 13941
c lw 14006
c lw 14232
c lw 14275
c lw 14324
c lw 14326
c lw 14329
c lw 14433
c lw 14454
c lw 14508
c lw 14600
c lw 14651
c lw 14690
c lw 14701
c lw 14736
c lw 15774
c lw 16034
c lw 16091
c lw 16123
c lw 16185
c lw 16277
c lw 16392
c lw 16426
c lw 16462
c lw 16511
c lw 16706
c lw 16746
c lw 16780
c lw 16816
c lw 17221
c lw 17946
c lw 18107
c lw 18139
c lw 18140
c lw 18248
c lw 18286
c lw 18461
c lw 18462
c lw 18480
c lw 18483
c lw 18497
c lw 18499
c lw 18504
c lw 18506
c lw 18539
c lw 18547
c lw 18550
c lw 18553
c lw 18555
c lw 18569
c lw 18589
c lw 18601
c lw 18602
c lw 18625
c lw 18628
c lw 18630
c lw 18632
c lw 18644
c lw 18646
c lw 18660
c lw 18664
c lw 18666
c lw 18669
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 18669
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-7.net.wcnf 18669
15.051u 0.089s 0:15.18 99.6%	0+0k 0+0io 0pf+0w