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-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1012
c lw 1042
c lw 1812
c lw 3284
c lw 4654
c lw 4798
c lw 6287
c lw 7978
c lw 9657
c lw 11306
c lw 11535
c lw 12511
c lw 14701
c lw 15843
c lw 16685
c lw 16930
c lw 17002
c lw 18250
c lw 19505
c lw 20012
c lw 20424
c lw 21726
c lw 22425
c lw 22944
c lw 24409
c lw 24434
c lw 25519
c lw 25726
c lw 25832
c lw 25851
c lw 27009
c lw 27853
c lw 27855
c lw 28619
c lw 28624
c lw 28679
c lw 29076
c lw 29191
c lw 29310
c lw 29630
c lw 29719
c lw 30084
c lw 30225
c lw 30524
c lw 30652
c lw 31133
c lw 31434
c lw 31531
c lw 32070
c lw 32106
c lw 32557
c lw 33145
c lw 33276
c lw 33418
c lw 33525
c lw 33784
c lw 34558
c lw 35115
c lw 35352
c lw 35554
c lw 36195
c lw 36416
c lw 36544
c lw 36708
c lw 36871
c lw 37534
c lw 37845
c lw 38864
c lw 40160
c lw 40995
c lw 41130
c lw 41301
c lw 41970
c lw 42012
c lw 42023
c lw 42065
c lw 42076
c lw 42387
c lw 42776
c lw 42996
c lw 43444
c lw 43708
c lw 43763
c lw 43966
c lw 44105
c lw 44160
c lw 44245
c lw 44288
c lw 44727
c lw 44943
c lw 45713
c lw 45783
c lw 46108
c lw 46534
c lw 46871
c lw 47387
c lw 47838
c lw 47969
c lw 48111
c lw 48164
c lw 48271
c lw 48530
c lw 48590
c lw 49505
c lw 49733
c lw 49845
c lw 49970
c lw 50031
c lw 50341
c lw 50505
c lw 50944
c lw 51304
c lw 51392
c lw 51525
c lw 51601
c lw 51653
c lw 51817
c lw 51980
c lw 52109
c lw 52278
c lw 52847
c lw 52890
c lw 53362
c lw 53529
c lw 53648
c lw 53913
c lw 54038
c lw 54485
c lw 54522
c lw 54630
c lw 55674
c lw 56315
c lw 56654
c lw 56655
c lw 56795
c lw 57546
c lw 57742
c lw 57776
c lw 57817
c lw 58715
c lw 59216
c lw 59361
c lw 59694
c lw 59900
c lw 60387
c lw 60768
c lw 60994
c lw 61903
c lw 62048
c lw 62264
c lw 62491
c lw 62679
c lw 62881
c lw 62906
c lw 63187
c lw 63870
c lw 64038
c lw 64107
c lw 64114
c lw 64151
c lw 64266
c lw 64351
c lw 64592
c lw 65286
c lw 65493
c lw 66146
c lw 66344
c lw 66431
c lw 66706
c lw 66796
c lw 66924
c lw 66938
c lw 67208
c lw 67270
c lw 67509
c lw 67557
c lw 67738
c lw 67841
c lw 68598
c lw 68916
c lw 69063
c lw 69356
c lw 69502
c lw 69799
c lw 70008
c lw 70105
c lw 70555
c lw 70874
c lw 71017
c lw 71048
c lw 71120
c lw 71357
c lw 71540
c lw 72326
c lw 72411
c lw 72418
c lw 72895
c lw 72983
c lw 73462
c lw 73641
c lw 73734
c lw 74103
c lw 74323
c lw 74704
c lw 75273
c lw 75663
c lw 75855
c lw 76699
c lw 76724
c lw 77024
c lw 77231
c lw 77687
c lw 78110
c lw 78179
c lw 78402
c lw 78609
c lw 78984
c lw 79068
c lw 79073
c lw 79437
c lw 79862
c lw 80411
c lw 80429
c lw 80452
c lw 81237
c lw 81260
c lw 81287
c lw 81421
c lw 81529
c lw 81594
c lw 81904
c lw 82100
c lw 82402
c lw 82998
c lw 83371
c lw 83487
c lw 83527
c lw 83581
c lw 83946
c lw 84126
c lw 84158
c lw 84413
c lw 84439
c lw 84490
c lw 85153
c lw 85319
c lw 85336
c lw 85760
c lw 86024
c lw 86090
c lw 86220
c lw 86278
c lw 86476
c lw 86591
c lw 86805
c lw 87095
c lw 87287
c lw 87401
c lw 88103
c lw 88215
c lw 88492
c lw 88552
c lw 88654
c lw 88664
c lw 89344
c lw 89765
c lw 90084
c lw 90228
c lw 90347
c lw 91316
c lw 91367
c lw 91464
c lw 91473
c lw 91500
c lw 91565
c lw 91606
c lw 91675
c lw 91709
c lw 91866
c lw 91894
c lw 91901
c lw 91984
c lw 92441
c lw 92508
c lw 92531
c lw 92713
c lw 92927
c lw 92939
c lw 92987
c lw 93661
c lw 93704
c lw 93923
c lw 94060
c lw 94154
c lw 94186
c lw 94819
c lw 94829
c lw 95003
c lw 95006
c lw 95028
c lw 95068
c lw 95544
c lw 96189
c lw 96474
c lw 96544
c lw 96555
c lw 96722
c lw 96817
c lw 97060
c lw 97433
c lw 97540
c lw 97571
c lw 97589
c lw 98141
c lw 98338
c lw 98369
c lw 98431
c lw 98517
c lw 99027
c lw 99492
c lw 99552
c lw 99850
c lw 100086
c lw 100422
c lw 100440
c lw 100459
c lw 100910
c lw 101522
c lw 101589
c lw 101882
c lw 102241
c lw 102956
c lw 103317
c lw 103323
c lw 103497
c lw 103523
c lw 103543
c lw 103572
c lw 103580
c lw 103755
c lw 104009
c lw 104452
c lw 104717
c lw 105048
c lw 105359
c lw 105456
c lw 105842
c lw 106193
c lw 106534
c lw 106884
c lw 107264
c lw 107882
c lw 107924
c lw 108030
c lw 108330
c lw 108870
c lw 109356
c lw 109880
c lw 109951
c lw 110067
c lw 110366
c lw 110408
c lw 110410
c lw 110414
c lw 110500
c lw 110587
c lw 110740
c lw 111006
c lw 111255
c lw 111258
c lw 111645
c lw 111689
c lw 111938
c lw 111941
c lw 112956
c lw 112979
c lw 113004
c lw 113458
c lw 113879
c lw 113883
c lw 113885
c lw 113888
c lw 113900
c lw 114574
c lw 114635
c lw 114787
c lw 114865
c lw 115479
c lw 115852
c lw 115860
c lw 116194
c lw 116608
c lw 116630
c lw 116648
c lw 116674
c lw 116675
c lw 116808
c lw 116972
c lw 117474
c lw 117656
c lw 117710
c lw 118010
c lw 118018
c lw 118040
c lw 118058
c lw 118348
c lw 118512
c lw 118901
c lw 118903
c lw 118905
c lw 118909
c lw 118939
c lw 118951
c lw 118961
c lw 118973
c lw 118982
c lw 119496
c lw 119527
c lw 119529
c lw 119535
c lw 119581
c lw 119605
c lw 119946
c lw 120101
c lw 120717
c lw 120720
c lw 120730
c lw 120833
c lw 121097
c lw 121240
c lw 121243
c lw 121247
c lw 121281
c lw 121288
c lw 121316
c lw 121382
c lw 121404
c lw 121435
c lw 121517
c lw 121718
c lw 121842
c lw 122213
c lw 122244
c lw 122307
c lw 122471
c lw 122604
c lw 122613
c lw 122629
c lw 122635
c lw 122636
c lw 122637
c lw 122638
c lw 123235
c lw 123724
c lw 123755
c lw 123758
c lw 123760
c lw 123761
c lw 123762
c lw 123763
c lw 123764
c lw 123765
c lw 123767
c lw 123952
c lw 123956
c lw 123959
c lw 123968
c lw 123978
c lw 123983
c lw 123984
c lw 123985
c lw 123992
c lw 124016
c lw 124453
c lw 124506
c lw 124647
c lw 124770
c lw 125121
c lw 125487
c lw 125699
c lw 125706
c lw 125710
c lw 125839
c lw 125840
c lw 125911
c lw 125912
c lw 125913
c lw 125920
c lw 125944
c lw 126340
c lw 126354
c lw 127250
c lw 127363
c lw 127678
c lw 128944
c lw 128974
c lw 129034
c lw 129087
c lw 129101
c lw 129940
c lw 129941
c lw 129942
c lw 129943
c lw 129944
c lw 129945
c lw 129946
c lw 129947
c lw 130019
c lw 130030
c lw 130039
c lw 130054
c lw 130063
c lw 130114
c lw 130138
c lw 130142
c lw 130228
c lw 130269
c lw 130307
c lw 130309
c lw 130350
c lw 130630
c lw 130649
c lw 130652
c lw 130664
c lw 130667
c lw 130742
c lw 131515
c lw 131610
c lw 131614
c lw 131638
c lw 131639
c lw 131645
c lw 131648
c lw 131656
c lw 131659
c lw 131667
c lw 131668
c lw 131673
c lw 131676
c lw 131883
c lw 132284
c lw 132702
c lw 132804
c lw 132807
c lw 132811
c lw 132827
c lw 133229
c lw 133343
c lw 134165
c lw 134293
c lw 134301
c lw 134302
c lw 134305
c lw 134317
c lw 134321
c lw 134341
c lw 134342
c lw 134344
c lw 134376
c lw 135272
c lw 135440
c lw 135445
c lw 135446
c lw 135454
c lw 135457
c lw 135465
c lw 135466
c lw 135468
c lw 135471
c lw 135472
c lw 135480
c lw 135543
c lw 135644
c lw 135658
c lw 135661
c lw 135991
c lw 136275
c lw 136355
c lw 136484
c lw 137767
c lw 137951
c lw 138240
c lw 138254
c lw 138614
c lw 138948
c lw 138952
c lw 139138
c lw 139904
c lw 140062
c lw 140064
c lw 140200
c lw 140470
c lw 140548
c lw 141193
c lw 142008
c lw 142145
c lw 142422
c lw 142664
c lw 143384
c lw 143513
c lw 144116
c lw 145602
c lw 145725
c lw 146523
c lw 147246
c lw 147604
c lw 148161
c lw 148445
c lw 148506
c lw 149321
c lw 149403
c lw 150064
c lw 150650
c lw 151021
c lw 151417
c lw 151840
c lw 151924
c lw 152051
c lw 152193
c lw 152614
c lw 152672
c lw 152764
c lw 152879
c lw 153038
c lw 153496
c lw 153649
c lw 153667
c lw 153790
c lw 153826
c lw 154379
c lw 154777
c lw 155154
c lw 155174
c lw 155986
c lw 156088
c lw 156193
c lw 156691
c lw 156852
c lw 157021
c lw 157111
c lw 157253
c lw 157284
c lw 157547
c lw 157973
c lw 158074
c lw 158113
c lw 158114
c lw 158118
c lw 158119
c lw 158122
c lw 158125
c lw 158127
c lw 158137
c lw 158221
c lw 158568
c lw 158576
c lw 158578
c lw 158895
c lw 159000
c lw 159482
c lw 159713
c lw 160330
c lw 161666
c lw 161686
c lw 162626
c lw 162952
c lw 163298
c lw 163359
c lw 163410
c lw 163421
c lw 163430
c lw 163431
c lw 163432
c lw 163433
c lw 163434
c lw 163435
c lw 163436
c lw 163437
c lw 163438