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-80-2_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 954
c lw 1845
c lw 4263
c lw 5462
c lw 6916
c lw 8097
c lw 9557
c lw 11069
c lw 12423
c lw 13297
c lw 14468
c lw 14784
c lw 15243
c lw 15470
c lw 15620
c lw 16722
c lw 16959
c lw 17000
c lw 17009
c lw 17165
c lw 17306
c lw 17785
c lw 17913
c lw 17943
c lw 18257
c lw 18422
c lw 18476
c lw 19528
c lw 19558
c lw 20141
c lw 20202
c lw 20234
c lw 20369
c lw 20506
c lw 20534
c lw 20639
c lw 20750
c lw 20772
c lw 20863
c lw 20868
c lw 21062
c lw 21598
c lw 22083
c lw 22097
c lw 22188
c lw 22337
c lw 22564
c lw 22594
c lw 22636
c lw 22674
c lw 22705
c lw 22707
c lw 22731
c lw 22760
c lw 22782
c lw 22784
c lw 22790
c lw 22804
c lw 22812
c lw 22814
c lw 22834
c lw 22835
c lw 22839
c lw 22856
c lw 22894
c lw 22895
c lw 22923
c lw 23059
c lw 23320
c lw 23426
c lw 23435
c lw 23541
c lw 23624
c lw 23626
c lw 23678
c lw 23746
c lw 23771
c lw 23813
c lw 23854
c lw 23882
c lw 23913
c lw 23922
c lw 23947
c lw 23960
c lw 23975
c lw 24109
c lw 24112
c lw 24137
c lw 24180
c lw 24208
c lw 24273
c lw 24314
c lw 24435
c lw 24472
c lw 24488
c lw 24503
c lw 24534
c lw 24628
c lw 24640
c lw 24649
c lw 24699
c lw 24745
c lw 24755
c lw 24998
c lw 25126
c lw 25184
c lw 25283
c lw 25434
c lw 25456
c lw 25706
c lw 25726
c lw 26266
c lw 26472
c lw 26631
c lw 26651
c lw 26837
c lw 27084
c lw 27205
c lw 27265
c lw 27273
c lw 27428
c lw 27946
c lw 29071
c lw 29092
c lw 29120
c lw 29123
c lw 29195
c lw 29214
c lw 29216
c lw 29220
c lw 29305
c lw 29540
c lw 29555
c lw 30055
c lw 30147
c lw 30302
c lw 30317
c lw 30330
c lw 30333
c lw 30358
c lw 30366
c lw 30390
c lw 30405
c lw 30419
c lw 30424
c lw 30426
c lw 30430
c lw 30433
c lw 30434
c lw 30435
c lw 30438
c lw 30858
c lw 30919
c lw 31258
c lw 31340
c lw 31897
c lw 32057
c lw 32247
c lw 32308
c lw 32907
c lw 32910
c lw 32911
c lw 32912
c lw 32920
c lw 32926
c lw 32927
c lw 32928
c lw 32934
c lw 32936
c lw 32956
c lw 32957
c lw 32958
c lw 32959
c lw 32961
c lw 33148
c lw 33466
c lw 33669
c lw 33670
c lw 33672
c lw 33675
c lw 33686
c lw 33703
c lw 33711
c lw 33717
c lw 33845
c lw 34063
c lw 34411
c lw 34413
c lw 34416
c lw 34417
c lw 34418
c lw 34419
c lw 34422
c lw 34423
c lw 34424
c lw 34429
c lw 34431
c lw 34432
c lw 34457
c lw 34465
c lw 34489
c lw 34497
c lw 34722
c lw 34759
c lw 34766
c lw 34773
c lw 34780
c lw 34785
c lw 34787
c lw 34791
c lw 34792
c lw 34795
c lw 34855
c lw 35166
c lw 35309
c lw 36321
c lw 36543
c lw 36631
c lw 36874
c lw 36989
c lw 37169
c lw 37263
c lw 37463
c lw 37576
c lw 37601
c lw 37614
c lw 37699
c lw 37780
c lw 37809
c lw 37848
c lw 37866
c lw 37916
c lw 37934
c lw 37960
c lw 37973
c lw 37998
c lw 38002
c lw 38008
c lw 38053
c lw 38169
c lw 38195
c lw 38213
c lw 38263
c lw 38269
c lw 38273
c lw 38298
c lw 38302
c lw 38311
c lw 38329
c lw 38356
c lw 38376
c lw 38377
c lw 38441
c lw 38545
c lw 38576
c lw 38609
c lw 38634
c lw 38635
c lw 38638
c lw 38644
c lw 38645
c lw 38656
c lw 38657
c lw 39169
c lw 39514
c lw 39629
c lw 39760
c lw 39867
c lw 40072
c lw 40199
c lw 40346
c lw 40408
c lw 40672
c lw 40731
c lw 40851
c lw 40855
c lw 40918
c lw 40964
c lw 41048
c lw 41094
c lw 41134
c lw 41964
c lw 42306
c lw 42385
c lw 43152
c lw 43223
c lw 43253
c lw 43351
c lw 43703
c lw 43914
c lw 43954
c lw 44459
c lw 44762
c lw 44824
c lw 44843
c lw 44870
c lw 44998
c lw 45002
c lw 45161
c lw 45325
c lw 45331
c lw 45382
c lw 45399
c lw 45423
c lw 45445
c lw 45470
c lw 45493
c lw 45560
c lw 45577
c lw 45581
c lw 45601
c lw 45623
c lw 45647
c lw 45737
c lw 45762
c lw 45771
c lw 45837
c lw 45934
c lw 45995
c lw 46045
c lw 46061
c lw 46198
c lw 46464
c lw 46471
c lw 46801
c lw 46831
c lw 46896
c lw 46968
c lw 47073
c lw 47226
c lw 47234
c lw 47241
c lw 47260
c lw 47306
c lw 47331
c lw 47333
c lw 47355
c lw 47367
c lw 47383
c lw 47413
c lw 47429
c lw 47432
c lw 47433
c lw 47438
c lw 47439
c lw 47443
c lw 47444
c lw 47447
c lw 47456
c lw 47463
c lw 47493
c lw 47498
c lw 47509
c lw 47514
c lw 47521
c lw 47531
c lw 47543
c lw 47545
c lw 47568
c lw 47570
c lw 47585
c lw 47592
c lw 47602
c lw 47614
c lw 47615
c lw 47616
c lw 47619
c lw 47620
c lw 47623
c lw 47632
c lw 47638
c lw 47639
c lw 47650
c lw 47666
c lw 47669
c lw 47674
c lw 47681
c lw 47685
c lw 47690
c lw 47696
c lw 47712
c lw 47715
c lw 47716
c lw 47721
c lw 47731
c lw 47739
c lw 47746
c lw 47748
c lw 47778
c lw 47808
c lw 47812
c lw 47829
c lw 47839
c lw 47846
c lw 47851
c lw 47853
c lw 47854
c lw 47861
c lw 47866
c lw 47867
c lw 47870
c lw 47877
c lw 47881
c lw 47882
c lw 47888
c lw 47897
c lw 47900
c lw 47901
c lw 47904
c lw 47905
c lw 48134
c lw 48154
c lw 48187
c lw 48304
c lw 48320
c lw 49208
c lw 49499
c lw 49545
c lw 49604
c lw 49632
c lw 49640
c lw 49641
c lw 50184
c lw 50188
c lw 50189
c lw 50193
c lw 50240
c lw 50251
c lw 50252
c lw 50255
c lw 50271
c lw 50286
c lw 50293
c lw 50297
c lw 50298
c lw 50301
c lw 50316
c lw 50317
c lw 50320
c lw 50321
c lw 50322
c lw 50329
c lw 50331
c lw 50350
c lw 50356
c lw 50362
c lw 50365
c lw 50375
c lw 50451
c lw 50455
c lw 50457
c lw 50464
c lw 50465
c lw 50466
c lw 50467
c lw 50469
c lw 50470
c lw 50474
c lw 50476
c lw 50480
c lw 50482
c lw 50489
c lw 50490
c lw 50493
c lw 50495
c lw 50496
c lw 50497
c lw 50501
c lw 50502
c lw 50503
c lw 50507
c lw 50510
c lw 50511
c lw 50512
c lw 50515
c lw 50516
c lw 50525
c lw 50526
c lw 50531
c lw 50532
c lw 50536
c lw 50541
c lw 50543
c lw 50556
c lw 50560
c lw 50564
c lw 50565
c lw 50568
c lw 50580
c lw 50583
c lw 50584
c lw 50587
c lw 50588
c lw 50589
c lw 50590
c lw 50594
c lw 50595
c lw 50596
c lw 50598
c lw 50599
c lw 50606
c lw 50615
c lw 50617
c lw 50621
c lw 50623
c lw 50629
c lw 50632
c lw 50748
c lw 50753
c lw 50761
c lw 50845
c lw 50863
c lw 50975
c lw 50986
c lw 50999
c lw 51006
c lw 51007
c lw 51142
c lw 52031
c lw 52505
c lw 52506
c lw 52509
c lw 52511
c lw 52513
c lw 52515
c lw 52517
c lw 52518
c lw 52519
c lw 52520
c lw 52521
c lw 52522
c lw 52523
c lw 52524
c lw 52525
c lw 52526
c lw 52527
c lw 52528
c lw 52529
c lw 52530
c lw 52531
c lw 52532
c lw 52545
c lw 52549
c lw 52560
c lw 52561
c lw 52562
c lw 52564
c lw 52565
c lw 52566
c lw 52567
c lw 52568
c lw 52569
c lw 52570
c lw 52571
c lw 52575
c lw 52576
c lw 52577
c lw 52578
c lw 52582
c lw 52583
c lw 52584
c lw 52593
c lw 52594
c lw 52595
c lw 52597
c lw 52598
c lw 52599
c lw 52601
c lw 52602
c lw 52606
c lw 52607
c lw 52608
c lw 52609
c lw 52610
c lw 52611
c lw 52612
c lw 52613
c lw 52614
c lw 52616
c lw 52618
c lw 52619
c lw 52620
c lw 52621
c lw 52642
c lw 52773
c lw 52774
c lw 52775
c lw 52778
c lw 52779
c lw 52780
c lw 52781
c lw 52782
c lw 52783
c lw 52784
c lw 52785
c lw 52786
c lw 52787
c lw 52788
c lw 52789
c lw 52790
c lw 52792
c lw 52793
c lw 52794
c lw 52795
c lw 52796
c lw 52798
c lw 52799
c lw 52800
c lw 52801
c lw 52802
c lw 52803
c lw 52804
c lw 52805
c lw 52806
c lw 52807
c lw 52808
c lw 52809
c lw 52810
c lw 52811
c lw 52812
c lw 52813
c lw 52814
c lw 52815
c lw 52816
c lw 52817
c lw 52818
c lw 52819
c lw 52820
c lw 52821
c lw 52822
c lw 52823
c lw 52824
c lw 52825
c lw 52826
c lw 52827
c lw 52828
c lw 52829
c lw 52830
c lw 52831
c lw 52832
c lw 52833
c lw 52834
c lw 52835
c lw 52836
c lw 52837
c lw 52838
c lw 52839
c lw 52840
c lw 52841
c lw 52842
c lw 52843
c lw 52844
c lw 52845
c lw 52846
c lw 52847
c lw 52848
c lw 52849
c lw 52850
c lw 52851
c lw 52852
c lw 52853
c lw 52854
c lw 52855
c lw 52856
c lw 52857
c lw 52858
c lw 52859
c lw 52860
c lw 52861
c lw 52883
c lw 52994
c lw 53199
c lw 53382
c lw 53383
c lw 53384
c lw 53385
c lw 53386
c lw 53387
c lw 53388
c lw 53389
c lw 53390
c lw 53391
c lw 53392
c lw 53393
c lw 53394
c lw 53395
c lw 53396
c lw 53397
c lw 53398
c lw 53399
c lw 53400
c lw 53401
c lw 53402
c lw 53403
c lw 53404
c lw 53405
c lw 53406
c lw 53407
c lw 53408
c lw 53409
c lw 53410
c lw 53411
c lw 53412
c lw 53413
c lw 53414
c lw 53415
c lw 53416
c lw 53417
c lw 53418
c lw 53419
c lw 53420
c lw 53421
c lw 53422
c lw 53423
c lw 53424
c lw 53425
c lw 53426
c lw 53427
c lw 53428
c lw 53429
c lw 53430
c lw 53431
c lw 53432
c lw 53433
c lw 53434
c lw 53435
c lw 53436
c lw 53437
c lw 53438
c lw 53439
c lw 53440
c lw 53441
c lw 53442
c lw 53443
c lw 53444
c lw 53445
c lw 53446
c lw 53447
c lw 53448
c lw 53449
c lw 53450
c lw 53451
c lw 53452
c lw 53453
c lw 53454
c lw 53455
c lw 53456
c lw 53457
c lw 53459
c lw 53460
c lw 53461
c lw 53462
c lw 53463
c lw 53464
c lw 53465
c lw 53466
c lw 53467
c lw 53468
c lw 53469
c lw 53470
c lw 53471
c lw 53472
c lw 53473
c lw 53474
c lw 53475
c lw 53476
c lw 53477
c lw 53478
c lw 53479
c lw 53480
c lw 53481
c lw 53482
c lw 53483
c lw 53484
c lw 53485
c lw 53486
c lw 53487
c lw 53488
c lw 53489
c lw 53490
c lw 53491
c lw 53492
c lw 53493
c lw 53518
c lw 53519
c lw 53520
c lw 53521
c lw 53522
c lw 53523
c lw 53524
c lw 53525
c lw 53526
c lw 53527
c lw 53528
c lw 53529
c lw 53530
c lw 53531
c lw 53532
c lw 53533
c lw 53534
c lw 53542
c lw 53624
c lw 53690
c lw 53694
c lw 53719
c lw 53762
c lw 53896
c lw 53897
c lw 53898
c lw 53901
c lw 53902
c lw 53903
c lw 53910
c lw 53911
c lw 53912
c lw 53913
c lw 53914
c lw 53915
c lw 53916
c lw 53917
c lw 53918
c lw 53919
c lw 53920
c lw 53921
c lw 53922
c lw 53923
c lw 53924
c lw 53925
c lw 53926
c lw 53927
c lw 53928
c lw 53929
c lw 53930
c lw 53931
c lw 53932
c lw 53933
c lw 53934
c lw 53935
c lw 53936
c lw 53940
c lw 53941
c lw 53969
c lw 54002
c lw 54053
c lw 54054
c lw 54055
c lw 54056
c lw 54057
c lw 54058
c lw 54059
c lw 54060
c lw 54061
c lw 54062
c lw 54063
c lw 54064
c lw 54065
c lw 54066
c lw 54067
c lw 55321
c lw 55731
c lw 55732
c lw 55733
c lw 55734
c lw 55765
c lw 55779
c lw 55780
c lw 55781
c lw 55809
c lw 55860
c lw 55888
c lw 55929
c lw 55954
c lw 56008
c lw 56024
c lw 56180
c lw 56279
c lw 56460
c lw 56653
c lw 56676
c lw 56683
c lw 56699
c lw 56700
c lw 56701
c lw 56702
c lw 56703
c lw 56704
c lw 56705
c lw 56737
c lw 56738
c lw 56741
c lw 56754
c lw 56755
c lw 56756
c lw 56757
c lw 56758
c lw 56759
c lw 56760
c lw 56761
c lw 56881
c lw 57361
c lw 57468
c lw 57647
c lw 57674
c lw 57710
c lw 57736
c lw 57852
c lw 57866
c lw 57908
c lw 57957
c lw 58138
c lw 58380
c lw 58521
c lw 58943
c lw 58944
c lw 58946
c lw 58947
c lw 58948
c lw 58950
c lw 58951
c lw 58952
c lw 58954
c lw 58956
c lw 58957
c lw 58958
c lw 58959
c lw 58960
c lw 58962
c lw 58963
c lw 58964
c lw 58965
c lw 58966
c lw 58967
c lw 58968
c lw 58969
c lw 58970
c lw 58971
c lw 58972
c lw 58973
c lw 58974
c lw 58975
c lw 58976
c lw 58977
c lw 58978
c lw 58979
c lw 58980
c lw 58981
c lw 58983
c lw 58984
c lw 58985
c lw 58986
c lw 58987
c lw 58988
c lw 58989
c lw 58990
c lw 58994
c lw 58995
c lw 58996
c lw 58997
c lw 58998
c lw 58999
c lw 59000
c lw 59001
c lw 59002
c lw 59003
c lw 59004
c lw 59005
c lw 59006
c lw 59007
c lw 59008
c lw 59009
c lw 59010
c lw 59012
c lw 59013
c lw 59016
c lw 59018
c lw 59021
c lw 59022
c lw 59026
c lw 59027
c lw 59034
c lw 59035
c lw 59037
c lw 59042
c lw 59045
c lw 59046
c lw 59047
c lw 59048
c lw 59049
c lw 59050
c lw 59051
c lw 59052
c lw 59053
c lw 59054
c lw 59055
c lw 59056
c lw 59057
c lw 59059
c lw 59060
c lw 59061
c lw 59062
c lw 59063
c lw 59064
c lw 59065
c lw 59066
c lw 59067
c lw 59068
c lw 59069
c lw 59070
c lw 59071
c lw 59072
c lw 59073
c lw 59074
c lw 59075
c lw 59076
c lw 59077
c lw 59078
c lw 59079
c lw 59080
c lw 59082
c lw 59083
c lw 59084
c lw 59085
c lw 59089
c lw 59090
c lw 59094
c lw 59096
c lw 59099
c lw 59100
c lw 59101
c lw 59102
c lw 59103
c lw 59104
c lw 59105
c lw 59106
c lw 59107
c lw 59108
c lw 59109
c lw 59110
c lw 59111
c lw 59112
c lw 59113
c lw 59114
c lw 59115
c lw 59116
c lw 59117
c lw 59118
c lw 59119
c lw 59120
c lw 59121
c lw 59122
c lw 59123
c lw 59124
c lw 59125
c lw 59126
c lw 59127
c lw 59128
c lw 59129
c lw 59130
c lw 59131
c lw 59132
c lw 59133
c lw 59134
c lw 59135
c lw 59136
c lw 59137
c lw 59138
c lw 59139
c lw 59140
c lw 59141
c lw 59142
Killed
1803.259u 16.486s 30:19.67 100.0%	0+0k 0+0io 0pf+0w