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-140-1_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 216
c lw 707
c lw 1757
c lw 2935
c lw 3380
c lw 5104
c lw 6467
c lw 7349
c lw 7856
c lw 9531
c lw 10756
c lw 12130
c lw 13347
c lw 14718
c lw 16044
c lw 17246
c lw 18943
c lw 19951
c lw 20739
c lw 21607
c lw 21775
c lw 22042
c lw 22187
c lw 22589
c lw 22634
c lw 23357
c lw 23368
c lw 23628
c lw 24355
c lw 25687
c lw 25698
c lw 26200
c lw 26269
c lw 26599
c lw 27526
c lw 27621
c lw 27927
c lw 28031
c lw 28571
c lw 28577
c lw 29311
c lw 29566
c lw 29593
c lw 29924
c lw 30376
c lw 30565
c lw 30745
c lw 31042
c lw 31205
c lw 31805
c lw 31919
c lw 32304
c lw 32436
c lw 33348
c lw 34110
c lw 34198
c lw 34207
c lw 34541
c lw 34610
c lw 34940
c lw 34957
c lw 35052
c lw 35358
c lw 35584
c lw 35911
c lw 35954
c lw 36494
c lw 37175
c lw 37511
c lw 37676
c lw 37969
c lw 38002
c lw 38257
c lw 38392
c lw 38419
c lw 38824
c lw 39481
c lw 39661
c lw 40558
c lw 40825
c lw 40827
c lw 41229
c lw 41379
c lw 41836
c lw 42071
c lw 42300
c lw 42423
c lw 42683
c lw 42792
c lw 43178
c lw 43319
c lw 43388
c lw 43427
c lw 43639
c lw 44183
c lw 44346
c lw 44391
c lw 44482
c lw 45528
c lw 45662
c lw 46156
c lw 46503
c lw 46614
c lw 47506
c lw 47567
c lw 47716
c lw 48227
c lw 48414
c lw 48748
c lw 49408
c lw 49514
c lw 49632
c lw 49845
c lw 50008
c lw 50018
c lw 51013
c lw 51223
c lw 51225
c lw 51415
c lw 51472
c lw 51878
c lw 52040
c lw 52322
c lw 52554
c lw 52732
c lw 53241
c lw 53745
c lw 53851
c lw 54176
c lw 54341
c lw 54681
c lw 54694
c lw 54788
c lw 54983
c lw 55024
c lw 55256
c lw 55372
c lw 55451
c lw 55533
c lw 55544
c lw 55677
c lw 56023
c lw 56283
c lw 56321
c lw 56393
c lw 57141
c lw 57399
c lw 57637
c lw 58302
c lw 58586
c lw 58712
c lw 59521
c lw 59612
c lw 59630
c lw 59691
c lw 59862
c lw 59892
c lw 60115
c lw 60467
c lw 60952
c lw 60954
c lw 61191
c lw 61267
c lw 61460
c lw 61807
c lw 62105
c lw 62340
c lw 62898
c lw 63225
c lw 63889
c lw 63923
c lw 64767
c lw 65007
c lw 65092
c lw 65275
c lw 65980
c lw 66866
c lw 67051
c lw 67170
c lw 67353
c lw 67497
c lw 67530
c lw 67568
c lw 67598
c lw 67671
c lw 67688
c lw 67721
c lw 67752
c lw 67804
c lw 68055
c lw 68093
c lw 68122
c lw 68223
c lw 68362
c lw 68395
c lw 68490
c lw 68822
c lw 68861
c lw 68863
c lw 68877
c lw 68977
c lw 69179
c lw 69501
c lw 69840
c lw 69881
c lw 69951
c lw 70032
c lw 70251
c lw 70322
c lw 70541
c lw 71117
c lw 71627
c lw 72558
c lw 72611
c lw 73188
c lw 73282
c lw 73587
c lw 73689
c lw 73711
c lw 73760
c lw 73970
c lw 74415
c lw 74443
c lw 74587
c lw 74795
c lw 75355
c lw 75357
c lw 75365
c lw 75482
c lw 75537
c lw 75904
c lw 76000
c lw 76061
c lw 76101
c lw 76133
c lw 76240
c lw 76559
c lw 76569
c lw 76648
c lw 76666
c lw 76698
c lw 76708
c lw 76710
c lw 76738
c lw 76747
c lw 76749
c lw 76757
c lw 76773
c lw 76834
c lw 76899
c lw 76915
c lw 76929
c lw 76933
c lw 76938
c lw 76971
c lw 76973
c lw 76995
c lw 76997
c lw 77010
c lw 77023
c lw 77083
c lw 77348
c lw 77600
c lw 77986
c lw 78008
c lw 78010
c lw 78043
c lw 78515
c lw 78520
c lw 78524
c lw 78533
c lw 78538
c lw 78541
c lw 78548
c lw 78554
c lw 78556
c lw 78565
c lw 78566
c lw 78568
c lw 78570
c lw 78571
c lw 78572
c lw 78573
c lw 78617
c lw 78667
c lw 78668
c lw 78670
c lw 78890
c lw 79559
c lw 79986
c lw 80023
c lw 80097
c lw 80169
c lw 80602
c lw 81088
c lw 81108
c lw 81233
c lw 81258
c lw 81620
c lw 81682
c lw 81739
c lw 81748
c lw 81793
c lw 81966
c lw 82487
c lw 82518
c lw 82539
c lw 82556
c lw 82994
c lw 83021
c lw 83067
c lw 83069
c lw 83074
c lw 83079
c lw 83109
c lw 83156
c lw 83366
c lw 83523
c lw 83607
c lw 83940
c lw 83968
c lw 84120
c lw 84125
c lw 84913
c lw 85519
c lw 85537
c lw 85787
c lw 86019
c lw 86170
c lw 86312
c lw 86544
c lw 86560
c lw 86690
c lw 86733
c lw 87640
c lw 88247
c lw 88391
c lw 88395
c lw 88688
c lw 89081
c lw 89533
c lw 89883
c lw 90877
c lw 90879
c lw 90880
c lw 90936
c lw 90954
c lw 90963
c lw 90969
c lw 90972
c lw 90974
c lw 90976
c lw 91025
c lw 91078
c lw 91700
c lw 91874
c lw 91994
c lw 92048
c lw 92058
c lw 92059
c lw 92060
c lw 92065
c lw 92071
c lw 92074
c lw 92078
c lw 92083
c lw 92084
c lw 92090
c lw 92092
c lw 92093
c lw 92094
c lw 92095
c lw 92096
c lw 92097
c lw 92098
c lw 92103
c lw 92106
c lw 92107
c lw 92109
c lw 92120
c lw 92122
c lw 92125
c lw 92129
c lw 92152
c lw 92486
c lw 92497
c lw 92499
c lw 93581
c lw 93741
c lw 93917
c lw 95081
c lw 95150
c lw 95460
c lw 95969
c lw 95986
c lw 95993
c lw 96009
c lw 96297
c lw 96485
c lw 97119
c lw 98165
c lw 98255
c lw 98605
c lw 98781
c lw 99008
c lw 99029
c lw 99038
c lw 99043
c lw 99062
c lw 99067
c lw 99069
c lw 99086
c lw 99089
c lw 99092
c lw 99099
c lw 99106
c lw 99598
c lw 99656
c lw 99666
c lw 99720
c lw 99961
c lw 99971
c lw 99977
c lw 99979
c lw 99984
c lw 99994
c lw 100038
c lw 100347
c lw 100348
c lw 100349
c lw 100350
c lw 100351
c lw 100352
c lw 100353
c lw 100354
c lw 100356
c lw 100357
c lw 100359
c lw 100360
c lw 100361
c lw 100363
c lw 100365
c lw 100366
c lw 100368
c lw 100369
c lw 100372
c lw 100374
c lw 100375
c lw 100376
c lw 100377
c lw 100379
c lw 100381
c lw 100382
c lw 100383
c lw 100384
c lw 100385
c lw 100386
c lw 100387
c lw 100388
c lw 100389
c lw 100390
c lw 100391
c lw 101818
c lw 101823
c lw 101824
c lw 102121
c lw 102586
c lw 102617
c lw 103467
c lw 103522
c lw 103690
c lw 103886
c lw 104035
c lw 104310
c lw 104357
c lw 104850
c lw 104975
c lw 105855
c lw 105878
c lw 105938
c lw 106319
c lw 107365
c lw 108341
c lw 108359
c lw 108424
c lw 108519
c lw 108537
c lw 108665
c lw 108713
c lw 108714
c lw 109866
c lw 110064
c lw 110269
c lw 110270
c lw 110276
c lw 110291
c lw 110299
c lw 110950
c lw 111429
c lw 111432
c lw 111581
c lw 111584
c lw 111598
c lw 111607
c lw 111694
c lw 111696
c lw 111701
c lw 111706
c lw 111712
c lw 111718
c lw 111727
c lw 111729
c lw 111732
c lw 111734
c lw 111736
c lw 111739
c lw 111740
c lw 111759
c lw 111762
c lw 111764
c lw 111777
c lw 111807
c lw 111831
c lw 111834
c lw 111837
c lw 111845
c lw 111851
c lw 111852
c lw 111853
c lw 111855
c lw 111857
c lw 111869
c lw 111874
c lw 111878
c lw 111879
c lw 111894
c lw 111895
c lw 111897
c lw 111900
c lw 111902
c lw 111903
c lw 111908
c lw 111909
c lw 111918
c lw 111921
c lw 111923
c lw 111926
c lw 111928
c lw 111930
c lw 111931
c lw 111933
c lw 111934
c lw 111935
c lw 111936
c lw 111938
c lw 111939
c lw 111940
c lw 111943
c lw 111944
c lw 111945
c lw 111946
c lw 111947
c lw 111949
c lw 111950
c lw 111951
c lw 111952
c lw 111953
c lw 111954
c lw 111955
c lw 111956
c lw 111957
c lw 111958
c lw 111959
c lw 111960
c lw 111961
c lw 111963
c lw 111964
c lw 111965
c lw 111966
c lw 111968
c lw 111969
c lw 111970
c lw 111971
c lw 113248
c lw 113833
c lw 114014
c lw 114112
c lw 114439
c lw 114912
c lw 115090
c lw 115197
c lw 115620
c lw 115754
c lw 116629
c lw 116892
c lw 116936
c lw 117100
c lw 117187
c lw 117288
c lw 117972
c lw 118068
c lw 118511
c lw 118994
c lw 119357
c lw 119368
c lw 120538
c lw 120948
c lw 121011
c lw 121037
c lw 121223
c lw 121341
c lw 121624
c lw 121888
c lw 122352
c lw 123119
c lw 123302
c lw 123520
c lw 124667
c lw 124725
c lw 125818
c lw 126986
c lw 127205
c lw 127229
c lw 127888
c lw 128569
c lw 128915
c lw 129093
c lw 129257
c lw 129527
c lw 129653
c lw 129691
c lw 130846
c lw 131030
c lw 131267
c lw 132194
c lw 132407
c lw 132786
c lw 133059
c lw 133272
c lw 133411
c lw 133740
c lw 133977
c lw 134161
c lw 134441
c lw 134971
c lw 135023
c lw 135319
c lw 135346
c lw 135486
c lw 135491
c lw 135634
c lw 135643
c lw 135708
c lw 135822
c lw 135848
c lw 135855
c lw 135873
c lw 135915
c lw 136194
c lw 136320
c lw 136556
c lw 136613
c lw 136631
c lw 136670
c lw 136692
c lw 136712
c lw 137462
c lw 137551
c lw 137560
c lw 137625
c lw 137645
c lw 137651
c lw 137655
c lw 137664
c lw 137667
c lw 137682
c lw 137686
c lw 137691
c lw 137706
c lw 137714
c lw 137724
c lw 137725
c lw 137768
c lw 137781
c lw 137790
c lw 137846
c lw 137870
c lw 137884
c lw 137907
c lw 137908
c lw 137909
c lw 137910
c lw 137913
c lw 137914
c lw 137915
c lw 137916
c lw 137917
c lw 137918
c lw 137920
c lw 137921
c lw 137922
c lw 137923
c lw 137924
c lw 137925
c lw 137926
c lw 137927
c lw 137928
c lw 137929
c lw 137930
c lw 137931
c lw 137932
c lw 137933
c lw 137934
c lw 137935
c lw 137936
c lw 137937
c lw 137938
c lw 137939
c lw 137940
c lw 137941
c lw 137942
c lw 137943
c lw 137944
c lw 137945
c lw 137946
c lw 137947
c lw 137948
c lw 137949
c lw 137950
c lw 137951
c lw 137952
c lw 137953
c lw 137954
c lw 137955
c lw 137956
c lw 137957
c lw 137958
c lw 137959
c lw 137960
c lw 137961
c lw 137962
c lw 137963
c lw 137964
c lw 137965
c lw 137966
c lw 137967
c lw 137968
c lw 137969
c lw 137970
c lw 137971
c lw 137972
c lw 137973
c lw 137974
c lw 137975
c lw 137976
c lw 137977
c lw 137978
c lw 137979
c lw 137980
c lw 137981