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-140-1_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 279
c lw 948
c lw 2601
c lw 4122
c lw 5353
c lw 6063
c lw 7791
c lw 9852
c lw 10876
c lw 11326
c lw 13281
c lw 14734
c lw 15729
c lw 16136
c lw 17797
c lw 18147
c lw 18302
c lw 19051
c lw 19083
c lw 19362
c lw 20184
c lw 20854
c lw 20978
c lw 21561
c lw 21671
c lw 21824
c lw 22719
c lw 23408
c lw 23813
c lw 23977
c lw 24093
c lw 24173
c lw 24719
c lw 25257
c lw 25821
c lw 25828
c lw 25965
c lw 26573
c lw 26656
c lw 26658
c lw 27483
c lw 27685
c lw 27812
c lw 28417
c lw 28534
c lw 28717
c lw 28858
c lw 29052
c lw 29308
c lw 29599
c lw 29719
c lw 30977
c lw 31518
c lw 31807
c lw 32256
c lw 33193
c lw 33232
c lw 33344
c lw 33409
c lw 33450
c lw 33584
c lw 35000
c lw 35092
c lw 35105
c lw 35151
c lw 35764
c lw 35861
c lw 36625
c lw 36676
c lw 36779
c lw 36781
c lw 37898
c lw 37911
c lw 38038
c lw 38528
c lw 39208
c lw 39378
c lw 39771
c lw 39906
c lw 40003
c lw 40124
c lw 40491
c lw 40695
c lw 40951
c lw 41200
c lw 41360
c lw 41381
c lw 41770
c lw 41883
c lw 42622
c lw 42819
c lw 43060
c lw 43656
c lw 43990
c lw 44020
c lw 44087
c lw 44299
c lw 44862
c lw 45544
c lw 45548
c lw 45870
c lw 45953
c lw 45955
c lw 46692
c lw 46873
c lw 47000
c lw 47056
c lw 47089
c lw 47669
c lw 47705
c lw 48016
c lw 48099
c lw 48488
c lw 49285
c lw 49291
c lw 49362
c lw 49422
c lw 49971
c lw 50145
c lw 50386
c lw 50863
c lw 50935
c lw 51621
c lw 51741
c lw 51752
c lw 52430
c lw 52821
c lw 53757
c lw 54289
c lw 54687
c lw 55118
c lw 55175
c lw 55208
c lw 55732
c lw 55888
c lw 55918
c lw 55980
c lw 56268
c lw 56382
c lw 56564
c lw 57054
c lw 57519
c lw 58146
c lw 58148
c lw 58207
c lw 58435
c lw 58594
c lw 58633
c lw 59143
c lw 59405
c lw 59451
c lw 59472
c lw 59793
c lw 59849
c lw 59970
c lw 60362
c lw 60577
c lw 61021
c lw 61074
c lw 61189
c lw 61242
c lw 61370
c lw 61377
c lw 61611
c lw 61893
c lw 61934
c lw 62262
c lw 62580
c lw 63175
c lw 63239
c lw 63622
c lw 63686
c lw 63688
c lw 63697
c lw 63840
c lw 64028
c lw 64245
c lw 64386
c lw 65148
c lw 65320
c lw 65465
c lw 65616
c lw 65642
c lw 66445
c lw 66631
c lw 66810
c lw 66854
c lw 66856
c lw 66957
c lw 66981
c lw 67039
c lw 67192
c lw 68189
c lw 68480
c lw 68770
c lw 68915
c lw 69018
c lw 69554
c lw 69593
c lw 70210
c lw 70488
c lw 70750
c lw 71127
c lw 71243
c lw 71530
c lw 71555
c lw 71624
c lw 71631
c lw 72189
c lw 72263
c lw 72419
c lw 72535
c lw 73048
c lw 73227
c lw 73280
c lw 73350
c lw 73412
c lw 73876
c lw 74008
c lw 74050
c lw 74145
c lw 74315
c lw 74934
c lw 75036
c lw 75179
c lw 75196
c lw 75215
c lw 75232
c lw 75240
c lw 75253
c lw 75282
c lw 75422
c lw 75969
c lw 76698
c lw 76849
c lw 77758
c lw 77897
c lw 78200
c lw 78566
c lw 79023
c lw 79071
c lw 79368
c lw 79839
c lw 80181
c lw 80398
c lw 80479
c lw 81542
c lw 81738
c lw 82044
c lw 82057
c lw 82090
c lw 82203
c lw 82219
c lw 82431
c lw 82433
c lw 82467
c lw 82520
c lw 82816
c lw 82835
c lw 82961
c lw 82993
c lw 83007
c lw 83008
c lw 83129
c lw 83139
c lw 83153
c lw 83155
c lw 83156
c lw 83163
c lw 83166
c lw 83182
c lw 83243
c lw 83463
c lw 83954
c lw 84723
c lw 85286
c lw 85530
c lw 85706
c lw 85714
c lw 85731
c lw 85750
c lw 85765
c lw 85767
c lw 85776
c lw 85779
c lw 85792
c lw 85802
c lw 85812
c lw 85859
c lw 85975
c lw 86081
c lw 86085
c lw 86120
c lw 86467
c lw 86468
c lw 86539
c lw 86548
c lw 86671
c lw 86804
c lw 86927
c lw 87163
c lw 87274
c lw 87275
c lw 87437
c lw 87463
c lw 87602
c lw 88269
c lw 88315
c lw 88327
c lw 88351
c lw 88383
c lw 88468
c lw 88497
c lw 88550
c lw 88551
c lw 88583
c lw 88585
c lw 88590
c lw 88597
c lw 88607
c lw 88617
c lw 88622
c lw 88661
c lw 88663
c lw 88690
c lw 88693
c lw 88735
c lw 88753
c lw 88786
c lw 88797
c lw 88816
c lw 88844
c lw 88852
c lw 88860
c lw 89474
c lw 89506
c lw 90113
c lw 90154
c lw 90156
c lw 90200
c lw 90893
c lw 90939
c lw 91006
c lw 92311
c lw 92313
c lw 92370
c lw 92372
c lw 92717
c lw 93046
c lw 93464
c lw 93546
c lw 93647
c lw 94374
c lw 94475
c lw 94505
c lw 94565
c lw 94567
c lw 94573
c lw 94580
c lw 94592
c lw 94595
c lw 94603
c lw 94607
c lw 94611
c lw 94637
c lw 94665
c lw 94679
c lw 94682
c lw 94687
c lw 94691
c lw 94717
c lw 94779
c lw 94780
c lw 94786
c lw 94788
c lw 94790
c lw 94800
c lw 94804
c lw 94805
c lw 94818
c lw 94834
c lw 94856
c lw 94895
c lw 94916
c lw 94981
c lw 94994
c lw 95025
c lw 95081
c lw 96024
c lw 96131
c lw 96283
c lw 96378
c lw 96658
c lw 96724
c lw 97285
c lw 97477
c lw 97941
c lw 98344
c lw 98385
c lw 98386
c lw 98390
c lw 98393
c lw 98394
c lw 98395
c lw 98406
c lw 98598
c lw 98780
c lw 99141
c lw 99477
c lw 99655
c lw 99696
c lw 99781
c lw 99864
c lw 99901
c lw 99903
c lw 100172
c lw 100281
c lw 100423
c lw 101469
c lw 101528
c lw 101636
c lw 102086
c lw 102678
c lw 102793
c lw 103158
c lw 103449
c lw 103859
c lw 104332
c lw 105335
c lw 105747
c lw 105940
c lw 106115
c lw 106239
c lw 106412
c lw 106532
c lw 106536
c lw 106772
c lw 107414
c lw 108314
c lw 108317
c lw 108332
c lw 108342
c lw 109016
c lw 109223
c lw 109288
c lw 109298
c lw 109403
c lw 109470
c lw 109594
c lw 109923
c lw 110295
c lw 110972
c lw 110986
c lw 111244
c lw 112356
c lw 112775
c lw 113181
c lw 113562
c lw 114108
c lw 114661
c lw 115306
c lw 115312
c lw 115571
c lw 115947
c lw 116042
c lw 116048
c lw 116852
c lw 117254
c lw 117931
c lw 118072
c lw 118080
c lw 118692
c lw 119532
c lw 119601
c lw 120566
c lw 120577
c lw 120684
c lw 121055
c lw 121106
c lw 121754
c lw 121903
c lw 121930
c lw 121994
c lw 122000
c lw 122809
c lw 123276
c lw 123421
c lw 123524
c lw 123747
c lw 124422
c lw 124791
c lw 124799
c lw 124962
c lw 125063
c lw 125206
c lw 125286
c lw 125331
c lw 125334
c lw 125337
c lw 125341
c lw 125343
c lw 125344
c lw 125345
c lw 125347
c lw 125349
c lw 125351
c lw 125363
c lw 125370
c lw 125371
c lw 125375
c lw 125377
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 320 321 -322 323 -324 -325 -326 327 -328 329 -330 331 -332 -333 334 -335 -336 -337 338 339 -340 -341 -342 -343 344 -345 -346 -347 -348 349 -350 -351 352 
o 125377
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-6.net.wcnf 125377
120.161u 1.223s 2:01.39 99.9%	0+0k 0+0io 0pf+0w