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-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 709
c lw 1957
c lw 2470
c lw 3073
c lw 3231
c lw 3547
c lw 4163
c lw 4442
c lw 4777
c lw 4793
c lw 5503
c lw 5891
c lw 6036
c lw 6194
c lw 6247
c lw 6424
c lw 6538
c lw 6586
c lw 6592
c lw 6608
c lw 6652
c lw 6696
c lw 6766
c lw 7206
c lw 7421
c lw 7498
c lw 7513
c lw 7534
c lw 7582
c lw 7691
c lw 7860
c lw 7954
c lw 8047
c lw 8205
c lw 8211
c lw 8227
c lw 8271
c lw 8299
c lw 8315
c lw 8356
c lw 8385
c lw 8478
c lw 8499
c lw 8507
c lw 8543
c lw 8547
c lw 8561
c lw 8692
c lw 9512
c lw 9584
c lw 9623
c lw 9764
c lw 9925
c lw 9950
c lw 9968
c lw 10078
c lw 10145
c lw 10212
c lw 10261
c lw 10289
c lw 10307
c lw 10374
c lw 10392
c lw 10394
c lw 10420
c lw 10469
c lw 10501
c lw 10526
c lw 10536
c lw 10573
c lw 10612
c lw 10617
c lw 10660
c lw 10753
c lw 10907
c lw 10954
c lw 10982
c lw 11031
c lw 11059
c lw 11064
c lw 11065
c lw 11081
c lw 11084
c lw 11116
c lw 11125
c lw 11131
c lw 11153
c lw 11154
c lw 11160
c lw 11165
c lw 11169
c lw 11198
c lw 11251
c lw 11266
c lw 11330
c lw 11352
c lw 11465
c lw 11535
c lw 11570
c lw 11689
c lw 11732
c lw 11754
c lw 11845
c lw 11850
c lw 11868
c lw 11900
c lw 11905
c lw 11933
c lw 11942
c lw 11964
c lw 11969
c lw 11975
c lw 12342
c lw 12353
c lw 12368
c lw 12373
c lw 12405
c lw 12450
c lw 12454
c lw 12458
c lw 12473
c lw 12476
c lw 12599
c lw 12608
c lw 12613
c lw 12614
c lw 12627
c lw 12629
c lw 12630
c lw 12633
c lw 12645
c lw 12647
c lw 12651
c lw 12657
c lw 12662
c lw 12663
c lw 12665
c lw 12672
c lw 12674
c lw 12675
c lw 12680
c lw 12685
c lw 12692
c lw 12700
c lw 12703
c lw 12710
c lw 13717
c lw 13718
c lw 13721
c lw 13722
c lw 13723
c lw 13724
c lw 13726
c lw 13728
c lw 13732
c lw 13733
c lw 13735
c lw 13737
c lw 13738
c lw 13739
c lw 13744
c lw 13755
c lw 13758
c lw 13763
c lw 13775
c lw 13790
c lw 13792
c lw 13795
c lw 13796
c lw 13806
c lw 13810
c lw 13811
c lw 13814
c lw 13816
c lw 13818
c lw 13819
c lw 13820
c lw 13826
c lw 13829
c lw 13830
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 13830
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-2.net.wcnf 13830
37.783u 0.170s 0:38.04 99.7%	0+0k 0+0io 0pf+0w