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-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 414
c lw 690
c lw 1681
c lw 2367
c lw 3311
c lw 4946
c lw 6780
c lw 6877
c lw 7707
c lw 9928
c lw 10141
c lw 10747
c lw 11413
c lw 11751
c lw 12615
c lw 12877
c lw 12992
c lw 13432
c lw 13788
c lw 13804
c lw 13980
c lw 14144
c lw 14992
c lw 15036
c lw 15047
c lw 15244
c lw 15527
c lw 15938
c lw 16322
c lw 16371
c lw 16407
c lw 16408
c lw 16503
c lw 17035
c lw 17177
c lw 17293
c lw 17610
c lw 18125
c lw 18387
c lw 19416
c lw 19820
c lw 19937
c lw 20469
c lw 20956
c lw 21179
c lw 21287
c lw 21372
c lw 21936
c lw 22040
c lw 22109
c lw 22153
c lw 22194
c lw 22284
c lw 22724
c lw 23080
c lw 23096
c lw 23272
c lw 23436
c lw 23782
c lw 23878
c lw 24676
c lw 24975
c lw 25123
c lw 25392
c lw 25403
c lw 25597
c lw 25760
c lw 25972
c lw 26184
c lw 26234
c lw 27402
c lw 27410
c lw 27899
c lw 28072
c lw 28773
c lw 28786
c lw 29263
c lw 29688
c lw 29858
c lw 30049
c lw 30444
c lw 30735
c lw 30858
c lw 31196
c lw 31291
c lw 31621
c lw 31746
c lw 31834
c lw 31971
c lw 32507
c lw 32753
c lw 33179
c lw 33598
c lw 33833
c lw 34102
c lw 34228
c lw 34437
c lw 34450
c lw 34654
c lw 34989
c lw 34997
c lw 35029
c lw 35931
c lw 36343
c lw 36414
c lw 36434
c lw 36683
c lw 36699
c lw 37394
c lw 37510
c lw 37586
c lw 37963
c lw 38475
c lw 38519
c lw 38625
c lw 38728
c lw 38916
c lw 38925
c lw 39505
c lw 39627
c lw 39889
c lw 39990
c lw 40235
c lw 40246
c lw 40248
c lw 40273
c lw 40305
c lw 41121
c lw 41184
c lw 41198
c lw 41410
c lw 42078
c lw 42173
c lw 43209
c lw 43557
c lw 43823
c lw 43967
c lw 44027
c lw 44137
c lw 45000
c lw 45013
c lw 45108
c lw 45469
c lw 45663
c lw 46343
c lw 46854
c lw 46925
c lw 46945
c lw 47021
c lw 47043
c lw 47621
c lw 47780
c lw 47881
c lw 48595
c lw 48892
c lw 50248
c lw 50699
c lw 50734
c lw 50890
c lw 50938
c lw 50968
c lw 51472
c lw 51510
c lw 51765
c lw 51907
c lw 52411
c lw 53356
c lw 53394
c lw 53754
c lw 54148
c lw 55175
c lw 55702
c lw 56116
c lw 56200
c lw 56328
c lw 56652
c lw 56822
c lw 56858
c lw 57793
c lw 57828
c lw 58101
c lw 58123
c lw 58137
c lw 58461
c lw 58704
c lw 58705
c lw 58888
c lw 58935
c lw 59487
c lw 59583
c lw 59618
c lw 59654
c lw 59663
c lw 60066
c lw 60086
c lw 60447
c lw 60654
c lw 61075
c lw 61114
c lw 61117
c lw 61149
c lw 61295
c lw 62141
c lw 62174
c lw 62328
c lw 62571
c lw 62599
c lw 62716
c lw 62858
c lw 62862
c lw 63481
c lw 63953
c lw 64043
c lw 64052
c lw 64056
c lw 64099
c lw 64114
c lw 64156
c lw 64248
c lw 64353
c lw 64531
c lw 64744
c lw 65398
c lw 65421
c lw 65457
c lw 65460
c lw 65465
c lw 65499
c lw 65685
c lw 66246
c lw 66465
c lw 66625
c lw 66714
c lw 66715
c lw 67239
c lw 67450
c lw 67624
c lw 67850
c lw 67974
c lw 67975
c lw 68545
c lw 68816
c lw 68818
c lw 68824
c lw 68832
c lw 69186
c lw 69187
c lw 69276
c lw 69333
c lw 69354
c lw 70625
c lw 71266
c lw 71811
c lw 72478
c lw 72760
c lw 72924
c lw 73595
c lw 73864
c lw 74338
c lw 74641
c lw 74696
c lw 74780
c lw 74816
c lw 74999
c lw 75035
c lw 75145
c lw 75709
c lw 76213
c lw 76329
c lw 77169
c lw 77414
c lw 77894
c lw 78139
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 -189 190 -191 -192 -193 -194 195 -196 -197 -198 199 -200 201 -202 203 -204 -205 -206 -207 208 -209 -210 211 -212 -213 -214 -215 216 217 -218 -219 -220 221 222 -223 -224 
o 78139
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-2.net.wcnf 78139
19.511u 0.130s 0:19.68 99.7%	0+0k 0+0io 0pf+0w