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-30-2_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 165
c lw 1054
c lw 2144
c lw 3502
c lw 4414
c lw 5505
c lw 6289
c lw 6530
c lw 6684
c lw 6743
c lw 7005
c lw 7369
c lw 7579
c lw 8754
c lw 8988
c lw 9253
c lw 9405
c lw 9667
c lw 10281
c lw 10460
c lw 11396
c lw 11771
c lw 11774
c lw 11967
c lw 12821
c lw 13371
c lw 13545
c lw 13600
c lw 14017
c lw 14073
c lw 14100
c lw 14132
c lw 14162
c lw 15117
c lw 15219
c lw 15299
c lw 15304
c lw 15308
c lw 15420
c lw 15568
c lw 15644
c lw 15792
c lw 15811
c lw 16120
c lw 16349
c lw 16412
c lw 16413
c lw 16591
c lw 16594
c lw 16601
c lw 16741
c lw 16792
c lw 16807
c lw 17026
c lw 17056
c lw 17115
c lw 17146
c lw 17170
c lw 17204
c lw 17209
c lw 17210
c lw 17223
c lw 17427
c lw 17438
c lw 17439
c lw 17993
c lw 18032
c lw 18063
c lw 18064
c lw 18082
c lw 18086
c lw 18088
c lw 18090
c lw 18121
c lw 18132
c lw 18134
c lw 18147
c lw 18162
c lw 18185
c lw 18225
c lw 18274
c lw 18331
c lw 18404
c lw 18973
c lw 18981
c lw 19110
c lw 19245
c lw 19257
c lw 19520
c lw 19639
c lw 19673
c lw 19674
c lw 19679
c lw 19700
c lw 19703
c lw 19710
c lw 19733
c lw 19813
c lw 19819
c lw 19853
c lw 19913
c lw 19958
c lw 20713
c lw 20790
c lw 21017
c lw 21065
c lw 21423
c lw 21557
c lw 21848
c lw 21893
c lw 21952
c lw 21962
c lw 21972
c lw 22007
c lw 22017
c lw 22027
c lw 22043
c lw 22078
c lw 22079
c lw 22110
c lw 22770
c lw 22852
c lw 23424
c lw 23425
c lw 23434
c lw 23451
c lw 23454
c lw 23458
c lw 23474
c lw 23489
c lw 23496
c lw 23506
c lw 23508
c lw 23516
c lw 24003
c lw 24004
c lw 24019
c lw 24031
c lw 24054
c lw 24437
c lw 24442
c lw 24527
c lw 24622
c lw 24630
c lw 24631
c lw 24632
c lw 24642
c lw 24649
c lw 24664
c lw 24680
c lw 24684
c lw 24687
c lw 24718
c lw 24719
c lw 24737
c lw 24753
c lw 24851
c lw 24857
c lw 24952
c lw 25003
c lw 25115
c lw 25182
c lw 25192
c lw 25202
c lw 25211
c lw 25223
c lw 25246
c lw 25261
c lw 25263
c lw 25272
c lw 25403
c lw 25589
c lw 25613
c lw 25642
c lw 25648
c lw 25649
c lw 25659
c lw 25660
c lw 25661
c lw 25668
c lw 25669
c lw 25676
c lw 25683
c lw 25684
c lw 25691
c lw 25703
c lw 25712
c lw 25715
c lw 25716
c lw 25718
c lw 25722
c lw 25726
c lw 25732
c lw 25738
c lw 25740
c lw 25744
c lw 25755
c lw 25756
c lw 25757
c lw 25761
c lw 25763
c lw 25765
c lw 25774
c lw 25778
c lw 25779
c lw 25786
c lw 25787
c lw 25788
c lw 25789
c lw 25791
c lw 25794
c lw 25795
c lw 25796
c lw 25797
c lw 25798
c lw 25799
c lw 25800
c lw 25801
c lw 25802
c lw 25803
c lw 25807
c lw 25810
c lw 25811
c lw 25812
c lw 25813
c lw 25814
c lw 25815
c lw 25818
c lw 25819
c lw 25822
c lw 25823
c lw 25824
c lw 25825
c lw 25826
c lw 25827
c lw 25828
c lw 25829
c lw 25830
c lw 25831
c lw 25832
c lw 25833
c lw 25834
c lw 25835
c lw 25836
c lw 25837
c lw 25838
c lw 25839
c lw 25840