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-60-2_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 379
c lw 918
c lw 1772
c lw 2549
c lw 2816
c lw 4181
c lw 5739
c lw 5941
c lw 7448
c lw 7757
c lw 8155
c lw 9414
c lw 9497
c lw 9599
c lw 10000
c lw 10176
c lw 10216
c lw 10541
c lw 10604
c lw 10655
c lw 10793
c lw 10977
c lw 11286
c lw 11288
c lw 11462
c lw 11500
c lw 11617
c lw 11619
c lw 11968
c lw 12012
c lw 12015
c lw 12047
c lw 12133
c lw 12413
c lw 12710
c lw 12738
c lw 13022
c lw 13040
c lw 13151
c lw 13191
c lw 13208
c lw 13243
c lw 13287
c lw 13291
c lw 13293
c lw 13331
c lw 13350
c lw 13359
c lw 13480
c lw 13546
c lw 13768
c lw 13815
c lw 13849
c lw 13952
c lw 14082
c lw 14089
c lw 14109
c lw 14158
c lw 14208
c lw 14232
c lw 14292
c lw 14306
c lw 14349
c lw 14367
c lw 14586
c lw 14589
c lw 14595
c lw 14614
c lw 14632
c lw 14637
c lw 14665
c lw 14670
c lw 14672
c lw 14689
c lw 14747
c lw 14818
c lw 14827
c lw 14853
c lw 14856
c lw 14870
c lw 14871
c lw 14872
c lw 14873
c lw 14879
c lw 14897
c lw 14910
c lw 14919
c lw 14920
c lw 14922
c lw 14945
c lw 14954
c lw 14956
c lw 14961
c lw 14972
c lw 14973
c lw 14989
c lw 14996
c lw 15009
c lw 15017
c lw 15039
c lw 15089
c lw 15555
c lw 15875
c lw 16426
c lw 16476
c lw 16688
c lw 16774
c lw 16791
c lw 16800
c lw 16805
c lw 16809
c lw 16814
c lw 16847
c lw 16907
c lw 17296
c lw 17685
c lw 18325
c lw 18366
c lw 18376
c lw 18421
c lw 18565
c lw 18610
c lw 18620
c lw 18661
c lw 18773
c lw 18805
c lw 18843
c lw 18881
c lw 19009
c lw 19023
c lw 19025
c lw 19348
c lw 19402
c lw 19410
c lw 19470
c lw 19482
c lw 19483
c lw 19618
c lw 19632
c lw 19634
c lw 19737
c lw 19748
c lw 19762
c lw 19764
c lw 19835
c lw 19857
c lw 19879
c lw 19890
c lw 19900
c lw 19902
c lw 19904
c lw 19905
c lw 19906
c lw 19907
c lw 19909
c lw 19912
c lw 19914
c lw 19916
c lw 19918
c lw 19931
c lw 19953
c lw 19991
c lw 19999
c lw 20029
c lw 20063
c lw 20073
c lw 20087
c lw 20114
c lw 20141
c lw 20149
c lw 20156
c lw 20159
c lw 20171
c lw 20221
c lw 20222
c lw 20235
c lw 20246
c lw 20248
c lw 20551
c lw 20842
c lw 21029
c lw 21220
c lw 21242
c lw 21257
c lw 21271
c lw 21273
c lw 21279
c lw 21280
c lw 21287
c lw 21288
c lw 21291
c lw 21293
c lw 21303
c lw 21304
c lw 21305
c lw 21337
c lw 21370
c lw 21372
c lw 21385
c lw 21388
c lw 21390
c lw 21395
c lw 21412
c lw 21413
c lw 21441
c lw 21452
c lw 21463
c lw 21466
c lw 21475
c lw 21476
c lw 21478
c lw 21487
c lw 21509
c lw 21537
c lw 21539
c lw 21559
c lw 21561
c lw 21594
c lw 21614
c lw 21636
c lw 21651
c lw 21665
c lw 21667
c lw 21673
c lw 21674
c lw 21681
c lw 21682
c lw 21685
c lw 21687
c lw 21697
c lw 21698
c lw 21699
c lw 21721
c lw 21732
c lw 21736
c lw 21742
c lw 21755
c lw 21757
c lw 21759
c lw 21760
c lw 21761
c lw 21762
c lw 21764
c lw 21765
c lw 21863
c lw 21907
c lw 22135
c lw 22143
c lw 22954
c lw 23237
c lw 23411
c lw 23484
c lw 23649
c lw 23716
c lw 23727
c lw 23743
c lw 23759
c lw 23760
c lw 23761
c lw 23765
c lw 23767
c lw 23769
c lw 23772
c lw 23774
c lw 23775
c lw 23807
c lw 23874
c lw 23896
c lw 23910
c lw 25017
c lw 25366
c lw 25382
c lw 26027
c lw 26045
c lw 26101
c lw 26118
c lw 26256
c lw 26386
c lw 26764
c lw 26782
c lw 26796
c lw 26862
c lw 26865
c lw 26877
c lw 26891
c lw 26909
c lw 26995
c lw 27151
c lw 27196
c lw 27203
c lw 27693
c lw 27765
c lw 27774
c lw 28045
c lw 28127
c lw 28674
c lw 28866
c lw 28937
c lw 28952
c lw 29258
c lw 29824
c lw 30279
c lw 30294
c lw 30338
c lw 30363
c lw 31212
c lw 31257
c lw 31404
c lw 31475
c lw 31487
c lw 31588
c lw 31616
c lw 31964
c lw 32568
c lw 32632
c lw 32644
c lw 32675
c lw 32735
c lw 32739
c lw 32799
c lw 33095
c lw 33407
c lw 33456
c lw 33502
c lw 33612
c lw 33691
c lw 33783
c lw 33982
c lw 34118
c lw 34630
c lw 34649
c lw 34679
c lw 34695
c lw 34727
c lw 34807
c lw 34884
c lw 34916
c lw 34932
c lw 34933
c lw 34937
c lw 34962
c lw 34981
c lw 34991
c lw 34993
c lw 35003
c lw 35032
c lw 35063
c lw 35094
c lw 35146
c lw 35159
c lw 35169
c lw 35175
c lw 35178
c lw 35179
c lw 35190
c lw 35219
c lw 35243
c lw 35246
c lw 35260
c lw 35265
c lw 35274
c lw 35337
c lw 35347
c lw 35369
c lw 35389
c lw 35423
c lw 35425
c lw 35433
c lw 35435
c lw 35439
c lw 35442
c lw 35445
c lw 35727
c lw 35807
c lw 35847
c lw 35990
c lw 36007
c lw 36299
c lw 36436
c lw 36692
c lw 36705
c lw 36724
c lw 36789
c lw 36867
c lw 36925
c lw 36932
c lw 36949
c lw 36989
c lw 36992
c lw 36995
c lw 36998
c lw 36999
c lw 37001
c lw 37003
c lw 37009
c lw 37011
c lw 37015
c lw 37017
c lw 37020
c lw 37070
c lw 37136
c lw 37160
c lw 37186
c lw 37469
c lw 37564
c lw 37607
c lw 37648
c lw 37672
c lw 37684
c lw 37738
c lw 37765
c lw 37826
c lw 37852
c lw 37932
c lw 38002
c lw 38124
c lw 38195
c lw 38208
c lw 38260
c lw 38282
c lw 38283
c lw 38285
c lw 38287
c lw 38288
c lw 38289
c lw 38293
c lw 38338
c lw 38375
c lw 38388
c lw 38567
c lw 38623
c lw 38684
c lw 38687
c lw 38691
c lw 38698
c lw 38736
c lw 38749
c lw 38801
c lw 38823
c lw 38849
c lw 38893
c lw 38988
c lw 39031
c lw 39072
c lw 39087
c lw 39099
c lw 39100
c lw 39101
c lw 39102
c lw 39104
c lw 39105
c lw 39106
c lw 39108
c lw 39110
c lw 39111
c lw 39112
c lw 39114
c lw 39116
c lw 39179
c lw 39180
c lw 39181
c lw 39182
c lw 39183
c lw 39184
c lw 39185
c lw 39186
c lw 39256
c lw 39280
c lw 39288
c lw 39295
c lw 39433
c lw 39640
c lw 39678
c lw 39962
c lw 40105
c lw 40134
c lw 40154
c lw 40156
c lw 40190
c lw 40205
c lw 40208
c lw 40221
c lw 40239
c lw 40257
c lw 40259
c lw 40266
c lw 40270
c lw 40273
c lw 40334
c lw 40384
c lw 40390
c lw 40391
c lw 40395
c lw 40398
c lw 40454
c lw 40459
c lw 40552
c lw 40598
c lw 40635
c lw 40641
c lw 40642
c lw 40644
c lw 40645
c lw 40646
c lw 40649
c lw 40653
c lw 40655
c lw 40658
c lw 40661
c lw 40663
c lw 40664
c lw 40667
c lw 40668
c lw 40670
c lw 40672
c lw 40674
c lw 40677
c lw 40679
c lw 40680
c lw 40681
c lw 40684
c lw 40689
c lw 40697
c lw 40699
c lw 40705
c lw 40707
c lw 40708
c lw 40709
c lw 40710
c lw 40711
c lw 40712
c lw 40713
c lw 40714
c lw 40716
c lw 40718
c lw 40719
c lw 40720
c lw 40721
c lw 40722
c lw 40723
c lw 40724
c lw 40725
c lw 40726
c lw 40727
c lw 40728
c lw 40729
c lw 40730
c lw 40731
c lw 40732
c lw 40733
c lw 40734
c lw 40736
c lw 40737
c lw 40738
c lw 40739
c lw 40740
c lw 40741
c lw 40824
c lw 40870
c lw 40877
c lw 40878
c lw 40879
c lw 40880
c lw 40881
c lw 40883
c lw 40884
c lw 40885
c lw 40886
c lw 40887
c lw 40888
c lw 40892
c lw 40899
c lw 40909
c lw 40917
c lw 40918
c lw 40919
c lw 40920
c lw 40921
c lw 40922
c lw 40923
c lw 40924
c lw 40925
c lw 40926
c lw 40927
c lw 40928
c lw 40930
c lw 40931
c lw 40935
c lw 40937
c lw 40943
c lw 40947
c lw 40950
c lw 40961
c lw 40965
c lw 40970
c lw 40984
c lw 40986
c lw 40990
c lw 40991
c lw 40993
c lw 40994
c lw 40998
c lw 40999
c lw 41000
c lw 41002
c lw 41004
c lw 41005
c lw 41013
c lw 41019
c lw 41022
c lw 41024
c lw 41026
c lw 41029
c lw 41031
c lw 41033
c lw 41034
c lw 41035
c lw 41037
c lw 41039
c lw 41040
c lw 41046
c lw 41061
c lw 41062
c lw 41066
c lw 41072
c lw 41076
c lw 41077
c lw 41078
c lw 41079
c lw 41080
c lw 41085
c lw 41088
c lw 41090
c lw 41099
c lw 41100
c lw 41101
c lw 41103
c lw 41104
c lw 41105
c lw 41106
c lw 41107
c lw 41108
c lw 41109
c lw 41112
c lw 41114
c lw 41115
c lw 41116
c lw 41117
c lw 41118
c lw 41119
c lw 41120
c lw 41121
c lw 41122
c lw 41123
c lw 41124
c lw 41125
c lw 41126
c lw 41127
c lw 41128
c lw 41129
c lw 41130
c lw 41131
c lw 41134
c lw 41143
c lw 41150
c lw 41168
c lw 41181
c lw 41184
c lw 41199
c lw 41206
c lw 41232
c lw 41324
c lw 41332
c lw 41511
c lw 41908
c lw 42556
c lw 42641
c lw 42794
c lw 42932
c lw 42954
c lw 43185
c lw 43364
c lw 43394
c lw 43550
c lw 43914
c lw 43927
c lw 44434
c lw 44436
c lw 44440
c lw 44506
c lw 44509
c lw 44767
c lw 44798
c lw 44802
c lw 44815
c lw 44820
c lw 44844
c lw 44864
c lw 44880
c lw 44975
c lw 45031
c lw 45061
c lw 45168
c lw 45432
c lw 45436
c lw 45744
c lw 45751
c lw 45767
c lw 45770
c lw 45774
c lw 45781
c lw 45851
c lw 45860
c lw 45870
c lw 45871
c lw 45874
c lw 45938
c lw 45960
c lw 45969
c lw 45975
c lw 45982
c lw 45990
c lw 46013
c lw 46033
c lw 46107
c lw 46145
c lw 46180
c lw 46183
c lw 46268
c lw 46304
c lw 46308
c lw 46315
c lw 46321
c lw 46325
c lw 46326
c lw 46332
c lw 46337
c lw 46354
c lw 46355
c lw 46367
c lw 46369
c lw 46370
c lw 46384
c lw 46394
c lw 46398
c lw 46402
c lw 46406
c lw 46415
c lw 46419
c lw 46425
c lw 46426
c lw 46437
c lw 46453
c lw 46491
c lw 46494
c lw 46496
c lw 46507
c lw 46524
c lw 46534
c lw 46538
c lw 46544
c lw 47006
c lw 47028
c lw 47476
c lw 47510
c lw 48364
c lw 48542
c lw 48547
c lw 48549
c lw 48553
c lw 48557
c lw 48569
c lw 48573
c lw 48580
c lw 48585
c lw 48589
c lw 48594
c lw 48616
c lw 48617
c lw 48620
c lw 48621
c lw 48623
c lw 48624
c lw 48625
c lw 48627
c lw 48628
c lw 48629
c lw 48630
c lw 48632
c lw 48636
c lw 48638
c lw 48774
c lw 48784
c lw 48789
c lw 48792
c lw 48796
c lw 48798
c lw 48803
c lw 48806
c lw 48818
c lw 48820
c lw 48828
c lw 48839
c lw 48865
c lw 48879
c lw 48899
c lw 48925
c lw 48943
c lw 48946
c lw 48947
c lw 48957
c lw 48978
c lw 48988
c lw 48990
c lw 49028
c lw 49095
c lw 49443
c lw 49448
c lw 49775
c lw 49776
c lw 49777
c lw 49778
c lw 49779
c lw 49780
c lw 49781
c lw 49782
c lw 49783
c lw 49784
c lw 49785
c lw 49786
c lw 49787
c lw 49788
c lw 49789
c lw 49790
c lw 49791
c lw 49792
c lw 49793
c lw 49794
c lw 49795
c lw 49796
c lw 49797
c lw 49798
c lw 49799
c lw 49800
c lw 49801
c lw 49802
c lw 49803
c lw 49804
c lw 49805
c lw 49806
c lw 49807
c lw 49808
Killed
1807.317u 12.443s 30:20.20 99.9%	0+0k 0+0io 0pf+0w