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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 92
c lw 1458
c lw 1564
c lw 2020
c lw 3070
c lw 3134
c lw 3932
c lw 3996
c lw 4890
c lw 4991
c lw 5104
c lw 5549
c lw 5842
c lw 6027
c lw 6658
c lw 6757
c lw 7148
c lw 7385
c lw 7657
c lw 7659
c lw 7758
c lw 8020
c lw 8191
c lw 8447
c lw 8453
c lw 8552
c lw 8554
c lw 8574
c lw 8587
c lw 8594
c lw 8596
c lw 8619
c lw 8747
c lw 8776
c lw 8804
c lw 8806
c lw 8875
c lw 9118
c lw 9153
c lw 9434
c lw 9449
c lw 9511
c lw 9521
c lw 9725
c lw 9962
c lw 10071
c lw 10161
c lw 10169
c lw 10259
c lw 10287
c lw 10875
c lw 11192
c lw 11662
c lw 11817
c lw 12008
c lw 12371
c lw 12517
c lw 12625
c lw 12654
c lw 12676
c lw 12754
c lw 13020
c lw 13036
c lw 13203
c lw 13232
c lw 13244
c lw 13322
c lw 13325
c lw 13344
c lw 13370
c lw 13484
c lw 13563
c lw 13573
c lw 13640
c lw 13652
c lw 13681
c lw 13822
c lw 13850
c lw 13853
c lw 13872
c lw 13879
c lw 13929
c lw 13956
c lw 13977
c lw 14056
c lw 14064
c lw 14168
c lw 14172
c lw 14264
c lw 14285
c lw 14405
c lw 14434
c lw 14446
c lw 14534
c lw 14648
c lw 14661
c lw 14708
c lw 14819
c lw 14883
c lw 14886
c lw 14960
c lw 15060
c lw 15115
c lw 15120
c lw 15123
c lw 15142
c lw 15169
c lw 15174
c lw 16490
c lw 16574
c lw 16691
c lw 16720
c lw 16798
c lw 16819
c lw 16822
c lw 16831
c lw 16834
c lw 16841
c lw 16843
c lw 16844
c lw 16847
c lw 16848
c lw 16851
c lw 16853
c lw 16855
c lw 16856
c lw 16858
c lw 16860
c lw 16862
c lw 16867
c lw 16869
c lw 16870
c lw 16872
c lw 16873
c lw 16874
c lw 16875
c lw 16876
c lw 16877
c lw 16878
c lw 16879
c lw 16880
c lw 16881
c lw 16882
c lw 16883
c lw 16885
c lw 16886
c lw 16887
c lw 16888
c lw 16889
c lw 16890
c lw 16891
c lw 16892
c lw 16893
c lw 16894
c lw 16954
c lw 17477
c lw 17772
c lw 17815
c lw 17842
c lw 17843
c lw 17844
c lw 17845
c lw 17846
c lw 17847
c lw 17848
c lw 17858
c lw 17863
c lw 18368
c lw 18565
c lw 18572
c lw 18760
c lw 18869
c lw 18873
c lw 18875
c lw 18912
c lw 18957
c lw 19033
c lw 19193
c lw 19200
c lw 19220
c lw 19330
c lw 19349
c lw 19385
c lw 19386
c lw 19509
c lw 19516
c lw 19522
c lw 19536
c lw 19537
c lw 19646
c lw 19675
c lw 19690
c lw 19720
c lw 19757
c lw 19764
c lw 19913
c lw 19917
c lw 20138
c lw 20241
c lw 20276
c lw 20279
c lw 20684
c lw 20852
c lw 20856
c lw 20956
c lw 21011
c lw 21105
c lw 21127
c lw 21135
c lw 21172
c lw 21179
c lw 21191
c lw 21296
c lw 21340
c lw 21437
c lw 21497
c lw 21519
c lw 21520
c lw 21527
c lw 21529
c lw 21564
c lw 21571
c lw 21580
c lw 21583
c lw 21586
c lw 21593
c lw 21716
c lw 21718
c lw 21722
c lw 21729
c lw 21735
c lw 21750
c lw 21896
c lw 22057
c lw 22181
c lw 22541
c lw 22567
c lw 22620
c lw 22646
c lw 22740
c lw 22800
c lw 22877
c lw 22886
c lw 23053
c lw 23134
c lw 23402
c lw 23494
c lw 23770
c lw 23859
c lw 23868
c lw 23894
c lw 23920
c lw 24133
c lw 24172
c lw 25147
c lw 25212
c lw 25492
c lw 25526
c lw 25569
c lw 25683
c lw 25843
c lw 25917
c lw 26027
c lw 26037
c lw 26135
c lw 26161
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 
o 26161
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-7.net.wcnf 26161
153.050u 0.936s 2:34.09 99.9%	0+0k 0+0io 0pf+0w