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-80-1_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1777
c lw 1846
c lw 2358
c lw 2929
c lw 3344
c lw 4035
c lw 5449
c lw 6098
c lw 7639
c lw 7775
c lw 8050
c lw 9312
c lw 9480
c lw 9703
c lw 10968
c lw 12554
c lw 13531
c lw 14749
c lw 15331
c lw 15621
c lw 15863
c lw 16070
c lw 16626
c lw 16911
c lw 17140
c lw 17344
c lw 17774
c lw 18198
c lw 18699
c lw 19091
c lw 20219
c lw 20295
c lw 20562
c lw 20738
c lw 20943
c lw 21629
c lw 23028
c lw 23309
c lw 23366
c lw 23826
c lw 24619
c lw 24718
c lw 24797
c lw 25016
c lw 25562
c lw 26211
c lw 26391
c lw 26485
c lw 27058
c lw 27338
c lw 27588
c lw 28461
c lw 28641
c lw 29244
c lw 29970
c lw 30118
c lw 30231
c lw 30602
c lw 30809
c lw 30976
c lw 31047
c lw 31426
c lw 31971
c lw 32093
c lw 32212
c lw 32820
c lw 32827
c lw 32953
c lw 33393
c lw 33633
c lw 33890
c lw 33997
c lw 34838
c lw 34885
c lw 35888
c lw 36232
c lw 36334
c lw 36681
c lw 36885
c lw 37445
c lw 37995
c lw 38007
c lw 38012
c lw 38290
c lw 38449
c lw 38628
c lw 38855
c lw 39519
c lw 39637
c lw 39813
c lw 40018
c lw 40588
c lw 40969
c lw 41008
c lw 41385
c lw 41652
c lw 41911
c lw 42198
c lw 42207
c lw 42438
c lw 42787
c lw 43248
c lw 43407
c lw 43738
c lw 43812
c lw 44150
c lw 44497
c lw 45280
c lw 45291
c lw 45531
c lw 45897
c lw 45997
c lw 46679
c lw 46878
c lw 47031
c lw 47040
c lw 47321
c lw 47413
c lw 47595
c lw 47739
c lw 48180
c lw 48576
c lw 48652
c lw 48663
c lw 48808
c lw 49008
c lw 49678
c lw 50094
c lw 50101
c lw 50164
c lw 50459
c lw 50541
c lw 51184
c lw 52359
c lw 52441
c lw 52497
c lw 52549
c lw 52560
c lw 52561
c lw 52651
c lw 52734
c lw 52850
c lw 53065
c lw 53076
c lw 53204
c lw 53245
c lw 53628
c lw 54082
c lw 54213
c lw 54297
c lw 54721
c lw 55578
c lw 55813
c lw 55846
c lw 55918
c lw 56766
c lw 56949
c lw 57110
c lw 57205
c lw 57556
c lw 57561
c lw 57612
c lw 57794
c lw 57993
c lw 58142
c lw 58181
c lw 58645
c lw 58826
c lw 59014
c lw 59192
c lw 59517
c lw 59526
c lw 59772
c lw 59990
c lw 60091
c lw 60233
c lw 60807
c lw 60836
c lw 61243
c lw 61267
c lw 61560
c lw 61791
c lw 61814
c lw 61856
c lw 61876
c lw 62003
c lw 62010
c lw 62016
c lw 62125
c lw 62174
c lw 62206
c lw 62210
c lw 62447
c lw 62485
c lw 62685
c lw 62830
c lw 62882
c lw 63272
c lw 63356
c lw 63421
c lw 63453
c lw 63462
c lw 63491
c lw 63499
c lw 63567
c lw 63607
c lw 63632
c lw 63656
c lw 63683
c lw 63688
c lw 63693
c lw 63703
c lw 63758
c lw 63812
c lw 63833
c lw 63873
c lw 63891
c lw 63915
c lw 63922
c lw 63968
c lw 64106
c lw 64414
c lw 64554
c lw 64709
c lw 65331
c lw 65471
c lw 65780
c lw 65936
c lw 65948
c lw 65949
c lw 65957
c lw 65980
c lw 65981
c lw 65982
c lw 65987
c lw 65988
c lw 65989
c lw 65991
c lw 65994
c lw 65998
c lw 66004
c lw 66007
c lw 66613
c lw 66850
c lw 67053
c lw 67118
c lw 67713
c lw 67950
c lw 68744
c lw 68931
c lw 69442
c lw 69480
c lw 69584
c lw 69643
c lw 70943
c lw 70950
c lw 71223
c lw 71361
c lw 71411
c lw 71677
c lw 72500
c lw 73160
c lw 73889
c lw 73905
c lw 74067
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 -89 -90 -91 -92 -93 94 95 -96 -97 -98 -99 -100 101 -102 103 -104 -105 -106 -107 108 109 -110 -111 -112 113 -114 -115 116 -117 -118 119 -120 -121 -122 123 124 -125 -126 127 -128 -129 -130 131 -132 133 -134 135 -136 -137 -138 139 -140 141 -142 -143 144 -145 -146 147 -148 -149 150 -151 -152 -153 154 155 -156 -157 -158 159 160 -161 -162 -163 -164 165 -166 167 168 -169 -170 -171 -172 173 -174 -175 -176 177 -178 179 -180 181 182 -183 -184 -185 186 -187 188 
o 74067
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-4.net.wcnf 74067
28.459u 0.115s 0:28.64 99.7%	0+0k 0+0io 0pf+0w