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-120-1_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1156
c lw 3520
c lw 4408
c lw 5016
c lw 6236
c lw 6326
c lw 6612
c lw 8250
c lw 8362
c lw 9640
c lw 11461
c lw 13101
c lw 13448
c lw 14114
c lw 14731
c lw 15680
c lw 16002
c lw 17848
c lw 18619
c lw 19273
c lw 19624
c lw 20066
c lw 20422
c lw 20794
c lw 21100
c lw 21545
c lw 21641
c lw 21936
c lw 22473
c lw 22502
c lw 22837
c lw 22965
c lw 23738
c lw 24148
c lw 24812
c lw 24977
c lw 25015
c lw 25114
c lw 25450
c lw 26102
c lw 26570
c lw 26735
c lw 27713
c lw 27745
c lw 28291
c lw 28782
c lw 29234
c lw 29262
c lw 29380
c lw 29664
c lw 30078
c lw 30617
c lw 30846
c lw 31440
c lw 31850
c lw 32062
c lw 32142
c lw 32223
c lw 32535
c lw 32859
c lw 33433
c lw 33485
c lw 33602
c lw 33872
c lw 34353
c lw 34638
c lw 35014
c lw 35052
c lw 35138
c lw 35244
c lw 35458
c lw 35509
c lw 35591
c lw 35761
c lw 35825
c lw 36318
c lw 36365
c lw 36610
c lw 37586
c lw 38081
c lw 38840
c lw 39057
c lw 39490
c lw 39955
c lw 39997
c lw 40864
c lw 40921
c lw 41003
c lw 41005
c lw 41013
c lw 41056
c lw 41087
c lw 41147
c lw 41346
c lw 41436
c lw 41474
c lw 41601
c lw 41639
c lw 41738
c lw 41760
c lw 41843
c lw 42142
c lw 42311
c lw 42476
c lw 42552
c lw 42649
c lw 42778
c lw 42779
c lw 42868
c lw 43061
c lw 43163
c lw 43185
c lw 43869
c lw 44532
c lw 45486
c lw 45835
c lw 46045
c lw 46090
c lw 46542
c lw 46558
c lw 47249
c lw 47298
c lw 47582
c lw 47996
c lw 48535
c lw 48806
c lw 49089
c lw 49130
c lw 49514
c lw 49844
c lw 49933
c lw 50004
c lw 50408
c lw 50483
c lw 50842
c lw 51925
c lw 51988
c lw 52467
c lw 52516
c lw 52660
c lw 52727
c lw 52823
c lw 53193
c lw 53642
c lw 54184
c lw 54564
c lw 55297
c lw 55344
c lw 55529
c lw 55609
c lw 56755
c lw 56834
c lw 56882
c lw 57098
c lw 57588
c lw 57589
c lw 57617
c lw 57668
c lw 58083
c lw 58366
c lw 58437
c lw 59357
c lw 59361
c lw 59760
c lw 60162
c lw 60167
c lw 61180
c lw 61181
c lw 61224
c lw 61671
c lw 61856
c lw 61927
c lw 62006
c lw 62009
c lw 62081
c lw 62120
c lw 62140
c lw 62161
c lw 62182
c lw 62191
c lw 62202
c lw 62207
c lw 62245
c lw 62407
c lw 62408
c lw 62409
c lw 62480
c lw 62559
c lw 62585
c lw 62687
c lw 62805
c lw 62858
c lw 62963
c lw 63316
c lw 63637
c lw 63810
c lw 64032
c lw 64203
c lw 64498
c lw 64737
c lw 64754
c lw 65905
c lw 65949
c lw 65975
c lw 66221
c lw 66616
c lw 66917
c lw 67352
c lw 67520
c lw 67858
c lw 67859
c lw 67926
c lw 67994
c lw 68557
c lw 69236
c lw 69416
c lw 69747
c lw 70338
c lw 70456
c lw 70494
c lw 70993
c lw 71117
c lw 71166
c lw 71265
c lw 71549
c lw 71666
c lw 72696
c lw 73244
c lw 73391
c lw 73471
c lw 73503
c lw 73630
c lw 73682
c lw 73705
c lw 73710
c lw 74203
c lw 74568
c lw 74592
c lw 74760
c lw 74971
c lw 75027
c lw 75215
c lw 75240
c lw 75253
c lw 76008
c lw 76163
c lw 76276
c lw 76349
c lw 76393
c lw 76412
c lw 76419
c lw 76437
c lw 76447
c lw 76460
c lw 76485
c lw 76523
c lw 76528
c lw 76531
c lw 76601
c lw 76817
c lw 77305
c lw 77342
c lw 77478
c lw 77502
c lw 77746
c lw 77794
c lw 77799
c lw 77842
c lw 77870
c lw 78008
c lw 78670
c lw 78902
c lw 78927
c lw 78941
c lw 78958
c lw 78989
c lw 78997
c lw 79146
c lw 79260
c lw 80030
c lw 80032
c lw 80061
c lw 80092
c lw 80248
c lw 80922
c lw 81079
c lw 81288
c lw 81488
c lw 81496
c lw 81506
c lw 81864
c lw 81866
c lw 81873
c lw 81882
c lw 81895
c lw 82253
c lw 83474
c lw 83544
c lw 83653
c lw 83927
c lw 83997
c lw 84015
c lw 84018
c lw 84020
c lw 84023
c lw 84024
c lw 84025
c lw 84026
c lw 84027
c lw 84028
c lw 84032
c lw 84050
c lw 84053
c lw 84065
c lw 84068
c lw 84075
c lw 84090
c lw 84093
c lw 84099
c lw 84101
c lw 84114
c lw 84122
c lw 84123
c lw 84130
c lw 84136
c lw 84141
c lw 84142
c lw 84143
c lw 84144
c lw 84145
c lw 84146
c lw 84162
c lw 84170
c lw 84308
c lw 84428
c lw 84431
c lw 84432
c lw 84433
c lw 84435
c lw 84451
c lw 84452
c lw 84453
c lw 84455
c lw 84456
c lw 84458
c lw 84460
c lw 84461
c lw 84462
c lw 84463
c lw 84469
c lw 84472
c lw 84487
c lw 84489
c lw 84491
c lw 84494
c lw 84495
c lw 84496
c lw 84497
c lw 84498
c lw 84506
c lw 84509
c lw 84512
c lw 84513
c lw 84514
c lw 84515
c lw 84516
c lw 84517
c lw 84527
c lw 84528
c lw 84529
c lw 84530
c lw 84538
c lw 84540
c lw 84541
c lw 84542
c lw 84543
c lw 84586
c lw 84593
c lw 84613
c lw 84618
c lw 85274
c lw 85439
c lw 85770
c lw 85800
c lw 85935
c lw 86022
c lw 86092
c lw 86491
c lw 86578
c lw 86583
c lw 86608
c lw 86679
c lw 86683
c lw 86852
c lw 86860
c lw 86886
c lw 86889
c lw 86899
c lw 87059
c lw 87062
c lw 87064
c lw 87072
c lw 87073
c lw 87078
c lw 87079
c lw 87080
c lw 87081
c lw 87083
c lw 87084
c lw 87086
c lw 87087
c lw 87088
c lw 87089
c lw 87090
c lw 87091
c lw 87092
c lw 87093
c lw 87095
c lw 87096
c lw 87100
c lw 87101
c lw 87102
c lw 87103
c lw 87593
c lw 87767
c lw 87778
c lw 87783
c lw 87801
c lw 87813
c lw 87814
c lw 87815
c lw 87816
c lw 87817
c lw 87818
c lw 87819
c lw 87820
c lw 87821
c lw 87822
c lw 87823
c lw 87824
c lw 87825
c lw 87826
c lw 87827
c lw 87828
c lw 87829
c lw 87830
c lw 87831
c lw 87832
c lw 87833
c lw 87834
c lw 87856
c lw 88304
c lw 88305
c lw 88425
c lw 89552
c lw 89568
c lw 89713
c lw 89837
c lw 89979
c lw 90374
c lw 90498
c lw 90643
c lw 91604
c lw 91699
c lw 91733
c lw 92260
c lw 92551
c lw 93067
c lw 93079
c lw 93453
c lw 94308
c lw 94377
c lw 94401
c lw 94447
c lw 95157
c lw 95700
c lw 95729
c lw 95739
c lw 96090
c lw 96185
c lw 96203
c lw 96286
c lw 97227
c lw 97466
c lw 97694
c lw 97767
c lw 98320
c lw 98632
c lw 98801
c lw 99059
c lw 99964
c lw 100081
c lw 100350
c lw 100383
c lw 101234
c lw 101263
c lw 101360
c lw 101505
c lw 102211
c lw 102229
c lw 102259
c lw 102262
c lw 102805
c lw 102863
c lw 103252
c lw 103391
c lw 103647
c lw 104260
c lw 104442
c lw 104640
c lw 105473
c lw 105716
c lw 106110
c lw 106477
c lw 106620
c lw 106621
c lw 106623
c lw 106624
c lw 106625
c lw 106626
c lw 106627
c lw 107480
c lw 107804
c lw 107964
c lw 108326
c lw 109086
c lw 110402
c lw 110458
c lw 110718
c lw 111209
c lw 111462
c lw 111819
c lw 111890
c lw 111891
c lw 111892
c lw 111893
c lw 111894
c lw 111895
c lw 111896
c lw 111898
c lw 111899
c lw 111900
c lw 111901
c lw 111902
c lw 111903
c lw 111904
c lw 111905
c lw 111906
c lw 111907
c lw 111908
c lw 111909
c lw 111910
c lw 111911
c lw 111912
c lw 111913
c lw 111914
c lw 111915
c lw 111916
c lw 111917
c lw 111918
c lw 111919
c lw 111920
c lw 111921
c lw 111922
c lw 111923
c lw 111924
c lw 111926
c lw 111927
c lw 111928
c lw 111929
c lw 111930
c lw 111931
c lw 111932
c lw 111933
c lw 111934
c lw 111935
c lw 111936
c lw 111937
c lw 111938
c lw 111939
c lw 111940
c lw 111941
c lw 111942
c lw 111943
c lw 111944
c lw 111945