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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 959
c lw 2752
c lw 3850
c lw 4745
c lw 5159
c lw 6880
c lw 8478
c lw 9637
c lw 10171
c lw 11554
c lw 12759
c lw 14487
c lw 15256
c lw 15422
c lw 15849
c lw 17682
c lw 18079
c lw 19176
c lw 19832
c lw 20277
c lw 21596
c lw 22710
c lw 23363
c lw 24677
c lw 26090
c lw 26225
c lw 26842
c lw 28278
c lw 28867
c lw 29540
c lw 31445
c lw 32939
c lw 33784
c lw 35279
c lw 35492
c lw 36376
c lw 37274
c lw 38495
c lw 39255
c lw 39486
c lw 39967
c lw 40154
c lw 40589
c lw 41375
c lw 41420
c lw 42248
c lw 42567
c lw 42934
c lw 43642
c lw 44276
c lw 44278
c lw 44949
c lw 45033
c lw 45425
c lw 45621
c lw 45991
c lw 46565
c lw 46712
c lw 47573
c lw 47658
c lw 47932
c lw 47959
c lw 49417
c lw 49710
c lw 49803
c lw 50181
c lw 50937
c lw 51276
c lw 52181
c lw 52526
c lw 52981
c lw 53530
c lw 53589
c lw 53808
c lw 54568
c lw 54792
c lw 55781
c lw 56467
c lw 56541
c lw 56908
c lw 57293
c lw 57791
c lw 57903
c lw 58069
c lw 58114
c lw 58149
c lw 59097
c lw 59246
c lw 59675
c lw 59880
c lw 60415
c lw 60481
c lw 60911
c lw 61171
c lw 61398
c lw 61707
c lw 61996
c lw 62107
c lw 62217
c lw 62430
c lw 62506
c lw 62902
c lw 63134
c lw 63355
c lw 63405
c lw 64107
c lw 64689
c lw 64787
c lw 65098
c lw 65959
c lw 66638
c lw 66986
c lw 67688
c lw 67749
c lw 67887
c lw 68301
c lw 68312
c lw 68646
c lw 69254
c lw 69608
c lw 69624
c lw 69785
c lw 69839
c lw 70083
c lw 70335
c lw 70651
c lw 70916
c lw 70997
c lw 71441
c lw 71460
c lw 72025
c lw 72516
c lw 73670
c lw 74074
c lw 74110
c lw 74425
c lw 74506
c lw 74589
c lw 74637
c lw 74647
c lw 75028
c lw 75273
c lw 75414
c lw 75588
c lw 75986
c lw 76118
c lw 76325
c lw 76482
c lw 76690
c lw 76934
c lw 77091
c lw 77298
c lw 77534
c lw 77794
c lw 78320
c lw 78387
c lw 78446
c lw 79096
c lw 79413
c lw 79414
c lw 79770
c lw 79922
c lw 80146
c lw 80351
c lw 81077
c lw 81378
c lw 82270
c lw 82678
c lw 82835
c lw 83248
c lw 83633
c lw 83645
c lw 84398
c lw 84399
c lw 84511
c lw 84677
c lw 84722
c lw 84757
c lw 85448
c lw 85494
c lw 85990
c lw 86114
c lw 87275
c lw 87348
c lw 88743
c lw 88810
c lw 89131
c lw 89190
c lw 89211
c lw 89489
c lw 89490
c lw 89534
c lw 89716
c lw 89736
c lw 90098
c lw 90134
c lw 90241
c lw 90304
c lw 90378
c lw 91099
c lw 91516
c lw 91699
c lw 91912
c lw 91956
c lw 92039
c lw 92123
c lw 92236
c lw 92427
c lw 92772
c lw 92910
c lw 93202
c lw 94144
c lw 94619
c lw 95284
c lw 96174
c lw 96308
c lw 96484
c lw 96559
c lw 96840
c lw 97507
c lw 97621
c lw 97667
c lw 97690
c lw 97898
c lw 98061
c lw 98093
c lw 98343
c lw 98462
c lw 98475
c lw 98937
c lw 98940
c lw 99053
c lw 99451
c lw 99631
c lw 100218
c lw 100511
c lw 100526
c lw 100746
c lw 101253
c lw 101264
c lw 101475
c lw 102080
c lw 102381
c lw 102413
c lw 102475
c lw 102769
c lw 103166
c lw 103714
c lw 104247
c lw 104256
c lw 104384
c lw 104563
c lw 105408
c lw 105602
c lw 105709
c lw 105844
c lw 106670
c lw 106680
c lw 106849
c lw 106883
c lw 107519
c lw 107698
c lw 107743
c lw 107947
c lw 108357
c lw 108930
c lw 109046
c lw 109067
c lw 109293
c lw 109398
c lw 109505
c lw 109944
c lw 110001
c lw 110031
c lw 110191
c lw 110620
c lw 111936
c lw 112354
c lw 112355
c lw 112374
c lw 112382
c lw 112757
c lw 112782
c lw 112830
c lw 112893
c lw 112921
c lw 113100
c lw 113157
c lw 113279
c lw 113510
c lw 114201
c lw 114528
c lw 114680
c lw 114779
c lw 115078
c lw 116399
c lw 116590
c lw 116656
c lw 116672
c lw 116863
c lw 116932
c lw 118239
c lw 118420
c lw 119513
c lw 119617
c lw 120044
c lw 120095
c lw 120277
c lw 120293
c lw 120370
c lw 120393
c lw 120567
c lw 120638
c lw 120648
c lw 120686
c lw 120850
c lw 121164
c lw 121386
c lw 121440
c lw 121444
c lw 121460
c lw 121581
c lw 121606
c lw 121651
c lw 122901
c lw 122989
c lw 123116
c lw 123220
c lw 123238
c lw 123346
c lw 124311
c lw 124657
c lw 125420
c lw 125642
c lw 125937
c lw 126895
c lw 126970
c lw 126981
c lw 127576
c lw 127676
c lw 127775
c lw 127784
c lw 127807
c lw 127939
c lw 127954
c lw 128396
c lw 128529
c lw 128539
c lw 129621
c lw 129921
c lw 130146
c lw 130167
c lw 130249
c lw 130388
c lw 130575
c lw 130858
c lw 130940
c lw 130961
c lw 130984
c lw 131019
c lw 131114
c lw 131412
c lw 131417
c lw 131464
c lw 131752
c lw 131974
c lw 132145
c lw 132226
c lw 132902
c lw 132936
c lw 133002
c lw 133247
c lw 133580
c lw 133889
c lw 134133
c lw 135132
c lw 135487
c lw 135731
c lw 135742
c lw 135904
c lw 136175
c lw 136278
c lw 136830
c lw 136944
c lw 137133
c lw 137592
c lw 138006
c lw 138069
c lw 138905
c lw 139071
c lw 139288
c lw 139954
c lw 139969
c lw 140190
c lw 141184
c lw 141237
c lw 141299
c lw 141702
c lw 141785
c lw 141844
c lw 142228
c lw 142234
c lw 142409
c lw 142562
c lw 142607
c lw 142803
c lw 143147
c lw 143181
c lw 143367
c lw 143606
c lw 143691
c lw 143844
c lw 143871
c lw 143933
c lw 143999
c lw 144415
c lw 144562
c lw 144692
c lw 144916
c lw 145288
c lw 145349
c lw 146204
c lw 146566
c lw 146568
c lw 146856
c lw 147780
c lw 147846
c lw 147873
c lw 147916
c lw 147953
c lw 148820
c lw 149026
c lw 149296
c lw 149367
c lw 149467
c lw 149550
c lw 150005
c lw 150060
c lw 150103
c lw 150233
c lw 150493
c lw 150528
c lw 150677
c lw 150719
c lw 150874
c lw 151034
c lw 151378
c lw 152069
c lw 152234
c lw 152542
c lw 153621
c lw 153821
c lw 153897
c lw 153934
c lw 154982
c lw 155128
c lw 155137
c lw 155565
c lw 156384
c lw 156491
c lw 156612
c lw 156656
c lw 156907
c lw 157071
c lw 157086
c lw 157117
c lw 157481
c lw 157762
c lw 157794
c lw 158172
c lw 158855
c lw 158889
c lw 159743
c lw 160132
c lw 160510
c lw 160682
c lw 160766
c lw 161362
c lw 161399
c lw 161424
c lw 161454
c lw 161637
c lw 161661
c lw 161881
c lw 162043
c lw 162573
c lw 163184
c lw 163620
c lw 163958
c lw 164617
c lw 164726
c lw 164758
c lw 164817
c lw 164851
c lw 164879
c lw 164901
c lw 164907
c lw 164909
c lw 165030
c lw 165058
c lw 165121
c lw 165166
c lw 165214
c lw 165234
c lw 165331
c lw 165662
c lw 165671
c lw 165713
c lw 165761
c lw 165839
c lw 165938
c lw 166580
c lw 166756
c lw 167128
c lw 167165
c lw 167639
c lw 167737
c lw 167782
c lw 167959
c lw 168154
c lw 168275
c lw 168361
c lw 168496
c lw 168530
c lw 168531
c lw 168647
c lw 168727
c lw 169133
c lw 169495
c lw 169557
c lw 169586
c lw 169822
c lw 169888
c lw 169943
c lw 171061
c lw 171125
c lw 171131
c lw 171145
c lw 171165
c lw 171188
c lw 171189
c lw 171350
c lw 171430
c lw 171606
c lw 171800
c lw 171973
c lw 172134
c lw 172147
c lw 172615
c lw 172622
c lw 172718
c lw 173084
c lw 173178
c lw 173591
c lw 173662
c lw 173882
c lw 173954
c lw 173993
c lw 174013
c lw 174122
c lw 174131
c lw 174927
c lw 174928
c lw 174957
c lw 175030
c lw 175035
c lw 175128
c lw 175346
c lw 175367
c lw 175368
c lw 175369
c lw 175380
c lw 175404
c lw 175442
c lw 175465
c lw 175489
c lw 175507
c lw 175558
c lw 175562
c lw 175622
c lw 175651
c lw 176104
c lw 176160
c lw 176225
c lw 176380
c lw 176474
c lw 176489
c lw 176543
c lw 176571
c lw 176695
c lw 177110
c lw 177273
c lw 177668
c lw 177837
c lw 177881
c lw 178088
c lw 178280
c lw 178433
c lw 178851
c lw 178870
c lw 178958
c lw 179320
c lw 179650
c lw 179986
c lw 179990
c lw 180066
c lw 180081
c lw 180088
c lw 180093
c lw 180096
c lw 180115
c lw 180485
c lw 180929
c lw 180986
c lw 181277
c lw 181284
c lw 181289
c lw 181293
c lw 181300
c lw 181306
c lw 181316
c lw 181317
c lw 181319
c lw 181332
c lw 181347
c lw 181354
c lw 181359
c lw 181841
c lw 181968
c lw 181973
c lw 181974
c lw 181975
c lw 181977
c lw 181978
c lw 181984
c lw 181985
c lw 181989
c lw 181996
c lw 182010
c lw 182012
c lw 182013
c lw 182014
c lw 182034
c lw 182042
c lw 182043
c lw 182121
c lw 182275
c lw 182448
c lw 182455
c lw 182588
c lw 183090
c lw 183769
c lw 183773
c lw 183915
c lw 184421
c lw 184787
c lw 184984
c lw 185083
c lw 185100
c lw 185104
c lw 185117
c lw 185126
c lw 185129
c lw 185134
c lw 185138
c lw 185353
c lw 185677
c lw 186078
c lw 186371
c lw 187100
c lw 187220
c lw 187527
c lw 187897
c lw 188091
c lw 188953
c lw 189289
c lw 190145
c lw 190625
c lw 190627
c lw 190629
c lw 190638
c lw 190644
c lw 190647
c lw 190657
c lw 190682
c lw 190684
c lw 190702
c lw 190722
c lw 190726
c lw 190746
c lw 190780
c lw 190818
c lw 192008
c lw 192172
c lw 192749
c lw 192841
c lw 193333
c lw 193505
c lw 193543
c lw 193552
c lw 193582
c lw 193746
c lw 193747
c lw 193748
c lw 193757
c lw 193768
c lw 193770
c lw 193772
c lw 193774
c lw 193781
c lw 193786
c lw 193792
c lw 193833
c lw 193893
c lw 194590
c lw 195380
c lw 195472
c lw 196321
c lw 196662
c lw 196901
c lw 197180
c lw 197195
c lw 197515
c lw 198145
c lw 198333
c lw 198611
c lw 198931
c lw 198940
c lw 199701
c lw 199876
c lw 200022
c lw 200024
c lw 200917
c lw 201725
c lw 201914
c lw 202243
c lw 202260
c lw 202358
c lw 202361
c lw 202438
c lw 202449
c lw 202465
c lw 202492
c lw 203321
c lw 203504
c lw 203651
c lw 203768
c lw 204225
c lw 204542
c lw 204545
c lw 204564
c lw 204569
c lw 204577
c lw 204584
c lw 204598
c lw 204600
c lw 204602
c lw 204612
c lw 204619
c lw 204621
c lw 204622
c lw 204624
c lw 204626
c lw 204627
c lw 204628
c lw 204629
c lw 204630
c lw 204631
c lw 204634
c lw 204635
c lw 204637
c lw 204640
c lw 204643
c lw 204651
c lw 204653
c lw 204798
c lw 205294
c lw 206250
c lw 206497
c lw 207164
c lw 207176
c lw 207534
c lw 207625
c lw 207791
c lw 207932
c lw 208204
c lw 208331
c lw 208358
c lw 208438
c lw 208611
c lw 208887
c lw 208918
c lw 209025
c lw 210072
c lw 210188
c lw 210230
c lw 210233
c lw 210237
c lw 210244
c lw 210266
c lw 211219
c lw 211416
c lw 211554
c lw 211976
c lw 212070
c lw 212113
c lw 212526
c lw 212962
c lw 213129
c lw 213136
c lw 213378
c lw 213434
c lw 213580
c lw 214418
c lw 214554
c lw 214567
c lw 215125
c lw 215242
c lw 215539
c lw 216350
c lw 216403
c lw 216539
c lw 216561
c lw 216752
c lw 217894
c lw 218826
c lw 219352
c lw 219642
c lw 220769
c lw 220984
c lw 221018
c lw 221753
c lw 222237
c lw 222335
c lw 222362
c lw 222641
c lw 222666
c lw 222700
c lw 222769
c lw 223111
c lw 223207
c lw 223649
c lw 223768
c lw 225165
c lw 225261
c lw 225643
c lw 225741
c lw 225792
c lw 226209
c lw 226287
c lw 226410
c lw 226472
c lw 226566
c lw 227051
c lw 227106
c lw 227332
c lw 227762
c lw 228926
c lw 229042
c lw 229767
c lw 229822
c lw 229831
c lw 229926
c lw 229927
c lw 229928
c lw 229937
c lw 229948
c lw 229950
c lw 229952
c lw 229954
c lw 229961
c lw 229966
c lw 229972
c lw 230013
c lw 230073
c lw 230162
c lw 230239
c lw 231042
c lw 231161
c lw 231474
c lw 231573
c lw 232222
c lw 232342
c lw 232873
c lw 233067
c lw 233208
c lw 233736
c lw 233877
c lw 233887
c lw 234006
c lw 234623
c lw 234824
c lw 235003
c lw 235364
c lw 235492
c lw 235666
c lw 235723
c lw 235735
c lw 235788
c lw 236261
c lw 236993
c lw 237080
c lw 238563
c lw 238690
c lw 238726
c lw 238750
c lw 238801
c lw 238825
c lw 239462
c lw 239629
c lw 240030
c lw 241032
c lw 241445
c lw 241525
c lw 241700
c lw 242421
c lw 242975
c lw 243297
c lw 243947
c lw 244312
c lw 244404
c lw 244438
c lw 244460
c lw 244477
c lw 244481
c lw 244568
c lw 244689
c lw 244817
c lw 245091
c lw 245095
c lw 245112
c lw 245117
c lw 245121
c lw 245204
c lw 245221
c lw 245225
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 
o 245225
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-6.net.wcnf 245225
483.653u 4.191s 8:08.68 99.8%	0+0k 0+0io 0pf+0w