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-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 41
c lw 801
c lw 1696
c lw 2603
c lw 3313
c lw 3560
c lw 4940
c lw 6638
c lw 8044
c lw 8955
c lw 10050
c lw 11517
c lw 12978
c lw 13162
c lw 13380
c lw 13698
c lw 13938
c lw 13999
c lw 14428
c lw 14431
c lw 14699
c lw 15054
c lw 15735
c lw 16754
c lw 16757
c lw 16818
c lw 17036
c lw 17210
c lw 17677
c lw 18378
c lw 19054
c lw 19087
c lw 19098
c lw 19302
c lw 19324
c lw 20526
c lw 20664
c lw 20774
c lw 20807
c lw 20810
c lw 20923
c lw 21289
c lw 21292
c lw 21713
c lw 21721
c lw 21814
c lw 21825
c lw 22023
c lw 22034
c lw 22037
c lw 22080
c lw 22095
c lw 22231
c lw 22234
c lw 23098
c lw 23165
c lw 23686
c lw 23791
c lw 23819
c lw 24109
c lw 24298
c lw 24313
c lw 24327
c lw 24535
c lw 24686
c lw 24777
c lw 24780
c lw 25075
c lw 25173
c lw 25188
c lw 25202
c lw 25226
c lw 25250
c lw 25410
c lw 25415
c lw 25501
c lw 25518
c lw 25551
c lw 25806
c lw 26039
c lw 26836
c lw 26868
c lw 27272
c lw 27276
c lw 27280
c lw 27477
c lw 27740
c lw 27771
c lw 27939
c lw 28058
c lw 28390
c lw 28919
c lw 29071
c lw 29155
c lw 29370
c lw 29378
c lw 29403
c lw 29443
c lw 29471
c lw 29480
c lw 29508
c lw 29688
c lw 29742
c lw 29921
c lw 29951
c lw 29985
c lw 30022
c lw 30031
c lw 30055
c lw 30059
c lw 30062
c lw 30074
c lw 30087
c lw 30095
c lw 30123
c lw 30135
c lw 30148
c lw 30176
c lw 30323
c lw 30432
c lw 30657
c lw 30666
c lw 30734
c lw 30838
c lw 30871
c lw 30942
c lw 31031
c lw 31221
c lw 31258
c lw 31407
c lw 31598
c lw 32009
c lw 33068
c lw 33112
c lw 33552
c lw 34495
c lw 34606
c lw 34765
c lw 34910
c lw 35459
c lw 35733
c lw 36288
c lw 36304
c lw 36770
c lw 36858
c lw 37237
c lw 37786
c lw 38081
c lw 38191
c lw 38439
c lw 38768
c lw 39202
c lw 39278
c lw 39400
c lw 39437
c lw 39518
c lw 39538
c lw 39769
c lw 40220
c lw 40231
c lw 40249
c lw 40308
c lw 40313
c lw 40321
c lw 40324
c lw 40432
c lw 40627
c lw 40787
c lw 40898
c lw 40911
c lw 41106
c lw 41266
c lw 41468
c lw 41492
c lw 41546
c lw 41577
c lw 41873
c lw 41998
c lw 42031
c lw 42046
c lw 42050
c lw 42063
c lw 42067
c lw 42121
c lw 42123
c lw 42135
c lw 42223
c lw 42299
c lw 42365
c lw 42369
c lw 42389
c lw 42418
c lw 42443
c lw 42611
c lw 42624
c lw 42645
c lw 42715
c lw 42725
c lw 42729
c lw 42760
c lw 42805
c lw 42814
c lw 42816
c lw 42838
c lw 42909
c lw 42913
c lw 42917
c lw 42930
c lw 42941
c lw 42942
c lw 42944
c lw 42962
c lw 42966
c lw 42974
c lw 42979
c lw 42989
c lw 42990
c lw 42991
c lw 42993
c lw 43410
c lw 43414
c lw 43415
c lw 43417
c lw 43419
c lw 43430
c lw 43446
c lw 43455
c lw 43463
c lw 43465
c lw 43467
c lw 43774
c lw 43809
c lw 43813
c lw 43859
c lw 43992
c lw 44190
c lw 44214
c lw 44283
c lw 44300
c lw 44353
c lw 44395
c lw 44398
c lw 44412
c lw 44480
c lw 45014
c lw 45537
c lw 45614
c lw 45684
c lw 45687
c lw 45701
c lw 45715
c lw 45738
c lw 45748
c lw 45826
c lw 45838
c lw 45959
c lw 45977
c lw 46029
c lw 46044
c lw 46162
c lw 46209
c lw 46722
c lw 46880
c lw 46898
c lw 47019
c lw 47105
c lw 47221
c lw 47233
c lw 47236
c lw 47247
c lw 47250
c lw 47257
c lw 47315
c lw 47319
c lw 47329
c lw 47338
c lw 47342
c lw 47362
c lw 47365
c lw 47376
c lw 47400
c lw 47434
c lw 47679
c lw 47794
c lw 47874
c lw 47994
c lw 47996
c lw 47999
c lw 49070
c lw 49121
c lw 49172
c lw 49261
c lw 49310
c lw 49357
c lw 49408
c lw 49410
c lw 49459
c lw 49546
c lw 49567
c lw 49597
c lw 49608
c lw 49735
c lw 49781
c lw 49806
c lw 49848
c lw 49854
c lw 49944
c lw 49964
c lw 49989
c lw 50019
c lw 50040
c lw 50045
c lw 50047
c lw 50082
c lw 50093
c lw 50094
c lw 50113
c lw 50122
c lw 50437
c lw 50489
c lw 50511
c lw 50530
c lw 50552
c lw 50560
c lw 50565
c lw 50566
c lw 50567
c lw 50568
c lw 50569
c lw 50570
c lw 50573
c lw 50594
c lw 50610
c lw 50672
c lw 50676
c lw 50678
c lw 50686
c lw 50696
c lw 50729
c lw 50731
c lw 50736
c lw 50757
c lw 50787
c lw 50962
c lw 50980
c lw 50997
c lw 51008
c lw 51009
c lw 51013
c lw 51028
c lw 51136
c lw 51151
c lw 51173
c lw 51176
c lw 51177
c lw 51180
c lw 51181
c lw 51186
c lw 51188
c lw 51190
c lw 51194
c lw 51197
c lw 51198
c lw 51203
c lw 51206
c lw 51213
c lw 51223
c lw 51229
c lw 51252
c lw 51253
c lw 51254
c lw 51256
c lw 51257
c lw 51258
c lw 51259
c lw 51263
c lw 51268
c lw 51528
c lw 51529
c lw 51533
c lw 51536
c lw 51537
c lw 51538
c lw 51539
c lw 51540
c lw 52053
c lw 52292
c lw 52485
c lw 52630
c lw 52632
c lw 52633
c lw 52635
c lw 52636
c lw 52637
c lw 52638
c lw 52639
c lw 52643
c lw 52644
c lw 52646
c lw 52648
c lw 52649
c lw 52652
c lw 52653
c lw 52654
c lw 52656
c lw 52657
c lw 52658
c lw 52659
c lw 52660
c lw 52661
c lw 52662
c lw 52665
c lw 52666
c lw 52668
c lw 52670
c lw 52672
c lw 52673
c lw 52675
c lw 52676
c lw 52677
c lw 52678
c lw 52679
c lw 52680
c lw 52681
c lw 52682
c lw 52683
c lw 52684
c lw 52685
c lw 52686
c lw 52687
c lw 52688
c lw 52689
c lw 52690
c lw 52691
c lw 52692
c lw 52714
c lw 52715
c lw 53454
c lw 53559
c lw 53575
c lw 53641
c lw 53698
c lw 53912
c lw 53975
c lw 54033
c lw 54100
c lw 54245
c lw 54249
c lw 54299
c lw 54598
c lw 55296
c lw 55357
c lw 55361
c lw 55397
c lw 55445
c lw 55565
c lw 55571
c lw 55575
c lw 55630
c lw 55652
c lw 55946
c lw 55997
c lw 56121
c lw 56148
c lw 56175
c lw 56186
c lw 56427
c lw 56435
c lw 56461
c lw 56545
c lw 56742
c lw 56750
c lw 56790
c lw 56947
c lw 57184
c lw 57189
c lw 57278
c lw 57473
c lw 57640
c lw 57939
c lw 57953
c lw 58024
c lw 58251
c lw 58283
c lw 58284
c lw 58289
c lw 58291
c lw 58375
c lw 58380
c lw 58385
c lw 58387
c lw 58390
c lw 58396
c lw 58401
c lw 58683
c lw 58684
c lw 58685
c lw 58686
c lw 58687
c lw 58688
c lw 58690
c lw 58691
c lw 58692
c lw 58693
c lw 58694
c lw 58695
c lw 58696
c lw 58698
c lw 58699
c lw 58723
c lw 58786
c lw 58798
c lw 59861
c lw 60139
c lw 60277
c lw 60400
c lw 60492
c lw 60540
c lw 60546
c lw 60593
c lw 60610
c lw 60616
c lw 60617
c lw 60619
c lw 60620
c lw 60621
c lw 60623
c lw 60624
c lw 60625
c lw 60626
c lw 60627
c lw 60628
c lw 60629
c lw 60630
c lw 60631
c lw 60632
c lw 60633
c lw 60634
c lw 60635
c lw 60636
c lw 60637
c lw 60638
c lw 60639
c lw 60795
c lw 60796
c lw 60797
c lw 61005
c lw 61054
c lw 61118
c lw 61134
c lw 61519
c lw 61684
c lw 61954
c lw 61986
c lw 62147
c lw 62216
c lw 62242
c lw 62250
c lw 62459
c lw 62623
c lw 62737
c lw 63112
c lw 63136
c lw 63228
c lw 63312
c lw 63357
c lw 63639
c lw 63741
c lw 63783
c lw 63821
c lw 64038
c lw 64068
c lw 64100
c lw 64169
c lw 64170
c lw 64410
c lw 64626
c lw 64719
c lw 64720
c lw 64721
c lw 64722
c lw 64723
c lw 64724
c lw 64725
c lw 64726
c lw 64727
c lw 64728
c lw 64729
c lw 64730
c lw 64731
c lw 64732
c lw 64733
c lw 64734
c lw 64735
c lw 64736
c lw 64737
c lw 64738
c lw 64739
c lw 64740
c lw 64741
c lw 64742
c lw 64743
c lw 64744
c lw 64745
c lw 64746
c lw 64747
c lw 64748
c lw 64749
c lw 64750
c lw 64751
c lw 64752
c lw 64753
c lw 64754
c lw 64755
c lw 64756
c lw 64757
c lw 64759
c lw 64760
c lw 64761
c lw 64762
c lw 64763
c lw 64764
c lw 64765
c lw 64766
c lw 64767
c lw 64768
c lw 64769
c lw 64770
c lw 64771
c lw 64772
c lw 64773
c lw 64774
c lw 64775
c lw 64777
c lw 64778
c lw 64779
c lw 64780
c lw 64781
c lw 64782
c lw 64783
c lw 64784
c lw 64785
c lw 64786
c lw 64787
c lw 64788
c lw 64789
c lw 64790
c lw 64791
c lw 64792
c lw 64793
c lw 64794
c lw 64795
c lw 64796
c lw 64797
c lw 64798
c lw 64799
c lw 64800
c lw 64801
c lw 64802
c lw 64803
c lw 64804
c lw 64805
c lw 64806
c lw 64807
c lw 64808
c lw 64809
c lw 64810
c lw 64811
c lw 64812
c lw 64813
c lw 64814
c lw 64815
c lw 64816
c lw 64817
c lw 64818
c lw 64819
c lw 64820
c lw 64821
c lw 64822
c lw 64823
c lw 64824
c lw 64825
c lw 64826
c lw 64827
c lw 64828
c lw 64829
c lw 64830
c lw 64831
c lw 64832
c lw 64833
c lw 64834
c lw 64835
c lw 64836
c lw 64837
c lw 64838
c lw 64839
c lw 64840
c lw 64841
c lw 64842
c lw 64843
c lw 64844
c lw 64845
c lw 64846
c lw 64847
c lw 64848
c lw 64849
c lw 64850
c lw 64851
c lw 64852
c lw 64853
c lw 64871
c lw 64908
c lw 64928
c lw 64997
c lw 65436
c lw 65484
c lw 65501
c lw 65521
c lw 65561
c lw 65576
c lw 65577
c lw 65582
c lw 65584
c lw 65589
c lw 65622
c lw 65658
c lw 65659
c lw 65660
c lw 65661
c lw 65662
c lw 65663
c lw 65664
c lw 65665
c lw 65666
c lw 65667
c lw 65668
c lw 65669
c lw 65670
c lw 65671
c lw 65672
c lw 65673
c lw 65674
c lw 65675
c lw 65676
c lw 65677
c lw 65678
c lw 65781
c lw 65782
c lw 65783
c lw 65784
c lw 65785
c lw 65786
c lw 65787
Killed
1811.261u 8.479s 30:22.32 99.8%	0+0k 0+0io 0pf+0w