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-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 36
c lw 532
c lw 599
c lw 748
c lw 759
c lw 1540
c lw 3520
c lw 4262
c lw 5097
c lw 6350
c lw 7041
c lw 8239
c lw 9955
c lw 10699
c lw 11632
c lw 11810
c lw 12636
c lw 12996
c lw 13904
c lw 14041
c lw 15661
c lw 15866
c lw 17349
c lw 17400
c lw 18184
c lw 18454
c lw 19058
c lw 19078
c lw 19198
c lw 19220
c lw 19307
c lw 19438
c lw 19652
c lw 20176
c lw 20742
c lw 20902
c lw 20911
c lw 21791
c lw 22020
c lw 22042
c lw 22963
c lw 22993
c lw 23091
c lw 23290
c lw 23310
c lw 23472
c lw 23521
c lw 23570
c lw 23603
c lw 23665
c lw 23698
c lw 23714
c lw 23719
c lw 23908
c lw 24001
c lw 24577
c lw 24774
c lw 24812
c lw 25229
c lw 25308
c lw 25328
c lw 25344
c lw 25345
c lw 25472
c lw 25485
c lw 25523
c lw 25715
c lw 25933
c lw 25935
c lw 25951
c lw 26438
c lw 26926
c lw 26974
c lw 27168
c lw 27178
c lw 27184
c lw 27217
c lw 27247
c lw 27263
c lw 27267
c lw 27276
c lw 27294
c lw 27356
c lw 27380
c lw 27446
c lw 27459
c lw 27466
c lw 27497
c lw 27499
c lw 27522
c lw 27556
c lw 27596
c lw 27624
c lw 27671
c lw 27704
c lw 27710
c lw 27718
c lw 27720
c lw 27736
c lw 27737
c lw 27740
c lw 27746
c lw 27753
c lw 27776
c lw 27781
c lw 27802
c lw 28149
c lw 28150
c lw 28531
c lw 28612
c lw 28715
c lw 29744
c lw 30004
c lw 30051
c lw 30177
c lw 30299
c lw 30371
c lw 30530
c lw 30549
c lw 30889
c lw 30911
c lw 30961
c lw 31083
c lw 31402
c lw 31404
c lw 31407
c lw 31507
c lw 31705
c lw 31718
c lw 31730
c lw 31786
c lw 31890
c lw 31891
c lw 31982
c lw 32045
c lw 32067
c lw 32219
c lw 32250
c lw 32287
c lw 32320
c lw 32468
c lw 32664
c lw 32670
c lw 33563
c lw 33761
c lw 34123
c lw 34570
c lw 34584
c lw 34625
c lw 34671
c lw 34706
c lw 34778
c lw 34867
c lw 34891
c lw 34898
c lw 34935
c lw 34968
c lw 34990
c lw 35065
c lw 35142
c lw 35216
c lw 35231
c lw 35290
c lw 35318
c lw 35384
c lw 35455
c lw 35474
c lw 35486
c lw 35491
c lw 35492
c lw 35527
c lw 35550
c lw 35684
c lw 35698
c lw 35709
c lw 35710
c lw 35733
c lw 35771
c lw 35868
c lw 36009
c lw 36016
c lw 36046
c lw 36113
c lw 36115
c lw 36124
c lw 36144
c lw 36146
c lw 36169
c lw 36181
c lw 36186
c lw 36210
c lw 36246
c lw 36253
c lw 36310
c lw 36317
c lw 36323
c lw 36335
c lw 36336
c lw 36350
c lw 36993
c lw 37229
c lw 37244
c lw 37253
c lw 37315
c lw 37637
c lw 37672
c lw 37803
c lw 37866
c lw 37926
c lw 37986
c lw 38451
c lw 38823
c lw 38862
c lw 39122
c lw 39169
c lw 39846
c lw 40011
c lw 40061
c lw 40484
c lw 40914
c lw 40975
c lw 41056
c lw 41157
c lw 41808
c lw 42238
c lw 42308
c lw 42342
c lw 42422
c lw 42633
c lw 42734
c lw 42737
c lw 42767
c lw 42768
c lw 42784
c lw 42788
c lw 42793
c lw 42886
c lw 42910
c lw 42915
c lw 43274
c lw 43286
c lw 43330
c lw 43413
c lw 43438
c lw 43582
c lw 43614
c lw 43655
c lw 43660
c lw 43773
c lw 43791
c lw 43865
c lw 43880
c lw 43982
c lw 44291
c lw 44580
c lw 44633
c lw 44643
c lw 44651
c lw 44725
c lw 44740
c lw 44848
c lw 44934
c lw 44966
c lw 44999
c lw 45047
c lw 45066
c lw 45081
c lw 45082
c lw 45126
c lw 45138
c lw 45160
c lw 45162
c lw 45166
c lw 45178
c lw 45252
c lw 45267
c lw 45298
c lw 45327
c lw 45431
c lw 45447
c lw 45465
c lw 45500
c lw 45621
c lw 45653
c lw 45820
c lw 45936
c lw 45975
c lw 46030
c lw 46066
c lw 46070
c lw 46078
c lw 46094
c lw 46097
c lw 46108
c lw 46112
c lw 46113
c lw 46152
c lw 46157
c lw 46167
c lw 46169
c lw 46191
c lw 46193
c lw 46203
c lw 46244
c lw 46321
c lw 46330
c lw 46340
c lw 46369
c lw 46374
c lw 47412
c lw 47499
c lw 47529
c lw 47535
c lw 47570
c lw 47592
c lw 47597
c lw 47608
c lw 47612
c lw 47616
c lw 47617
c lw 47627
c lw 47637
c lw 47639
c lw 47648
c lw 47661
c lw 47672
c lw 47673
c lw 47675
c lw 47690
c lw 47720
c lw 47749
c lw 47760
c lw 47798
c lw 47848
c lw 48130
c lw 48132
c lw 48134
c lw 48146
c lw 48152
c lw 48154
c lw 48156
c lw 48165
c lw 48166
c lw 48171
c lw 48187
c lw 48201
c lw 48206
c lw 48210
c lw 48211
c lw 48215
c lw 48220
c lw 48226
c lw 48229
c lw 48235
c lw 48251
c lw 48266
c lw 48281
c lw 48283
c lw 48295
c lw 48299
c lw 48307
c lw 48310
c lw 48311
c lw 48321
c lw 48323
c lw 48325
c lw 48337
c lw 48343
c lw 48345
c lw 48347
c lw 48356
c lw 48362
c lw 48376
c lw 48392
c lw 48397
c lw 48399
c lw 48424
c lw 48437
c lw 48463
c lw 48473
c lw 48474
c lw 48475
c lw 48478
c lw 48483
c lw 48485
c lw 48487
c lw 48489
c lw 48493
c lw 48494
c lw 48498
c lw 48500
c lw 48502
c lw 48504
c lw 48505
c lw 48507
c lw 48509
c lw 48703
c lw 48744
c lw 48788
c lw 48789
c lw 48794
c lw 48811
c lw 48830
c lw 48837
c lw 48841
c lw 48844
c lw 48845
c lw 48853
c lw 48861
c lw 48864
c lw 48866
c lw 48868
c lw 48869
c lw 48876
c lw 50093
c lw 50154
c lw 50340
c lw 50556
c lw 50557
c lw 50564
c lw 50568
c lw 50571
c lw 50572
c lw 50580
c lw 50582
c lw 50587
c lw 50590
c lw 50593
c lw 50595
c lw 50960
c lw 50994
c lw 51021
c lw 51044
c lw 51057
c lw 51187
c lw 51210
c lw 51270
c lw 51293
c lw 51345
c lw 51380
c lw 51388
c lw 51389
c lw 51412
c lw 51418
c lw 51447
c lw 51468
c lw 51528
c lw 51574
c lw 51578
c lw 51591
c lw 51658
c lw 51663
c lw 51689
c lw 51716
c lw 51721
c lw 51724
c lw 51737
c lw 51744
c lw 51749
c lw 51767
c lw 51776
c lw 51792
c lw 51797
c lw 51804
c lw 51810
c lw 51819
c lw 51820
c lw 51826
c lw 51827
c lw 51854
c lw 51855
c lw 51862
c lw 51863
c lw 51871
c lw 51874
c lw 51886
c lw 51887
c lw 51897
c lw 51910
c lw 51972
c lw 52147
c lw 52157
c lw 52408
c lw 52461
c lw 52684
c lw 52756
c lw 52868
c lw 52950
c lw 52982
c lw 53333
c lw 53388
c lw 53412
c lw 53413
c lw 53537
c lw 53697
c lw 53760
c lw 53771
c lw 53794
c lw 53795
c lw 53824
c lw 54853
c lw 54899
c lw 54948
c lw 55031
c lw 55139
c lw 55737
c lw 55787
c lw 55870
c lw 55880
c lw 55890
c lw 55935
c lw 56080
c lw 56083
c lw 56086
c lw 56091
c lw 56092
c lw 56099
c lw 56100
c lw 56101
c lw 56109
c lw 56110
c lw 56112
c lw 56114
c lw 56117
c lw 56121
c lw 56127
c lw 56128
c lw 56133
c lw 56134
c lw 56135
c lw 56141
c lw 56144
c lw 56150
c lw 56157
c lw 56159
c lw 56162
c lw 56163
c lw 56164
c lw 56170
c lw 56176
c lw 56178
c lw 56179
c lw 56186
c lw 56187
c lw 56188
c lw 56199
c lw 56205
c lw 56208
c lw 56210
c lw 56212
c lw 56213
c lw 56217
c lw 56220
c lw 56222
c lw 56224
c lw 56225
c lw 56226
c lw 56227
c lw 56229
c lw 56230
c lw 56233
c lw 56234
c lw 56235
c lw 56236
c lw 56238
c lw 56243
c lw 56248
c lw 56499
c lw 56694
c lw 56715
c lw 56717
c lw 56718
c lw 56719
c lw 56720
c lw 56721
c lw 56722
c lw 56723
c lw 56725
c lw 56726
c lw 56727
c lw 56728
c lw 56729
c lw 56730
c lw 56732
c lw 56733
c lw 56734
c lw 56736
c lw 56737
c lw 56738
c lw 56739
c lw 56740
c lw 56741
c lw 56742
c lw 56743
c lw 56746
c lw 56747
c lw 56748
c lw 56749
c lw 56750
c lw 56751
c lw 56752
c lw 56756
c lw 56757
c lw 56759
c lw 56762
c lw 56763
c lw 56764
c lw 56765
c lw 56766
c lw 56767
c lw 56769
c lw 56771
c lw 56772
c lw 56773
c lw 56774
c lw 56776
c lw 56777
c lw 56778
c lw 56780
c lw 56781
c lw 56782
c lw 56783
c lw 56784
c lw 56785
c lw 56786
c lw 56787
c lw 56788
c lw 56789
c lw 56790
c lw 56791
c lw 56792
c lw 56793
c lw 56794
c lw 56795
c lw 56797
c lw 56805
c lw 56808
c lw 56809
c lw 56811
c lw 56812
c lw 56813
c lw 56814
c lw 56815
c lw 56816
c lw 56817
c lw 56819
c lw 56820
c lw 56821
c lw 56824
c lw 56825
c lw 56826
c lw 56827
c lw 56828
c lw 56829
c lw 56830
c lw 56831
c lw 56832
c lw 56833
c lw 56834
c lw 56836
c lw 56837
c lw 56838
c lw 56839
c lw 56840
c lw 56841
c lw 56842
c lw 56844
c lw 56845
c lw 56846
c lw 56847
c lw 56848
c lw 56849
c lw 56850
c lw 56851
c lw 56852
c lw 56853
c lw 56854
c lw 56855
c lw 56856
c lw 56857
c lw 56858
c lw 56859
c lw 56861
c lw 56862
c lw 56863
c lw 56864
c lw 56865
c lw 56866
c lw 56867
c lw 56868
c lw 56869
c lw 56870
c lw 56871
c lw 56872
c lw 56873
c lw 56874
c lw 56875
c lw 56876
c lw 56877
c lw 56878
c lw 56879
c lw 56880
c lw 56881
c lw 56882
c lw 56883
c lw 56884
c lw 56885
c lw 56886
c lw 56887
c lw 56888
c lw 56889
c lw 56890
c lw 56891
c lw 56892
c lw 56893
c lw 56894
c lw 56895
c lw 56896
c lw 56897
c lw 56898
c lw 56899
c lw 56900
c lw 56901
c lw 56902
c lw 56903
c lw 56904
c lw 56905
c lw 56906
c lw 56907
c lw 56908
c lw 56909
c lw 56910
c lw 56911
c lw 56912
c lw 56913
c lw 56914
c lw 56915
c lw 56916
c lw 56917
c lw 56918
c lw 56919
c lw 56920
c lw 56921
c lw 56922
c lw 56923
c lw 57026
c lw 57584
c lw 58065
c lw 58078
c lw 58079
c lw 58139
c lw 58214
c lw 58215
c lw 58216
c lw 58217
c lw 58218
c lw 58219
c lw 58220
c lw 58221
c lw 58222
c lw 58223
c lw 58300
c lw 58463
c lw 58490
c lw 58556
c lw 58582
c lw 58625
c lw 58634
c lw 58642
c lw 58761
c lw 59190
c lw 59402
c lw 59440
c lw 59451
c lw 59588
c lw 59758
c lw 59966
c lw 60097
c lw 60098
c lw 60113
c lw 60157
c lw 60171
c lw 60188
c lw 60190
c lw 60204
c lw 60205
c lw 60237
c lw 60240
c lw 60244
c lw 60257
c lw 60263
c lw 60360
c lw 60704
c lw 60782
c lw 61589
c lw 61667
c lw 61669
c lw 61866
c lw 61903
c lw 62011
c lw 62103
c lw 62108
c lw 62112
c lw 62878
c lw 62879
c lw 62915
c lw 62925
c lw 62931
c lw 62972
c lw 63002
c lw 63018
c lw 63055
c lw 63103
c lw 63112
c lw 63124
c lw 63129
c lw 63162
c lw 63202
c lw 63208
c lw 63210
c lw 63227
c lw 63257
c lw 63273
c lw 63288
c lw 63310
c lw 63315
c lw 63319
c lw 63320
c lw 63330
c lw 63340
c lw 63342
c lw 63343
c lw 63346
c lw 63348
c lw 63349
c lw 63353
c lw 63357
c lw 63360
c lw 63373
c lw 63377
c lw 63378
c lw 63379
c lw 63382
c lw 63386
c lw 63388
c lw 63390
c lw 63391
c lw 63393
c lw 63396
c lw 63397
c lw 63398
c lw 63399
c lw 63421
c lw 63429
c lw 63430
c lw 63431
c lw 63437
c lw 63443
c lw 63445
c lw 63447
c lw 63459
c lw 63463
c lw 63471
c lw 63491
c lw 63499
c lw 63508
c lw 63510
c lw 63514
c lw 63524
c lw 63525
c lw 63535
c lw 63557
c lw 63578
c lw 63583
c lw 63594
c lw 63616
c lw 63619
c lw 63625
c lw 63635
c lw 63638
c lw 63653
c lw 63656
c lw 63674
c lw 63677
c lw 63690
c lw 63694
c lw 63709
c lw 63710
c lw 63724
c lw 63726
c lw 63735
c lw 63737
c lw 63743
c lw 63756
c lw 63757
c lw 63771
c lw 63772
c lw 63777
c lw 63782
c lw 63785
c lw 63790
c lw 63798
c lw 63801
c lw 63820
c lw 63861
c lw 63864
c lw 63866
c lw 63868
c lw 64280
c lw 64311
c lw 64316
c lw 64515
c lw 64537
c lw 64539
c lw 64541
c lw 64698
c lw 64757
c lw 64760
c lw 64764
c lw 64932
c lw 65028
c lw 65157
c lw 65162
c lw 65163
c lw 65347
c lw 65382
c lw 65391
c lw 65461
c lw 65494
c lw 65588
c lw 65605
c lw 65836
c lw 65845
c lw 65883
c lw 65948
c lw 65974
c lw 65983
c lw 65997
c lw 66029
c lw 66053
c lw 66086
c lw 66131
c lw 66134
c lw 66138
c lw 66178
c lw 66181
c lw 66196
c lw 66234
c lw 66236
c lw 66965
c lw 67014
c lw 67133
c lw 67329
Killed
1813.306u 6.438s 30:20.12 99.9%	0+0k 0+0io 0pf+0w