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-100-1_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1246
c lw 3339
c lw 4947
c lw 5339
c lw 6298
c lw 7147
c lw 7532
c lw 8419
c lw 9354
c lw 10275
c lw 10800
c lw 12071
c lw 12291
c lw 12340
c lw 12555
c lw 12951
c lw 13713
c lw 13910
c lw 14271
c lw 14717
c lw 14830
c lw 14890
c lw 15114
c lw 15611
c lw 15652
c lw 16602
c lw 16670
c lw 16754
c lw 16891
c lw 16957
c lw 17958
c lw 17962
c lw 18661
c lw 18801
c lw 19495
c lw 19875
c lw 20085
c lw 20110
c lw 20587
c lw 20625
c lw 20806
c lw 21554
c lw 21749
c lw 22602
c lw 22650
c lw 22662
c lw 23330
c lw 23403
c lw 24227
c lw 24307
c lw 24308
c lw 24710
c lw 24997
c lw 25823
c lw 26177
c lw 26563
c lw 26998
c lw 27705
c lw 27782
c lw 27791
c lw 27832
c lw 27877
c lw 27961
c lw 28098
c lw 28434
c lw 28881
c lw 28946
c lw 29107
c lw 29319
c lw 29427
c lw 29669
c lw 29673
c lw 29724
c lw 29741
c lw 29763
c lw 29784
c lw 29962
c lw 31318
c lw 31448
c lw 31470
c lw 31540
c lw 31570
c lw 31603
c lw 31692
c lw 31860
c lw 31899
c lw 32140
c lw 32305
c lw 32345
c lw 32399
c lw 32448
c lw 32470
c lw 32479
c lw 32524
c lw 32926
c lw 33488
c lw 33714
c lw 33749
c lw 33833
c lw 34369
c lw 34373
c lw 34395
c lw 34421
c lw 35132
c lw 35620
c lw 35942
c lw 35988
c lw 36494
c lw 36580
c lw 36875
c lw 37662
c lw 38075
c lw 38085
c lw 38397
c lw 38459
c lw 38516
c lw 38517
c lw 38572
c lw 38824
c lw 38966
c lw 39095
c lw 39117
c lw 39216
c lw 39226
c lw 39236
c lw 39275
c lw 39901
c lw 39983
c lw 40030
c lw 40043
c lw 40400
c lw 40734
c lw 40790
c lw 40908
c lw 41492
c lw 41877
c lw 41911
c lw 42228
c lw 43044
c lw 43331
c lw 43671
c lw 43757
c lw 44026
c lw 44678
c lw 44773
c lw 45322
c lw 45530
c lw 45919
c lw 45955
c lw 46802
c lw 46808
c lw 46931
c lw 47313
c lw 47466
c lw 48001
c lw 48450
c lw 48985
c lw 49060
c lw 49138
c lw 49166
c lw 49223
c lw 49506
c lw 49979
c lw 50438
c lw 50776
c lw 51207
c lw 51583
c lw 51994
c lw 52736
c lw 53520
c lw 53651
c lw 53944
c lw 54705
c lw 55132
c lw 55948
c lw 55978
c lw 56194
c lw 56381
c lw 56757
c lw 56806
c lw 57394
c lw 57438
c lw 57731
c lw 58142
c lw 58742
c lw 58776
c lw 59410
c lw 59592
c lw 59640
c lw 60450
c lw 60775
c lw 60783
c lw 60805
c lw 61060
c lw 61322
c lw 61791
c lw 61866
c lw 61970
c lw 62012
c lw 62024
c lw 62239
c lw 62388
c lw 62525
c lw 62872
c lw 62876
c lw 63435
c lw 63458
c lw 63939
c lw 63999
c lw 64052
c lw 65050
c lw 65073
c lw 65430
c lw 65653
c lw 65956
c lw 66066
c lw 66102
c lw 66257
c lw 66512
c lw 67127
c lw 67405
c lw 67428
c lw 67477
c lw 67528
c lw 67715
c lw 68671
c lw 68967
c lw 69047
c lw 69474
c lw 69761
c lw 69884
c lw 69907
c lw 70762
c lw 70794
c lw 70876
c lw 71103
c lw 71152
c lw 71227
c lw 71266
c lw 71705
c lw 71711
c lw 71750
c lw 71950
c lw 72263
c lw 72295
c lw 72365
c lw 73486
c lw 73510
c lw 73515
c lw 73573
c lw 73807
c lw 74581
c lw 74595
c lw 74619
c lw 74624
c lw 74764
c lw 74821
c lw 75603
c lw 75914
c lw 76837
c lw 77330
c lw 77922
c lw 78567
c lw 78597
c lw 78809
c lw 79596
c lw 80923
c lw 80972
c lw 81253
c lw 81584
c lw 81821
c lw 81837
c lw 81977
c lw 81995
c lw 82119
c lw 82263
c lw 82425
c lw 82457
c lw 82493
c lw 82801
c lw 82819
c lw 82851
c lw 82905
c lw 82921
c lw 82978
c lw 83012
c lw 83124
c lw 83206
c lw 83360
c lw 83515
c lw 83526
c lw 83685
c lw 83915
c lw 84247
c lw 85360
c lw 85658
c lw 85855
c lw 85887
c lw 86070
c lw 86276
c lw 86306
c lw 86989
c lw 87172
c lw 87204
c lw 87287
c lw 87365
c lw 87441
c lw 87675
c lw 87753
c lw 87836
c lw 87868
c lw 87920
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 225 -226 227 -228 -229 230 -231 -232 -233 234 -235 -236 -237 238 239 -240 -241 242 -243 -244 -245 246 -247 248 -249 250 -251 -252 -253 -254 255 -256 257 -258 -259 -260 261 262 -263 -264 
o 87920
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-5.net.wcnf 87920
24.422u 0.201s 0:24.63 99.9%	0+0k 0+0io 0pf+0w