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-100-2_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 660
c lw 998
c lw 1261
c lw 1967
c lw 2816
c lw 4271
c lw 5528
c lw 6219
c lw 7260
c lw 7887
c lw 9590
c lw 11227
c lw 11320
c lw 12292
c lw 12612
c lw 13220
c lw 13356
c lw 13643
c lw 13664
c lw 13938
c lw 14207
c lw 14731
c lw 14767
c lw 14872
c lw 14896
c lw 15193
c lw 15498
c lw 15590
c lw 15963
c lw 16544
c lw 17538
c lw 17632
c lw 17647
c lw 17660
c lw 17973
c lw 18127
c lw 18148
c lw 18220
c lw 18240
c lw 18257
c lw 18508
c lw 18577
c lw 19293
c lw 19618
c lw 19652
c lw 19655
c lw 19727
c lw 19731
c lw 19840
c lw 19857
c lw 19877
c lw 19949
c lw 19970
c lw 20044
c lw 20112
c lw 20127
c lw 20201
c lw 20221
c lw 20222
c lw 20238
c lw 20273
c lw 20438
c lw 20599
c lw 20651
c lw 20763
c lw 20915
c lw 21314
c lw 21335
c lw 21545
c lw 21581
c lw 21598
c lw 21620
c lw 21710
c lw 21713
c lw 21727
c lw 21731
c lw 21800
c lw 21826
c lw 22437
c lw 22440
c lw 22501
c lw 22506
c lw 22509
c lw 22512
c lw 22513
c lw 22516
c lw 22526
c lw 22529
c lw 22532
c lw 22546
c lw 22549
c lw 22659
c lw 22780
c lw 23249
c lw 23277
c lw 23323
c lw 23351
c lw 23352
c lw 23354
c lw 23365
c lw 23368
c lw 23371
c lw 23372
c lw 23400
c lw 23449
c lw 23472
c lw 23476
c lw 23745
c lw 23751
c lw 23763
c lw 23764
c lw 24007
c lw 24042
c lw 24053
c lw 24109
c lw 24112
c lw 24123
c lw 24185
c lw 24269
c lw 24271
c lw 24274
c lw 24352
c lw 24354
c lw 24373
c lw 24441
c lw 24443
c lw 24446
c lw 24449
c lw 24460
c lw 24463
c lw 24473
c lw 24543
c lw 24570
c lw 24592
c lw 24601
c lw 24603
c lw 24692
c lw 24694
c lw 24713
c lw 24724
c lw 24750
c lw 24767
c lw 24799
c lw 24805
c lw 24879
c lw 24959
c lw 24961
c lw 24980
c lw 24984
c lw 25012
c lw 25024
c lw 25048
c lw 25060
c lw 25061
c lw 25062
c lw 25096
c lw 26259
c lw 26427
c lw 26456
c lw 26477
c lw 26604
c lw 26633
c lw 26641
c lw 26642
c lw 26644
c lw 26645
c lw 26648
c lw 26651
c lw 26653
c lw 26686
c lw 26723
c lw 26724
c lw 26725
c lw 26726
c lw 26727
c lw 26728
c lw 26731
c lw 26732
c lw 26733
c lw 26734
c lw 26735
c lw 26738
c lw 26740
c lw 26743
c lw 26745
c lw 26746
c lw 26747
c lw 26750
c lw 26753
c lw 26754
c lw 26755
c lw 26758
c lw 26761
c lw 26762
c lw 26763
c lw 26764
c lw 26765
c lw 26766
c lw 26767
c lw 26768
c lw 26770
c lw 26771
c lw 26773
c lw 26774
c lw 26775
c lw 26776
c lw 26777
c lw 26780
c lw 26782
c lw 26783
c lw 26784
c lw 26785
c lw 26786
c lw 26789
c lw 26791
c lw 26792
c lw 26793
c lw 26794
c lw 26795
c lw 26796
c lw 26798
c lw 26800
c lw 26801
c lw 26803
c lw 26804
c lw 26805
c lw 26806
c lw 26807
c lw 26808
c lw 26809
c lw 26810
c lw 26811
c lw 26812
c lw 26813
c lw 26814
c lw 26815
c lw 26816
c lw 26817
c lw 26818
c lw 26819
c lw 26820
c lw 26821
c lw 26822
c lw 26823
c lw 26824
c lw 26825
c lw 26826
c lw 26827
c lw 26828
c lw 26829
c lw 26830
c lw 26831
c lw 26832
c lw 26833
c lw 26834
c lw 26835
c lw 26836
c lw 26837
c lw 26838
c lw 26839
c lw 26840
c lw 26841
c lw 26842
c lw 26843
c lw 26845
c lw 26846
c lw 26847
c lw 26848
c lw 26849
c lw 26850
c lw 26851
c lw 26852
c lw 26853
c lw 26854
c lw 26855
c lw 26856
c lw 26857
c lw 26858
c lw 26859
c lw 26860
c lw 26861
c lw 26862
c lw 26863
c lw 26864
c lw 26865
c lw 26866
c lw 26867
c lw 26868
c lw 26869
c lw 26870
c lw 26871
c lw 26872
c lw 26873
c lw 26875
c lw 26876
c lw 26877
c lw 26878
c lw 26879
c lw 26880
c lw 26881
c lw 26882
c lw 26883
c lw 26884
c lw 26885
c lw 26886
c lw 27439
c lw 27487
c lw 27488
c lw 27550
c lw 27687
c lw 27737
c lw 27801
c lw 27819
c lw 27957
c lw 27958
c lw 27959
c lw 27960
c lw 27961
c lw 27962
c lw 27963
c lw 27964
c lw 28025
c lw 28065
c lw 28140
c lw 28262
c lw 28266
c lw 28288
c lw 28750
c lw 28823
c lw 28830
c lw 28834
c lw 28971
c lw 29024
c lw 29028
c lw 29072
c lw 29169
c lw 29188
c lw 29257
c lw 29266
c lw 29321
c lw 29331
c lw 29375
c lw 29480
c lw 29486
c lw 29508
c lw 29626
c lw 29639
c lw 29653
c lw 29721
c lw 29791
c lw 29848
c lw 29852
c lw 29902
c lw 29917
c lw 29978
c lw 29986
c lw 29989
c lw 30003
c lw 30007
c lw 30014
c lw 30018
c lw 30021
c lw 30036
c lw 30040
c lw 30042
c lw 30044
c lw 30129
c lw 30173
c lw 30444
c lw 30506
c lw 30507
c lw 30508
c lw 30509
c lw 30510
c lw 30511
c lw 30512
c lw 30513
c lw 30514
c lw 30515
c lw 30516
c lw 30517
c lw 30518
c lw 30519
c lw 30520
c lw 30521
c lw 30522
c lw 30523
c lw 30524
c lw 30525
c lw 30526
c lw 30527
c lw 30528
c lw 30529
c lw 30530
c lw 30531
c lw 30538
c lw 30565
c lw 30586
c lw 30598
c lw 30611
c lw 30612
c lw 30613
c lw 30614
c lw 30615
c lw 30616
c lw 30617
c lw 30618
c lw 30619
c lw 30620
c lw 30621
c lw 30622
c lw 30624
c lw 30625
c lw 30626
c lw 30627
c lw 30628
c lw 30629
c lw 30630
c lw 30631
c lw 30632
c lw 30633
c lw 30634
c lw 30649
c lw 30664
c lw 30666
c lw 30668
c lw 30670
c lw 30671
c lw 30677
c lw 30679
c lw 30683
c lw 30706
c lw 30708
c lw 30710
c lw 30718
c lw 30728
c lw 30736
c lw 30737
c lw 30739
c lw 30742
c lw 30744
c lw 30745
c lw 30746
c lw 30747
c lw 30751
c lw 30772
c lw 30886
c lw 31007
c lw 31232
c lw 31299
c lw 31662
c lw 31879
c lw 31881
c lw 31883
c lw 31941
c lw 32000
c lw 32017
c lw 32027
c lw 32090
c lw 32325
c lw 32380
c lw 32398
c lw 32399
c lw 32400
c lw 32402
c lw 32405
c lw 32406
c lw 32407
c lw 32408
c lw 32409
c lw 32411
c lw 32412
c lw 32413
c lw 32417
c lw 32419
c lw 32420
c lw 32424
c lw 32427
c lw 32431
c lw 32435
c lw 32446
c lw 32449
c lw 32450
c lw 32452
c lw 32453
c lw 32454
c lw 32455
c lw 32456
c lw 32457
c lw 32458
c lw 32459
c lw 32460
c lw 32461
c lw 32462
c lw 32463
c lw 32464
c lw 32465
c lw 32469
c lw 32471
c lw 32472
c lw 32473
c lw 32474
c lw 32480
c lw 32489
c lw 32502
c lw 33237
c lw 33327
c lw 33528
c lw 33675
c lw 33876
c lw 34016
c lw 34023
c lw 34310
c lw 34450
c lw 34479
c lw 34528
c lw 34856
c lw 35077
c lw 35842
c lw 35869
c lw 35900
c lw 35971
c lw 36051
c lw 36070
c lw 36238
c lw 36266
c lw 36382
c lw 36468
c lw 36566
c lw 36597
c lw 36647
c lw 36678
c lw 36710
c lw 36758
c lw 36769
c lw 36787
c lw 36800
c lw 36812
c lw 36814
c lw 36815
c lw 36816
c lw 36817
c lw 36818
c lw 36819
c lw 36820
c lw 36821
c lw 36822
c lw 36823
c lw 36824
c lw 36825
c lw 36826
c lw 36827
c lw 36828
c lw 36829
c lw 36830
c lw 36831
c lw 36832
c lw 36833
c lw 36834
c lw 36835
c lw 36836
c lw 36837
c lw 36838
c lw 36839
c lw 36840
c lw 36841
c lw 36842
c lw 36843
c lw 36844
c lw 36845
c lw 36846
c lw 36847
c lw 36848
c lw 36849
c lw 36850
c lw 36851
c lw 36852
c lw 36853
c lw 36854
c lw 36855
c lw 36856
c lw 36857
c lw 36858
c lw 36859
c lw 36860
c lw 36861
c lw 36862
c lw 36863
c lw 36864
c lw 36865
c lw 36866
c lw 36867
c lw 36868
c lw 36869
c lw 36870
c lw 36871
c lw 36872
c lw 36873
c lw 36874
c lw 36875
c lw 36876
c lw 36877
c lw 36878
c lw 36879
c lw 36880
c lw 36881
c lw 36900
c lw 36901
c lw 37017
c lw 37018
c lw 37019
c lw 37172
c lw 37463
c lw 37548
c lw 37636
c lw 37716
c lw 37963
c lw 37985
c lw 38043
c lw 38083
c lw 38095
c lw 38346
c lw 38572
c lw 38796
c lw 38839
c lw 38890
c lw 39446
c lw 39690
c lw 39713
c lw 39771
c lw 39794
c lw 39810
c lw 39861
c lw 39868
c lw 39870
c lw 39871
c lw 39872
c lw 39873
c lw 39874
c lw 39875
c lw 39876
c lw 39877
c lw 39878
c lw 39879
c lw 39880
c lw 39882
c lw 39885
c lw 39886
c lw 39887
c lw 39888
c lw 39889
c lw 39890
c lw 39891
c lw 39892
c lw 39893
c lw 39894
c lw 39895
c lw 39896
c lw 39897
c lw 39898
c lw 39899
c lw 39900
c lw 39901
c lw 39902
c lw 39903
c lw 39904
c lw 39905
c lw 39906
c lw 39907
c lw 39908
c lw 39909
c lw 39923
c lw 39927
c lw 39928
c lw 39939
c lw 39940
c lw 39950
c lw 39951
c lw 39952
c lw 39956
c lw 39957
c lw 39958
c lw 39959
c lw 39960
c lw 40058
c lw 40279
c lw 40607
c lw 40627
c lw 40630
c lw 40694
c lw 40698
c lw 40789
c lw 40833
c lw 42066
c lw 42152
c lw 42338
c lw 42482
c lw 42547
c lw 42668
c lw 42702
c lw 42714
c lw 42719
c lw 42720
c lw 42746
c lw 42783
c lw 42847
c lw 42848
c lw 42851
c lw 42913
c lw 42927
c lw 42942
c lw 42953
c lw 42986
c lw 43034
c lw 43041
c lw 43527
c lw 43608
c lw 43748
c lw 43940
c lw 45251
c lw 45693
c lw 45777
c lw 45812
c lw 46026
c lw 46075
c lw 46603
c lw 47209
c lw 47261
c lw 47302
c lw 47338
c lw 47489
c lw 47786
c lw 47788
c lw 47789
c lw 47883
c lw 47914
c lw 47919
c lw 47921
c lw 47939
c lw 48021
c lw 48140
c lw 48195
c lw 49138
c lw 49207
c lw 49420
c lw 50560
c lw 50723
c lw 50758
c lw 50773
c lw 50784
c lw 50792
c lw 50806
c lw 50816
c lw 50817
c lw 50842
c lw 50887
c lw 50912
c lw 50924
c lw 51471
c lw 51523
c lw 51524
c lw 51525
c lw 51527
c lw 51541
c lw 51589
c lw 51603
c lw 51618
c lw 51623
c lw 51629
c lw 51635
c lw 51637
c lw 51644
c lw 51646
c lw 51651
c lw 51660
c lw 51666
c lw 51672
c lw 51673
c lw 51683
c lw 51686
c lw 51694
c lw 51706
c lw 51710
c lw 51735
c lw 51739
c lw 51744
c lw 51750
c lw 51754
c lw 51766
c lw 51775
c lw 51780
c lw 51787
c lw 51791
c lw 52074
c lw 52212
c lw 52238
c lw 52276
c lw 52555
c lw 52755
c lw 52773
c lw 52784
c lw 52836
c lw 52954
c lw 53068
c lw 53094
c lw 53284
c lw 53356
c lw 53382
c lw 53506
c lw 53597
c lw 53683
c lw 53693
c lw 53808
c lw 54085
c lw 54094
c lw 54136
c lw 54259
c lw 54274
c lw 54338
c lw 54409
c lw 54432
c lw 54498
c lw 54638
c lw 54802
c lw 54812
c lw 55178
c lw 55494
c lw 55591
c lw 56972
c lw 57024
c lw 57114
c lw 57221
c lw 57649
c lw 57799
c lw 58079
c lw 58780
c lw 58783
c lw 58786
c lw 58965
c lw 59044
c lw 59170
c lw 59234
c lw 59246
c lw 59265
c lw 59322
c lw 59344
c lw 59396
c lw 59410
c lw 59457
c lw 59559
c lw 59592
c lw 59626
c lw 59667
c lw 59678
c lw 59747
c lw 59823
c lw 59939
c lw 59959
c lw 60058
c lw 60110
c lw 60163
c lw 60277
c lw 60322
c lw 60353
c lw 60374
c lw 60439
c lw 60443
c lw 60454
c lw 60474
c lw 60486
c lw 60497
c lw 60563
c lw 60566
c lw 60583
c lw 60642
c lw 60683
c lw 60691
c lw 60711
c lw 60712
c lw 60713
c lw 61608
c lw 61767
c lw 62026
c lw 62098
c lw 62735
c lw 62893
c lw 62899
c lw 62901
c lw 62902
c lw 62913
c lw 62919
c lw 62923
c lw 62933
c lw 62938
c lw 62940
c lw 62958
c lw 62961
c lw 62968
c lw 62971
c lw 62982
c lw 62992
c lw 62997
c lw 62999
c lw 63016
c lw 63017
c lw 63019
c lw 63020
c lw 63027
c lw 63040
c lw 63057
c lw 63071
c lw 63087
c lw 63090
c lw 63136
c lw 63178
c lw 63240
c lw 63243
c lw 63247
c lw 63263
c lw 63330
c lw 63353
c lw 63360
c lw 63381
c lw 63401
c lw 63408
c lw 63410
c lw 63413
c lw 63417
c lw 63424
c lw 63446
c lw 63457
c lw 63475
c lw 63486
c lw 63500
c lw 63591
c lw 63654
c lw 63680
c lw 63725
c lw 63730
c lw 63733
c lw 63735
c lw 63741
c lw 63762
c lw 63768
c lw 64074
c lw 64190
c lw 64209
c lw 64216
c lw 64219
c lw 64223
c lw 64227
c lw 64228
c lw 64230
c lw 64232
Killed
1798.563u 21.169s 57:49.08 52.4%	0+0k 0+0io 0pf+0w