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-240-1_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 817
c lw 2173
c lw 2986
c lw 4324
c lw 5694
c lw 5908
c lw 6320
c lw 6485
c lw 7194
c lw 8104
c lw 10065
c lw 12042
c lw 12837
c lw 14493
c lw 15690
c lw 16454
c lw 16509
c lw 18648
c lw 18780
c lw 19250
c lw 20994
c lw 22551
c lw 23991
c lw 25855
c lw 26810
c lw 27259
c lw 28190
c lw 29093
c lw 31191
c lw 32222
c lw 32600
c lw 34154
c lw 34684
c lw 34795
c lw 36173
c lw 37321
c lw 37546
c lw 37630
c lw 37741
c lw 38985
c lw 39637
c lw 39801
c lw 39874
c lw 39876
c lw 40389
c lw 40486
c lw 40512
c lw 40585
c lw 41348
c lw 42432
c lw 42436
c lw 42529
c lw 42835
c lw 42909
c lw 43062
c lw 43854
c lw 44365
c lw 45264
c lw 45700
c lw 46124
c lw 46662
c lw 47017
c lw 47653
c lw 48542
c lw 49129
c lw 50026
c lw 50386
c lw 50765
c lw 50866
c lw 52057
c lw 52478
c lw 52660
c lw 53062
c lw 53527
c lw 54061
c lw 54551
c lw 54709
c lw 54815
c lw 55038
c lw 55579
c lw 55698
c lw 55792
c lw 55851
c lw 56084
c lw 56112
c lw 56356
c lw 56595
c lw 57192
c lw 57591
c lw 57729
c lw 58062
c lw 58130
c lw 58372
c lw 58798
c lw 59371
c lw 59700
c lw 59848
c lw 60089
c lw 60253
c lw 60701
c lw 60892
c lw 61253
c lw 61661
c lw 61734
c lw 62260
c lw 62488
c lw 63048
c lw 63108
c lw 63380
c lw 63545
c lw 63557
c lw 63585
c lw 63871
c lw 64015
c lw 64270
c lw 64326
c lw 64620
c lw 64651
c lw 64833
c lw 65275
c lw 65574
c lw 65630
c lw 65783
c lw 65929
c lw 65960
c lw 66488
c lw 66682
c lw 67237
c lw 67291
c lw 67427
c lw 67552
c lw 68564
c lw 68662
c lw 68843
c lw 69251
c lw 69659
c lw 70059
c lw 70205
c lw 70303
c lw 70674
c lw 70679
c lw 70780
c lw 71658
c lw 71906
c lw 71926
c lw 72004
c lw 72051
c lw 72443
c lw 72453
c lw 72918
c lw 73593
c lw 73759
c lw 73802
c lw 74249
c lw 74363
c lw 74407
c lw 75098
c lw 75375
c lw 75394
c lw 75730
c lw 76041
c lw 76135
c lw 76194
c lw 76222
c lw 76274
c lw 76302
c lw 76445
c lw 76831
c lw 76969
c lw 77302
c lw 77370
c lw 77410
c lw 77742
c lw 77975
c lw 77998
c lw 78053
c lw 78133
c lw 78996
c lw 79366
c lw 79579
c lw 79647
c lw 79772
c lw 79799
c lw 79828
c lw 79934
c lw 79980
c lw 80486
c lw 80896
c lw 81665
c lw 81779
c lw 82427
c lw 82950
c lw 83089
c lw 83117
c lw 83153
c lw 83307
c lw 83385
c lw 83583
c lw 83598
c lw 83751
c lw 84245
c lw 84391
c lw 84396
c lw 84474
c lw 84521
c lw 84649
c lw 84730
c lw 84815
c lw 85172
c lw 85303
c lw 86179
c lw 86467
c lw 86624
c lw 86968
c lw 87378
c lw 87825
c lw 87844
c lw 88425
c lw 88449
c lw 88630
c lw 88972
c lw 89083
c lw 89168
c lw 89852
c lw 90125
c lw 90180
c lw 90662
c lw 90769
c lw 91113
c lw 91163
c lw 91211
c lw 91255
c lw 91876
c lw 91917
c lw 91975
c lw 92457
c lw 92704
c lw 93417
c lw 93908
c lw 94190
c lw 94352
c lw 94367
c lw 94423
c lw 94841
c lw 95367
c lw 95584
c lw 95669
c lw 95847
c lw 95859
c lw 95873
c lw 95874
c lw 95905
c lw 95991
c lw 96662
c lw 97101
c lw 97203
c lw 97252
c lw 97521
c lw 97760
c lw 97865
c lw 97894
c lw 98701
c lw 98753
c lw 99050
c lw 99124
c lw 99156
c lw 99458
c lw 99489
c lw 99551
c lw 99704
c lw 99883
c lw 99997
c lw 100159
c lw 100207
c lw 101010
c lw 101528
c lw 101630
c lw 101678
c lw 102827
c lw 103016
c lw 103802
c lw 104622
c lw 104665
c lw 105325
c lw 105702
c lw 106430
c lw 106535
c lw 106607
c lw 107195
c lw 107543
c lw 107574
c lw 107684
c lw 107878
c lw 107988
c lw 108044
c lw 108426
c lw 108661
c lw 108809
c lw 108824
c lw 108831
c lw 108859
c lw 109410
c lw 109470
c lw 109520
c lw 109575
c lw 109727
c lw 110211
c lw 110237
c lw 110521
c lw 110730
c lw 110742
c lw 110907
c lw 111232
c lw 111262
c lw 111441
c lw 111627
c lw 112433
c lw 112604
c lw 113151
c lw 113489
c lw 113501
c lw 113836
c lw 114604
c lw 114766
c lw 114888
c lw 115083
c lw 115432
c lw 115507
c lw 115605
c lw 115876
c lw 115878
c lw 115916
c lw 116344
c lw 116402
c lw 116636
c lw 116681
c lw 117042
c lw 117163
c lw 117272
c lw 117709
c lw 118078
c lw 118661
c lw 118750
c lw 118778
c lw 119460
c lw 119526
c lw 120031
c lw 120214
c lw 120409
c lw 120664
c lw 120760
c lw 121096
c lw 121255
c lw 121587
c lw 121593
c lw 121596
c lw 121618
c lw 121665
c lw 121753
c lw 122076
c lw 122131
c lw 123034
c lw 123179
c lw 123284
c lw 123528
c lw 123654
c lw 124116
c lw 124126
c lw 124404
c lw 124681
c lw 124949
c lw 125269
c lw 125381
c lw 125410
c lw 125421
c lw 125425
c lw 125655
c lw 125781
c lw 125874
c lw 126167
c lw 126489
c lw 126508
c lw 126721
c lw 126813
c lw 127081
c lw 127304
c lw 127493
c lw 128059
c lw 128090
c lw 128099
c lw 129097
c lw 129693
c lw 129705
c lw 129722
c lw 129733
c lw 129768
c lw 129859
c lw 129862
c lw 129863
c lw 129868
c lw 129871
c lw 130134
c lw 130786
c lw 131184
c lw 131231
c lw 131335
c lw 131821
c lw 131961
c lw 132318
c lw 132508
c lw 132716
c lw 132894
c lw 133065
c lw 133184
c lw 133263
c lw 133320
c lw 133337
c lw 133509
c lw 133670
c lw 134069
c lw 134115
c lw 134456
c lw 134661
c lw 135110
c lw 135131
c lw 135153
c lw 135423
c lw 135776
c lw 135892
c lw 136193
c lw 136327
c lw 136585
c lw 136687
c lw 136696
c lw 137021
c lw 137198
c lw 137519
c lw 137587
c lw 137590
c lw 138952
c lw 139466
c lw 139543
c lw 139574
c lw 139675
c lw 139743
c lw 139837
c lw 139852
c lw 139928
c lw 139973
c lw 140041
c lw 140050
c lw 140108
c lw 140152
c lw 140378
c lw 140811
c lw 140842
c lw 140935
c lw 141300
c lw 142192
c lw 142214
c lw 142219
c lw 142392
c lw 142665
c lw 142740
c lw 143185
c lw 143328
c lw 143377
c lw 144385
c lw 144642
c lw 145648
c lw 145688
c lw 145797
c lw 146336
c lw 146418
c lw 146483
c lw 146528
c lw 146614
c lw 146622
c lw 146721
c lw 146791
c lw 146829
c lw 146831
c lw 146861
c lw 146896
c lw 146925
c lw 147419
c lw 147446
c lw 148833
c lw 148863
c lw 148910
c lw 148913
c lw 148939
c lw 148945
c lw 148967
c lw 149142
c lw 149583
c lw 149819
c lw 150023
c lw 150623
c lw 150645
c lw 150663
c lw 151147
c lw 151163
c lw 151322
c lw 151878
c lw 152653
c lw 153257
c lw 153520
c lw 153535
c lw 153536
c lw 153603
c lw 154282
c lw 154286
c lw 154328
c lw 154413
c lw 154477
c lw 154679
c lw 155173
c lw 155374
c lw 155677
c lw 155695
c lw 155974
c lw 156045
c lw 156144
c lw 156164
c lw 156192
c lw 156214
c lw 156242
c lw 156256
c lw 156270
c lw 156278
c lw 156341
c lw 156362
c lw 156379
c lw 156396
c lw 156419
c lw 156461
c lw 157226
c lw 157231
c lw 157246
c lw 157253
c lw 157350
c lw 157366
c lw 157583
c lw 157592
c lw 157711
c lw 157862
c lw 157884
c lw 157960
c lw 158048
c lw 158143
c lw 158152
c lw 158181
c lw 158210
c lw 158239
c lw 158419
c lw 158451
c lw 158466
c lw 158480
c lw 158491
c lw 158493
c lw 158510
c lw 158512
c lw 158525
c lw 158804
c lw 158960
c lw 159162
c lw 160048
c lw 160183
c lw 160241
c lw 161561
c lw 161610
c lw 161622
c lw 161626
c lw 161627
c lw 161638
c lw 161643
c lw 161654
c lw 161655
c lw 161656
c lw 161658
c lw 161660
c lw 161684
c lw 161690
c lw 161696
c lw 161698
c lw 161699
c lw 161706
c lw 161707
c lw 161708
c lw 161709
c lw 161710
c lw 161719
c lw 161721
c lw 161725
c lw 161727
c lw 161736
c lw 161737
c lw 161738
c lw 161739
c lw 161740
c lw 161741
c lw 161742
c lw 161743
c lw 161746
c lw 162611
c lw 162736
c lw 162738
c lw 162739
c lw 162742
c lw 162743
c lw 162744
c lw 162748
c lw 162972
c lw 162973
c lw 162974
c lw 162975
c lw 162978
c lw 162983
c lw 162984
c lw 162985
c lw 162989
c lw 162990
c lw 162994
c lw 162995
c lw 163084
c lw 163521
c lw 163806
c lw 163937
c lw 164003
c lw 164007
c lw 164225
c lw 164229
c lw 164231
c lw 164295
c lw 164426
c lw 164876
c lw 164887
c lw 164946
c lw 164987
c lw 166019
c lw 167126
c lw 167177
c lw 167683
c lw 167776
c lw 167872
c lw 167951
c lw 168236
c lw 168346
c lw 168859
c lw 169089
c lw 169455
c lw 169498
c lw 169781
c lw 170025
c lw 170166
c lw 170182
c lw 170234
c lw 170625
c lw 170796
c lw 171772
c lw 171775
c lw 171887
c lw 171980
c lw 172260
c lw 172304
c lw 172343
c lw 172534
c lw 172539
c lw 172541
c lw 172549
c lw 172550
c lw 172573
c lw 172631
c lw 172670
c lw 172679
c lw 172725
c lw 172736
c lw 173079
c lw 173239
c lw 173437
c lw 173585
c lw 174058
c lw 174124
c lw 174128
c lw 174289
c lw 174797
c lw 174862
c lw 175707
c lw 176656
c lw 176727
c lw 176838
c lw 177513
c lw 177532
c lw 177736
c lw 177830
c lw 177965
c lw 178071
c lw 178090
c lw 178224
c lw 178953
c lw 178989
c lw 179148
c lw 179286
c lw 179650
c lw 179883
c lw 179898
c lw 179908
c lw 179910
c lw 179959
c lw 180670
c lw 180892
c lw 180960
c lw 180967
c lw 180986
c lw 181093
c lw 181219
c lw 181225
c lw 181234
c lw 181236
c lw 181237
c lw 181245
c lw 181251
c lw 181260
c lw 181292
c lw 181298
c lw 181406
c lw 181438
c lw 181452
c lw 181467
c lw 181579
c lw 181593
c lw 181596
c lw 181600
c lw 181604
c lw 181613
c lw 181615
c lw 181642
c lw 181653
c lw 181675
c lw 181676
c lw 181685
c lw 181694
c lw 181703
c lw 181704
c lw 181723
c lw 181751
c lw 181792
c lw 181807
c lw 181861
c lw 181864
c lw 181875
c lw 181876
c lw 181877
c lw 181882
c lw 181885
c lw 181888
c lw 181891
c lw 181895
c lw 181896
c lw 181897
c lw 181902
c lw 181903
c lw 181904
c lw 181905
c lw 181910
c lw 181957
c lw 182069
c lw 182102
c lw 182502
c lw 182512
c lw 182675
c lw 183639
c lw 183665
c lw 183865
c lw 184031
c lw 184672
c lw 185294
c lw 185386
c lw 185614
c lw 186237
c lw 186271
c lw 186291
c lw 187106
c lw 187126
c lw 187170
c lw 187272
c lw 188379
c lw 188431
c lw 188433
c lw 188912
c lw 189512
c lw 189601
c lw 189810
c lw 189954
c lw 190581
c lw 190662
c lw 190849
c lw 191036
c lw 191721
c lw 191753
c lw 191762
c lw 191767
c lw 191779
c lw 191780
c lw 191783
c lw 191792
c lw 191793
c lw 191802
c lw 191811
c lw 191946
c lw 191949
c lw 191950
c lw 191961
c lw 191964
c lw 191966
c lw 191969
c lw 191972
c lw 191977
c lw 191978
c lw 191981
c lw 191982
c lw 191983
c lw 191984
c lw 191985
c lw 191986
c lw 191987
c lw 191988
c lw 191989
c lw 191990
c lw 191993
c lw 191994
c lw 192000
c lw 192001
c lw 192003
c lw 192004
c lw 192007
c lw 192008
c lw 192010
c lw 192011
c lw 192012
c lw 192013
c lw 192014
c lw 192015
c lw 192016
c lw 192017
c lw 192018
c lw 192019
c lw 192020
c lw 192021
c lw 192022
c lw 192023
c lw 192025
c lw 192026
c lw 192027
c lw 192028
c lw 192029
c lw 192030
c lw 192031
c lw 192032
c lw 192033
c lw 192034
c lw 192035
c lw 192036
c lw 192037
c lw 192038
c lw 192039
c lw 192040
c lw 192041
c lw 192042
c lw 192043
c lw 192044
c lw 192045
c lw 192046
c lw 192047
c lw 192048
c lw 192049
c lw 192050
c lw 192051
c lw 192052
c lw 192053
c lw 192054
c lw 192055
c lw 192056
c lw 192057
c lw 192058
c lw 192059
c lw 192060
c lw 192061
c lw 192062
c lw 192063
c lw 192064
c lw 192065
c lw 192066
c lw 192067
c lw 192068
c lw 192069
c lw 192070
c lw 192071
c lw 192072
c lw 192073
c lw 192074
c lw 192075
c lw 192076
c lw 192077
c lw 192078
c lw 192079
c lw 192080
c lw 192081
c lw 192082
c lw 192181
c lw 192186
c lw 192187
c lw 192189
c lw 192190
c lw 192192
c lw 192200
c lw 192201
c lw 192202
c lw 192206
c lw 192208
c lw 192214
c lw 192217
c lw 192228
c lw 192229
c lw 192230
c lw 192231
c lw 192232
c lw 192233
c lw 192234
c lw 192235
c lw 192236
c lw 192237
c lw 192238
c lw 192239
c lw 192240
c lw 192241
c lw 192242
c lw 192243
c lw 193854
c lw 194008
c lw 194460
c lw 194576
c lw 195730
c lw 196414
c lw 196466
c lw 196518
c lw 196699
c lw 196783
c lw 196884
c lw 197248
c lw 197625
c lw 197689
c lw 198021
c lw 198331
c lw 198441
c lw 198447
c lw 198487
c lw 198866
c lw 199313
c lw 199471
c lw 199527
c lw 199866
c lw 199914
c lw 200057
c lw 200552
c lw 200581
c lw 200787
c lw 200804
c lw 201658
c lw 202152
c lw 202646
c lw 202731
c lw 202961
c lw 203009
c lw 203028
c lw 203031
c lw 203036
c lw 203038
c lw 203047
c lw 203069
c lw 203077
c lw 203115
c lw 203151
c lw 203162
c lw 203259
c lw 203266
c lw 203270
c lw 203272
c lw 203273
c lw 203274
c lw 203278
c lw 203280
c lw 203282
c lw 203283
c lw 203284
c lw 203285
c lw 203286
c lw 203288
c lw 203289
c lw 203290
c lw 203294
c lw 203298
c lw 203299
c lw 203301
c lw 203302
c lw 203303
c lw 203304
c lw 203305
c lw 203306
c lw 203307
c lw 203308
c lw 203309
c lw 203310
c lw 203311
c lw 203312
c lw 203313
c lw 203314
c lw 203315
c lw 203316
c lw 203317
c lw 203319
c lw 203326
c lw 203329
c lw 203335
c lw 203338
c lw 203340
c lw 203344
c lw 203346
c lw 203353
c lw 203355
c lw 203357
c lw 203360
c lw 203361
c lw 203362
c lw 203363
c lw 203367
c lw 203368
c lw 203369
c lw 203370
c lw 203371
c lw 203372
c lw 203373
c lw 203374
c lw 203375
c lw 203376
c lw 203377
c lw 203378
c lw 203379
c lw 203380
c lw 203381
c lw 203382
c lw 203383
c lw 203384
c lw 203385
c lw 203386
c lw 204466
c lw 204472
c lw 204518
c lw 204691
c lw 204754
c lw 204859
c lw 204888
c lw 205218
c lw 205219
c lw 205220
c lw 205221
c lw 205222
c lw 205223
c lw 205224
c lw 205225
c lw 205226
c lw 205227
c lw 205332
c lw 205662
c lw 205664
c lw 205667
c lw 205668
c lw 205669
c lw 205670
c lw 205671
c lw 205672
c lw 205675
c lw 205676
c lw 205678
c lw 205679
c lw 205680
c lw 205684
c lw 205685
c lw 205686
c lw 205687
c lw 205688
c lw 205689
c lw 205690
c lw 205691
c lw 205692
c lw 205693
c lw 205694
c lw 205695
c lw 205696
c lw 205697
c lw 205698
c lw 205699
c lw 205700
c lw 205701
c lw 205702
c lw 205703
c lw 205704
c lw 205705
c lw 205706
c lw 205707
c lw 205708
c lw 205709
c lw 205710
c lw 205711
c lw 205712
c lw 205713
c lw 205714
c lw 205715
c lw 205716
c lw 205717
c lw 205718
c lw 205719
c lw 205720
c lw 205721
c lw 205722
c lw 205723
c lw 205724
c lw 205725
c lw 205726
c lw 205727
c lw 205728
c lw 205729
c lw 205730
c lw 205731
c lw 205732
c lw 205733
c lw 205734
c lw 205735
c lw 205736
c lw 205737
c lw 206424
c lw 206537
c lw 206539
c lw 206912
c lw 207681
c lw 207864
c lw 208055
c lw 208128
c lw 208461
c lw 209084
c lw 209207
c lw 209450
c lw 209785
c lw 209846
c lw 209856
c lw 209866
c lw 209917
c lw 209972
c lw 210291
c lw 210442
c lw 211230
c lw 211246
c lw 211398
c lw 211915
c lw 212025
c lw 212588
c lw 212715
c lw 212800
c lw 212872
c lw 212881
c lw 212885
c lw 212927
c lw 213560
c lw 214057
c lw 214098
c lw 215285
c lw 215508
c lw 215604
c lw 215914
c lw 216542
c lw 216601
c lw 216652
c lw 217517
c lw 217578
c lw 217755
c lw 217964
c lw 217973
c lw 218150
c lw 218211
c lw 219457
c lw 219461
c lw 219484
c lw 219636
c lw 219671
c lw 220102
c lw 220269
c lw 220273
c lw 220613
c lw 220614
c lw 220615
c lw 220616
c lw 220617
c lw 220618
c lw 220619
c lw 220620
c lw 220621
c lw 220622
c lw 220623
c lw 220624
c lw 220625
c lw 220626
c lw 220627
c lw 220628
c lw 220629
c lw 220630
c lw 220631
c lw 220632
c lw 220633
c lw 220634
c lw 220635
c lw 220636
c lw 220637
c lw 220638
c lw 220639
c lw 220640
c lw 220641
c lw 220642
c lw 220643
c lw 220644
c lw 220645
c lw 220646
c lw 220647
c lw 220648
c lw 220649
c lw 220650
c lw 220651