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-160-1_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 505
c lw 635
c lw 2494
c lw 3887
c lw 4321
c lw 5540
c lw 6704
c lw 7003
c lw 8235
c lw 8380
c lw 9878
c lw 10333
c lw 10508
c lw 11734
c lw 11947
c lw 12675
c lw 13381
c lw 13487
c lw 13690
c lw 14385
c lw 15158
c lw 15188
c lw 15343
c lw 15535
c lw 15831
c lw 16167
c lw 16276
c lw 17173
c lw 17900
c lw 18476
c lw 18999
c lw 19786
c lw 19943
c lw 20256
c lw 20896
c lw 21404
c lw 21982
c lw 22157
c lw 22307
c lw 22754
c lw 23343
c lw 24510
c lw 24789
c lw 25045
c lw 25320
c lw 25603
c lw 26342
c lw 26389
c lw 26459
c lw 26666
c lw 26912
c lw 27593
c lw 27781
c lw 28329
c lw 28516
c lw 28525
c lw 29020
c lw 29031
c lw 29974
c lw 30004
c lw 30134
c lw 31007
c lw 31128
c lw 31324
c lw 31365
c lw 31419
c lw 31747
c lw 31780
c lw 32762
c lw 32767
c lw 32855
c lw 33541
c lw 34747
c lw 35159
c lw 36018
c lw 36483
c lw 37177
c lw 37472
c lw 37486
c lw 38055
c lw 38217
c lw 38408
c lw 38552
c lw 39063
c lw 39386
c lw 39510
c lw 39606
c lw 39876
c lw 40130
c lw 40140
c lw 40152
c lw 41285
c lw 41286
c lw 41405
c lw 41477
c lw 41661
c lw 41936
c lw 42216
c lw 42390
c lw 42458
c lw 42478
c lw 42913
c lw 42955
c lw 43002
c lw 43214
c lw 43500
c lw 43509
c lw 43680
c lw 43758
c lw 43938
c lw 44004
c lw 44015
c lw 44016
c lw 44046
c lw 44171
c lw 44237
c lw 44774
c lw 44987
c lw 45343
c lw 46533
c lw 46625
c lw 46941
c lw 47062
c lw 47258
c lw 47299
c lw 47353
c lw 47450
c lw 47519
c lw 47720
c lw 47890
c lw 47944
c lw 48032
c lw 48037
c lw 48042
c lw 48283
c lw 48919
c lw 49108
c lw 49128
c lw 49299
c lw 49365
c lw 49413
c lw 49763
c lw 49927
c lw 50037
c lw 50267
c lw 50425
c lw 50481
c lw 50494
c lw 50506
c lw 50625
c lw 50628
c lw 50867
c lw 51008
c lw 51218
c lw 51293
c lw 51340
c lw 51481
c lw 51647
c lw 51691
c lw 51736
c lw 51973
c lw 52196
c lw 52477
c lw 52689
c lw 52790
c lw 52805
c lw 52823
c lw 53180
c lw 53288
c lw 53417
c lw 53570
c lw 53770
c lw 53840
c lw 54736
c lw 54786
c lw 54910
c lw 55227
c lw 55387
c lw 55498
c lw 55643
c lw 55675
c lw 56382
c lw 56452
c lw 56561
c lw 56967
c lw 57372
c lw 57390
c lw 57439
c lw 57636
c lw 57750
c lw 57801
c lw 58257
c lw 58431
c lw 58472
c lw 59096
c lw 59236
c lw 59318
c lw 59334
c lw 59444
c lw 59868
c lw 60239
c lw 60824
c lw 60953
c lw 61431
c lw 61457
c lw 61511
c lw 61667
c lw 61802
c lw 61923
c lw 62198
c lw 62247
c lw 62308
c lw 62618
c lw 62935
c lw 63046
c lw 63505
c lw 64272
c lw 64981
c lw 65034
c lw 65098
c lw 65173
c lw 65639
c lw 65657
c lw 65705
c lw 65714
c lw 65781
c lw 66263
c lw 66377
c lw 66410
c lw 66412
c lw 66517
c lw 66637
c lw 66813
c lw 66888
c lw 67015
c lw 67052
c lw 67118
c lw 67470
c lw 68111
c lw 68517
c lw 68556
c lw 69181
c lw 69232
c lw 69389
c lw 69622
c lw 69724
c lw 69736
c lw 69749
c lw 69889
c lw 70066
c lw 70810
c lw 71498
c lw 72155
c lw 72202
c lw 73701
c lw 74111
c lw 74761
c lw 75289
c lw 75369
c lw 75448
c lw 75459
c lw 75795
c lw 76546
c lw 76851
c lw 77645
c lw 77753
c lw 77998
c lw 78010
c lw 78016
c lw 78278
c lw 78788
c lw 78875
c lw 78907
c lw 79518
c lw 79526
c lw 79557
c lw 79808
c lw 80117
c lw 80495
c lw 81006
c lw 81206
c lw 81540
c lw 81978
c lw 82307
c lw 82356
c lw 82422
c lw 83244
c lw 83278
c lw 83754
c lw 83829
c lw 84029
c lw 84348
c lw 84503
c lw 84552
c lw 84782
c lw 84850
c lw 84956
c lw 85117
c lw 85196
c lw 85209
c lw 85285
c lw 85332
c lw 85555
c lw 85643
c lw 85728
c lw 85941
c lw 86299
c lw 86336
c lw 86345
c lw 86393
c lw 86441
c lw 87072
c lw 87395
c lw 88093
c lw 88255
c lw 88311
c lw 88403
c lw 88454
c lw 88514
c lw 88613
c lw 88684
c lw 88735
c lw 88806
c lw 89026
c lw 89125
c lw 89135
c lw 89150
c lw 89211
c lw 89233
c lw 89644
c lw 90106
c lw 90377
c lw 90756
c lw 90846
c lw 91883
c lw 91947
c lw 92097
c lw 92350
c lw 92434
c lw 92436
c lw 92841
c lw 93459
c lw 93584
c lw 94397
c lw 94446
c lw 94820
c lw 94876
c lw 94948
c lw 95806
c lw 96511
c lw 96519
c lw 96586
c lw 96903
c lw 96963
c lw 96968
c lw 97004
c lw 97017
c lw 97022
c lw 97084
c lw 97296
c lw 97386
c lw 97433
c lw 97474
c lw 97497
c lw 97521
c lw 97879
c lw 98137
c lw 98216
c lw 98235
c lw 98579
c lw 98634
c lw 99218
c lw 99232
c lw 99293
c lw 99791
c lw 99930
c lw 100210
c lw 100498
c lw 100531
c lw 100915
c lw 101067
c lw 101168
c lw 101475
c lw 101636
c lw 102166
c lw 102445
c lw 102606
c lw 102964
c lw 103665
c lw 103921
c lw 103998
c lw 104031
c lw 104113
c lw 104132
c lw 104279
c lw 105382
c lw 105495
c lw 105582
c lw 105638
c lw 105732
c lw 105810
c lw 105997
c lw 106204
c lw 107141
c lw 107156
c lw 107399
c lw 107420
c lw 108329
c lw 108390
c lw 108468
c lw 108789
c lw 109326
c lw 109358
c lw 109555
c lw 109737
c lw 110163
c lw 110170
c lw 110313
c lw 110481
c lw 110573
c lw 111102
c lw 111576
c lw 112055
c lw 112190
c lw 112663
c lw 112934
c lw 113045
c lw 113260
c lw 113343
c lw 113589
c lw 114196
c lw 114227
c lw 114562
c lw 115202
c lw 115380
c lw 115468
c lw 115486
c lw 115551
c lw 115704
c lw 115891
c lw 115947
c lw 116673
c lw 117573
c lw 117634
c lw 117863
c lw 117884
c lw 117996
c lw 118099
c lw 118103
c lw 118154
c lw 118462
c lw 118745
c lw 118933
c lw 119010
c lw 119614
c lw 119714
c lw 119722
c lw 119819
c lw 119834
c lw 120330
c lw 120347
c lw 120361
c lw 120365
c lw 120554
c lw 120564
c lw 120701
c lw 120864
c lw 120872
c lw 120933
c lw 121148
c lw 121264
c lw 121388
c lw 122052
c lw 122084
c lw 122897
c lw 123006
c lw 123106
c lw 123253
c lw 123637
c lw 123672
c lw 124384
c lw 124396
c lw 124745
c lw 125031
c lw 125035
c lw 125089
c lw 125096
c lw 125113
c lw 125165
c lw 125176
c lw 125181
c lw 125314
c lw 125354
c lw 125445
c lw 125886
c lw 125994
c lw 126834
c lw 126947
c lw 127111
c lw 127113
c lw 127117
c lw 127121
c lw 127128
c lw 127132
c lw 127135
c lw 127174
c lw 127182
c lw 127230
c lw 127276
c lw 127292
c lw 127297
c lw 127300
c lw 127301
c lw 127303
c lw 127322
c lw 127324
c lw 127335
c lw 127336
c lw 127338
c lw 127340
c lw 127347
c lw 127359
c lw 127383
c lw 127401
c lw 127402
c lw 127403
c lw 127404
c lw 127410
c lw 127422
c lw 127435
c lw 127436
c lw 127448
c lw 127451
c lw 127454
c lw 127455
c lw 127461
c lw 127880
c lw 128232
c lw 128349
c lw 128360
c lw 128457
c lw 128464
c lw 128465
c lw 128468
c lw 128480
c lw 128504
c lw 128564
c lw 128570
c lw 128582
c lw 128615
c lw 128645
c lw 129023
c lw 129303
c lw 129650
c lw 129669
c lw 129909
c lw 130018
c lw 130462
c lw 130638
c lw 131225
c lw 131244
c lw 131591
c lw 131897
c lw 131898
c lw 131902
c lw 131904
c lw 131909
c lw 131911
c lw 131923
c lw 131924
c lw 131927
c lw 131953
c lw 131956
c lw 131996
c lw 131998
c lw 132002
c lw 132005
c lw 132007
c lw 132009
c lw 132037
c lw 132038
c lw 132084
c lw 132468
c lw 132536
c lw 133866
c lw 133869
c lw 134402
c lw 134988
c lw 135347
c lw 135351
c lw 135353
c lw 135360
c lw 135422
c lw 135426
c lw 135429
c lw 135430
c lw 135438
c lw 135455
c lw 135465
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 -353 -354 -355 356 -357 358 -359 -360 361 -362 363 -364 -365 366 -367 -368 -369 370 371 -372 -373 374 375 -376 -377 378 -379 -380 381 -382 383 384 -385 -386 -387 -388 389 -390 391 -392 -393 394 -395 396 -397 -398 -399 400 -401 402 -403 -404 405 -406 407 -408 -409 410 
o 135465
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-8.net.wcnf 135465
136.902u 1.401s 2:18.33 99.9%	0+0k 0+0io 0pf+0w