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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 536
c lw 1175
c lw 1616
c lw 3105
c lw 4247
c lw 5954
c lw 7478
c lw 8852
c lw 10448
c lw 10777
c lw 10806
c lw 10848
c lw 11788
c lw 11795
c lw 12286
c lw 12321
c lw 12340
c lw 13243
c lw 13421
c lw 13468
c lw 13497
c lw 13504
c lw 13523
c lw 13527
c lw 13595
c lw 13833
c lw 14009
c lw 14270
c lw 14281
c lw 14285
c lw 14300
c lw 14442
c lw 14471
c lw 14893
c lw 15189
c lw 15224
c lw 15253
c lw 15311
c lw 15331
c lw 15335
c lw 15421
c lw 15565
c lw 15594
c lw 15600
c lw 15813
c lw 16065
c lw 16132
c lw 16766
c lw 16795
c lw 16919
c lw 16939
c lw 16940
c lw 16968
c lw 16969
c lw 16974
c lw 16992
c lw 17148
c lw 17266
c lw 17272
c lw 17709
c lw 17742
c lw 17863
c lw 17867
c lw 17882
c lw 17893
c lw 17899
c lw 18683
c lw 19138
c lw 19166
c lw 19494
c lw 19553
c lw 19672
c lw 19695
c lw 19737
c lw 19807
c lw 19974
c lw 19982
c lw 20111
c lw 20114
c lw 20137
c lw 20148
c lw 20204
c lw 21054
c lw 21253
c lw 21316
c lw 21394
c lw 21408
c lw 21607
c lw 21638
c lw 21643
c lw 21661
c lw 21689
c lw 21690
c lw 21707
c lw 21753
c lw 21767
c lw 21788
c lw 21840
c lw 21854
c lw 21857
c lw 21874
c lw 21875
c lw 21885
c lw 21891
c lw 21903
c lw 21906
c lw 21911
c lw 21912
c lw 21917
c lw 21919
c lw 21920
c lw 21925
c lw 21928
c lw 21943
c lw 22007
c lw 22037
c lw 22046
c lw 22053
c lw 22092
c lw 22095
c lw 22097
c lw 22099
c lw 22110
c lw 22122
c lw 22145
c lw 22156
c lw 22176
c lw 22179
c lw 22187
c lw 22206
c lw 22367
c lw 22413
c lw 22441
c lw 22442
c lw 22459
c lw 22472
c lw 22473
c lw 22480
c lw 22487
c lw 22488
c lw 22490
c lw 22548
c lw 22569
c lw 22572
c lw 22600
c lw 22601
c lw 22604
c lw 22615
c lw 22626
c lw 22628
c lw 22629
c lw 22630
c lw 22637
c lw 22645
c lw 22647
c lw 22660
c lw 22667
c lw 22679
c lw 22681
c lw 22682
c lw 22683
c lw 23267
c lw 23426
c lw 23576
c lw 23607
c lw 23664
c lw 23666
c lw 23671
c lw 23681
c lw 23682
c lw 23693
c lw 23698
c lw 23699
c lw 23700
c lw 23701
c lw 23702
c lw 23704
c lw 23705
c lw 23706
c lw 23710
c lw 23711
c lw 23714
c lw 23725
c lw 23728
c lw 23738
c lw 23739
c lw 23744
c lw 23746
c lw 23748
c lw 23751
c lw 23753
c lw 23754
c lw 23755
c lw 23756
c lw 23758
c lw 23760
c lw 23766
c lw 23774
c lw 23775
c lw 23776
c lw 23778
c lw 23779
c lw 23781
c lw 23783
c lw 23788
c lw 23805
c lw 23806
c lw 23814
c lw 23816
c lw 23821
c lw 23827
c lw 23837
c lw 23839
c lw 23841
c lw 23842
c lw 23847
c lw 23848
c lw 23850
c lw 23853
c lw 23855
c lw 23858
c lw 23860
c lw 23861
c lw 23864
c lw 23866
c lw 23867
c lw 23870
c lw 23871
c lw 23873
c lw 23874
c lw 23877
c lw 23879
c lw 23884
c lw 23885
c lw 23893
c lw 23894
c lw 23895
c lw 23896
c lw 23897
c lw 23898
c lw 23899
c lw 23900
c lw 23903
c lw 23904
c lw 23910
c lw 23912
c lw 23915
c lw 23916
c lw 23917
c lw 23971
c lw 23981
c lw 23982
c lw 23993
c lw 23998
c lw 23999
c lw 24000
c lw 24001
c lw 24002
c lw 24003
c lw 24004
c lw 24005
c lw 24006
c lw 24010
c lw 24011
c lw 24012
c lw 24013
c lw 24014
c lw 24015
c lw 24017
c lw 24018
c lw 24019
c lw 24020
c lw 24023
c lw 24024
c lw 24025
c lw 24026
c lw 24028
c lw 24029
c lw 24030
c lw 24031
c lw 24118
c lw 24122
c lw 24281
c lw 24374
c lw 24626
c lw 24854
c lw 24874
c lw 25036
c lw 25037
c lw 25038
c lw 25039
c lw 25040
c lw 25041
c lw 25042
c lw 25045
c lw 25046
c lw 25047
c lw 25049
c lw 25051
c lw 25052
c lw 25073
c lw 25074
c lw 25075
c lw 25076
c lw 25077
c lw 25078
c lw 25079
c lw 25080
c lw 25081
c lw 25083
c lw 25084
c lw 25085
c lw 25086
c lw 25087
c lw 25088
c lw 25089
c lw 25090
c lw 25092
c lw 25093
c lw 25094
c lw 25095
c lw 25098
c lw 25099
c lw 25100
c lw 25101
c lw 25102
c lw 25103
c lw 25104
c lw 25110
c lw 25111
c lw 25112
c lw 25114
c lw 25115
c lw 25381
c lw 25382
c lw 25383
c lw 25385
c lw 25388
c lw 25390
c lw 25392
c lw 25395
c lw 25397
c lw 25398
c lw 25402
c lw 25408
c lw 25409
c lw 25410
c lw 25412
c lw 25413
c lw 25414
c lw 25415
c lw 25416
c lw 25417
c lw 25427
c lw 25431
c lw 25432
c lw 25434
c lw 25515
c lw 25762
c lw 25775
c lw 25862
c lw 25968
c lw 26333
c lw 26556
c lw 26642
c lw 26728
c lw 26729
c lw 26730
c lw 26731
c lw 26732
c lw 26733
c lw 26770
c lw 26771
c lw 26772
c lw 26773
c lw 26774
c lw 26775
c lw 26776
c lw 26819
c lw 26845
c lw 26938
c lw 26991
c lw 26993
c lw 26994
c lw 26999
c lw 27000
c lw 27057
c lw 27088
c lw 27090
c lw 27092
c lw 27102
c lw 27108
c lw 27113
c lw 27115
c lw 27342
c lw 27398
c lw 27460
c lw 27463
c lw 27465
c lw 27468
c lw 27470
c lw 27472
c lw 27475
c lw 27477
c lw 27478
c lw 27487
c lw 27494
c lw 27495
c lw 27496
c lw 27497
c lw 27498
c lw 27499
c lw 27500
c lw 27501
c lw 27502
c lw 27503
c lw 27504
c lw 27505
c lw 27506
c lw 27507
c lw 27508
c lw 27509
c lw 27510
c lw 27511
c lw 27512
c lw 27513
c lw 27514
c lw 27523
c lw 27524
c lw 27525
c lw 27526
c lw 27527
c lw 27528
c lw 27529
c lw 27530
c lw 27531
c lw 27532
c lw 27533
c lw 27576
c lw 27600
c lw 27602
c lw 27605
c lw 27607
c lw 27609
c lw 27612
c lw 27614
c lw 27615
c lw 27616
c lw 27617
c lw 27618
c lw 27619
c lw 27620
c lw 27621
c lw 27622
c lw 27623
c lw 27624
c lw 27625
c lw 27626
c lw 27627
c lw 27628
c lw 27629
c lw 27630
c lw 27631
c lw 27634
c lw 27635
c lw 27636
c lw 27637
c lw 27646
c lw 27655
c lw 27662
c lw 27663
c lw 27670
c lw 27680
c lw 27689
c lw 27690
c lw 27691
c lw 27692
c lw 27693
c lw 27694
c lw 27695
c lw 27696
c lw 27697
c lw 27698
c lw 27699
c lw 27700
c lw 27718
c lw 27719
c lw 28130
c lw 28281
c lw 28331
c lw 28449
c lw 28572
c lw 28587
c lw 28597
c lw 28681
c lw 28682
c lw 28749
c lw 28773
c lw 28918
c lw 29218
c lw 30061
c lw 30120
c lw 30441
c lw 30443
c lw 30457
c lw 30484
c lw 30502
c lw 30552
c lw 30622
c lw 30695
c lw 30696
c lw 30700
c lw 30703
c lw 30713
c lw 30716
c lw 30717
c lw 30718
c lw 30719
c lw 30720
c lw 30721
c lw 30722
c lw 30723
c lw 30725
c lw 30736
c lw 30738
c lw 30762
c lw 30763
c lw 30766
c lw 30770
c lw 30776
c lw 30781
c lw 30786
c lw 30787
c lw 30792
c lw 30794
c lw 30795
c lw 30802
c lw 30807
c lw 30809
c lw 30815
c lw 30816
c lw 30817
c lw 30819
c lw 30831
c lw 30833
c lw 30834
c lw 30836
c lw 30838
c lw 30841
c lw 30842
c lw 30845
c lw 30847
c lw 30852
c lw 30854
c lw 30855
c lw 30862
c lw 30864
c lw 30867
c lw 30933
c lw 30934
c lw 30935
c lw 30938
c lw 30939
c lw 30940
c lw 30941
c lw 30943
c lw 30952
c lw 30953
c lw 30954
c lw 30956
c lw 30957
c lw 30958
c lw 30959
c lw 30963
c lw 30973
c lw 30976
c lw 30978
c lw 30979
c lw 30980
c lw 30981
c lw 30995
c lw 31003
c lw 31013
c lw 31037
c lw 31038
c lw 31039
c lw 31040
c lw 31041
c lw 31042
c lw 31043
c lw 31048
c lw 31050
c lw 31056
c lw 31057
c lw 31058
c lw 31060
c lw 31062
c lw 31063
c lw 31064
c lw 31066
c lw 31067
c lw 31070
c lw 31071
c lw 31072
c lw 31073
c lw 31074
c lw 31075
c lw 31088
c lw 31089
c lw 31090
c lw 31093
c lw 31094
c lw 31096
c lw 31098
c lw 31101
c lw 31107
c lw 31108
c lw 31110
c lw 31119
c lw 31120
c lw 31121
c lw 31123
c lw 31124
c lw 31125
c lw 31126
c lw 31127
c lw 31134
c lw 31137
c lw 31139
c lw 31156
c lw 31163
c lw 31164
c lw 31165
c lw 31166
c lw 31167
c lw 31168
c lw 31169
c lw 31170
c lw 31193
c lw 31255
c lw 31300
c lw 31437
c lw 31439
c lw 31445
c lw 31461
c lw 31463
c lw 31471
c lw 31479
c lw 31493
c lw 31494
c lw 31495
c lw 31496
c lw 31497
c lw 31498
c lw 31499
c lw 31509
c lw 31513
c lw 31514
c lw 31515
c lw 31516
c lw 31518
c lw 31519
c lw 31520
c lw 31525
c lw 31526
c lw 31527
c lw 31529
c lw 31530
c lw 31531
c lw 31532
c lw 31533
c lw 31534
c lw 31536
c lw 31537
c lw 31538
c lw 31542
c lw 31545
c lw 31564
c lw 31570
c lw 31588
c lw 31602
c lw 31603
c lw 31604
c lw 31605
c lw 31606
c lw 31607
c lw 31610
c lw 31611
c lw 31613
c lw 31618
c lw 31620
c lw 31623
c lw 31624
c lw 31627
c lw 31629
c lw 31631
c lw 31632
c lw 31634
c lw 31646
c lw 31648
c lw 31649
c lw 31650
c lw 31656
c lw 31658
c lw 31663
c lw 31667
c lw 31670
c lw 31671
c lw 31672
c lw 31673
c lw 31682
c lw 31691
c lw 31694
c lw 31744
c lw 31815
c lw 31965
c lw 32216
c lw 32298
c lw 32362
c lw 33500
c lw 33514
c lw 33515
c lw 33516
c lw 33517
c lw 33518
c lw 33519
c lw 33520
c lw 33526
c lw 33529
c lw 33533
c lw 33534
c lw 33542
c lw 33556
c lw 33567
c lw 33568
c lw 33569
c lw 33570
c lw 33571
c lw 33572
c lw 33573
c lw 33574
c lw 33575
c lw 33576
c lw 33577
c lw 33578
c lw 33579
c lw 33580
c lw 33581
c lw 33582
c lw 33583
c lw 33584
c lw 33585
c lw 33586
c lw 33587
c lw 33588
c lw 33589
c lw 33590
c lw 33591
c lw 33592
c lw 33593
c lw 33594
c lw 33595
c lw 33596
c lw 33597
c lw 33598
c lw 33599
c lw 33600
c lw 33601
c lw 33602
c lw 33603
c lw 33604
c lw 33605
c lw 33606
c lw 33607
c lw 33608
c lw 33609
c lw 33610
c lw 33611
c lw 33612
c lw 33614
c lw 33617
c lw 33618
c lw 33619
c lw 33620
c lw 33621
c lw 33622
c lw 33623
c lw 33624
c lw 33625
c lw 33626
c lw 33627
c lw 33628
c lw 33629
c lw 33630
c lw 33631
c lw 33632
c lw 33633
c lw 33634
c lw 33635
c lw 34331
c lw 34332
c lw 34333
c lw 34334
c lw 34335
c lw 34336
c lw 34337
c lw 34338
c lw 34339
c lw 34340
c lw 34341
c lw 34342
c lw 34343
c lw 34344
c lw 34345
Killed
1804.195u 15.540s 30:20.05 99.9%	0+0k 0+0io 0pf+0w