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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 476
c lw 985
c lw 2258
c lw 5436
c lw 7023
c lw 8521
c lw 9178
c lw 10410
c lw 10579
c lw 11582
c lw 12828
c lw 13684
c lw 15375
c lw 15405
c lw 15811
c lw 17223
c lw 18452
c lw 18590
c lw 19543
c lw 19631
c lw 19810
c lw 20281
c lw 20444
c lw 20497
c lw 20702
c lw 21170
c lw 21256
c lw 21656
c lw 22657
c lw 22736
c lw 22934
c lw 23411
c lw 24686
c lw 25454
c lw 25669
c lw 26486
c lw 26987
c lw 27163
c lw 27422
c lw 27669
c lw 27805
c lw 28754
c lw 29359
c lw 29935
c lw 30197
c lw 30378
c lw 30800
c lw 31332
c lw 32534
c lw 32927
c lw 33745
c lw 33783
c lw 33813
c lw 34104
c lw 34256
c lw 34423
c lw 34632
c lw 35696
c lw 35894
c lw 35968
c lw 36197
c lw 36794
c lw 37206
c lw 37214
c lw 37365
c lw 37429
c lw 37910
c lw 37984
c lw 38154
c lw 38326
c lw 38782
c lw 38932
c lw 39279
c lw 39683
c lw 40042
c lw 40381
c lw 40941
c lw 41102
c lw 41300
c lw 41804
c lw 41969
c lw 41980
c lw 42190
c lw 42197
c lw 42239
c lw 42375
c lw 42476
c lw 42523
c lw 42962
c lw 43319
c lw 43322
c lw 43594
c lw 44507
c lw 44517
c lw 45777
c lw 46309
c lw 46702
c lw 47342
c lw 47567
c lw 48588
c lw 49085
c lw 49347
c lw 49691
c lw 51201
c lw 51296
c lw 52400
c lw 52628
c lw 52890
c lw 53017
c lw 53044
c lw 53048
c lw 53061
c lw 53291
c lw 53816
c lw 53820
c lw 53856
c lw 54026
c lw 54241
c lw 54389
c lw 54441
c lw 54467
c lw 54777
c lw 55217
c lw 55930
c lw 56274
c lw 56673
c lw 56872
c lw 57255
c lw 57268
c lw 57448
c lw 57461
c lw 57465
c lw 57508
c lw 57520
c lw 57570
c lw 57590
c lw 58073
c lw 58454
c lw 58493
c lw 58921
c lw 59102
c lw 59746
c lw 59963
c lw 59977
c lw 60065
c lw 60341
c lw 60430
c lw 60482
c lw 61171
c lw 61335
c lw 61898
c lw 62134
c lw 63166
c lw 63916
c lw 64459
c lw 64488
c lw 64493
c lw 64497
c lw 64499
c lw 64504
c lw 64586
c lw 64729
c lw 64859
c lw 65902
c lw 66239
c lw 66570
c lw 66719
c lw 66770
c lw 67089
c lw 67213
c lw 67580
c lw 67877
c lw 68010
c lw 68032
c lw 68059
c lw 68780
c lw 68822
c lw 68829
c lw 68849
c lw 69305
c lw 69325
c lw 69332
c lw 69640
c lw 69660
c lw 70354
c lw 70433
c lw 70489
c lw 70580
c lw 70901
c lw 70931
c lw 70977
c lw 71177
c lw 71929
c lw 71961
c lw 72007
c lw 72514
c lw 72519
c lw 73206
c lw 73263
c lw 73437
c lw 73564
c lw 73709
c lw 73728
c lw 73978
c lw 74420
c lw 74697
c lw 75163
c lw 75542
c lw 75831
c lw 76578
c lw 77550
c lw 77632
c lw 77947
c lw 78332
c lw 78577
c lw 78737
c lw 78845
c lw 79123
c lw 79689
c lw 80593
c lw 80691
c lw 80693
c lw 80696
c lw 80698
c lw 80699
c lw 80702
c lw 80703
c lw 80706
c lw 81435
c lw 81491
c lw 81492
c lw 81494
c lw 81496
c lw 81564
c lw 81567
c lw 81569
c lw 81571
c lw 81572
c lw 81573
c lw 81574
c lw 81577
c lw 81578
c lw 81579
c lw 81716
c lw 81802
c lw 82076
c lw 82484
c lw 82562
c lw 82613
c lw 82996
c lw 83180
c lw 83249
c lw 83416
c lw 83694
c lw 84444
c lw 84641
c lw 84926
c lw 85115
c lw 85173
c lw 85463
c lw 85466
c lw 85468
c lw 85629
c lw 86051
c lw 86186
c lw 86195
c lw 86215
c lw 86222
c lw 86258
c lw 86324
c lw 86344
c lw 86380
c lw 87376
c lw 87443
c lw 87447
c lw 87507
c lw 87580
c lw 87632
c lw 87636
c lw 87660
c lw 87734
c lw 88414
c lw 88863
c lw 88898
c lw 89092
c lw 89178
c lw 89186
c lw 89802
c lw 89959
c lw 90929
c lw 90931
c lw 91876
c lw 91915
c lw 92597
c lw 92636
c lw 92656
c lw 92906
c lw 92994
c lw 93021
c lw 93534
c lw 93782
c lw 93815
c lw 93831
c lw 93912
c lw 94010
c lw 94151
c lw 94466
c lw 95032
c lw 95140
c lw 95967
c lw 96133
c lw 96257
c lw 96632
c lw 96633
c lw 96641
c lw 96699
c lw 97687
c lw 97689
c lw 97690
c lw 97853
c lw 97949
c lw 98559
c lw 98579
c lw 98655
c lw 98675
c lw 98678
c lw 98698
c lw 98700
c lw 98718
c lw 98720
c lw 98721
c lw 98722
c lw 98723
c lw 98748
c lw 98755
c lw 98760
c lw 98764
c lw 98765
c lw 98766
c lw 98767
c lw 98769
c lw 98780
c lw 98782
c lw 98784
c lw 98796
c lw 99060
c lw 100082
c lw 100284
c lw 100340
c lw 100815
c lw 101476
c lw 101498
c lw 101562
c lw 101878
c lw 101975
c lw 102542
c lw 102839
c lw 103647
c lw 103650
c lw 103710
c lw 103718
c lw 103735
c lw 103740
c lw 103753
c lw 103773
c lw 103817
c lw 103898
c lw 103906
c lw 103910
c lw 103918
c lw 103922
c lw 103930
c lw 103931
c lw 104781
c lw 105268
c lw 106013
c lw 106099
c lw 106107
c lw 106323
c lw 106493
c lw 106645
c lw 106874
c lw 106968
c lw 107092
c lw 107439
c lw 107444
c lw 107461
c lw 107487
c lw 107499
c lw 107522
c lw 107530
c lw 107538
c lw 107542
c lw 107551
c lw 107556
c lw 107561
c lw 107565
c lw 107569
c lw 108085
c lw 108093
c lw 108097
c lw 108101
c lw 108103
c lw 108104
c lw 108107
c lw 108111
c lw 108112
c lw 108117
c lw 108125
c lw 108127
c lw 108128
c lw 108129
c lw 108132
c lw 108135
c lw 108136
c lw 108137
c lw 108138
c lw 108139
c lw 108140
c lw 108141
c lw 108142
c lw 108143
c lw 108145
c lw 108148
c lw 108468
c lw 108651
c lw 108655
c lw 108666
c lw 108673
c lw 108677
c lw 108678
c lw 108682
c lw 108684
c lw 108685
c lw 108686
c lw 108687
c lw 108688
c lw 108689
c lw 108690
c lw 108691
c lw 108693
c lw 108695
c lw 108697
c lw 108698
c lw 108699
c lw 108775
c lw 109004
c lw 109038
c lw 109049
c lw 109526
c lw 109585
c lw 109589
c lw 109612
c lw 109632
c lw 109700
c lw 109717
c lw 109734
c lw 109774
c lw 109775
c lw 109781
c lw 110135
c lw 110420
c lw 110449
c lw 110835
c lw 111227
c lw 111706
c lw 111822
c lw 111848
c lw 111849
c lw 111852
c lw 111853
c lw 111854
c lw 111855
c lw 111856
c lw 111857
c lw 111858
c lw 112776
c lw 112806
c lw 114119
c lw 114141
c lw 114218
c lw 114975
c lw 115027
c lw 116220
c lw 116509
c lw 116708
c lw 116747
c lw 117095
c lw 117411
c lw 117736
c lw 118553
c lw 118574
c lw 118585
c lw 118847
c lw 118873
c lw 118874
c lw 118875
c lw 118876
c lw 118877
c lw 118912
c lw 118949
c lw 118975
c lw 118980
c lw 119001
c lw 119002
c lw 119003
c lw 119004
c lw 119005
c lw 119006
c lw 119007
c lw 119008
c lw 119009