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-120-1_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1407
c lw 1642
c lw 2377
c lw 4021
c lw 4891
c lw 6589
c lw 8159
c lw 8667
c lw 9164
c lw 9707
c lw 10011
c lw 11342
c lw 12084
c lw 13757
c lw 15066
c lw 15247
c lw 15772
c lw 16017
c lw 16356
c lw 17030
c lw 17188
c lw 17619
c lw 18205
c lw 18238
c lw 18871
c lw 18918
c lw 19022
c lw 19547
c lw 19632
c lw 19835
c lw 20235
c lw 20252
c lw 20622
c lw 20839
c lw 21346
c lw 22348
c lw 22549
c lw 23433
c lw 23769
c lw 24095
c lw 24243
c lw 24518
c lw 24657
c lw 25095
c lw 25362
c lw 25602
c lw 25781
c lw 25867
c lw 25971
c lw 26152
c lw 26235
c lw 26291
c lw 26397
c lw 27011
c lw 27277
c lw 27675
c lw 27684
c lw 28792
c lw 28995
c lw 29711
c lw 29808
c lw 29817
c lw 29840
c lw 29873
c lw 29956
c lw 30020
c lw 30435
c lw 30672
c lw 31048
c lw 31763
c lw 32782
c lw 33698
c lw 33740
c lw 34206
c lw 34428
c lw 34520
c lw 34569
c lw 34576
c lw 34714
c lw 35216
c lw 35233
c lw 35391
c lw 35522
c lw 35754
c lw 36035
c lw 36054
c lw 36202
c lw 36815
c lw 37623
c lw 38312
c lw 38404
c lw 38430
c lw 38817
c lw 38832
c lw 38942
c lw 39118
c lw 39516
c lw 39525
c lw 39549
c lw 39608
c lw 39751
c lw 39765
c lw 40159
c lw 40346
c lw 40739
c lw 40922
c lw 41043
c lw 41108
c lw 41318
c lw 41400
c lw 41412
c lw 42289
c lw 42489
c lw 42525
c lw 42546
c lw 42949
c lw 43644
c lw 43738
c lw 43901
c lw 44271
c lw 44317
c lw 45085
c lw 45211
c lw 45733
c lw 45808
c lw 45880
c lw 46185
c lw 46475
c lw 46652
c lw 46967
c lw 47213
c lw 47498
c lw 47617
c lw 48176
c lw 48475
c lw 48650
c lw 48684
c lw 48755
c lw 48963
c lw 49000
c lw 49290
c lw 49403
c lw 49428
c lw 49933
c lw 50129
c lw 50211
c lw 50880
c lw 51125
c lw 51698
c lw 51707
c lw 51774
c lw 52137
c lw 52481
c lw 53009
c lw 53322
c lw 53337
c lw 53564
c lw 53770
c lw 53827
c lw 53852
c lw 53913
c lw 54113
c lw 55067
c lw 55069
c lw 55653
c lw 55701
c lw 56018
c lw 56279
c lw 56316
c lw 56443
c lw 56546
c lw 56570
c lw 56719
c lw 56871
c lw 56895
c lw 56974
c lw 57367
c lw 57441
c lw 57590
c lw 58106
c lw 58130
c lw 58172
c lw 58257
c lw 58266
c lw 58330
c lw 58486
c lw 58529
c lw 58611
c lw 58805
c lw 59048
c lw 59139
c lw 59378
c lw 59427
c lw 59489
c lw 59766
c lw 59815
c lw 59842
c lw 61207
c lw 61238
c lw 61336
c lw 61430
c lw 61494
c lw 61934
c lw 61980
c lw 61993
c lw 61999
c lw 62823
c lw 62994
c lw 63386
c lw 63445
c lw 63569
c lw 63634
c lw 64740
c lw 64879
c lw 64938
c lw 64944
c lw 64945
c lw 64958
c lw 65220
c lw 65223
c lw 65491
c lw 65619
c lw 66053
c lw 66360
c lw 66432
c lw 67168
c lw 68091
c lw 68947
c lw 69202
c lw 69397
c lw 70291
c lw 70992
c lw 71209
c lw 71463
c lw 71864
c lw 71994
c lw 72009
c lw 72041
c lw 72107
c lw 72372
c lw 72432
c lw 72551
c lw 72610
c lw 72980
c lw 73147
c lw 74210
c lw 74446
c lw 74998
c lw 75039
c lw 75328
c lw 75694
c lw 75825
c lw 75991
c lw 76174
c lw 76913
c lw 77266
c lw 78219
c lw 78350
c lw 78533
c lw 78580
c lw 78697
c lw 78811
c lw 78852
c lw 78869
c lw 78900
c lw 78998
c lw 79095
c lw 79354
c lw 79425
c lw 79429
c lw 79447
c lw 79452
c lw 79464
c lw 79495
c lw 79501
c lw 79526
c lw 79633
c lw 79841
c lw 80376
c lw 80635
c lw 80790
c lw 80906
c lw 81279
c lw 81314
c lw 81428
c lw 81440
c lw 82365
c lw 82600
c lw 82685
c lw 83016
c lw 83268
c lw 83460
c lw 83572
c lw 83662
c lw 83997
c lw 84087
c lw 84178
c lw 84264
c lw 84290
c lw 84492
c lw 84525
c lw 84533
c lw 84574
c lw 84577
c lw 84664
c lw 84715
c lw 84778
c lw 84880
c lw 84899
c lw 84979
c lw 84980
c lw 85023
c lw 85105
c lw 85109
c lw 85110
c lw 85172
c lw 85173
c lw 85175
c lw 85181
c lw 85189
c lw 85193
c lw 85199
c lw 85201
c lw 85204
c lw 85207
c lw 85235
c lw 85255
c lw 85264
c lw 85807
c lw 86033
c lw 86741
c lw 87058
c lw 87396
c lw 87454
c lw 87821
c lw 87998
c lw 88899
c lw 89021
c lw 89085
c lw 89106
c lw 89475
c lw 89745
c lw 89764
c lw 89779
c lw 90383
c lw 90604
c lw 90714
c lw 90735
c lw 90803
c lw 91251
c lw 91943
c lw 92119
c lw 93008
c lw 93125
c lw 93759
c lw 93920
c lw 93962
c lw 94720
c lw 95585
c lw 95632
c lw 96036
c lw 96056
c lw 97090
c lw 97122
c lw 97293
c lw 97878
c lw 97920
c lw 98001
c lw 98253
c lw 98581
c lw 98797
c lw 98914
c lw 98980
c lw 99017
c lw 99090
c lw 99127
c lw 99160
c lw 99560
c lw 99944
c lw 99977
c lw 100094
c lw 100167
c lw 100861
c lw 102178
c lw 102339
c lw 102340
c lw 103657
c lw 104147
c lw 104213
c lw 104557
c lw 104643
c lw 104909
c lw 104920
c lw 105128
c lw 105191
c lw 105352
c lw 105363
c lw 105435
c lw 105439
c lw 106243
c lw 106483
c lw 106613
c lw 107238
c lw 107265
c lw 108088
c lw 108120
c lw 108923
c lw 109058
c lw 109452
c lw 109516
c lw 110859
c lw 111274
c lw 111420
c lw 111637
c lw 111649
c lw 111656
c lw 111737
c lw 111765
c lw 111905
c lw 112740
c lw 112910
c lw 112931
c lw 113162
c lw 113183
c lw 113189
c lw 113193
c lw 113194
c lw 113195
c lw 113196
c lw 113199
c lw 113200
c lw 113201
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 -265 266 267 -268 -269 -270 -271 272 -273 -274 275 276 -277 -278 -279 280 -281 282 -283 -284 -285 -286 287 -288 -289 290 -291 292 -293 294 -295 -296 297 -298 299 -300 301 -302 -303 -304 -305 306 -307 308 -309 -310 311 -312 -313 -314 315 -316 317 -318 -319 
o 113201
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-6.net.wcnf 113201
70.834u 0.703s 1:11.54 99.9%	0+0k 0+0io 0pf+0w