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-260-1_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 968
c lw 1964
c lw 2476
c lw 3664
c lw 4220
c lw 4550
c lw 4973
c lw 5524
c lw 5901
c lw 6687
c lw 7165
c lw 8298
c lw 9610
c lw 10392
c lw 11500
c lw 12999
c lw 13660
c lw 14985
c lw 16053
c lw 16944
c lw 17128
c lw 18149
c lw 19321
c lw 19928
c lw 20032
c lw 21625
c lw 22550
c lw 23054
c lw 23490
c lw 23865
c lw 26041
c lw 26373
c lw 26683
c lw 27983
c lw 29326
c lw 29893
c lw 32132
c lw 33496
c lw 34612
c lw 35349
c lw 36823
c lw 36824
c lw 37069
c lw 38079
c lw 38959
c lw 40398
c lw 41963
c lw 42517
c lw 42582
c lw 42818
c lw 43599
c lw 43790
c lw 45092
c lw 45337
c lw 45845
c lw 46131
c lw 46605
c lw 47175
c lw 47686
c lw 48014
c lw 48158
c lw 48282
c lw 48288
c lw 48988
c lw 49383
c lw 49706
c lw 50930
c lw 51189
c lw 52008
c lw 52011
c lw 52859
c lw 53124
c lw 53158
c lw 53509
c lw 53800
c lw 53803
c lw 55048
c lw 55179
c lw 55193
c lw 55662
c lw 56800
c lw 57364
c lw 57766
c lw 57892
c lw 58460
c lw 58703
c lw 59070
c lw 59733
c lw 59932
c lw 60690
c lw 61563
c lw 61727
c lw 61731
c lw 62373
c lw 63046
c lw 63880
c lw 64443
c lw 64944
c lw 65392
c lw 65886
c lw 66771
c lw 66810
c lw 66866
c lw 66936
c lw 67197
c lw 67439
c lw 67584
c lw 67755
c lw 67842
c lw 68460
c lw 68525
c lw 68732
c lw 68907
c lw 69338
c lw 69388
c lw 69462
c lw 69681
c lw 70322
c lw 70688
c lw 70824
c lw 70850
c lw 71022
c lw 71523
c lw 71925
c lw 72308
c lw 72407
c lw 73199
c lw 73226
c lw 73382
c lw 73524
c lw 73684
c lw 74384
c lw 74713
c lw 75050
c lw 75607
c lw 75647
c lw 76360
c lw 77213
c lw 77321
c lw 77448
c lw 79152
c lw 79488
c lw 80902
c lw 81289
c lw 81578
c lw 81709
c lw 81719
c lw 82394
c lw 82533
c lw 82863
c lw 82995
c lw 83382
c lw 83491
c lw 83892
c lw 84435
c lw 84700
c lw 84882
c lw 84993
c lw 85004
c lw 85516
c lw 86155
c lw 86574
c lw 86699
c lw 87338
c lw 87467
c lw 87518
c lw 88001
c lw 88201
c lw 88289
c lw 88315
c lw 88397
c lw 88764
c lw 88963
c lw 89083
c lw 89693
c lw 90071
c lw 90244
c lw 90566
c lw 90614
c lw 90618
c lw 90634
c lw 90667
c lw 91056
c lw 91361
c lw 91428
c lw 91684
c lw 91711
c lw 92132
c lw 92163
c lw 92523
c lw 92881
c lw 92884
c lw 93161
c lw 93475
c lw 93697
c lw 93781
c lw 94301
c lw 94426
c lw 94597
c lw 94743
c lw 95006
c lw 95049
c lw 95732
c lw 95762
c lw 95838
c lw 96231
c lw 96290
c lw 96328
c lw 96410
c lw 96463
c lw 96465
c lw 96516
c lw 97325
c lw 97882
c lw 98031
c lw 98202
c lw 98235
c lw 98308
c lw 98467
c lw 98682
c lw 99107
c lw 99192
c lw 99328
c lw 99514
c lw 99547
c lw 99694
c lw 100221
c lw 101184
c lw 101716
c lw 101936
c lw 102221
c lw 102232
c lw 102582
c lw 103380
c lw 103587
c lw 103807
c lw 103979
c lw 104061
c lw 104461
c lw 104783
c lw 105785
c lw 105836
c lw 105929
c lw 106074
c lw 106087
c lw 106186
c lw 106501
c lw 107073
c lw 107098
c lw 107564
c lw 107640
c lw 107856
c lw 108578
c lw 108701
c lw 109549
c lw 110277
c lw 110430
c lw 110652
c lw 111401
c lw 112510
c lw 112758
c lw 112785
c lw 112825
c lw 112849
c lw 112911
c lw 113104
c lw 113434
c lw 113979
c lw 114104
c lw 114875
c lw 114992
c lw 115011
c lw 115114
c lw 115116
c lw 115260
c lw 115310
c lw 115448
c lw 115717
c lw 116208
c lw 116261
c lw 116440
c lw 116720
c lw 116877
c lw 116906
c lw 116996
c lw 117059
c lw 117475
c lw 117601
c lw 117728
c lw 117761
c lw 117769
c lw 118364
c lw 118578
c lw 118584
c lw 118666
c lw 118694
c lw 118742
c lw 118758
c lw 118791
c lw 119036
c lw 119336
c lw 119423
c lw 120224
c lw 120490
c lw 120819
c lw 120924
c lw 121744
c lw 121935
c lw 122100
c lw 122246
c lw 122940
c lw 122957
c lw 123022
c lw 123049
c lw 123110
c lw 123122
c lw 123134
c lw 123149
c lw 123161
c lw 123201
c lw 123597
c lw 123710
c lw 123764
c lw 123839
c lw 124162
c lw 124510
c lw 124635
c lw 124738
c lw 124752
c lw 124757
c lw 124776
c lw 124942
c lw 125227
c lw 125614
c lw 126367
c lw 126721
c lw 126855
c lw 127206
c lw 127405
c lw 127781
c lw 127961
c lw 128614
c lw 129018
c lw 129097
c lw 129606
c lw 129706
c lw 129893
c lw 130449
c lw 131051
c lw 131061
c lw 131182
c lw 131261
c lw 131382
c lw 131459
c lw 131643
c lw 131720
c lw 131768
c lw 131865
c lw 131913
c lw 132002
c lw 132209
c lw 132403
c lw 132560
c lw 132819
c lw 133157
c lw 133227
c lw 133355
c lw 133475
c lw 133976
c lw 134227
c lw 134464
c lw 134874
c lw 135237
c lw 135297
c lw 135312
c lw 136339
c lw 136387
c lw 136503
c lw 137082
c lw 137153
c lw 137410
c lw 137536
c lw 137686
c lw 137988
c lw 138389
c lw 138455
c lw 138469
c lw 138500
c lw 139881
c lw 139956
c lw 140585
c lw 140752
c lw 140787
c lw 140967
c lw 141180
c lw 141248
c lw 141260
c lw 141444
c lw 141532
c lw 142095
c lw 142272
c lw 142911
c lw 142979
c lw 143059
c lw 143302
c lw 143376
c lw 143419
c lw 143785
c lw 144049
c lw 144072
c lw 144210
c lw 144280
c lw 144366
c lw 145034
c lw 145214
c lw 145235
c lw 145515
c lw 146552
c lw 146691
c lw 146730
c lw 146917
c lw 147153
c lw 147485
c lw 147698
c lw 147995
c lw 148227
c lw 149022
c lw 149157
c lw 149625
c lw 150137
c lw 150465
c lw 150908
c lw 151014
c lw 151390
c lw 151629
c lw 151677
c lw 151708
c lw 151848
c lw 152472
c lw 152938
c lw 153157
c lw 153249
c lw 153508
c lw 153999
c lw 154014
c lw 154443
c lw 154550
c lw 154738
c lw 154753
c lw 154915
c lw 155072
c lw 155328
c lw 155892
c lw 155988
c lw 156631
c lw 156637
c lw 156742
c lw 156779
c lw 156801
c lw 157328
c lw 157423
c lw 157755
c lw 158613
c lw 158739
c lw 158823
c lw 158889
c lw 159139
c lw 159272
c lw 159422
c lw 159935
c lw 159974
c lw 161131
c lw 161367
c lw 161755
c lw 161820
c lw 161917
c lw 161934
c lw 162179
c lw 162422
c lw 162554
c lw 162975
c lw 163289
c lw 163305
c lw 164321
c lw 164662
c lw 165140
c lw 165721
c lw 166255
c lw 166507
c lw 166721
c lw 166755
c lw 166987
c lw 166993
c lw 167018
c lw 167362
c lw 167572
c lw 167659
c lw 168357
c lw 168651
c lw 168920
c lw 169036
c lw 169074
c lw 169977
c lw 170059
c lw 170091
c lw 170230
c lw 170311
c lw 171549
c lw 171671
c lw 171800
c lw 171830
c lw 171946
c lw 172074
c lw 172122
c lw 172958
c lw 173448
c lw 173513
c lw 173754
c lw 173843
c lw 174102
c lw 174365
c lw 174501
c lw 174566
c lw 174582
c lw 174780
c lw 174840
c lw 175056
c lw 175097
c lw 175375
c lw 175404
c lw 175783
c lw 175942
c lw 176882
c lw 177504
c lw 177693
c lw 177717
c lw 177746
c lw 177775
c lw 177786
c lw 177887
c lw 177927
c lw 177981
c lw 178014
c lw 178268
c lw 178419
c lw 178762
c lw 179400
c lw 179429
c lw 179811
c lw 179990
c lw 180247
c lw 180856
c lw 180894
c lw 180985
c lw 181031
c lw 181209
c lw 181300
c lw 181325
c lw 181408
c lw 181448
c lw 181688
c lw 181699
c lw 181806
c lw 181929
c lw 182079
c lw 183189
c lw 183201
c lw 183221
c lw 183316
c lw 183584
c lw 183717
c lw 184078
c lw 184079
c lw 184082
c lw 184106
c lw 184119
c lw 184453
c lw 184463
c lw 184489
c lw 184749
c lw 184795
c lw 184886
c lw 185220
c lw 185399
c lw 185520
c lw 185591
c lw 186209
c lw 186445
c lw 186451
c lw 186572
c lw 186609
c lw 186701
c lw 186705
c lw 186723
c lw 187219
c lw 187232
c lw 187472
c lw 188169
c lw 188235
c lw 188458
c lw 188493
c lw 188782
c lw 188796
c lw 188797
c lw 188813
c lw 189058
c lw 189689
c lw 189700
c lw 189701
c lw 190218
c lw 191078
c lw 191271
c lw 191511
c lw 191699
c lw 192029
c lw 192058
c lw 192575
c lw 192779
c lw 192833
c lw 192841
c lw 192857
c lw 192858
c lw 192873
c lw 192886
c lw 192910
c lw 192921
c lw 192923
c lw 193028
c lw 193578
c lw 193619
c lw 193657
c lw 193961
c lw 193964
c lw 194176
c lw 194618
c lw 194821
c lw 194837
c lw 194898
c lw 194902
c lw 194965
c lw 195023
c lw 195747
c lw 195945
c lw 196058
c lw 196100
c lw 196656
c lw 196677
c lw 196682
c lw 196691
c lw 196758
c lw 196761
c lw 196762
c lw 197030
c lw 197054
c lw 197170
c lw 197279
c lw 197330
c lw 197373
c lw 197678
c lw 198005
c lw 198122
c lw 198176
c lw 198256
c lw 198463
c lw 198508
c lw 198580
c lw 198652
c lw 198699
c lw 198856
c lw 198859
c lw 198949
c lw 199082
c lw 199115
c lw 199279
c lw 199281
c lw 199286
c lw 199438
c lw 199932
c lw 199995
c lw 200160
c lw 200262
c lw 200547
c lw 200597
c lw 200744
c lw 201182
c lw 201957
c lw 201969
c lw 202041
c lw 202080
c lw 202207
c lw 202273
c lw 202895
c lw 203019
c lw 203134
c lw 203811
c lw 204465
c lw 204729
c lw 205310
c lw 205828
c lw 205918
c lw 206032
c lw 206394
c lw 206405
c lw 206473
c lw 206492
c lw 206494
c lw 206748
c lw 207108
c lw 207110
c lw 207150
c lw 207155
c lw 207164
c lw 207380
c lw 207447
c lw 207448
c lw 207450
c lw 207638
c lw 207771
c lw 207808
c lw 207850
c lw 208257
c lw 208678
c lw 209129
c lw 209156
c lw 209203
c lw 209246
c lw 209366
c lw 209382
c lw 209396
c lw 209508
c lw 209802
c lw 209912
c lw 210109
c lw 210319
c lw 210797
c lw 210884
c lw 210971
c lw 210982
c lw 211092
c lw 211237
c lw 211411
c lw 211929
c lw 212591
c lw 212601
c lw 214105
c lw 214147
c lw 214217
c lw 214275
c lw 214664
c lw 214886
c lw 215333
c lw 215605
c lw 215613
c lw 215627
c lw 215906
c lw 216051
c lw 216074
c lw 216217
c lw 216239
c lw 216244
c lw 216245
c lw 216604
c lw 216697
c lw 216720
c lw 216726
c lw 216728
c lw 216735
c lw 216752
c lw 216760
c lw 216762
c lw 216809
c lw 216828
c lw 217063
c lw 217065
c lw 217066
c lw 217068
c lw 217147
c lw 217149
c lw 217151
c lw 217152
c lw 217153
c lw 217154
c lw 217155
c lw 217253
c lw 217398
c lw 218057
c lw 218363
c lw 218514
c lw 218961
c lw 219387
c lw 219388
c lw 219390
c lw 219394
c lw 219395
c lw 219549
c lw 219606
c lw 219816
c lw 219927
c lw 220300
c lw 220515
c lw 220712
c lw 221394
c lw 221581
c lw 221594
c lw 221713
c lw 221727
c lw 221778
c lw 221809
c lw 221964
c lw 221993
c lw 221997
c lw 222021
c lw 222032
c lw 222044
c lw 222057
c lw 222147
c lw 223290
c lw 223483
c lw 223551
c lw 223676
c lw 223764
c lw 223850
c lw 223938
c lw 224131
c lw 224225
c lw 224329
c lw 224337
c lw 224415
c lw 225090
c lw 225133
c lw 225639
c lw 226026
c lw 226439
c lw 226865
c lw 226944
c lw 226955
c lw 227247
c lw 227315
c lw 227583
c lw 227596
c lw 227665
c lw 227947
c lw 227964
c lw 228241
c lw 228266
c lw 229176
c lw 229897
c lw 229989
c lw 230227
c lw 230268
c lw 230793
c lw 231855
c lw 231897
c lw 232005
c lw 232303
c lw 232883
c lw 233382
c lw 233525
c lw 233598
c lw 234311
c lw 234448
c lw 234765
c lw 235016
c lw 235174
c lw 235302
c lw 235317
c lw 235425
c lw 235498
c lw 235889
c lw 236242
c lw 236409
c lw 236704
c lw 237367
c lw 237548
c lw 237967
c lw 237980
c lw 238124
c lw 238125
c lw 238126
c lw 238127
c lw 238128
c lw 238129
c lw 238130
c lw 238131
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 -411 412 -413 -414 415 -416 -417 418 -419 -420 -421 -422 423 -424 425 -426 -427 -428 -429 430 -431 432 -433 -434 435 -436 -437 -438 439 440 -441 442 -443 -444 -445 -446 447 448 -449 -450 -451 -452 453 454 -455 -456 -457 458 -459 460 -461 462 -463 464 -465 466 -467 -468 -469 -470 471 -472 -473 474 475 -476 -477 -478 -479 480 -481 482 -483 -484 485 -486 487 -488 489 -490 491 -492 -493 -494 -495 -496 497 498 -499 -500 501 -502 -503 -504 -505 506 -507 508 -509 510 -511 -512 513 -514 -515 -516 517 -518 -519 -520 521 -522 523 -524 -525 526 -527 -528 -529 530 -531 532 533 -534 -535 -536 537 -538 539 -540 541 -542 -543 544 -545 546 -547 -548 -549 550 551 -552 -553 -554 555 -556 -557 -558 -559 -560 561 -562 563 -564 -565 -566 567 -568 -569 -570 571 -572 -573 574 575 -576 577 -578 -579 580 -581 -582 583 -584 585 -586 587 -588 -589 -590 591 592 -593 594 -595 -596 -597 -598 599 -600 601 -602 603 -604 -605 -606 -607 608 609 -610 -611 -612 613 -614 615 -616 -617 618 -619 620 -621 -622 623 -624 -625 -626 627 -628 -629 630 
o 238131
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-4.net.wcnf 238131
164.020u 2.393s 2:46.81 99.7%	0+0k 0+0io 0pf+0w