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-30-2_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 613
c lw 1629
c lw 3382
c lw 5142
c lw 6609
c lw 6719
c lw 6752
c lw 7008
c lw 7295
c lw 7349
c lw 7508
c lw 7915
c lw 8047
c lw 8193
c lw 8274
c lw 8967
c lw 9516
c lw 9517
c lw 9552
c lw 9660
c lw 9871
c lw 9995
c lw 10030
c lw 10052
c lw 10085
c lw 10148
c lw 10220
c lw 10395
c lw 10596
c lw 10686
c lw 10887
c lw 10997
c lw 11004
c lw 11011
c lw 12026
c lw 12045
c lw 12120
c lw 12321
c lw 12338
c lw 12343
c lw 12378
c lw 12431
c lw 12485
c lw 12860
c lw 12941
c lw 13023
c lw 13033
c lw 13086
c lw 13114
c lw 13119
c lw 13126
c lw 13133
c lw 13156
c lw 13170
c lw 13189
c lw 13260
c lw 13280
c lw 13334
c lw 13406
c lw 13443
c lw 13486
c lw 13525
c lw 13563
c lw 13564
c lw 13618
c lw 14382
c lw 14484
c lw 14517
c lw 14519
c lw 14631
c lw 14674
c lw 14811
c lw 14816
c lw 14855
c lw 14890
c lw 14930
c lw 14933
c lw 15174
c lw 15486
c lw 15502
c lw 15802
c lw 15946
c lw 16063
c lw 16182
c lw 16337
c lw 16393
c lw 16403
c lw 16522
c lw 16562
c lw 16569
c lw 16576
c lw 16619
c lw 16648
c lw 16657
c lw 16683
c lw 16688
c lw 16697
c lw 16704
c lw 16809
c lw 16847
c lw 16872
c lw 16915
c lw 16934
c lw 16941
c lw 17169
c lw 17518
c lw 17560
c lw 17694
c lw 17838
c lw 17853
c lw 17935
c lw 17975
c lw 18022
c lw 18163
c lw 18183
c lw 18230
c lw 18253
c lw 18265
c lw 18267
c lw 18270
c lw 18273
c lw 18286
c lw 18310
c lw 18317
c lw 18318
c lw 18323
c lw 18324
c lw 18330
c lw 18349
c lw 18353
c lw 18354
c lw 18359
c lw 18368
c lw 18373
c lw 18377
c lw 18395
c lw 18396
c lw 18403
c lw 18405
c lw 18410
c lw 18413
c lw 18420
c lw 18425
c lw 18445
c lw 18495
c lw 18511
c lw 18563
c lw 18612
c lw 18666
c lw 18709
c lw 18735
c lw 18740
c lw 18749
c lw 18773
c lw 18775
c lw 18788
c lw 18794
c lw 18836
c lw 18877
c lw 18882
c lw 18887
c lw 18896
c lw 18930
c lw 18939
c lw 18959
c lw 18968
c lw 18977
c lw 18989
c lw 18994
c lw 18999
c lw 19003
c lw 19008
c lw 19011
c lw 19017
c lw 19022
c lw 19025
c lw 19026
c lw 19027
c lw 19031
c lw 19032
c lw 19035
c lw 19044
c lw 19046
c lw 19049
c lw 19053
c lw 19058
c lw 19060
c lw 19072
c lw 19092
c lw 19093
c lw 19127
c lw 19134
c lw 19139
c lw 19144
c lw 19167
c lw 19169
c lw 19272
c lw 19281
c lw 19324
c lw 19328
c lw 19332
c lw 19342
c lw 19347
c lw 19366
c lw 19371
c lw 19384
c lw 19396
c lw 19410
c lw 19411
c lw 19412
c lw 19413
c lw 19421
c lw 19426
c lw 19427
c lw 19450
c lw 19453
c lw 19458
c lw 19460
c lw 19461
c lw 19466
c lw 19467
c lw 19476
c lw 19491
c lw 19493
c lw 19496
c lw 19502
c lw 19507
c lw 19508
c lw 19509
c lw 19510
c lw 19511
c lw 19513
c lw 19515
c lw 19516
c lw 19517
c lw 19519
c lw 19521
c lw 19526
c lw 19528
c lw 19530
c lw 19533
c lw 19535
c lw 19537
c lw 19541
c lw 19542
c lw 19544
c lw 19547
c lw 19550
c lw 19554
c lw 20585
c lw 20792
c lw 20832
c lw 21001
c lw 21090
c lw 21936
c lw 21940
c lw 21941
c lw 21944
c lw 21945
c lw 21946
c lw 21947
c lw 21951
c lw 21952
c lw 21953
c lw 21959
c lw 21961
c lw 21966
c lw 21968
c lw 21969
c lw 21974
c lw 21976
c lw 21977
c lw 21978
c lw 21979
c lw 21983
c lw 21985
c lw 21986
c lw 21991
c lw 21993
c lw 21995
c lw 21997
c lw 22001
c lw 22004
c lw 22005
c lw 22007
c lw 22010
c lw 22012
c lw 22013
c lw 22017
c lw 22018
c lw 22019
c lw 22021
c lw 22022
c lw 22038
c lw 22044
c lw 22049
c lw 22053
c lw 22054
c lw 22060
c lw 22068
c lw 22073
c lw 22079
c lw 22097
c lw 22101
c lw 22112
c lw 22113
c lw 22117
c lw 22118
c lw 22119
c lw 22121
c lw 22122
c lw 22124
c lw 22125
c lw 22126
c lw 22127
c lw 22131
c lw 22132
c lw 22135
c lw 22136
c lw 22137
c lw 22139
c lw 22140
c lw 22141
c lw 22142
c lw 22143
c lw 22145
c lw 22147
c lw 22151
c lw 22152
c lw 22153
c lw 22154
c lw 22156
c lw 22157
c lw 22198
c lw 22240
c lw 22280
c lw 22281
c lw 22282
c lw 22283
c lw 22285
c lw 22286
c lw 22288
c lw 22289
c lw 22291
c lw 22293
c lw 22294
c lw 22298
c lw 22299
c lw 22300
c lw 22301
c lw 22302
c lw 22303
c lw 22304
c lw 22306
c lw 22376
c lw 22382
c lw 22384
c lw 22386
c lw 22392
c lw 22401
c lw 22403
c lw 22417
c lw 22458
c lw 22476
c lw 22572
c lw 22588
c lw 22616
c lw 22675
c lw 22679
c lw 22686
c lw 22704
c lw 22748
c lw 22773
c lw 22804
c lw 22818
c lw 22838
c lw 22856
c lw 22866
c lw 22867
c lw 22881
c lw 22901
c lw 22916
c lw 22924
c lw 22926
c lw 22943
c lw 22970
c lw 22983
c lw 22984
c lw 22996
c lw 23005
c lw 23006
c lw 23008
c lw 23009
c lw 23010
c lw 23011
c lw 23012
c lw 23013
c lw 23014
c lw 23015
c lw 23016
c lw 23017
c lw 23018
c lw 23019
c lw 23020
c lw 23021
c lw 23022
c lw 23023
c lw 23024
c lw 23025
c lw 23026
c lw 23027
c lw 23028
c lw 23029
c lw 23034
c lw 23036
c lw 23037
c lw 23040
c lw 23042
c lw 23043
c lw 23044
c lw 23050
c lw 23051
c lw 23052
c lw 23053
c lw 23054
c lw 23055
c lw 23056
c lw 23057
c lw 23058
c lw 23059
c lw 23060
c lw 23061
c lw 23062
c lw 23064
c lw 23068
c lw 23073
c lw 23074
c lw 23075
c lw 23076
c lw 23077
c lw 23078
c lw 23079
c lw 23080
c lw 23081
c lw 23082
c lw 23083
c lw 23084
c lw 23086
c lw 23087
c lw 23088
c lw 23089
c lw 23090
c lw 23091
c lw 23092
c lw 23093
c lw 23094
c lw 23095
c lw 23096
c lw 23097
c lw 23098
c lw 23099
c lw 23100
c lw 23101
c lw 23102
c lw 23103
c lw 23104
c lw 23105
c lw 23106
c lw 23107
c lw 23108
c lw 23109
c lw 23110
c lw 23111
c lw 23112
c lw 23113
c lw 23114
c lw 23115
c lw 23116
c lw 23117
c lw 23118
c lw 23119
c lw 23120
c lw 23121
c lw 23122
c lw 23123
c lw 23124
c lw 23125
c lw 23127
c lw 23128
c lw 23129
c lw 23130
c lw 23131
c lw 23132
c lw 23133
c lw 23134
c lw 23135
c lw 23137
c lw 23138
c lw 23139
c lw 23140
c lw 23141
c lw 23142
c lw 23143
c lw 23144
c lw 23145
c lw 23146
c lw 23147
c lw 23148
c lw 23149
c lw 23150
c lw 23151
c lw 23152
c lw 23153
c lw 23154
c lw 23160
c lw 23441
c lw 23444
c lw 23450
c lw 23453
c lw 23460
c lw 23472
c lw 23481
c lw 23497
c lw 23513
c lw 23528
c lw 23532
c lw 23544
c lw 23545
c lw 23547
c lw 23560
c lw 23582
c lw 23584
c lw 23599
c lw 23624
c lw 23629
c lw 23638
c lw 23640
c lw 23649
c lw 23663
c lw 23666
c lw 23668
c lw 23669
c lw 23670
c lw 23671
c lw 23680
c lw 23689
c lw 23692
c lw 23693
c lw 23700
c lw 23703
c lw 23705
c lw 23706
c lw 23707
c lw 23708
c lw 23709
c lw 23711
c lw 23714
c lw 23721
c lw 23722
c lw 23725
c lw 23733
c lw 23734
c lw 23743
c lw 23744
c lw 23745
c lw 23746
c lw 23748
c lw 23749
c lw 23751
c lw 23752
c lw 23753
c lw 23754
c lw 23755
c lw 23756
c lw 23757
c lw 23759
c lw 23760
c lw 23765
c lw 23766
c lw 23771
c lw 23774
c lw 23776
c lw 23777
c lw 23781
c lw 23785
c lw 23790
c lw 23803
c lw 23806
c lw 23807
c lw 23808
c lw 23809
c lw 23810
c lw 23811
c lw 23813
c lw 23814
c lw 23815
c lw 23817
c lw 23818
c lw 23821
c lw 23823
c lw 23825
c lw 23826
c lw 23827
c lw 23828
c lw 23829
c lw 23830
c lw 23832
c lw 23836
c lw 23839
c lw 23840
c lw 23841
c lw 23842
c lw 23843
c lw 23844
c lw 23845
c lw 23848
c lw 23850
c lw 23851
c lw 23853
c lw 23856
c lw 23857
c lw 23859
c lw 23860
c lw 23864
c lw 23868
c lw 23869
c lw 23871
c lw 23872
c lw 23873
c lw 23874
c lw 23875
c lw 23876
c lw 23878
c lw 23882
c lw 23883
c lw 23885
c lw 23886
c lw 23887
c lw 23888
c lw 23899
c lw 23903
c lw 23907
c lw 23908
c lw 23911
c lw 23912
c lw 23914
c lw 23916
c lw 23921
c lw 23923
c lw 23925
c lw 23928
c lw 23931
c lw 23933
c lw 23934
c lw 23941
c lw 23942
c lw 23944
c lw 23945
c lw 23953
c lw 23954
c lw 23959
c lw 23963
c lw 23964
c lw 23965
c lw 23966
c lw 23967
c lw 23968
c lw 23970
c lw 23971
c lw 23973
c lw 23975
c lw 23985
c lw 23994
c lw 23995
c lw 23996
c lw 23997
c lw 23998
c lw 24000
c lw 24003
c lw 24008
c lw 24009
c lw 24010
c lw 24011
c lw 24012
c lw 24013
c lw 24014
c lw 24016
c lw 24017
c lw 24019
c lw 24020
c lw 24021
c lw 24022
c lw 24031
c lw 24032
c lw 24040
c lw 24043
c lw 24044
c lw 24051
c lw 24054
c lw 24056
c lw 24057
c lw 24058
c lw 24114
c lw 24246
c lw 24413
c lw 24489
c lw 24490
c lw 24491
c lw 24493
c lw 24496
c lw 24503
c lw 24504
c lw 24507
c lw 24515
c lw 24516
c lw 24525
c lw 24526
c lw 24527
c lw 24528
c lw 24530
c lw 24531
c lw 24533
c lw 24534
c lw 24535
c lw 24536
c lw 24537
c lw 24538
c lw 24539
c lw 24541
c lw 24542
c lw 24547
c lw 24548
c lw 24553
c lw 24556
c lw 24558
c lw 24559
c lw 24563
c lw 24567
c lw 24572
c lw 24585
c lw 24614
c lw 24811
c lw 24813
c lw 24815
c lw 24816
c lw 24817
c lw 24818
c lw 24819
c lw 24820
c lw 24821
c lw 24822
c lw 24823
c lw 24824
c lw 24825
c lw 24826
c lw 24828
c lw 24830
c lw 24831
c lw 24832
c lw 24833
c lw 24834
c lw 24837
c lw 24838
c lw 24842
c lw 24845
c lw 24849
c lw 24850
c lw 24854
c lw 24855
c lw 24857
c lw 24858
c lw 24859
c lw 24860
c lw 24861
c lw 24862
c lw 24863
c lw 24864
c lw 24865
c lw 24866
c lw 24868
c lw 24872
c lw 24873
c lw 24875
c lw 24876
c lw 24877
c lw 24878
c lw 24879
c lw 24880
c lw 24881
c lw 24882
c lw 24883
c lw 24884
c lw 24885
c lw 24886
c lw 24887
c lw 24888
c lw 24892
c lw 24897
c lw 24902
c lw 24903
c lw 24904
c lw 24905
c lw 24906
c lw 24907
c lw 24909
c lw 24910
c lw 24911
c lw 24912
c lw 24913
c lw 24914
c lw 24915
c lw 24916
c lw 24917
c lw 24918
c lw 24919
c lw 24920
c lw 24921
c lw 24922
c lw 24923
c lw 24924
c lw 24925
c lw 24926
c lw 24927
c lw 24928
c lw 24929
c lw 24930
c lw 24931
c lw 24932
c lw 24933
c lw 24934
c lw 24935
c lw 24936
c lw 24937
c lw 24938
c lw 24939
c lw 24940
c lw 24941
c lw 24942
c lw 24943
c lw 24944
c lw 24945
c lw 24953
c lw 24956
c lw 24958
c lw 24959
c lw 24960
c lw 24961
c lw 24962
c lw 24964
c lw 24967
c lw 24974
c lw 24975
c lw 24978
c lw 24986
c lw 24987
c lw 24996
c lw 24997
c lw 24998
c lw 24999
c lw 25001
c lw 25002
c lw 25003
c lw 25004
c lw 25005
c lw 25006
c lw 25007
c lw 25008
c lw 25009
c lw 25010
c lw 25012
c lw 25013
c lw 25018
c lw 25019
c lw 25024
c lw 25027
c lw 25029
c lw 25030
c lw 25034
c lw 25035
c lw 25036
c lw 25037
c lw 25038
c lw 25039
c lw 25040
c lw 25041
c lw 25042
c lw 25043
c lw 25044
c lw 25045
c lw 25046
c lw 25047
c lw 25052
c lw 25061
c lw 25064
c lw 25065
c lw 25066
c lw 25067
c lw 25068
c lw 25069
c lw 25071
c lw 25072
c lw 25073
c lw 25075
c lw 25076
c lw 25079
c lw 25081
c lw 25083
c lw 25084
c lw 25085
c lw 25086
c lw 25087
c lw 25088
c lw 25089
c lw 25090
c lw 25094
c lw 25097
c lw 25098
c lw 25099
c lw 25100
c lw 25101
c lw 25102
c lw 25103
c lw 25106
c lw 25108
c lw 25109
c lw 25111
c lw 25114
c lw 25115
c lw 25117
c lw 25118
c lw 25122
c lw 25126
c lw 25127
c lw 25129
c lw 25130
c lw 25131
c lw 25132
c lw 25133
c lw 25134
c lw 25136
c lw 25140
c lw 25141
c lw 25143
c lw 25144
c lw 25145
c lw 25146
c lw 25157
c lw 25161
c lw 25165
c lw 25166
c lw 25169
c lw 25170
c lw 25172
c lw 25174
c lw 25179
c lw 25181
c lw 25183
c lw 25186
c lw 25189
c lw 25191
c lw 25192
c lw 25199
c lw 25200
c lw 25202
c lw 25203
c lw 25211
c lw 25212
c lw 25216
Killed
1799.014u 20.722s 30:22.50 99.8%	0+0k 0+0io 0pf+0w