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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 181
c lw 1814
c lw 2846
c lw 3550
c lw 4212
c lw 4943
c lw 5763
c lw 5988
c lw 6067
c lw 6556
c lw 6566
c lw 6909
c lw 6952
c lw 7039
c lw 7264
c lw 7326
c lw 7385
c lw 7528
c lw 7607
c lw 9045
c lw 9069
c lw 9487
c lw 9511
c lw 9706
c lw 9863
c lw 9887
c lw 9984
c lw 10058
c lw 10290
c lw 10809
c lw 10919
c lw 10929
c lw 10943
c lw 11084
c lw 11227
c lw 11591
c lw 11596
c lw 11606
c lw 11620
c lw 12003
c lw 12031
c lw 12059
c lw 12095
c lw 12119
c lw 12576
c lw 12590
c lw 12657
c lw 12725
c lw 12772
c lw 12782
c lw 12866
c lw 12922
c lw 12924
c lw 13245
c lw 13271
c lw 13332
c lw 13396
c lw 13400
c lw 13432
c lw 13485
c lw 13487
c lw 13491
c lw 13516
c lw 13518
c lw 13528
c lw 13542
c lw 13572
c lw 13639
c lw 13707
c lw 13754
c lw 13866
c lw 13923
c lw 14952
c lw 15206
c lw 15338
c lw 15655
c lw 15656
c lw 15973
c lw 16043
c lw 16138
c lw 16232
c lw 16503
c lw 16590
c lw 16986
c lw 17145
c lw 17177
c lw 17239
c lw 17260
c lw 17611
c lw 17764
c lw 17937
c lw 17963
c lw 17969
c lw 18010
c lw 18055
c lw 18104
c lw 18129
c lw 18593
c lw 18656
c lw 19032
c lw 19383
c lw 19384
c lw 19389
c lw 19390
c lw 19619
c lw 19686
c lw 19735
c lw 19749
c lw 19754
c lw 19824
c lw 19888
c lw 19937
c lw 19939
c lw 19940
c lw 19945
c lw 19950
c lw 19958
c lw 19959
c lw 19982
c lw 19983
c lw 19991
c lw 19993
c lw 19994
c lw 19995
c lw 19997
c lw 19998
c lw 19999
c lw 20000
c lw 20001
c lw 20003
c lw 20004
c lw 20006
c lw 20007
c lw 20008
c lw 20009
c lw 20010
c lw 20011
c lw 20013
c lw 20014
c lw 20017
c lw 20020
c lw 20025
c lw 20030
c lw 20031
c lw 20036
c lw 20071
c lw 20072
c lw 20074
c lw 20075
c lw 20079
c lw 20131
c lw 20132
c lw 20133
c lw 20134
c lw 20137
c lw 20138
c lw 20295
c lw 20333
c lw 20534
c lw 20840
c lw 21440
c lw 21928
c lw 22076
c lw 22419
c lw 22480
c lw 22493
c lw 22705
c lw 22721
c lw 22722
c lw 22723
c lw 22724
c lw 22725
c lw 22726
c lw 22727
c lw 22728
c lw 22729
c lw 22730
c lw 22731
c lw 22732
c lw 22733
c lw 22734
c lw 22735
c lw 22736
c lw 22737
c lw 22738
c lw 22739
c lw 22740
c lw 22741
c lw 22742
c lw 22743
c lw 22744
c lw 22745
c lw 22746
c lw 22747
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 
o 22747
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-6.net.wcnf 22747
42.350u 0.223s 0:42.67 99.7%	0+0k 0+0io 0pf+0w