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-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 427
c lw 670
c lw 1360
c lw 2308
c lw 3277
c lw 3456
c lw 5236
c lw 6571
c lw 7250
c lw 8352
c lw 9330
c lw 10634
c lw 10842
c lw 11210
c lw 11250
c lw 11690
c lw 11988
c lw 12034
c lw 12183
c lw 12713
c lw 13033
c lw 13530
c lw 13676
c lw 13701
c lw 13704
c lw 13716
c lw 13901
c lw 14050
c lw 14084
c lw 14258
c lw 14755
c lw 14838
c lw 15046
c lw 15049
c lw 15105
c lw 15478
c lw 15611
c lw 15968
c lw 15973
c lw 16122
c lw 16817
c lw 16942
c lw 17033
c lw 17596
c lw 17742
c lw 17868
c lw 19323
c lw 19573
c lw 20277
c lw 20463
c lw 20735
c lw 20747
c lw 21187
c lw 21205
c lw 21617
c lw 21803
c lw 22103
c lw 22128
c lw 22145
c lw 22165
c lw 22265
c lw 22304
c lw 22311
c lw 22324
c lw 22401
c lw 22764
c lw 22954
c lw 23099
c lw 23132
c lw 23144
c lw 23317
c lw 23452
c lw 23673
c lw 24004
c lw 24103
c lw 24130
c lw 24142
c lw 24182
c lw 24211
c lw 24544
c lw 24776
c lw 24845
c lw 24977
c lw 25141
c lw 25218
c lw 25230
c lw 25259
c lw 25362
c lw 25466
c lw 25475
c lw 25592
c lw 25619
c lw 25634
c lw 25659
c lw 25677
c lw 25736
c lw 25738
c lw 25823
c lw 25883
c lw 25971
c lw 26052
c lw 26191
c lw 26804
c lw 26830
c lw 26879
c lw 26954
c lw 27267
c lw 27465
c lw 27549
c lw 27569
c lw 27588
c lw 27597
c lw 27605
c lw 27618
c lw 27674
c lw 27702
c lw 27722
c lw 27741
c lw 27750
c lw 27789
c lw 27796
c lw 27831
c lw 27881
c lw 27895
c lw 27924
c lw 27930
c lw 27931
c lw 27945
c lw 27971
c lw 28055
c lw 28056
c lw 28134
c lw 28145
c lw 28183
c lw 28229
c lw 28509
c lw 28600
c lw 28642
c lw 28779
c lw 28798
c lw 28806
c lw 28812
c lw 28821
c lw 28825
c lw 28848
c lw 28868
c lw 28872
c lw 28886
c lw 28905
c lw 28923
c lw 29165
c lw 29505
c lw 29554
c lw 29584
c lw 29776
c lw 29975
c lw 30098
c lw 30220
c lw 30259
c lw 30311
c lw 30487
c lw 30570
c lw 30647
c lw 30674
c lw 30855
c lw 30874
c lw 31113
c lw 31114
c lw 31131
c lw 31177
c lw 31384
c lw 31560
c lw 31751
c lw 31792
c lw 31841
c lw 31843
c lw 31851
c lw 31919
c lw 31990
c lw 32154
c lw 32283
c lw 32400
c lw 32495
c lw 32522
c lw 32523
c lw 32574
c lw 32639
c lw 32640
c lw 32655
c lw 32657
c lw 32671
c lw 32703
c lw 32741
c lw 32923
c lw 32940
c lw 32975
c lw 33052
c lw 33289
c lw 33369
c lw 33381
c lw 33383
c lw 33388
c lw 33397
c lw 33398
c lw 33399
c lw 33429
c lw 33540
c lw 33541
c lw 33616
c lw 33631
c lw 33766
c lw 33782
c lw 33789
c lw 33791
c lw 33815
c lw 33836
c lw 34025
c lw 34033
c lw 34365
c lw 35430
c lw 35692
c lw 35693
c lw 35711
c lw 36105
c lw 36182
c lw 36292
c lw 36313
c lw 36953
c lw 37911
c lw 37930
c lw 37975
c lw 38501
c lw 38843
c lw 39035
c lw 40237
c lw 40275
c lw 40318
c lw 40356
c lw 40511
c lw 40696
c lw 40729
c lw 40780
c lw 40825
c lw 40879
c lw 40883
c lw 40898
c lw 40943
c lw 41021
c lw 41340
c lw 41346
c lw 41742
c lw 41851
c lw 42070
c lw 42315
c lw 42496
c lw 42618
c lw 42738
c lw 42764
c lw 42943
c lw 43512
c lw 43515
c lw 43550
c lw 43691
c lw 43751
c lw 44398
c lw 44463
c lw 44625
c lw 45830
c lw 45903
c lw 45913
c lw 46624
c lw 46775
c lw 46785
c lw 46915
c lw 47248
c lw 47287
c lw 47326
c lw 47372
c lw 47605
c lw 47889
c lw 47940
c lw 47963
c lw 47968
c lw 48014
c lw 48041
c lw 48198
c lw 48381
c lw 48449
c lw 48496
c lw 48508
c lw 48634
c lw 48772
c lw 48979
c lw 49094
c lw 49150
c lw 49324
c lw 49386
c lw 49521
c lw 49541
c lw 49653
c lw 49667
c lw 49679
c lw 49681
c lw 49684
c lw 49701
c lw 49792
c lw 49835
c lw 50080
c lw 50143
c lw 50162
c lw 50252
c lw 50291
c lw 50328
c lw 50329
c lw 50337
c lw 50367
c lw 50376
c lw 50379
c lw 50585
c lw 50715
c lw 50723
c lw 50803
c lw 50843
c lw 51134
c lw 51298
c lw 51300
c lw 51306
c lw 51367
c lw 51388
c lw 51472
c lw 51499
c lw 51502
c lw 51503
c lw 51545
c lw 51546
c lw 51555
c lw 51557
c lw 51563
c lw 51564
c lw 51565
c lw 51595
c lw 51607
c lw 51608
c lw 51611
c lw 51620
c lw 51624
c lw 51633
c lw 51645
c lw 51650
c lw 51658
c lw 51675
c lw 51695
c lw 51697
c lw 51734
c lw 51742
c lw 51798
c lw 51805
c lw 51839
c lw 51847
c lw 51878
c lw 51924
c lw 51949
c lw 51950
c lw 51953
c lw 51962
c lw 51963
c lw 51992
c lw 52000
c lw 52014
c lw 52016
c lw 52022
c lw 52023
c lw 52024
c lw 52054
c lw 52064
c lw 52449
c lw 52483
c lw 52552
c lw 52597
c lw 52608
c lw 52614
c lw 52707
c lw 52749
c lw 52752
c lw 52766
c lw 52778
c lw 52780
c lw 52797
c lw 52888
c lw 52908
c lw 53006
c lw 53020
c lw 53063
c lw 53095
c lw 53098
c lw 53100
c lw 53109
c lw 53112
c lw 53114
c lw 53126
c lw 53138
c lw 53215
c lw 53282
c lw 53307
c lw 53308
c lw 53366
c lw 53369
c lw 53371
c lw 53375
c lw 53376
c lw 53616
c lw 53636
c lw 53878
c lw 53934
c lw 53938
c lw 54078
c lw 54161
c lw 54217
c lw 54411
c lw 54449
c lw 54480
c lw 54516
c lw 54556
c lw 54660
c lw 54922
c lw 54989
c lw 54990
c lw 55005
c lw 55079
c lw 56241
c lw 56245
c lw 56277
c lw 56554
c lw 56558
c lw 56610
c lw 56632
c lw 56668
c lw 56675
c lw 56687
c lw 56699
c lw 56705
c lw 56709
c lw 56747
c lw 56755
c lw 56783
c lw 56828
c lw 56884
c lw 56887
c lw 56899
c lw 56933
c lw 56982
c lw 56986
c lw 56990
c lw 57271
c lw 57326
c lw 57337
c lw 57377
c lw 57389
c lw 57515
c lw 57572
c lw 57617
c lw 57720
c lw 57744
c lw 57802
c lw 57821
c lw 57880
c lw 58002
c lw 58153
c lw 58172
c lw 58175
c lw 58187
c lw 58199
c lw 58221
c lw 58224
c lw 58225
c lw 58229
c lw 58230
c lw 58233
c lw 58234
c lw 58237
c lw 58238
c lw 58271
c lw 58278
c lw 58287
c lw 58316
c lw 58325
c lw 58334
c lw 58337
c lw 58349
c lw 58356
c lw 58360
c lw 58364
c lw 58370
c lw 58372
c lw 58374
c lw 58375
c lw 58391
c lw 58558
c lw 58701
c lw 58713
c lw 58714
c lw 58718
c lw 58721
c lw 58723
c lw 58726
c lw 58727
c lw 58728
c lw 58729
c lw 58732
c lw 58737
c lw 58741
c lw 58745
c lw 58746
c lw 58750
c lw 58751
c lw 58753
c lw 58754
c lw 58755
c lw 58756
c lw 58766
c lw 58767
c lw 58768
c lw 58771
c lw 58775
c lw 58779
c lw 58783
c lw 58784
c lw 58785
c lw 58786
c lw 58787
c lw 58788
c lw 58789
c lw 58790
c lw 58791
c lw 58792
c lw 58796
c lw 58799
c lw 58807
c lw 58808
c lw 58810
c lw 58811
c lw 58819
c lw 58820
c lw 58822
c lw 58833
c lw 58834
c lw 58835
c lw 58842
c lw 58847
c lw 58849
c lw 58850
c lw 58852
c lw 58854
c lw 58855
c lw 58861
c lw 58864
c lw 58869
c lw 58871
c lw 58872
c lw 58881
c lw 58884
c lw 58900
c lw 58917
c lw 58924
c lw 58926
c lw 58929
c lw 58936
c lw 59347
c lw 59359
c lw 59370
c lw 59374
c lw 59381
c lw 59384
c lw 59385
c lw 59386
c lw 59389
c lw 59390
c lw 59393
c lw 59395
c lw 59396
c lw 59408
c lw 59411
c lw 59412
c lw 59415
c lw 59419
c lw 59421
c lw 59422
c lw 59423
c lw 59424
c lw 59425
c lw 59426
c lw 59431
c lw 59433
c lw 59434
c lw 59437
c lw 59438
c lw 59440
c lw 59441
c lw 59444
c lw 59446
c lw 59448
c lw 59459
c lw 59462
c lw 59463
c lw 59466
c lw 59473
c lw 59474
c lw 59475
c lw 59477
c lw 59478
c lw 59479
c lw 59481
c lw 59482
c lw 59567
c lw 59756
c lw 59839
c lw 59841
c lw 59879
c lw 59963
c lw 59971
c lw 59972
c lw 59974
c lw 59976
c lw 59978
c lw 59980
c lw 59982
c lw 59986
c lw 59988
c lw 59990
c lw 59993
c lw 59994
c lw 59995
c lw 59997
c lw 59998
c lw 59999
c lw 60000
c lw 60002
c lw 60011
c lw 60012
c lw 60014
c lw 60016
c lw 60018
c lw 60021
c lw 60026
c lw 60223
c lw 60304
c lw 60371
c lw 60527
c lw 60548
c lw 60724
c lw 60725
c lw 60726
c lw 60728
c lw 60729
c lw 60730
c lw 60731
c lw 60732
c lw 60734
c lw 60736
c lw 60740
c lw 60741
c lw 60746
c lw 60749
c lw 60750
c lw 60752
c lw 60755
c lw 60757
c lw 60758
c lw 60759
c lw 60760
c lw 60761
c lw 60762
c lw 60763
c lw 60765
c lw 60766
c lw 60767
c lw 60768
c lw 60770
c lw 60771
c lw 60772
c lw 60774
c lw 60776
c lw 60778
c lw 60779
c lw 60788
c lw 60791
c lw 60801
c lw 60807
c lw 60818
c lw 60827
c lw 60836
c lw 60838
c lw 60854
c lw 60856
c lw 60857
c lw 60858
c lw 60859
c lw 60860
c lw 60861
c lw 60862
c lw 60863
c lw 60864
c lw 60865
c lw 60866
c lw 60867
c lw 60868
c lw 60869
c lw 60870
c lw 60871
c lw 60872
c lw 60873
c lw 60874
c lw 60877
c lw 60878
c lw 60879
c lw 60880
c lw 60881
c lw 60882
c lw 60883
c lw 60884
c lw 60885
c lw 60886
c lw 60887
c lw 60888
c lw 60889
c lw 60890
c lw 60892
c lw 60893
c lw 60894
c lw 60895
c lw 60896
c lw 60897
c lw 60898
c lw 60899
c lw 60900
c lw 60901
c lw 60902
c lw 60903
c lw 60904
c lw 60905
c lw 60906
c lw 60907
c lw 60908
c lw 60909
c lw 60910
c lw 60911
c lw 60912
c lw 60913
c lw 60914
c lw 60915
c lw 60916
c lw 60917
c lw 60918
c lw 60919
c lw 60920
c lw 60921
c lw 60922
c lw 60923
c lw 60924
c lw 60925
c lw 60926
c lw 60927
c lw 60928
c lw 60929
c lw 60930
c lw 60931
c lw 60932
c lw 60933
c lw 60934
c lw 60935
c lw 60937
c lw 60938
c lw 60939
c lw 60940
c lw 60941
c lw 60942
c lw 60943
c lw 60945
c lw 60946
c lw 60947
c lw 60954
c lw 60957
c lw 60958
c lw 61041
c lw 61063
c lw 61064
c lw 61065
c lw 61067
c lw 61068
c lw 61070
c lw 61071
c lw 61074
c lw 61076
c lw 61077
c lw 61080
c lw 61085
c lw 61086
c lw 61090
c lw 61091
c lw 61092
c lw 61093
c lw 61094
c lw 61096
c lw 61097
c lw 61098
c lw 61101
c lw 61103
c lw 61136
c lw 61158
c lw 61182
c lw 61210
c lw 61211
c lw 61216
c lw 61218
c lw 61220
c lw 61222
c lw 61223
c lw 61232
c lw 61235
c lw 61245
c lw 61254
c lw 61255
c lw 61258
c lw 61271
c lw 61273
c lw 61274
c lw 61282
c lw 61292
c lw 61293
c lw 61294
c lw 61295
c lw 61296
c lw 61297
c lw 61298
c lw 61299
c lw 61300
c lw 61301
c lw 61302
c lw 61303
c lw 61304
c lw 61305
c lw 61306
c lw 61307
c lw 61308
c lw 61309
c lw 61310
c lw 61311
c lw 61312
c lw 61313
c lw 61533
c lw 61629
c lw 61630
c lw 61631
c lw 61632
c lw 61633
c lw 61634
c lw 61635
c lw 61637
c lw 61942
c lw 61947
c lw 61980
c lw 62431
c lw 62658
c lw 62728
c lw 62780
c lw 62852
c lw 62853
c lw 62854
c lw 62855
c lw 62857
c lw 62858
c lw 62859
c lw 62860
c lw 62861
c lw 62864
c lw 62865
c lw 62866
c lw 62869
c lw 62871
c lw 62873
c lw 62876
c lw 62878
c lw 62879
c lw 62880
c lw 62881
c lw 62882
c lw 62883
c lw 62884
c lw 62885
c lw 62886
c lw 62887
c lw 62888
c lw 62889
c lw 62890
c lw 62891
c lw 62892
c lw 62893
c lw 62894
c lw 62895
c lw 62896
c lw 62897
c lw 62898
c lw 62899
c lw 62900
c lw 62901
c lw 62903
c lw 62904
c lw 62905
c lw 62906
c lw 62907
c lw 62908
c lw 62909
c lw 62910
c lw 62912
c lw 62913
c lw 62914
c lw 62915
c lw 62916
c lw 62945
c lw 62961
c lw 62962
c lw 62964
c lw 62966
c lw 62969
c lw 62971
c lw 62980
c lw 62981
c lw 62982
c lw 62984
c lw 62986
c lw 62989
c lw 62990
c lw 62991
c lw 62993
c lw 63002
c lw 63014
c lw 63015
c lw 63017
c lw 63019
c lw 63022
c lw 63023
c lw 63024
c lw 63026
c lw 63027
c lw 63028
c lw 63029
c lw 63030
c lw 63034
c lw 63035
c lw 63037
c lw 63040
c lw 63042
c lw 63043
c lw 63044
c lw 63046
c lw 63047
c lw 63048
c lw 63049
c lw 63050
c lw 63052
c lw 63053
c lw 63054
c lw 63065
c lw 63066
c lw 63067
c lw 63068
c lw 63069
c lw 63070
c lw 63071
c lw 63072
c lw 63073
c lw 63077
c lw 63078
c lw 63080
c lw 63081
c lw 63083
c lw 63084
c lw 63085
c lw 63088
c lw 63090
c lw 63092
c lw 63093
c lw 63105
c lw 63106
c lw 63107
c lw 63108
c lw 63109
c lw 63110
c lw 63111
c lw 63112
c lw 63113
c lw 63114
c lw 63115
c lw 63116
c lw 63117
c lw 63118
c lw 63119
c lw 63120
c lw 63121
c lw 63122
c lw 63123
c lw 63124
c lw 63125
c lw 63126
c lw 63127
c lw 63128
c lw 63129
c lw 63130
c lw 63131
c lw 63132
c lw 63133
c lw 63134
c lw 63135
c lw 63136
c lw 63137
c lw 63138
c lw 63139
c lw 63140
c lw 63142
c lw 63143
c lw 63144
c lw 63145
c lw 63146
c lw 63147
c lw 63148
c lw 63149
c lw 63150
c lw 63285
c lw 63311
c lw 63368
c lw 63977
c lw 64013
c lw 64037
c lw 64295
c lw 64398
c lw 64409
c lw 64435
c lw 64446
c lw 64482
c lw 64541
c lw 64549
c lw 64688
c lw 64720
c lw 64741
c lw 64777
c lw 64798
c lw 64799
c lw 64807
c lw 64830
c lw 64831
c lw 64834
c lw 64855
c lw 64856
c lw 64866
c lw 64867
c lw 65011
c lw 65520
c lw 65559
c lw 65593
c lw 65991
c lw 66017
c lw 66041
c lw 66053
c lw 66064
c lw 66090
c lw 66101
c lw 66111
c lw 66118
c lw 66142
c lw 66147
c lw 66153
c lw 66157
c lw 66204
c lw 66206
c lw 66324
c lw 66330
c lw 66331
c lw 66346
c lw 66347
c lw 66348
c lw 66349
c lw 66350
c lw 66351
c lw 66352
c lw 66353
c lw 66354
c lw 66355
c lw 66356
c lw 66357
c lw 66358
c lw 66359
c lw 66360
c lw 66361
c lw 66362
c lw 66363
c lw 66364
c lw 66365
c lw 66366
c lw 66368
c lw 66369
c lw 66370
c lw 66371
c lw 66372
c lw 66373
c lw 66374
c lw 66375
c lw 66377
c lw 66378
c lw 66379
c lw 66380
c lw 66381
c lw 66389
c lw 66390
c lw 66638
c lw 66823
c lw 66953
c lw 67004
c lw 67026
c lw 67142
c lw 67211
c lw 67220
c lw 67272
c lw 67281
c lw 67323
c lw 67324
c lw 67345
c lw 67411
c lw 67559
c lw 67694
c lw 67696
c lw 67699
c lw 67700
c lw 67705
c lw 67714
c lw 67730
c lw 67731
c lw 67732
Killed
1802.051u 17.682s 30:23.47 99.7%	0+0k 0+0io 0pf+0w