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-50-2_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 295
c lw 686
c lw 885
c lw 1771
c lw 3165
c lw 4621
c lw 4626
c lw 4863
c lw 4892
c lw 6341
c lw 6352
c lw 7452
c lw 7590
c lw 7939
c lw 7944
c lw 7987
c lw 8086
c lw 8133
c lw 8224
c lw 8735
c lw 9058
c lw 9087
c lw 9859
c lw 10064
c lw 10761
c lw 10986
c lw 11091
c lw 11448
c lw 11550
c lw 11694
c lw 11854
c lw 11899
c lw 12081
c lw 12086
c lw 12334
c lw 12347
c lw 12352
c lw 13397
c lw 13512
c lw 13793
c lw 13835
c lw 14052
c lw 14209
c lw 14299
c lw 14374
c lw 14383
c lw 14410
c lw 14549
c lw 14553
c lw 14582
c lw 14770
c lw 14808
c lw 14816
c lw 14859
c lw 14906
c lw 14972
c lw 15240
c lw 15319
c lw 15467
c lw 15486
c lw 15505
c lw 15546
c lw 15556
c lw 15580
c lw 15587
c lw 15617
c lw 15749
c lw 15753
c lw 15770
c lw 15887
c lw 15901
c lw 15920
c lw 15939
c lw 15951
c lw 15980
c lw 15990
c lw 16014
c lw 16023
c lw 16039
c lw 16056
c lw 16190
c lw 16249
c lw 16262
c lw 16287
c lw 16391
c lw 16400
c lw 16461
c lw 16481
c lw 16523
c lw 16657
c lw 16706
c lw 16810
c lw 16901
c lw 16909
c lw 16952
c lw 16958
c lw 17065
c lw 17155
c lw 17160
c lw 17172
c lw 17187
c lw 17202
c lw 17214
c lw 17251
c lw 17263
c lw 17817
c lw 18533
c lw 18567
c lw 18607
c lw 18615
c lw 18887
c lw 19063
c lw 19125
c lw 19157
c lw 19300
c lw 19377
c lw 19479
c lw 19498
c lw 19763
c lw 20448
c lw 20648
c lw 20667
c lw 20769
c lw 20846
c lw 21051
c lw 21111
c lw 21120
c lw 21135
c lw 21151
c lw 21166
c lw 21233
c lw 21248
c lw 21264
c lw 21279
c lw 21288
c lw 21316
c lw 21348
c lw 21431
c lw 21508
c lw 21527
c lw 21548
c lw 21617
c lw 21628
c lw 21711
c lw 21743
c lw 21771
c lw 21780
c lw 21788
c lw 21791
c lw 21795
c lw 21809
c lw 21811
c lw 21826
c lw 21828
c lw 21866
c lw 21881
c lw 21893
c lw 21908
c lw 21924
c lw 21939
c lw 21948
c lw 21958
c lw 21964
c lw 21975
c lw 21983
c lw 22008
c lw 22062
c lw 22167
c lw 22311
c lw 22716
c lw 22733
c lw 22736
c lw 22740
c lw 22754
c lw 22756
c lw 22771
c lw 22773
c lw 22800
c lw 22815
c lw 22831
c lw 22841
c lw 22846
c lw 22855
c lw 22856
c lw 22877
c lw 22883
c lw 22888
c lw 22915
c lw 22916
c lw 22925
c lw 22933
c lw 23084
c lw 23148
c lw 23156
c lw 23162
c lw 23181
c lw 23198
c lw 23286
c lw 23302
c lw 23305
c lw 23458
c lw 23482
c lw 23686
c lw 23692
c lw 23755
c lw 23796
c lw 23837
c lw 23847
c lw 23861
c lw 23901
c lw 23904
c lw 23907
c lw 23912
c lw 23924
c lw 23932
c lw 23956
c lw 23965
c lw 23973
c lw 23979
c lw 23981
c lw 23992
c lw 24003
c lw 24012
c lw 24022
c lw 24030
c lw 24039
c lw 24044
c lw 24047
c lw 24054
c lw 24057
c lw 24232
c lw 24500
c lw 24653
c lw 25129
c lw 25170
c lw 25668
c lw 26218
c lw 26226
c lw 26238
c lw 26240
c lw 26242
c lw 26254
c lw 26262
c lw 26275
c lw 26281
c lw 26289
c lw 26292
c lw 26296
c lw 26297
c lw 26310
c lw 26312
c lw 26320
c lw 26648
c lw 26687
c lw 27056
c lw 27088
c lw 27139
c lw 27254
c lw 27941
c lw 28279
c lw 28748
c lw 28772
c lw 28804
c lw 28899
c lw 28973
c lw 29005
c lw 29037
c lw 29073
c lw 29088
c lw 29090
c lw 29120
c lw 29163
c lw 29201
c lw 29203
c lw 29296
c lw 29328
c lw 29379
c lw 29682
c lw 30130
c lw 30190
c lw 30321
c lw 30458
c lw 30506
c lw 30508
c lw 30829
c lw 30843
c lw 30961
c lw 31018
c lw 31102
c lw 31176
c lw 31180
c lw 31182
c lw 31217
c lw 31308
c lw 31312
c lw 31369
c lw 31386
c lw 31390
c lw 31443
c lw 31475
c lw 31482
c lw 31558
c lw 31608
c lw 31648
c lw 31654
c lw 31656
c lw 31680
c lw 31694
c lw 31736
c lw 31740
c lw 31757
c lw 31814
c lw 31832
c lw 31839
c lw 31853
c lw 31855
c lw 31946
c lw 32359
c lw 32490
c lw 32887
c lw 32967
c lw 33137
c lw 33243
c lw 33315
c lw 33320
c lw 33343
c lw 33350
c lw 33387
c lw 33418
c lw 33464
c lw 33490
c lw 33549
c lw 33785
c lw 33792
c lw 33802
c lw 33823
c lw 33828
c lw 33924
c lw 33936
c lw 34043
c lw 34235
c lw 34327
c lw 34333
c lw 34367
c lw 34446
c lw 34452
c lw 34717
c lw 34768
c lw 34865
c lw 34877
c lw 35140
c lw 35496
c lw 35899
c lw 36049
c lw 36202
c lw 36351
c lw 36358
c lw 36365
c lw 36372
c lw 36376
c lw 36382
c lw 36389
c lw 36391
c lw 36397
c lw 36401
c lw 36405
c lw 36418
c lw 36419
c lw 36426
c lw 36427
c lw 36433
c lw 36434
c lw 36448
c lw 36449
c lw 36450
c lw 36454
c lw 36464
c lw 36473
c lw 36475
c lw 36478
c lw 36479
c lw 36480
c lw 36485
c lw 36486
c lw 36489
c lw 36491
c lw 36495
c lw 36496
c lw 36521
c lw 36536
c lw 36553
c lw 36566
c lw 36573
c lw 36580
c lw 36587
c lw 36591
c lw 36592
c lw 36597
c lw 36604
c lw 36608
c lw 36610
c lw 36611
c lw 36612
c lw 36616
c lw 36617
c lw 36618
c lw 36619
c lw 36620
c lw 36621
c lw 36622
c lw 36624
c lw 36626
c lw 36630
c lw 36631
c lw 36632
c lw 36633
c lw 36634
c lw 36636
c lw 36637
c lw 36638
c lw 36639
c lw 36641
c lw 36647
c lw 36649
c lw 36650
c lw 36651
c lw 36653
c lw 36655
c lw 36656
c lw 36657
c lw 36658
c lw 36659
c lw 36662
c lw 36663
c lw 36664
c lw 36665
c lw 36666
c lw 36667
c lw 36669
c lw 36673
c lw 36675
c lw 36676
c lw 36678
c lw 36680
c lw 36684
c lw 36686
c lw 36687
c lw 36688
c lw 36689
c lw 36690
c lw 36691
c lw 36693
c lw 36694
c lw 36695
c lw 36696
c lw 36697
c lw 36698
c lw 36699
c lw 36700
c lw 36701
c lw 36702
c lw 36703
c lw 36704
c lw 36705
c lw 36706
c lw 36708
c lw 36709
c lw 36710
c lw 36711
c lw 36712
c lw 36713
c lw 36714
c lw 36715
c lw 36716
c lw 36717
c lw 36725
c lw 36726
c lw 36728
c lw 36741
c lw 36840
c lw 36885
c lw 36979
c lw 37052
c lw 37459
c lw 37589
c lw 37675
c lw 38313
c lw 38751
c lw 38788
c lw 39187
c lw 39190
c lw 39460
c lw 39645
c lw 39706
c lw 39998
c lw 40169
c lw 40263
c lw 40693
c lw 40969
c lw 41117
c lw 41165
c lw 41379
c lw 41395
c lw 41416
c lw 41421
c lw 41466
c lw 41660
c lw 41694
c lw 41791
c lw 41927
c lw 41982
c lw 42053
c lw 42101
c lw 42108
c lw 42124
c lw 42126
c lw 42237
c lw 42267
c lw 42281
c lw 42317
c lw 42753
c lw 42787
c lw 42788
c lw 42789
c lw 42790
c lw 42791
c lw 42792
c lw 42793
c lw 42794
c lw 42795
c lw 42796
c lw 42797
c lw 42798
c lw 42799
c lw 42800
c lw 42801
c lw 42802
c lw 42803
c lw 42804
c lw 42805
c lw 42806
c lw 42807
c lw 42808
c lw 42809
c lw 42810
c lw 42811
c lw 42812
c lw 42813
c lw 42814