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-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 968
c lw 1900
c lw 2552
c lw 3954
c lw 5503
c lw 6385
c lw 7204
c lw 8810
c lw 8860
c lw 9000
c lw 9454
c lw 10141
c lw 10155
c lw 10264
c lw 10517
c lw 10525
c lw 11193
c lw 11788
c lw 11795
c lw 12122
c lw 12708
c lw 12719
c lw 13614
c lw 14073
c lw 14081
c lw 15221
c lw 16201
c lw 16665
c lw 16674
c lw 17497
c lw 17742
c lw 17899
c lw 18571
c lw 18611
c lw 18924
c lw 19002
c lw 19454
c lw 19598
c lw 19738
c lw 20165
c lw 20172
c lw 20531
c lw 20551
c lw 20901
c lw 20905
c lw 20925
c lw 21172
c lw 21212
c lw 22077
c lw 22578
c lw 22683
c lw 22765
c lw 23157
c lw 23721
c lw 23810
c lw 24837
c lw 24903
c lw 25268
c lw 25304
c lw 25388
c lw 25489
c lw 26158
c lw 26172
c lw 26392
c lw 26434
c lw 26471
c lw 26545
c lw 26979
c lw 27232
c lw 27239
c lw 27243
c lw 27248
c lw 27350
c lw 27357
c lw 27382
c lw 27581
c lw 27582
c lw 27606
c lw 27744
c lw 27778
c lw 27786
c lw 27819
c lw 27823
c lw 29146
c lw 29189
c lw 29450
c lw 29578
c lw 30181
c lw 30538
c lw 30593
c lw 30669
c lw 30715
c lw 30766
c lw 30922
c lw 31019
c lw 31071
c lw 31315
c lw 31596
c lw 31617
c lw 31707
c lw 31784
c lw 31965
c lw 32020
c lw 32199
c lw 32215
c lw 32266
c lw 32430
c lw 32544
c lw 32644
c lw 32970
c lw 33022
c lw 33066
c lw 33088
c lw 33121
c lw 33153
c lw 33300
c lw 33315
c lw 33325
c lw 33368
c lw 33418
c lw 33606
c lw 33657
c lw 33683
c lw 33686
c lw 33785
c lw 33838
c lw 33840
c lw 33860
c lw 33914
c lw 33940
c lw 34763
c lw 34791
c lw 34817
c lw 34834
c lw 34838
c lw 34844
c lw 34868
c lw 34884
c lw 34906
c lw 34914
c lw 34957
c lw 34961
c lw 34963
c lw 34973
c lw 34985
c lw 34989
c lw 34996
c lw 35002
c lw 35008
c lw 35015
c lw 35019
c lw 35021
c lw 35022
c lw 35215
c lw 35238
c lw 35281
c lw 35293
c lw 35340
c lw 35388
c lw 35453
c lw 35556
c lw 35579
c lw 35603
c lw 35615
c lw 35638
c lw 35686
c lw 35734
c lw 35757
c lw 35769
c lw 35772
c lw 35793
c lw 35816
c lw 35828
c lw 35831
c lw 35843
c lw 36469
c lw 36490
c lw 36531
c lw 36533
c lw 36579
c lw 36602
c lw 36614
c lw 36617
c lw 36657
c lw 36682
c lw 36696
c lw 36731
c lw 36745
c lw 36756
c lw 36766
c lw 36796
c lw 36905
c lw 36925
c lw 37169
c lw 37467
c lw 37559
c lw 37569
c lw 37675
c lw 37714
c lw 37782
c lw 37882
c lw 37924
c lw 37940
c lw 37965
c lw 38131
c lw 38234
c lw 38326
c lw 38431
c lw 38578
c lw 38655
c lw 38687
c lw 38696
c lw 38699
c lw 38705
c lw 38707
c lw 38711
c lw 38717
c lw 38732
c lw 38735
c lw 38736
c lw 38744
c lw 38745
c lw 38753
c lw 38767
c lw 38769
c lw 39030
c lw 39054
c lw 39060
c lw 39075
c lw 39130
c lw 39431
c lw 39435
c lw 39783
c lw 40048
c lw 40247
c lw 40249
c lw 40264
c lw 40358
c lw 40516
c lw 40806
c lw 40833
c lw 41354
c lw 41362
c lw 41655
c lw 41697
c lw 41774
c lw 42877
c lw 43002
c lw 43026
c lw 43034
c lw 43129
c lw 43150
c lw 43158
c lw 43174
c lw 43224
c lw 43227
c lw 43235
c lw 43240
c lw 43274
c lw 43290
c lw 43295
c lw 43301
c lw 43332
c lw 43335
c lw 43340
c lw 43343
c lw 43359
c lw 43390
c lw 43471
c lw 43667
c lw 43668
c lw 43684
c lw 43711
c lw 43734
c lw 43765
c lw 43769
c lw 43786
c lw 43834
c lw 43838
c lw 43861
c lw 43863
c lw 43864
c lw 43867
c lw 43869
c lw 43877
c lw 43878
c lw 43880
c lw 43885
c lw 43888
c lw 43890
c lw 43898
c lw 43924
c lw 43926
c lw 43930
c lw 43935
c lw 43940
c lw 43945
c lw 43946
c lw 44090
c lw 44166
c lw 44381
c lw 44506
c lw 44681
c lw 44734
c lw 44745
c lw 44761
c lw 44785
c lw 44795
c lw 44801
c lw 44811
c lw 44819
c lw 44871
c lw 45067
c lw 45070
c lw 45075
c lw 45077
c lw 45080
c lw 45081
c lw 45083
c lw 45118
c lw 45130
c lw 45159
c lw 45281
c lw 45356
c lw 45432
c lw 45474
c lw 45591
c lw 45618
c lw 45639
c lw 45684
c lw 45711
c lw 45777
c lw 45807
c lw 45973
c lw 45985
c lw 46014
c lw 46044
c lw 46212
c lw 46750
c lw 46833
c lw 46919
c lw 46925
c lw 46927
c lw 46935
c lw 46959
c lw 47010
c lw 47060
c lw 47067
c lw 47068
c lw 47092
c lw 47143
c lw 47229
c lw 47235
c lw 47237
c lw 47314
c lw 47366
c lw 47475
c lw 47479
c lw 47666
c lw 47670
c lw 47672
c lw 47674
c lw 47688
c lw 47698
c lw 47703
c lw 47716
c lw 47722
c lw 47728
c lw 47734
c lw 47735
c lw 47736
c lw 47740
c lw 47744
c lw 47753
c lw 47758
c lw 47760
c lw 47763
c lw 48154
c lw 48446
c lw 48463
c lw 48506
c lw 48683
c lw 48748
c lw 49316
c lw 49434
c lw 49534
c lw 49654
c lw 49998
c lw 50066
c lw 50160
c lw 50296
c lw 50553
c lw 50722
c lw 50732
c lw 50846
c lw 50863
c lw 50950
c lw 50960
c lw 51227
c lw 51314
c lw 51324
c lw 51413
c lw 51574
c lw 51581
c lw 51727
c lw 51734
c lw 51753
c lw 52241
c lw 52585
c lw 52590
c lw 52592
c lw 52612
c lw 52655
c lw 52662
c lw 52745
c lw 52790
c lw 52846
c lw 53044
c lw 53253
c lw 53280
c lw 53308
c lw 53864
c lw 54089
c lw 54311
c lw 54319
c lw 54350
c lw 54354
c lw 54361
c lw 54412
c lw 54586
c lw 54614
c lw 54637
c lw 54641
c lw 54672
c lw 54674
c lw 54725
c lw 54729
c lw 54732
c lw 54760
c lw 54761
c lw 54764
c lw 54765
c lw 54766
c lw 54775
c lw 54778
c lw 54779
c lw 54780
c lw 54781
c lw 54782
c lw 54783
c lw 54784
c lw 54785
c lw 54786
c lw 54787
c lw 54788
c lw 54789
c lw 54790
c lw 54791
c lw 54792
c lw 54793
c lw 54794
c lw 54795
c lw 54796
c lw 54801
c lw 54802
c lw 54803
c lw 54804
c lw 54805
c lw 54806
c lw 54807
c lw 54808
c lw 54809
c lw 54810
c lw 54811
c lw 54812
c lw 54813
c lw 54814
c lw 54816
c lw 54817
c lw 54818