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-60-2_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 425
c lw 1032
c lw 1943
c lw 3382
c lw 4946
c lw 6383
c lw 7221
c lw 8766
c lw 8828
c lw 9026
c lw 9477
c lw 9525
c lw 9534
c lw 9746
c lw 10661
c lw 10750
c lw 11815
c lw 12027
c lw 12162
c lw 12256
c lw 13168
c lw 13391
c lw 13608
c lw 13770
c lw 13887
c lw 14045
c lw 14224
c lw 14243
c lw 14409
c lw 14611
c lw 14659
c lw 14823
c lw 14825
c lw 15046
c lw 15204
c lw 15276
c lw 15286
c lw 15401
c lw 15463
c lw 15558
c lw 15700
c lw 15980
c lw 15999
c lw 16700
c lw 16729
c lw 16811
c lw 17221
c lw 17670
c lw 17691
c lw 17786
c lw 18280
c lw 18427
c lw 18458
c lw 19419
c lw 19551
c lw 19788
c lw 19803
c lw 19812
c lw 19890
c lw 20244
c lw 21093
c lw 21122
c lw 22632
c lw 22849
c lw 22865
c lw 23360
c lw 23363
c lw 23379
c lw 23521
c lw 23606
c lw 23630
c lw 23682
c lw 23737
c lw 23760
c lw 23814
c lw 23844
c lw 23888
c lw 23937
c lw 24060
c lw 24376
c lw 24392
c lw 24444
c lw 24457
c lw 24577
c lw 24678
c lw 24843
c lw 24878
c lw 24895
c lw 24955
c lw 24971
c lw 24986
c lw 25036
c lw 25097
c lw 25257
c lw 25309
c lw 25538
c lw 25560
c lw 25590
c lw 25603
c lw 25648
c lw 25723
c lw 25758
c lw 25821
c lw 25824
c lw 25844
c lw 25860
c lw 25875
c lw 25925
c lw 25937
c lw 25986
c lw 25989
c lw 26051
c lw 26097
c lw 26147
c lw 26149
c lw 26182
c lw 26199
c lw 26235
c lw 26294
c lw 26499
c lw 26530
c lw 26610
c lw 26625
c lw 26641
c lw 26674
c lw 26846
c lw 27026
c lw 27043
c lw 27045
c lw 27071
c lw 27086
c lw 27184
c lw 27231
c lw 27282
c lw 27287
c lw 27749
c lw 27754
c lw 27908
c lw 27958
c lw 28150
c lw 28198
c lw 28245
c lw 28250
c lw 28298
c lw 28314
c lw 28315
c lw 28318
c lw 28340
c lw 28349
c lw 28352
c lw 28356
c lw 28375
c lw 28391
c lw 28462
c lw 28526
c lw 28556
c lw 28573
c lw 28621
c lw 28652
c lw 28750
c lw 28814
c lw 28818
c lw 28877
c lw 28909
c lw 29371
c lw 29441
c lw 29456
c lw 29473
c lw 29569
c lw 29587
c lw 29774
c lw 29907
c lw 29938
c lw 29954
c lw 30047
c lw 30156
c lw 30181
c lw 30602
c lw 30608
c lw 30663
c lw 30674
c lw 30718
c lw 30745
c lw 30805
c lw 30820
c lw 30821
c lw 30832
c lw 30867
c lw 30894
c lw 30905
c lw 30911
c lw 31271
c lw 31337
c lw 31635
c lw 31708
c lw 32954
c lw 33017
c lw 33130
c lw 33168
c lw 33180
c lw 33248
c lw 33411
c lw 33525
c lw 33605
c lw 33846
c lw 33884
c lw 33929
c lw 33963
c lw 33971
c lw 34036
c lw 34116
c lw 34151
c lw 34167
c lw 34180
c lw 34184
c lw 34186
c lw 34194
c lw 34206
c lw 34266
c lw 34303
c lw 34305
c lw 34331
c lw 34339
c lw 34343
c lw 34346
c lw 34350
c lw 34352
c lw 34360
c lw 34367
c lw 34369
c lw 34376
c lw 34573
c lw 34593
c lw 34595
c lw 34692
c lw 34700
c lw 34704
c lw 34708
c lw 34712
c lw 34715
c lw 34718
c lw 34802
c lw 34907
c lw 35055
c lw 35112
c lw 35352
c lw 36719
c lw 36868
c lw 36926
c lw 37285
c lw 37326
c lw 37363
c lw 37495
c lw 37594
c lw 37967
c lw 38172
c lw 38182
c lw 38315
c lw 38338
c lw 38346
c lw 38355
c lw 38365
c lw 38372
c lw 38375
c lw 38391
c lw 38408
c lw 38413
c lw 38436
c lw 38554
c lw 38912
c lw 38986
c lw 39127
c lw 39150
c lw 39260
c lw 39444
c lw 39447
c lw 39566
c lw 39754
c lw 40534
c lw 40550
c lw 40567
c lw 41832
c lw 42567
c lw 42996
c lw 43070
c lw 43496
c lw 43542
c lw 43627
c lw 43799
c lw 43855
c lw 44061
c lw 44076
c lw 44121
c lw 44141
c lw 44170
c lw 44203
c lw 44305
c lw 44332
c lw 44620
c lw 44636
c lw 44663
c lw 44676
c lw 44694
c lw 44705
c lw 44727
c lw 44778
c lw 44779
c lw 44809
c lw 44836
c lw 44848
c lw 44864
c lw 44877
c lw 44891
c lw 44899
c lw 44904
c lw 44911
c lw 44921
c lw 44943
c lw 44951
c lw 45100
c lw 45157
c lw 45342
c lw 45425
c lw 45487
c lw 45969
c lw 45977
c lw 45998
c lw 46048
c lw 46069
c lw 46077
c lw 46105
c lw 46138
c lw 46145
c lw 46202
c lw 46227
c lw 46235
c lw 46237
c lw 46246
c lw 46313
c lw 46328
c lw 46349
c lw 47275
c lw 47389
c lw 47571
c lw 47585
c lw 47606
c lw 47701
c lw 47756
c lw 47760
c lw 47761
c lw 47762
c lw 47764
c lw 47772
c lw 47775
c lw 47777
c lw 47780
c lw 47781
c lw 47782
c lw 47783
c lw 47784
c lw 47785
c lw 47788
c lw 47789
c lw 47790
c lw 47793
c lw 47794
c lw 47795
c lw 47798
c lw 47801
c lw 47802
c lw 47803
c lw 47804
c lw 48680
c lw 48749
c lw 48954
c lw 49188
c lw 49565
c lw 49570
c lw 49572
c lw 49573
c lw 49574
c lw 49577
c lw 49587
c lw 49590
c lw 49599
c lw 49601
c lw 49602
c lw 49620
c lw 49626
c lw 49639
c lw 49642
c lw 49647
c lw 49655
c lw 49659
c lw 49660
c lw 49662
c lw 49663
c lw 49668
c lw 49670
c lw 49672
c lw 49689
c lw 49702
c lw 49771
c lw 49772
c lw 49774
c lw 49778
c lw 49781
c lw 49786
c lw 49787
c lw 49788
c lw 49789
c lw 49791
c lw 49792
c lw 49795
c lw 49796
c lw 49797
c lw 49798
c lw 49799
c lw 49801
c lw 49802
c lw 49848
c lw 49912
c lw 49917
c lw 49943
c lw 49993
c lw 50023
c lw 50066
c lw 50096
c lw 50154
c lw 50177
c lw 50178
c lw 50179
c lw 50243
c lw 50268
c lw 50270
c lw 50271
c lw 50272
c lw 50273
c lw 50274
c lw 50275
c lw 50276
c lw 50277
c lw 50309
c lw 50310
c lw 50312
c lw 50318
c lw 50325
c lw 50392
c lw 50397
c lw 50398
c lw 50407
c lw 50414
c lw 50428
c lw 50429
c lw 50431
c lw 50437
c lw 50445
c lw 50449
c lw 50456
c lw 50479
c lw 50480
c lw 50481
c lw 50483
c lw 50522
c lw 50533
c lw 50554
c lw 50563
c lw 50588
c lw 50597
c lw 50598
c lw 50599
c lw 50631
c lw 50636
c lw 50694
c lw 50695
c lw 50696
c lw 50697
c lw 50698
c lw 50699
c lw 50700
c lw 50732
c lw 50792
c lw 51291
c lw 51300
c lw 51365
c lw 51433
c lw 51902
c lw 51959
c lw 51982
c lw 51983
c lw 51984
c lw 51989
c lw 51994
c lw 51995
c lw 51996
c lw 51998
c lw 52003
c lw 52009
c lw 52010
c lw 52011
c lw 52012
c lw 52014
c lw 52025
c lw 52048
c lw 52058
c lw 52063
c lw 52067
c lw 52068
c lw 52069
c lw 52070
c lw 52071
c lw 52076
c lw 52078
c lw 52084
c lw 52088
c lw 52089
c lw 52090
c lw 52091
c lw 52092
c lw 52093
c lw 52094
c lw 52095
c lw 52096
c lw 52097
c lw 52098
c lw 52099
c lw 52100
c lw 52101
c lw 52278
c lw 52284
c lw 52285
c lw 52286
c lw 52287
c lw 52289
c lw 52339
c lw 52415
c lw 52472
c lw 52481
c lw 52483
c lw 52485
c lw 52487
c lw 52488
c lw 52490
c lw 52497
c lw 52498
c lw 52500
c lw 52576
c lw 52587
c lw 53038
c lw 53305
c lw 53386
c lw 53391
c lw 53535
c lw 53554
c lw 53893
c lw 54270
c lw 54299
c lw 54328
c lw 54334
c lw 54345
c lw 54355
c lw 54361
c lw 54366
c lw 54372
c lw 54469
c lw 54480
c lw 54487
c lw 54489
c lw 54491
c lw 54493
c lw 54495
c lw 54502
c lw 54503
c lw 54614
c lw 54639
c lw 54640
c lw 54642
c lw 54643
c lw 54644
c lw 54645
c lw 54646
c lw 54647
c lw 54648
c lw 54649
c lw 54650
c lw 54651
c lw 54652
c lw 54653
c lw 54654
c lw 54655
c lw 54656
c lw 54657
c lw 54659
c lw 54660
c lw 54661
c lw 54662
c lw 54663
c lw 54664
c lw 54665
c lw 54666
c lw 54667
c lw 54668
c lw 54669
c lw 54670
c lw 54671
c lw 54672
c lw 54673
c lw 54674
c lw 54675
c lw 54676
c lw 54677
c lw 54678
c lw 54679
c lw 54680
c lw 54681
c lw 54682
c lw 54683
c lw 54684
c lw 54685
c lw 54686
c lw 54687
c lw 54688
c lw 54689
c lw 54690
c lw 54691
c lw 54692
c lw 54693
c lw 54694
c lw 54695
c lw 54696
c lw 54697
c lw 54698
c lw 54699
c lw 54700
c lw 54701
c lw 54702
c lw 54703
c lw 54704
c lw 54705
c lw 54706
c lw 54707
c lw 54708
c lw 54709
c lw 54710
c lw 54711
c lw 54712
c lw 54713
c lw 54714
c lw 54715
c lw 54716
c lw 54717
c lw 54718
c lw 54719
c lw 54720
c lw 54721
c lw 54722
c lw 54723
c lw 54724
c lw 54725
c lw 54726
c lw 54727
c lw 54728
c lw 54729
c lw 54730
c lw 54731
c lw 54732
c lw 54733
c lw 54734
c lw 54735
c lw 54736
c lw 54737
c lw 54738
c lw 54739
c lw 54740
c lw 54741
c lw 54742
c lw 54743
c lw 54744
c lw 54745
c lw 54746
c lw 54747
c lw 54748
c lw 54749
c lw 54750
c lw 54751
c lw 54752
c lw 54753
c lw 54754
c lw 54755
c lw 54756
c lw 54757
c lw 54758
c lw 54759
c lw 54760
c lw 54761
c lw 54762
c lw 55014
c lw 55430
c lw 55484
c lw 55498
c lw 55638
c lw 55693
c lw 55717
c lw 55720
c lw 55721
c lw 55722
c lw 55723
c lw 55757
c lw 55965
c lw 56087
c lw 56167
c lw 56503
c lw 56557
c lw 56571
c lw 56626
c lw 56874
c lw 56955
c lw 56969
c lw 56971
c lw 56972
c lw 56973
c lw 56974
c lw 56975
c lw 56976