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-50-2_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 138
c lw 1108
c lw 2425
c lw 4031
c lw 4898
c lw 6393
c lw 7828
c lw 7864
c lw 8141
c lw 8491
c lw 8745
c lw 9574
c lw 9717
c lw 10262
c lw 10430
c lw 11365
c lw 11502
c lw 11888
c lw 12049
c lw 12080
c lw 12197
c lw 12281
c lw 12314
c lw 12367
c lw 12643
c lw 12696
c lw 12706
c lw 12820
c lw 12851
c lw 13141
c lw 13502
c lw 13843
c lw 13903
c lw 14698
c lw 14841
c lw 14889
c lw 14920
c lw 14997
c lw 15050
c lw 15081
c lw 15207
c lw 15652
c lw 15667
c lw 15685
c lw 15705
c lw 15720
c lw 15736
c lw 15788
c lw 16712
c lw 16902
c lw 17311
c lw 17505
c lw 17739
c lw 17789
c lw 18448
c lw 18975
c lw 19620
c lw 20436
c lw 20579
c lw 20600
c lw 20633
c lw 20772
c lw 20831
c lw 21369
c lw 21641
c lw 21916
c lw 22131
c lw 22385
c lw 22387
c lw 22402
c lw 22409
c lw 22415
c lw 22435
c lw 22487
c lw 22529
c lw 22595
c lw 22608
c lw 23814
c lw 24015
c lw 24211
c lw 24276
c lw 24287
c lw 24557
c lw 24595
c lw 24723
c lw 24749
c lw 25063
c lw 25155
c lw 25453
c lw 25770
c lw 25772
c lw 25808
c lw 25863
c lw 25907
c lw 25933
c lw 26024
c lw 26032
c lw 26036
c lw 26071
c lw 26109
c lw 26116
c lw 26164
c lw 26190
c lw 26213
c lw 26218
c lw 26223
c lw 26470
c lw 26478
c lw 26843
c lw 26901
c lw 26966
c lw 27083
c lw 27155
c lw 27176
c lw 27293
c lw 27358
c lw 27366
c lw 27453
c lw 27546
c lw 28070
c lw 28126
c lw 28252
c lw 28327
c lw 28338
c lw 28358
c lw 28426
c lw 28477
c lw 28519
c lw 28596
c lw 28666
c lw 28685
c lw 28719
c lw 28799
c lw 28800
c lw 28874
c lw 28952
c lw 28967
c lw 29015
c lw 29084
c lw 29102
c lw 29147
c lw 29260
c lw 29340
c lw 29374
c lw 29393
c lw 29463
c lw 29532
c lw 29534
c lw 29572
c lw 29578
c lw 29589
c lw 29603
c lw 29924
c lw 30086
c lw 30100
c lw 30109
c lw 30249
c lw 30478
c lw 30800
c lw 31059
c lw 31247
c lw 31262
c lw 31264
c lw 31267
c lw 31273
c lw 31281
c lw 31311
c lw 31316
c lw 31329
c lw 31336
c lw 31354
c lw 31358
c lw 31771
c lw 31778
c lw 31785
c lw 31788
c lw 31803
c lw 31808
c lw 31811
c lw 31813
c lw 31819
c lw 31823
c lw 31826
c lw 32026
c lw 32425
c lw 32582
c lw 32596
c lw 32605
c lw 32616
c lw 32655
c lw 33391
c lw 33521
c lw 33523
c lw 33529
c lw 33532
c lw 33552
c lw 33581
c lw 33587
c lw 33589
c lw 33591
c lw 33592
c lw 33600
c lw 33603
c lw 33771
c lw 33874
c lw 33880
c lw 33890
c lw 33896
c lw 33903
c lw 33905
c lw 33915
c lw 33924
c lw 33938
c lw 33940
c lw 33941
c lw 33944
c lw 33946
c lw 33957
c lw 33958
c lw 33963
c lw 33978
c lw 33982
c lw 33984
c lw 33989
c lw 33992
c lw 34007
c lw 34009
c lw 34010
c lw 34011
c lw 34018
c lw 34019
c lw 34024
c lw 34030
c lw 34035
c lw 34044
c lw 34045
c lw 34050
c lw 34056
c lw 34059
c lw 34060
c lw 34062
c lw 34071
c lw 34077
c lw 34079
c lw 34081
c lw 34093
c lw 34100
c lw 34101
c lw 34102
c lw 34103
c lw 34105
c lw 34107
c lw 34109
c lw 34111
c lw 34115
c lw 34117
c lw 34119
c lw 34125
c lw 34130
c lw 34131
c lw 34136
c lw 34141
c lw 34143
c lw 34144
c lw 34145
c lw 34146
c lw 34148
c lw 34155
c lw 34156
c lw 34159
c lw 34169
c lw 34171
c lw 34172
c lw 34176
c lw 34177
c lw 34178
c lw 34204
c lw 34208
c lw 34209
c lw 34211
c lw 34212
c lw 34215
c lw 34217
c lw 34221
c lw 34222
c lw 34227
c lw 34230
c lw 34235
c lw 34236
c lw 34237
c lw 34242
c lw 34245
c lw 34247
c lw 34248
c lw 34251
c lw 34252
c lw 34254
c lw 34260
c lw 34262
c lw 34264
c lw 34268
c lw 34270
c lw 34277
c lw 34284
c lw 34285
c lw 34287
c lw 34289
c lw 34290
c lw 34292
c lw 34293
c lw 34294
c lw 34296
c lw 34297
c lw 34300
c lw 34302
c lw 34305
c lw 34308
c lw 34311
c lw 34312
c lw 34313
c lw 34314
c lw 34317
c lw 34318
c lw 34319
c lw 34322
c lw 34323
c lw 34324
c lw 34325
c lw 34328
c lw 34329
c lw 34330
c lw 34333
c lw 34335
c lw 34337
c lw 34338
c lw 34340
c lw 34341
c lw 34343
c lw 34344
c lw 34348
c lw 34557
c lw 34560
c lw 34562
c lw 34563
c lw 34564
c lw 34567
c lw 34568
c lw 34575
c lw 34576
c lw 34577
c lw 34579
c lw 34591
c lw 34593
c lw 34594
c lw 34595
c lw 34596
c lw 34597
c lw 34600
c lw 34601
c lw 34602
c lw 34603
c lw 34604
c lw 34605
c lw 34606
c lw 34607
c lw 34608
c lw 34609
c lw 34611
c lw 34612
c lw 34614
c lw 34615
c lw 34616
c lw 34618
c lw 34619
c lw 34620
c lw 34621
c lw 34622
c lw 34628
c lw 34630
c lw 34634
c lw 34635
c lw 34637
c lw 34640
c lw 34642
c lw 34648
c lw 34651
c lw 34653
c lw 34654
c lw 34655
c lw 34656
c lw 34657
c lw 34660
c lw 34662
c lw 34664
c lw 34665
c lw 34667
c lw 34668
c lw 34671
c lw 34672
c lw 34673
c lw 34675
c lw 34676
c lw 34677
c lw 34678
c lw 34679
c lw 34721
c lw 34762
c lw 34763
c lw 34764
c lw 34765
c lw 34766
c lw 34767
c lw 34768
c lw 34769
c lw 34770
c lw 34771
c lw 34772
c lw 34773
c lw 34774
c lw 34775
c lw 34776
c lw 34777
c lw 34778
c lw 34779
c lw 34780
c lw 34781
c lw 34782
c lw 34783
c lw 34784
c lw 34785
c lw 34786
c lw 34787
c lw 34788
c lw 34789
c lw 34790
c lw 34791
c lw 34792
c lw 34793
c lw 34794
c lw 34795
c lw 34796
c lw 34797
c lw 34798
c lw 34799
c lw 34800
c lw 34837
c lw 34838
c lw 34839
c lw 34840
c lw 34852
c lw 34855
c lw 34861
c lw 34863
c lw 34870
c lw 34878
c lw 34880
c lw 34882
c lw 34883
c lw 34884
c lw 34885
c lw 34886
c lw 34889
c lw 34893
c lw 34917
c lw 34961
c lw 34963
c lw 34966
c lw 34967
c lw 34972
c lw 34976
c lw 34977
c lw 34979
c lw 34981
c lw 34987
c lw 34992
c lw 34993
c lw 34994
c lw 34995
c lw 34996
c lw 34997
c lw 34998
c lw 34999
c lw 35000
c lw 35001
c lw 35002
c lw 35003
c lw 35004
c lw 35005
c lw 35006
c lw 35007
c lw 35008
c lw 35009
c lw 35010
c lw 35011
c lw 35012
c lw 35013
c lw 35014
c lw 35015
c lw 35016
c lw 35017
c lw 35018
c lw 35019
c lw 35020
c lw 35021
c lw 35022
c lw 35023
c lw 35024
c lw 35025
c lw 35026
c lw 35027
c lw 35028
c lw 35029
c lw 35030
c lw 35032
c lw 35033
c lw 35034
c lw 35035
c lw 35036
c lw 35037
c lw 35038
c lw 35039
c lw 35040
c lw 35041
c lw 35042
c lw 35043
c lw 35044
c lw 35045
c lw 35046
c lw 35047
c lw 35048
c lw 35049
c lw 35050
c lw 35051
c lw 35052
c lw 35053
c lw 35054
c lw 35055
c lw 35056
c lw 35057
c lw 35058
c lw 35059
c lw 35062
c lw 35063
c lw 35067
c lw 35068
c lw 35070
c lw 35071
c lw 35074
c lw 35076
c lw 35080
c lw 35081
c lw 35086
c lw 35087
c lw 35088
c lw 35090
c lw 35091
c lw 35092
c lw 35093
c lw 35094
c lw 35095
c lw 35096
c lw 35097
c lw 35099
c lw 35100
c lw 35101
c lw 35102
c lw 35103
c lw 35104
c lw 35105
c lw 35106
c lw 35107
c lw 35108
c lw 35110
c lw 35111
c lw 35112
c lw 35113
c lw 35114
c lw 35115
c lw 35116
c lw 35117
c lw 35118
c lw 35119
c lw 35120
c lw 35121
c lw 35122
c lw 35123
c lw 35124
c lw 35125
c lw 35126
c lw 35127
c lw 35128
c lw 35129
c lw 35130
c lw 35132
c lw 35133
c lw 35134
c lw 35135
c lw 35136
c lw 35137
c lw 35138
c lw 35139
c lw 35141
c lw 35143
c lw 35144
c lw 35145
c lw 35146
c lw 35147
c lw 35148
c lw 35149
c lw 35150
c lw 35151
c lw 35152
c lw 35154
c lw 35155
c lw 35157
c lw 35158
c lw 35159
c lw 35160
c lw 35161
c lw 35162
c lw 35163
c lw 35164
c lw 35165
c lw 35166
c lw 35167
c lw 35168
c lw 35169
c lw 35170
c lw 35171
c lw 35172
c lw 35173
c lw 35174
c lw 35175
c lw 35176
c lw 35177
c lw 35178
c lw 35179
c lw 35180
c lw 35181
c lw 35182
c lw 35183
c lw 35184
c lw 35185
c lw 35189
c lw 35199
c lw 35200
c lw 35201
c lw 35203
c lw 35204
c lw 35205
c lw 35209
c lw 35210
c lw 35211
c lw 35212
c lw 35213
c lw 35214
c lw 35215
c lw 35298
c lw 35484
c lw 35553
c lw 35554
c lw 35555
c lw 35556
c lw 35557
c lw 35558
c lw 35559
c lw 35560
c lw 35561
c lw 35562
c lw 35563
c lw 35564
c lw 35565
c lw 35566
c lw 35567
c lw 35568
c lw 35569
c lw 35570
c lw 35571
c lw 35572
c lw 35573
c lw 35574
c lw 35575
c lw 35576
c lw 35577
c lw 35578
c lw 35579
c lw 35580
c lw 35581
c lw 35582
c lw 35583
c lw 35584
c lw 35585
c lw 35586
c lw 35587
c lw 35588
c lw 35589
c lw 35590
c lw 35591
c lw 35592
c lw 35593
c lw 35594
c lw 35595
c lw 35596
c lw 35597
c lw 35598
c lw 35599
c lw 35600
c lw 35601
c lw 35602
c lw 35603
c lw 35604
c lw 35605
c lw 35606
c lw 35607
c lw 35608
c lw 35609
c lw 35610
c lw 35612
c lw 35618
c lw 35629
c lw 35641
c lw 35642
c lw 35643
c lw 35644
c lw 35645
c lw 35646
c lw 35647
c lw 35648
c lw 35649
c lw 35650
c lw 35651
c lw 35652
c lw 35653
c lw 35654
c lw 35655
c lw 35656
c lw 35657
c lw 35658
c lw 35659
c lw 35660
c lw 35661
c lw 35662
c lw 35663
c lw 35664
c lw 35665
c lw 35666
c lw 35667
c lw 35668
c lw 35669
c lw 35670
c lw 35671
c lw 35672
c lw 35673
c lw 35674
c lw 35675
c lw 35676
c lw 35677
c lw 35678
c lw 35679
c lw 35680
c lw 35681
c lw 35682
c lw 35683
c lw 35684
c lw 35685
c lw 35686
c lw 35687
c lw 35688
c lw 35689
c lw 35690
c lw 35691
c lw 35692
c lw 35693
c lw 35694
c lw 36108
c lw 36130
c lw 36217
c lw 36218
c lw 36418
c lw 36527
c lw 36552
c lw 36553
c lw 36554
c lw 36555
c lw 36556
c lw 36557
c lw 36558
c lw 36559
c lw 36560
c lw 36563
c lw 36564
c lw 36565
c lw 36566
c lw 36567
c lw 36568
c lw 36569
c lw 36570
c lw 36571
c lw 36572
c lw 36573
c lw 36574
c lw 36575
c lw 36576
c lw 36577
c lw 36578
c lw 36579
c lw 36580
c lw 36581
c lw 36582
c lw 36583
c lw 36584
c lw 36585
c lw 36586
c lw 36587
c lw 36588
c lw 36589
c lw 36590
c lw 36591
c lw 36592
c lw 36593
c lw 36594
c lw 36595
c lw 36596
c lw 36597
c lw 36598
c lw 36599
c lw 36600
c lw 36601
c lw 36602
c lw 36603
c lw 36604
c lw 36605
c lw 36606
c lw 36607
c lw 36608
c lw 36609
c lw 36610
c lw 36611
c lw 36612
c lw 36613
c lw 36614
c lw 36615
c lw 36616
c lw 36617
c lw 36618
c lw 36619
c lw 36620
c lw 36622
c lw 36623
c lw 36624
c lw 36625
c lw 36626
c lw 36627
c lw 36628
c lw 36629
c lw 36630
c lw 36631
c lw 36633
c lw 36634
c lw 36635
c lw 36636
c lw 36637
c lw 36638
c lw 36639
c lw 36640
c lw 36641
c lw 36642
c lw 36643
c lw 36644
c lw 36645
c lw 36646
c lw 36647
c lw 36648
c lw 36649
c lw 36650
c lw 36651
c lw 36652
c lw 36653
c lw 36654
c lw 36655
c lw 36656
c lw 36657
c lw 36658
c lw 36659
c lw 36660
c lw 36661
c lw 36662
c lw 36663
c lw 36664
c lw 36665
c lw 36666
c lw 36667
c lw 36668
c lw 36669
c lw 36670
c lw 36671
c lw 36672
c lw 36673
c lw 36674
c lw 36675
c lw 36676
c lw 36677
c lw 36678
c lw 36679
c lw 36680
c lw 36681
c lw 36682
c lw 36683
c lw 36684
c lw 36685
c lw 36686
c lw 36687
c lw 36688
c lw 36689
c lw 36690
c lw 36691
c lw 36692
c lw 36693
c lw 36694
c lw 36695
c lw 36696
c lw 36697
c lw 36698
c lw 36699
c lw 36700
c lw 36701
c lw 36702
c lw 36703
c lw 36704
c lw 36705
c lw 36706
c lw 36707
c lw 36708
c lw 36709
c lw 36710
c lw 36711
c lw 36712
c lw 36713
c lw 36714
c lw 36715
c lw 36716
c lw 36717
c lw 36718
c lw 36719
c lw 36720
c lw 36721
c lw 36722
c lw 36723
c lw 36724
c lw 36725
c lw 36726
c lw 36727
c lw 36728
c lw 36729
c lw 36730
c lw 36731
c lw 36732
c lw 36733
c lw 36734
c lw 36735
c lw 36736
c lw 36737
c lw 36738
c lw 36739
c lw 36740
c lw 36741
c lw 36742
c lw 36743
c lw 36744
c lw 36745
c lw 36962
c lw 37122
c lw 37419
c lw 37440
c lw 37682
c lw 38099
c lw 38159
c lw 38180
c lw 38192
c lw 38228
c lw 38690
c lw 38929
c lw 38991
c lw 39126
c lw 39136
c lw 39149
c lw 39150
c lw 39151
c lw 39152
c lw 39153
c lw 39154
c lw 39155
c lw 39156
c lw 39157
c lw 39158
c lw 39159
c lw 39160
c lw 39161
c lw 39162
c lw 39163
c lw 39164
c lw 39165
c lw 39166
c lw 39167
c lw 39168
c lw 39169
c lw 39170
c lw 39171
c lw 39172
c lw 39173
c lw 39174
c lw 39175
c lw 39176
c lw 39177
c lw 39178
c lw 39179
c lw 39180
c lw 39181
Killed
1800.889u 18.849s 30:23.87 99.7%	0+0k 0+0io 0pf+0w