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-40-2_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 863
c lw 1546
c lw 2532
c lw 3958
c lw 4982
c lw 6168
c lw 7204
c lw 7215
c lw 7492
c lw 7503
c lw 7725
c lw 7928
c lw 7959
c lw 8525
c lw 8575
c lw 8609
c lw 8987
c lw 9077
c lw 9124
c lw 9158
c lw 9174
c lw 9488
c lw 9535
c lw 9536
c lw 9553
c lw 9584
c lw 9586
c lw 9670
c lw 9691
c lw 9743
c lw 9745
c lw 9761
c lw 9793
c lw 9941
c lw 10266
c lw 10458
c lw 10478
c lw 10588
c lw 10683
c lw 10713
c lw 10723
c lw 10735
c lw 10739
c lw 10758
c lw 10773
c lw 10790
c lw 10791
c lw 10802
c lw 10844
c lw 10869
c lw 10875
c lw 10881
c lw 10891
c lw 10903
c lw 10907
c lw 10912
c lw 10923
c lw 10924
c lw 10925
c lw 10928
c lw 10933
c lw 10944
c lw 10959
c lw 10965
c lw 11012
c lw 11023
c lw 11079
c lw 11272
c lw 11307
c lw 11387
c lw 11528
c lw 11591
c lw 11627
c lw 11767
c lw 12534
c lw 12625
c lw 13015
c lw 13046
c lw 13081
c lw 13083
c lw 13960
c lw 14126
c lw 14152
c lw 14196
c lw 14236
c lw 14327
c lw 14974
c lw 15037
c lw 15220
c lw 15315
c lw 15463
c lw 15480
c lw 15507
c lw 15551
c lw 15580
c lw 15602
c lw 15747
c lw 15808
c lw 15821
c lw 15890
c lw 15896
c lw 15918
c lw 15951
c lw 15965
c lw 15968
c lw 15983
c lw 16795
c lw 16815
c lw 16851
c lw 16854
c lw 16869
c lw 16873
c lw 16874
c lw 16887
c lw 16912
c lw 17394
c lw 17436
c lw 17453
c lw 17474
c lw 17478
c lw 17482
c lw 17483
c lw 17488
c lw 17495
c lw 17528
c lw 17656
c lw 17660
c lw 17665
c lw 17668
c lw 17671
c lw 17672
c lw 17673
c lw 17674
c lw 17678
c lw 17683
c lw 17685
c lw 17687
c lw 17690
c lw 17693
c lw 17856
c lw 17951
c lw 17982
c lw 17995
c lw 18120
c lw 18172
c lw 18202
c lw 18223
c lw 18385
c lw 18415
c lw 18419
c lw 18514
c lw 18515
c lw 18516
c lw 18529
c lw 18530
c lw 18535
c lw 18540
c lw 18545
c lw 18558
c lw 18683
c lw 18688
c lw 18735
c lw 18751
c lw 18765
c lw 18783
c lw 18786
c lw 18801
c lw 18835
c lw 18896
c lw 19401
c lw 19402
c lw 19414
c lw 19453
c lw 19478
c lw 19483
c lw 19497
c lw 19528
c lw 19529
c lw 19534
c lw 19539
c lw 19541
c lw 19547
c lw 19591
c lw 19594
c lw 19599
c lw 19604
c lw 19609
c lw 19610
c lw 19641
c lw 19642
c lw 20095
c lw 20313
c lw 20330
c lw 20520
c lw 20599
c lw 20775
c lw 20780
c lw 20783
c lw 20799
c lw 20802
c lw 20803
c lw 20818
c lw 20933
c lw 21010
c lw 21011
c lw 21013
c lw 21014
c lw 21015
c lw 21018
c lw 21019
c lw 21023
c lw 21024
c lw 21025
c lw 21026
c lw 21027
c lw 21028
c lw 21029
c lw 21031
c lw 21032
c lw 21033
c lw 21039
c lw 21040
c lw 21041
c lw 21044
c lw 21045
c lw 21050
c lw 21053
c lw 21054
c lw 21058
c lw 21059
c lw 21060
c lw 21062
c lw 21063
c lw 21111
c lw 21273
c lw 21274
c lw 21276
c lw 21277
c lw 21278
c lw 21279
c lw 21280
c lw 21281
c lw 21282
c lw 21283
c lw 21284
c lw 21285
c lw 21302
c lw 21334
c lw 21351
c lw 21495
c lw 21541
c lw 21545
c lw 21603
c lw 21623
c lw 21654
c lw 21665
c lw 21677
c lw 21678
c lw 21679
c lw 21680
c lw 21681
c lw 21682
c lw 21710
c lw 21727
c lw 21745
c lw 21746
c lw 21759
c lw 21776
c lw 21920
c lw 21944
c lw 21945
c lw 21946
c lw 21947
c lw 21955
c lw 21995
c lw 21997
c lw 22063
c lw 22077
c lw 22094
c lw 22095
c lw 22112
c lw 22113
c lw 22115
c lw 22116
c lw 22117
c lw 22139
c lw 22274
c lw 22320
c lw 22321
c lw 22322
c lw 22323
c lw 22325
c lw 22328
c lw 22341
c lw 22342
c lw 22345
c lw 22348
c lw 22349
c lw 22358
c lw 22364
c lw 22400
c lw 22408
c lw 22448
c lw 22449
c lw 22463
c lw 22480
c lw 22481
c lw 22498
c lw 22499
c lw 22501
c lw 22502
c lw 22503
c lw 22525
c lw 22600
c lw 22601
c lw 22602
c lw 22603
c lw 22663
c lw 22708
c lw 22709
c lw 22710
c lw 22711
c lw 22713
c lw 22716
c lw 22729
c lw 22924
c lw 24080
c lw 24244
c lw 24314
c lw 24412
c lw 24436
c lw 24508
c lw 24638
c lw 25027
c lw 25028
c lw 25952
c lw 26171
c lw 26393
c lw 26481
c lw 26598
c lw 26615
c lw 26930
c lw 27818
c lw 27842
c lw 27866
c lw 27944
c lw 27975
c lw 27994
c lw 28114
c lw 28199
c lw 28230
c lw 28251
c lw 28261
c lw 28360
c lw 28361
c lw 28362
c lw 28599
c lw 28632
c lw 28635
c lw 28838
c lw 28862
c lw 29000
c lw 29016
c lw 29027
c lw 29084
c lw 29162
c lw 29186
c lw 29199
c lw 29465
c lw 29494
c lw 29610
c lw 29623
c lw 29681
c lw 29714
c lw 29717
c lw 29730
c lw 29754
c lw 29781
c lw 29784
c lw 29794
c lw 29817
c lw 29818
c lw 29896
c lw 29937
c lw 29948
c lw 29953
c lw 29964
c lw 29975
c lw 29980
c lw 30005
c lw 30054
c lw 30056
c lw 30059
c lw 30065
c lw 30067
c lw 30072
c lw 30078
c lw 30080
c lw 30083
c lw 30094
c lw 30508
c lw 30652
c lw 30913
c lw 30940
c lw 31453
c lw 31455
c lw 31456
c lw 31457
c lw 31459
c lw 31460
c lw 32404
c lw 32479
c lw 32607
c lw 32622
c lw 32648
c lw 33195
c lw 33674
c lw 33710
c lw 33750
c lw 33786
c lw 33949
c lw 34072
c lw 35372
c lw 35374
c lw 35386
c lw 35953
c lw 36109
c lw 36558
c lw 36681
c lw 36682
c lw 36683
c lw 36684
c lw 36685
c lw 36686
c lw 36687
c lw 36688
c lw 36689