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-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 647
c lw 1969
c lw 2691
c lw 4178
c lw 5269
c lw 6402
c lw 6566
c lw 8628
c lw 8799
c lw 9480
c lw 9837
c lw 11664
c lw 12532
c lw 13651
c lw 15575
c lw 16455
c lw 17330
c lw 18182
c lw 18914
c lw 19667
c lw 20220
c lw 20226
c lw 21202
c lw 22163
c lw 23434
c lw 23780
c lw 24245
c lw 25406
c lw 25959
c lw 26931
c lw 27752
c lw 28334
c lw 28745
c lw 28855
c lw 28895
c lw 29913
c lw 30385
c lw 30549
c lw 31344
c lw 31924
c lw 32879
c lw 33118
c lw 33832
c lw 33893
c lw 33927
c lw 34125
c lw 34480
c lw 34815
c lw 35068
c lw 35187
c lw 35249
c lw 35390
c lw 35628
c lw 36340
c lw 36549
c lw 37257
c lw 37421
c lw 37916
c lw 38131
c lw 38581
c lw 38606
c lw 39252
c lw 39976
c lw 40313
c lw 40432
c lw 41117
c lw 41551
c lw 42076
c lw 42306
c lw 42981
c lw 43251
c lw 43684
c lw 43844
c lw 44222
c lw 44398
c lw 44803
c lw 45170
c lw 45499
c lw 45671
c lw 45940
c lw 46146
c lw 46195
c lw 47045
c lw 47343
c lw 47786
c lw 47865
c lw 48151
c lw 48617
c lw 48981
c lw 49135
c lw 50475
c lw 50611
c lw 51359
c lw 51766
c lw 51772
c lw 52105
c lw 52264
c lw 52566
c lw 53034
c lw 53298
c lw 54074
c lw 54479
c lw 54675
c lw 54789
c lw 55254
c lw 55261
c lw 55685
c lw 55889
c lw 56099
c lw 56450
c lw 56524
c lw 56562
c lw 56775
c lw 57197
c lw 57270
c lw 57434
c lw 57649
c lw 58545
c lw 58590
c lw 58615
c lw 59261
c lw 59323
c lw 59446
c lw 59660
c lw 59787
c lw 60039
c lw 60859
c lw 60937
c lw 61147
c lw 61171
c lw 61552
c lw 61573
c lw 61639
c lw 61778
c lw 61843
c lw 62992
c lw 63035
c lw 63206
c lw 63217
c lw 63890
c lw 63975
c lw 64051
c lw 64507
c lw 64635
c lw 64940
c lw 65028
c lw 65244
c lw 65254
c lw 66152
c lw 66245
c lw 67460
c lw 67647
c lw 68245
c lw 68384
c lw 68647
c lw 69023
c lw 69254
c lw 69323
c lw 69690
c lw 69704
c lw 69795
c lw 69812
c lw 70059
c lw 71134
c lw 71272
c lw 71886
c lw 72103
c lw 72602
c lw 73048
c lw 73195
c lw 73371
c lw 74394
c lw 74499
c lw 74845
c lw 74968
c lw 75131
c lw 75224
c lw 75959
c lw 76070
c lw 76101
c lw 76102
c lw 76375
c lw 76626
c lw 76731
c lw 77047
c lw 77335
c lw 77471
c lw 77542
c lw 78371
c lw 78384
c lw 78385
c lw 78590
c lw 78885
c lw 79505
c lw 79566
c lw 79740
c lw 79944
c lw 80006
c lw 80384
c lw 80404
c lw 80574
c lw 80604
c lw 80930
c lw 81308
c lw 81924
c lw 82046
c lw 82568
c lw 82916
c lw 84406
c lw 84599
c lw 84846
c lw 84892
c lw 85386
c lw 85441
c lw 86386
c lw 86464
c lw 86731
c lw 86850
c lw 87332
c lw 87465
c lw 87469
c lw 87637
c lw 88458
c lw 88716
c lw 88761
c lw 88782
c lw 89381
c lw 89647
c lw 90149
c lw 90190
c lw 90496
c lw 90731
c lw 90735
c lw 90875
c lw 91720
c lw 91913
c lw 91968
c lw 92262
c lw 92463
c lw 93218
c lw 93266
c lw 93579
c lw 93742
c lw 94002
c lw 94328
c lw 94350
c lw 94520
c lw 94950
c lw 94982
c lw 95049
c lw 95116
c lw 95417
c lw 95728
c lw 95743
c lw 95993
c lw 96430
c lw 96491
c lw 97040
c lw 97104
c lw 97271
c lw 97344
c lw 97432
c lw 97458
c lw 97592
c lw 97735
c lw 97864
c lw 98668
c lw 99124
c lw 100073
c lw 100194
c lw 100707
c lw 100711
c lw 100906
c lw 100984
c lw 100988
c lw 101100
c lw 101170
c lw 101249
c lw 101262
c lw 101363
c lw 101684
c lw 101741
c lw 101859
c lw 102068
c lw 102335
c lw 102478
c lw 103005
c lw 103477
c lw 103636
c lw 103813
c lw 104037
c lw 104158
c lw 104712
c lw 104763
c lw 104974
c lw 106023
c lw 106115
c lw 106507
c lw 106675
c lw 106836
c lw 106867
c lw 107038
c lw 107615
c lw 107662
c lw 108062
c lw 108405
c lw 108459
c lw 108516
c lw 108598
c lw 108625
c lw 108652
c lw 108656
c lw 108717
c lw 108786
c lw 108922
c lw 110147
c lw 110225
c lw 110425
c lw 110625
c lw 110911
c lw 111022
c lw 111069
c lw 111210
c lw 111223
c lw 111821
c lw 112030
c lw 112072
c lw 112558
c lw 112800
c lw 113329
c lw 113351
c lw 113363
c lw 113695
c lw 113779
c lw 113815
c lw 115289
c lw 115305
c lw 115371
c lw 115497
c lw 115630
c lw 115655
c lw 115988
c lw 116107
c lw 116208
c lw 116311
c lw 117151
c lw 117484
c lw 118393
c lw 118474
c lw 118686
c lw 118903
c lw 118977
c lw 119343
c lw 119402
c lw 119478
c lw 119487
c lw 119515
c lw 120201
c lw 120413
c lw 120616
c lw 120682
c lw 120875
c lw 120901
c lw 120977
c lw 120999
c lw 121079
c lw 121352
c lw 121523
c lw 121533
c lw 121648
c lw 121740
c lw 122011
c lw 122112
c lw 122494
c lw 122564
c lw 122733
c lw 122845
c lw 123085
c lw 123181
c lw 123376
c lw 124179
c lw 124240
c lw 124267
c lw 124809
c lw 124813
c lw 124851
c lw 125007
c lw 125039
c lw 125172
c lw 125363
c lw 125462
c lw 125934
c lw 126067
c lw 126538
c lw 126626
c lw 127007
c lw 127698
c lw 128056
c lw 128316
c lw 128389
c lw 128404
c lw 128439
c lw 128620
c lw 128988
c lw 129029
c lw 129188
c lw 129888
c lw 130046
c lw 130127
c lw 130142
c lw 130463
c lw 130487
c lw 130626
c lw 131596
c lw 131720
c lw 131770
c lw 131785
c lw 131882
c lw 132243
c lw 132408
c lw 132421
c lw 132471
c lw 132630
c lw 132921
c lw 132956
c lw 133475
c lw 133646
c lw 134293
c lw 134426
c lw 135174
c lw 135275
c lw 135883
c lw 136106
c lw 136226
c lw 136231
c lw 136476
c lw 137321
c lw 137333
c lw 137429
c lw 137544
c lw 137926
c lw 138179
c lw 138890
c lw 139111
c lw 139397
c lw 139536
c lw 139793
c lw 140118
c lw 140592
c lw 140703
c lw 140747
c lw 140965
c lw 141035
c lw 141147
c lw 141210
c lw 141344
c lw 141405
c lw 141760
c lw 141882
c lw 141947
c lw 141982
c lw 142104
c lw 142557
c lw 143029
c lw 143503
c lw 143752
c lw 144507
c lw 144575
c lw 144856
c lw 144888
c lw 145095
c lw 145429
c lw 145537
c lw 145721
c lw 146326
c lw 146692
c lw 146739
c lw 146785
c lw 146909
c lw 147258
c lw 147286
c lw 147917
c lw 148236
c lw 148461
c lw 148895
c lw 149253
c lw 149439
c lw 150240
c lw 150728
c lw 150759
c lw 150978
c lw 152191
c lw 152460
c lw 152493
c lw 152917
c lw 153004
c lw 153205
c lw 153870
c lw 153953
c lw 153993
c lw 154001
c lw 154010
c lw 154031
c lw 154076
c lw 154088
c lw 154229
c lw 155036
c lw 155669
c lw 155843
c lw 156270
c lw 156371
c lw 156523
c lw 156561
c lw 156575
c lw 156945
c lw 156949
c lw 156969
c lw 157127
c lw 158040
c lw 158279
c lw 158410
c lw 158529
c lw 158587
c lw 158628
c lw 158635
c lw 158665
c lw 158669
c lw 158684
c lw 158692
c lw 158701
c lw 158712
c lw 158714
c lw 158716
c lw 158867
c lw 158995
c lw 159138
c lw 159177
c lw 159273
c lw 160128
c lw 160560
c lw 160746
c lw 160763
c lw 161058
c lw 161123
c lw 161128
c lw 161724
c lw 161762
c lw 162344
c lw 162420
c lw 162435
c lw 162833
c lw 162917
c lw 162918
c lw 162973
c lw 163172
c lw 164450
c lw 164517
c lw 164545
c lw 164655
c lw 164829
c lw 165745
c lw 165930
c lw 165954
c lw 166130
c lw 167667
c lw 167763
c lw 167769
c lw 167877
c lw 168041
c lw 168076
c lw 168646
c lw 168717
c lw 168827
c lw 169223
c lw 170136
c lw 170294
c lw 170627
c lw 170664
c lw 170795
c lw 170853
c lw 171030
c lw 171068
c lw 171090
c lw 171253
c lw 171996
c lw 172028
c lw 172033
c lw 172038
c lw 172043
c lw 172050
c lw 172061
c lw 172072
c lw 172120
c lw 172135
c lw 172247
c lw 172281
c lw 172290
c lw 172305
c lw 172883
c lw 174255
c lw 174258
c lw 174261
c lw 174265
c lw 174272
c lw 174273
c lw 174282
c lw 174287
c lw 174296
c lw 174314
c lw 174316
c lw 174320
c lw 174324
c lw 174333
c lw 174337
c lw 174441
c lw 174900
c lw 175232
c lw 175327
c lw 175542
c lw 175569
c lw 175574
c lw 175579
c lw 175584
c lw 175601
c lw 175606
c lw 175614
c lw 175615
c lw 175616
c lw 175625
c lw 175639
c lw 175640
c lw 175644
c lw 175646
c lw 175648
c lw 175652
c lw 175656
c lw 175658
c lw 175665
c lw 175669
c lw 175672
c lw 175673
c lw 175680
c lw 175698
c lw 175716
c lw 176146
c lw 176150
c lw 176155
c lw 176190
c lw 176193
c lw 176196
c lw 176200
c lw 176201
c lw 176205
c lw 176208
c lw 176232
c lw 176368
c lw 177427
c lw 177530
c lw 177752
c lw 178793
c lw 178909
c lw 179712
c lw 179713
c lw 179721
c lw 179737
c lw 179829
c lw 179875
c lw 179884
c lw 179917
c lw 179923
c lw 179934
c lw 179945
c lw 179947
c lw 179950
c lw 179952
c lw 180053
c lw 180062
c lw 180089
c lw 180226
c lw 180437
c lw 180582
c lw 180876
c lw 180904
c lw 181413
c lw 181533
c lw 182174
c lw 182304
c lw 182903
c lw 183137
c lw 183227
c lw 183266
c lw 183294
c lw 183309
c lw 183597
c lw 183998
c lw 184031
c lw 184521
c lw 184561
c lw 184718
c lw 185572
c lw 185977
c lw 186354
c lw 186477
c lw 186990
c lw 187342
c lw 187676
c lw 187840
c lw 188005
c lw 188571
c lw 188622
c lw 188738
c lw 189135
c lw 189412
c lw 189457
c lw 190157
c lw 190362
c lw 190646
c lw 190696
c lw 191047
c lw 191062
c lw 191091
c lw 191131
c lw 191281
c lw 191287
c lw 191315
c lw 191371
c lw 191372
c lw 191412
c lw 191647
c lw 191692
c lw 191740
c lw 191833
c lw 191969
c lw 191970
c lw 191980
c lw 192333
c lw 192617
c lw 193203
c lw 193492
c lw 193572
c lw 193583
c lw 193677
c lw 193898
c lw 194414
c lw 194427
c lw 194429
c lw 194438
c lw 194460
c lw 194465
c lw 194473
c lw 194501
c lw 194503
c lw 194505
c lw 194530
c lw 194537
c lw 194540
c lw 194541
c lw 194551
c lw 194564
c lw 194644
c lw 195806
c lw 195899
c lw 196182
c lw 196230
c lw 196505
c lw 196900
c lw 197177
c lw 197303
c lw 198073
c lw 198086
c lw 198106
c lw 198218
c lw 198543
c lw 198662
c lw 199111
c lw 199115
c lw 199125
c lw 199319
c lw 199325
c lw 199329
c lw 199330
c lw 199964
c lw 200329
c lw 200556
c lw 201251
c lw 201412
c lw 201437
c lw 201441
c lw 202473
c lw 202680
c lw 203506
c lw 203532
c lw 204115
c lw 204140
c lw 204346
c lw 204474
c lw 204691
c lw 204854
c lw 205114
c lw 205551
c lw 206551
c lw 206715
c lw 207187
c lw 207578
c lw 208131
c lw 208494
c lw 208972
c lw 208995
c lw 209021
c lw 209123
c lw 209695
c lw 209939
c lw 210554
c lw 210622
c lw 210749
c lw 210849
c lw 211751
c lw 211945
c lw 212341
c lw 212736
c lw 213098
c lw 213327
c lw 213386
c lw 213451
c lw 213522
c lw 213786
c lw 213789
c lw 213825
c lw 213922
c lw 214525
c lw 215636
c lw 215648
c lw 215663
c lw 215917
c lw 215957
c lw 216151
c lw 216437
c lw 216770
c lw 216810
c lw 216998
c lw 217015
c lw 217168
c lw 217195
c lw 217449
c lw 217937
c lw 217944
c lw 217960
c lw 217964
c lw 217965
c lw 217966
c lw 217968
c lw 217969
c lw 217971
c lw 217972
c lw 217973
c lw 217975
c lw 217976
c lw 217977
c lw 218013
c lw 218724
c lw 218799
c lw 220144
c lw 220320
c lw 220340
c lw 221285
c lw 221751
c lw 222513
c lw 222816
c lw 222833
c lw 223009
c lw 223069
c lw 223310
c lw 223335
c lw 223369
c lw 223372
c lw 223702
c lw 223968
c lw 224007
c lw 224682
c lw 224683
c lw 224684
c lw 224685
c lw 224686
c lw 224687
c lw 225598
c lw 225922
c lw 226685
c lw 226825
c lw 227392
c lw 227501
c lw 227667
c lw 227776
c lw 227841
c lw 228002
c lw 228491
c lw 229229
c lw 229618
c lw 229730
c lw 229910
c lw 230034
c lw 230888
c lw 230924
c lw 231125
c lw 231451
c lw 231478
c lw 231553
c lw 231805
c lw 231898
c lw 232239
c lw 232436
c lw 232634
c lw 232802
c lw 233090
c lw 233183
c lw 233330
c lw 233351
c lw 233406
c lw 233491
c lw 233510
c lw 233512
c lw 233529
c lw 233567
c lw 233593
c lw 233661
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 -631 -632 -633 634 -635 636 -637 -638 639 -640 -641 -642 643 -644 -645 -646 647 -648 -649 650 -651 -652 653 -654 -655 -656 657 658 -659 -660 661 -662 -663 -664 -665 -666 667 -668 -669 -670 671 672 -673 -674 675 -676 
o 233661
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-5.net.wcnf 233661
452.914u 3.633s 7:37.09 99.8%	0+0k 0+0io 0pf+0w