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-180-1_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1080
c lw 1448
c lw 1792
c lw 3666
c lw 4012
c lw 5171
c lw 5683
c lw 5914
c lw 7089
c lw 7230
c lw 8509
c lw 9605
c lw 11600
c lw 11868
c lw 13363
c lw 13965
c lw 14704
c lw 16035
c lw 16326
c lw 16885
c lw 17001
c lw 17314
c lw 17533
c lw 17594
c lw 18224
c lw 18911
c lw 20154
c lw 20709
c lw 20834
c lw 20837
c lw 20990
c lw 21062
c lw 21909
c lw 22407
c lw 22656
c lw 22734
c lw 23434
c lw 23698
c lw 24263
c lw 24348
c lw 25070
c lw 25865
c lw 26209
c lw 26969
c lw 27507
c lw 27794
c lw 28203
c lw 28452
c lw 28740
c lw 28932
c lw 29032
c lw 29062
c lw 29277
c lw 29509
c lw 30244
c lw 30866
c lw 31124
c lw 31316
c lw 31749
c lw 31920
c lw 31955
c lw 32851
c lw 33039
c lw 33404
c lw 33969
c lw 34054
c lw 34773
c lw 34784
c lw 34953
c lw 35005
c lw 35491
c lw 35635
c lw 35813
c lw 36222
c lw 36351
c lw 36390
c lw 36398
c lw 36471
c lw 36663
c lw 36763
c lw 37001
c lw 37052
c lw 37628
c lw 37881
c lw 37949
c lw 38645
c lw 38701
c lw 38919
c lw 39439
c lw 39862
c lw 39891
c lw 40288
c lw 40487
c lw 40587
c lw 40660
c lw 41464
c lw 41627
c lw 42798
c lw 42909
c lw 43161
c lw 43248
c lw 43400
c lw 43473
c lw 43476
c lw 43654
c lw 43713
c lw 43898
c lw 43950
c lw 44564
c lw 44620
c lw 45148
c lw 45220
c lw 45436
c lw 45748
c lw 45766
c lw 45951
c lw 46288
c lw 46660
c lw 46861
c lw 47183
c lw 47901
c lw 47927
c lw 48337
c lw 48542
c lw 48638
c lw 48898
c lw 48925
c lw 49144
c lw 49300
c lw 49881
c lw 50027
c lw 50493
c lw 50678
c lw 50739
c lw 51295
c lw 51857
c lw 52151
c lw 52337
c lw 52560
c lw 53114
c lw 53505
c lw 53669
c lw 53843
c lw 54059
c lw 54082
c lw 54207
c lw 54298
c lw 54515
c lw 54747
c lw 54783
c lw 55024
c lw 55506
c lw 56048
c lw 56259
c lw 56421
c lw 57159
c lw 57411
c lw 58466
c lw 59233
c lw 59241
c lw 59258
c lw 59881
c lw 60112
c lw 60831
c lw 61353
c lw 61516
c lw 61807
c lw 62253
c lw 62549
c lw 62607
c lw 63081
c lw 63192
c lw 63206
c lw 63217
c lw 63340
c lw 63369
c lw 63929
c lw 64343
c lw 64669
c lw 65143
c lw 65157
c lw 65430
c lw 65581
c lw 65639
c lw 66073
c lw 66293
c lw 66447
c lw 66544
c lw 67080
c lw 67108
c lw 67397
c lw 67898
c lw 67960
c lw 68320
c lw 68884
c lw 68897
c lw 69608
c lw 70109
c lw 70144
c lw 70670
c lw 70849
c lw 71534
c lw 71682
c lw 71799
c lw 71822
c lw 72264
c lw 72386
c lw 72562
c lw 73367
c lw 73389
c lw 73716
c lw 74041
c lw 74092
c lw 74220
c lw 74688
c lw 74746
c lw 75385
c lw 75448
c lw 75693
c lw 75968
c lw 76480
c lw 76565
c lw 76580
c lw 76656
c lw 77294
c lw 77531
c lw 78783
c lw 78825
c lw 79010
c lw 79026
c lw 79068
c lw 79291
c lw 79305
c lw 79835
c lw 79879
c lw 80055
c lw 80177
c lw 81305
c lw 81501
c lw 82169
c lw 82258
c lw 82541
c lw 82715
c lw 82868
c lw 83177
c lw 83181
c lw 83279
c lw 83608
c lw 84432
c lw 84460
c lw 84637
c lw 84666
c lw 84765
c lw 84782
c lw 84837
c lw 84954
c lw 85294
c lw 85593
c lw 85670
c lw 85713
c lw 85887
c lw 86524
c lw 86632
c lw 87135
c lw 87241
c lw 87294
c lw 87906
c lw 88030
c lw 88115
c lw 88381
c lw 88419
c lw 88819
c lw 89226
c lw 89298
c lw 89349
c lw 89407
c lw 89473
c lw 89484
c lw 89598
c lw 89650
c lw 89653
c lw 89826
c lw 90093
c lw 91101
c lw 91119
c lw 91173
c lw 91255
c lw 91280
c lw 91357
c lw 91518
c lw 91552
c lw 91631
c lw 91755
c lw 91794
c lw 92877
c lw 93093
c lw 93112
c lw 93149
c lw 93220
c lw 93515
c lw 93623
c lw 93718
c lw 94314
c lw 94815
c lw 94837
c lw 95167
c lw 95203
c lw 95583
c lw 96319
c lw 96412
c lw 96490
c lw 96506
c lw 96829
c lw 96923
c lw 97498
c lw 97511
c lw 97658
c lw 97889
c lw 98079
c lw 98120
c lw 98129
c lw 98226
c lw 98487
c lw 99341
c lw 99391
c lw 99559
c lw 99563
c lw 100337
c lw 100905
c lw 101146
c lw 101712
c lw 101881
c lw 102046
c lw 102771
c lw 102883
c lw 103174
c lw 103195
c lw 103203
c lw 103286
c lw 103567
c lw 103581
c lw 103726
c lw 104240
c lw 105211
c lw 105309
c lw 105311
c lw 105418
c lw 105525
c lw 105822
c lw 106868
c lw 106906
c lw 107112
c lw 107138
c lw 107266
c lw 107277
c lw 107328
c lw 107380
c lw 107606
c lw 107818
c lw 108363
c lw 108610
c lw 108677
c lw 108886
c lw 108939
c lw 108950
c lw 109009
c lw 109010
c lw 109032
c lw 109236
c lw 110077
c lw 110153
c lw 110195
c lw 110245
c lw 110778
c lw 110910
c lw 111819
c lw 112162
c lw 112203
c lw 112630
c lw 112896
c lw 112910
c lw 113220
c lw 113349
c lw 113404
c lw 113776
c lw 114225
c lw 114474
c lw 115025
c lw 115038
c lw 115082
c lw 115364
c lw 115487
c lw 116362
c lw 116680
c lw 116686
c lw 116696
c lw 116740
c lw 117086
c lw 117211
c lw 117213
c lw 117221
c lw 117255
c lw 117262
c lw 117355
c lw 117601
c lw 117617
c lw 117651
c lw 117892
c lw 118175
c lw 118804
c lw 119187
c lw 119493
c lw 119576
c lw 119731
c lw 119734
c lw 120274
c lw 120418
c lw 120420
c lw 120470
c lw 120472
c lw 120494
c lw 120525
c lw 120796
c lw 120971
c lw 121548
c lw 121723
c lw 122888
c lw 123225
c lw 123246
c lw 123277
c lw 123298
c lw 123310
c lw 123319
c lw 123321
c lw 123334
c lw 123347
c lw 123449
c lw 123476
c lw 124238
c lw 124251
c lw 124267
c lw 124517
c lw 124673
c lw 125481
c lw 125554
c lw 125560
c lw 126427
c lw 126498
c lw 126645
c lw 126718
c lw 126834
c lw 127023
c lw 127041
c lw 127453
c lw 127813
c lw 128525
c lw 128596
c lw 128641
c lw 128704
c lw 128777
c lw 129454
c lw 129609
c lw 130018
c lw 130255
c lw 130622
c lw 130683
c lw 131541
c lw 132005
c lw 132437
c lw 132489
c lw 132956
c lw 134171
c lw 134435
c lw 134464
c lw 134690
c lw 134845
c lw 135001
c lw 135145
c lw 135266
c lw 135281
c lw 135506
c lw 136163
c lw 136832
c lw 136853
c lw 136967
c lw 137039
c lw 137085
c lw 137147
c lw 137427
c lw 137435
c lw 137441
c lw 137461
c lw 137560
c lw 137566
c lw 137568
c lw 137572
c lw 137574
c lw 137580
c lw 137586
c lw 137633
c lw 137659
c lw 137665
c lw 137667
c lw 137671
c lw 137679
c lw 137708
c lw 137710
c lw 137713
c lw 137714
c lw 137715
c lw 137716
c lw 137717
c lw 137721
c lw 137722
c lw 137723
c lw 137727
c lw 137729
c lw 137730
c lw 137732
c lw 137733
c lw 137735
c lw 137738
c lw 137739
c lw 137742
c lw 137743
c lw 137744
c lw 137745
c lw 137746
c lw 137747
c lw 137748
c lw 137749
c lw 137751
c lw 137752
c lw 137754
c lw 137756
c lw 137757
c lw 137758
c lw 137759
c lw 137760
c lw 137761
c lw 137762
c lw 137763
c lw 137765
c lw 137766
c lw 137767
c lw 137768
c lw 137769
c lw 137771
c lw 137772
c lw 137774
c lw 137775
c lw 137777
c lw 137784
c lw 137785
c lw 137786
c lw 137787
c lw 137788
c lw 137789
c lw 137790
c lw 137791
c lw 137792
c lw 137793
c lw 137794
c lw 137795
c lw 137796
c lw 137797
c lw 137798
c lw 137799
c lw 137800
c lw 137801
c lw 137802
c lw 137803
c lw 137804
c lw 137805
c lw 137806
c lw 137807
c lw 137808
c lw 137809
c lw 137810
c lw 137811
c lw 137812
c lw 137813
c lw 137814
c lw 137815
c lw 137816
c lw 137817
c lw 137818
c lw 137819
c lw 137820
c lw 137821
c lw 137822
c lw 137823
c lw 137824
c lw 137825
c lw 137826
c lw 137827
c lw 137828
c lw 137829
c lw 137830
c lw 137831
c lw 137832
c lw 137833
c lw 137834
c lw 137835
c lw 137837
c lw 137839
c lw 137841
c lw 137853
c lw 137900
c lw 137932
c lw 137959
c lw 138283
c lw 138718
c lw 139062
c lw 139200
c lw 139407
c lw 139408
c lw 139409
c lw 139410
c lw 139411
c lw 139412