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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1041
c lw 2627
c lw 4183
c lw 4901
c lw 6120
c lw 6715
c lw 7674
c lw 8419
c lw 8912
c lw 10251
c lw 10794
c lw 11564
c lw 12642
c lw 13985
c lw 14523
c lw 15404
c lw 16237
c lw 17240
c lw 18067
c lw 19184
c lw 20562
c lw 21592
c lw 22797
c lw 24595
c lw 24619
c lw 24838
c lw 26135
c lw 27179
c lw 27704
c lw 29114
c lw 30119
c lw 31819
c lw 32754
c lw 33728
c lw 34769
c lw 35275
c lw 35854
c lw 36599
c lw 37389
c lw 37516
c lw 37609
c lw 37736
c lw 37757
c lw 38556
c lw 39006
c lw 39047
c lw 39366
c lw 39871
c lw 40003
c lw 40858
c lw 40885
c lw 41617
c lw 41707
c lw 42104
c lw 42414
c lw 42684
c lw 44040
c lw 44540
c lw 44546
c lw 45047
c lw 45245
c lw 45692
c lw 45716
c lw 45822
c lw 46607
c lw 46854
c lw 47041
c lw 47276
c lw 47732
c lw 48002
c lw 48607
c lw 48892
c lw 49708
c lw 49781
c lw 49979
c lw 50689
c lw 50863
c lw 50909
c lw 51900
c lw 52597
c lw 52599
c lw 52893
c lw 53328
c lw 53640
c lw 54140
c lw 54465
c lw 54631
c lw 55051
c lw 55841
c lw 55974
c lw 56215
c lw 56782
c lw 56995
c lw 57364
c lw 57391
c lw 57398
c lw 57408
c lw 57658
c lw 57752
c lw 58028
c lw 58945
c lw 59060
c lw 59309
c lw 59407
c lw 59509
c lw 60116
c lw 60149
c lw 60327
c lw 60498
c lw 60879
c lw 60906
c lw 61131
c lw 61573
c lw 61665
c lw 61949
c lw 62315
c lw 62325
c lw 62416
c lw 62544
c lw 62585
c lw 63533
c lw 63793
c lw 63799
c lw 64124
c lw 64178
c lw 64956
c lw 65180
c lw 65558
c lw 65897
c lw 66173
c lw 67413
c lw 67909
c lw 67918
c lw 68811
c lw 69202
c lw 69266
c lw 69516
c lw 69722
c lw 69857
c lw 69930
c lw 70396
c lw 70925
c lw 70999
c lw 71324
c lw 71483
c lw 71791
c lw 71808
c lw 71911
c lw 72460
c lw 72771
c lw 72880
c lw 72972
c lw 72974
c lw 73114
c lw 73432
c lw 73951
c lw 74068
c lw 74537
c lw 75024
c lw 75173
c lw 75389
c lw 75455
c lw 75488
c lw 75512
c lw 75574
c lw 75657
c lw 75726
c lw 75870
c lw 76796
c lw 76994
c lw 77140
c lw 77168
c lw 77277
c lw 77462
c lw 77464
c lw 78233
c lw 78438
c lw 78558
c lw 78612
c lw 78724
c lw 78768
c lw 78853
c lw 78965
c lw 79687
c lw 79934
c lw 79971
c lw 80061
c lw 80524
c lw 80544
c lw 80551
c lw 80586
c lw 80862
c lw 81508
c lw 81646
c lw 81779
c lw 81830
c lw 82785
c lw 83558
c lw 83588
c lw 83668
c lw 83672
c lw 84142
c lw 84254
c lw 84319
c lw 84352
c lw 84951
c lw 85523
c lw 85972
c lw 86576
c lw 86617
c lw 86833
c lw 86850
c lw 86855
c lw 87160
c lw 87424
c lw 87771
c lw 87870
c lw 88171
c lw 88430
c lw 88642
c lw 88795
c lw 89084
c lw 89094
c lw 89369
c lw 89414
c lw 89417
c lw 89760
c lw 90008
c lw 90065
c lw 90245
c lw 90318
c lw 90643
c lw 90986
c lw 91116
c lw 91132
c lw 91211
c lw 91272
c lw 91339
c lw 92275
c lw 92621
c lw 92685
c lw 92712
c lw 92715
c lw 92721
c lw 93292
c lw 93746
c lw 93755
c lw 93834
c lw 93850
c lw 93856
c lw 93880
c lw 94129
c lw 94170
c lw 94503
c lw 94987
c lw 95190
c lw 95900
c lw 95973
c lw 96158
c lw 96180
c lw 96381
c lw 96417
c lw 96698
c lw 96981
c lw 97150
c lw 97165
c lw 97166
c lw 97266
c lw 97282
c lw 97420
c lw 97445
c lw 97446
c lw 98382
c lw 98425
c lw 99064
c lw 99111
c lw 99560
c lw 99755
c lw 99952
c lw 100149
c lw 100173
c lw 100175
c lw 100179
c lw 100320
c lw 100460
c lw 100472
c lw 100528
c lw 100561
c lw 100567
c lw 100720
c lw 100731
c lw 100873
c lw 100879
c lw 100947
c lw 101032
c lw 101121
c lw 101294
c lw 101665
c lw 101957
c lw 102401
c lw 103443
c lw 103936
c lw 103953
c lw 104108
c lw 104226
c lw 104407
c lw 104441
c lw 104661
c lw 105461
c lw 106049
c lw 106323
c lw 106342
c lw 107073
c lw 107076
c lw 108092
c lw 108262
c lw 108500
c lw 108835
c lw 109050
c lw 109258
c lw 109279
c lw 109460
c lw 109859
c lw 110837
c lw 110907
c lw 110980
c lw 111064
c lw 111109
c lw 111142
c lw 111163
c lw 111225
c lw 112133
c lw 112329
c lw 112873
c lw 113653
c lw 114045
c lw 114321
c lw 114401
c lw 115133
c lw 115173
c lw 115635
c lw 115887
c lw 116392
c lw 116837
c lw 117765
c lw 117947
c lw 118134
c lw 118168
c lw 118691
c lw 119107
c lw 119143
c lw 119207
c lw 119295
c lw 119483
c lw 120079
c lw 120146
c lw 120450
c lw 120811
c lw 120875
c lw 121169
c lw 121287
c lw 121820
c lw 122093
c lw 122297
c lw 122321
c lw 122384
c lw 122519
c lw 122839
c lw 123048
c lw 123514
c lw 123525
c lw 123570
c lw 123864
c lw 124057
c lw 124246
c lw 124697
c lw 124826
c lw 124920
c lw 125002
c lw 125129
c lw 125243
c lw 125295
c lw 125392
c lw 125474
c lw 125564
c lw 125643
c lw 125698
c lw 126094
c lw 126551
c lw 126658
c lw 126670
c lw 126891
c lw 127494
c lw 128368
c lw 128725
c lw 129137
c lw 129468
c lw 129564
c lw 129740
c lw 130253
c lw 130300
c lw 130420
c lw 130461
c lw 130482
c lw 130551
c lw 131786
c lw 131830
c lw 132232
c lw 132436
c lw 132860
c lw 133340
c lw 133389
c lw 133509
c lw 133579
c lw 134322
c lw 134327
c lw 134328
c lw 134396
c lw 134448
c lw 134453
c lw 134456
c lw 134462
c lw 134535
c lw 134552
c lw 134555
c lw 134601
c lw 134641
c lw 134647
c lw 134651
c lw 134715
c lw 134781
c lw 134798
c lw 134799
c lw 135018
c lw 135060
c lw 135084
c lw 135482
c lw 135814
c lw 136274
c lw 136409
c lw 136461
c lw 136610
c lw 136726
c lw 137151
c lw 137155
c lw 137567
c lw 137733
c lw 137876
c lw 138605
c lw 138626
c lw 138636
c lw 138670
c lw 139337
c lw 139436
c lw 139450
c lw 139890
c lw 139912
c lw 140141
c lw 140535
c lw 140885
c lw 140889
c lw 141022
c lw 141089
c lw 141117
c lw 141235
c lw 141413
c lw 141546
c lw 141684
c lw 141813
c lw 141859
c lw 141924
c lw 141963
c lw 142961
c lw 143024
c lw 143230
c lw 143232
c lw 143278
c lw 143293
c lw 143393
c lw 143598
c lw 144108
c lw 144116
c lw 144607
c lw 144726
c lw 144729
c lw 144770
c lw 145108
c lw 145776
c lw 145805
c lw 145864
c lw 145893
c lw 145919
c lw 145942
c lw 146455
c lw 146461
c lw 146900
c lw 146930
c lw 146931
c lw 146947
c lw 146949
c lw 147030
c lw 147045
c lw 147055
c lw 147060
c lw 147086
c lw 147089
c lw 147104
c lw 147145
c lw 147146
c lw 147217
c lw 147973
c lw 147991
c lw 148042
c lw 148049
c lw 148086
c lw 148153
c lw 148160
c lw 148171
c lw 148211
c lw 148232
c lw 148466
c lw 148484
c lw 148485
c lw 148510
c lw 148528
c lw 148536
c lw 148544
c lw 148561
c lw 148569
c lw 148570
c lw 148576
c lw 149737
c lw 149871
c lw 150042
c lw 150248
c lw 150264
c lw 150311
c lw 150352
c lw 150832
c lw 150917
c lw 150920
c lw 150930
c lw 151033
c lw 151039
c lw 151074
c lw 151079
c lw 151311
c lw 151337
c lw 151342
c lw 151365
c lw 151370
c lw 151373
c lw 151379
c lw 151411
c lw 151417
c lw 151436
c lw 151446
c lw 151448
c lw 151451
c lw 151456
c lw 151459
c lw 151461
c lw 151570
c lw 151575
c lw 151608
c lw 151610
c lw 151616
c lw 151622
c lw 151623
c lw 151624
c lw 151625
c lw 151627
c lw 151628
c lw 151632
c lw 151635
c lw 151642
c lw 151643
c lw 151645
c lw 151651
c lw 151653
c lw 151654
c lw 151659
c lw 151673
c lw 151674
c lw 151679
c lw 151680
c lw 151681
c lw 151682
c lw 151683
c lw 151684
c lw 151685
c lw 151686
c lw 151687
c lw 151688
c lw 151689
c lw 151695
c lw 151696
c lw 151699
c lw 151700
c lw 151701
c lw 151702
c lw 151705
c lw 151706
c lw 151707
c lw 151708
c lw 151709
c lw 151711
c lw 151712
c lw 151713
c lw 151714
c lw 151715
c lw 151716
c lw 151717
c lw 151718
c lw 151719
c lw 151720
c lw 151721
c lw 151722
c lw 151723
c lw 151724
c lw 151776
c lw 151799
c lw 151800
c lw 151812
c lw 151814
c lw 151819
c lw 151820
c lw 151822
c lw 151826
c lw 151827
c lw 151828
c lw 151829
c lw 151830
c lw 151831
c lw 151838
c lw 151841
c lw 151842
c lw 151843
c lw 151845
c lw 151846
c lw 151848
c lw 151849
c lw 152108
c lw 152159
c lw 152393
c lw 152398
c lw 152400
c lw 152413
c lw 152415
c lw 152418
c lw 152419
c lw 152420
c lw 152423
c lw 152425
c lw 152426
c lw 152428
c lw 152433
c lw 152439
c lw 152659
c lw 152661
c lw 152664
c lw 152665
c lw 152666
c lw 152667
c lw 152672
c lw 152673
c lw 152674
c lw 152969
c lw 152972
c lw 152974
c lw 152975
c lw 152977
c lw 152979
c lw 152982
c lw 152993
c lw 152994
c lw 153003
c lw 153008
c lw 153009
c lw 153012
c lw 153013
c lw 153014
c lw 153016
c lw 153017
c lw 153019
c lw 153022
c lw 153023
c lw 153024
c lw 153027
c lw 153029
c lw 154233
c lw 154286
c lw 154490
c lw 154491
c lw 154492
c lw 154493
c lw 154495
c lw 154993
c lw 155705
c lw 155825
c lw 156247
c lw 157414
c lw 157566
c lw 158028
c lw 158424
c lw 158592
c lw 159581
c lw 159999
c lw 160279
c lw 160536
c lw 161518
c lw 161587
c lw 161639
c lw 162723
c lw 162725
c lw 162946
c lw 163049
c lw 163111
c lw 163132
c lw 163348
c lw 163425
c lw 163531
c lw 163723
c lw 163775
c lw 163791
c lw 163857
c lw 163983
c lw 163984
c lw 163985
c lw 163986
c lw 163987
c lw 164485
c lw 164486
c lw 164487
c lw 164488
c lw 164490
c lw 164491
c lw 164492
c lw 164494
c lw 164495
c lw 164828
c lw 164936
c lw 165002
c lw 165409
c lw 165505
c lw 165808
c lw 165827
c lw 165848
c lw 166071
c lw 166857
c lw 167278
c lw 167997
c lw 168907
c lw 168927
c lw 168969
c lw 169672
c lw 170910
c lw 171014
c lw 171075
c lw 171480
c lw 171737
c lw 171841
c lw 171988
c lw 172049
c lw 172057
c lw 172104
c lw 172144
c lw 172224
c lw 172279
c lw 172350
c lw 172357
c lw 172397
c lw 172405
c lw 172426
c lw 172434
c lw 172537
c lw 172544
c lw 172545
c lw 172546
c lw 172547
c lw 172548
c lw 172549
c lw 172550
c lw 172551
c lw 172552
c lw 172553
c lw 172554
c lw 172555
c lw 172556
c lw 172557
c lw 172558
c lw 172559
c lw 172560
c lw 172561
c lw 172562
c lw 172563
c lw 172564
c lw 172565
c lw 172566
c lw 172567
c lw 172568
c lw 172569
c lw 172570
c lw 172571
c lw 172572
c lw 172573