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-30-2_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 650
c lw 1471
c lw 2830
c lw 3300
c lw 4517
c lw 5635
c lw 6725
c lw 6873
c lw 7057
c lw 7190
c lw 7325
c lw 7656
c lw 7851
c lw 8393
c lw 8553
c lw 8772
c lw 8920
c lw 9479
c lw 9781
c lw 10636
c lw 10856
c lw 11390
c lw 11557
c lw 11690
c lw 11754
c lw 11859
c lw 11937
c lw 12015
c lw 12070
c lw 12242
c lw 12278
c lw 12285
c lw 12357
c lw 12383
c lw 12409
c lw 12655
c lw 13023
c lw 13245
c lw 13318
c lw 13319
c lw 13378
c lw 13702
c lw 13722
c lw 13761
c lw 13801
c lw 13821
c lw 13931
c lw 13974
c lw 14123
c lw 14341
c lw 14351
c lw 14548
c lw 14590
c lw 14781
c lw 14815
c lw 14975
c lw 15113
c lw 16729
c lw 16776
c lw 16805
c lw 17132
c lw 17363
c lw 17408
c lw 17452
c lw 17518
c lw 17607
c lw 17624
c lw 17636
c lw 17723
c lw 17781
c lw 17814
c lw 17858
c lw 17880
c lw 17896
c lw 17902
c lw 17969
c lw 18676
c lw 18689
c lw 18729
c lw 18742
c lw 18744
c lw 18749
c lw 18782
c lw 19012
c lw 19282
c lw 19287
c lw 19320
c lw 19550
c lw 19552
c lw 19610
c lw 19661
c lw 19667
c lw 19775
c lw 19823
c lw 19867
c lw 19872
c lw 19873
c lw 19876
c lw 19883
c lw 19889
c lw 19916
c lw 20009
c lw 20014
c lw 20039
c lw 20606
c lw 20614
c lw 20615
c lw 20620
c lw 20622
c lw 20653
c lw 20696
c lw 20721
c lw 20725
c lw 20754
c lw 20820
c lw 20834
c lw 21023
c lw 21110
c lw 21377
c lw 21438
c lw 21600
c lw 21677
c lw 21700
c lw 21769
c lw 21905
c lw 21910
c lw 21912
c lw 21913
c lw 21914
c lw 21943
c lw 21986
c lw 22011
c lw 22015
c lw 22044
c lw 22060
c lw 22190
c lw 22303
c lw 22352
c lw 22357
c lw 22893
c lw 23177
c lw 23192
c lw 23241
c lw 23574
c lw 23648
c lw 23683
c lw 23704
c lw 23732
c lw 23851
c lw 24634
c lw 24769
c lw 25198
c lw 25349
c lw 25691
c lw 25847
c lw 26532
c lw 26684
c lw 26692
c lw 26697
c lw 26772
c lw 26812
c lw 26885
c lw 26891
c lw 26977
c lw 26997
c lw 27070
c lw 27404
c lw 27418
c lw 27556
c lw 27596
c lw 27602
c lw 27604
c lw 27609
c lw 27628
c lw 27675
c lw 27760
c lw 27763
c lw 27847
c lw 27859
c lw 27882
c lw 27898
c lw 27922
c lw 27938
c lw 27944
c lw 27948
c lw 27960
c lw 27962
c lw 27998
c lw 28002
c lw 28009
c lw 28085
c lw 28333
c lw 28871
v -1 -2 3 -4 5 -6 -7 8 -9 -10 11 -12 13 -14 15 -16 -17 18 -19 -20 -21 22 -23 -24 -25 -26 27 -28 29 -30 -31 32 -33 -34 35 -36 -37 -38 -39 -40 41 -42 -43 44 -45 46 -47 -48 49 -50 -51 52 -53 -54 -55 -56 57 -58 -59 -60 61 -62 -63 64 -65 66 -67 -68 -69 70 -71 -72 -73 74 -75 76 -77 -78 -79 80 -81 -82 -83 84 85 -86 -87 -88 
o 28871
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-4.net.wcnf 28871
47.639u 0.225s 0:47.98 99.7%	0+0k 0+0io 0pf+0w