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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 145
c lw 1502
c lw 2829
c lw 3494
c lw 4502
c lw 6422
c lw 7871
c lw 9713
c lw 10412
c lw 10968
c lw 11957
c lw 13090
c lw 14408
c lw 14940
c lw 16418
c lw 17751
c lw 18380
c lw 18716
c lw 19017
c lw 20069
c lw 20302
c lw 21274
c lw 23362
c lw 24209
c lw 24984
c lw 26254
c lw 27637
c lw 28822
c lw 30790
c lw 31618
c lw 31816
c lw 32443
c lw 33111
c lw 33700
c lw 34608
c lw 34619
c lw 36096
c lw 37416
c lw 37689
c lw 37846
c lw 38251
c lw 38840
c lw 39484
c lw 39732
c lw 40009
c lw 40212
c lw 40745
c lw 41066
c lw 41532
c lw 42029
c lw 43283
c lw 44018
c lw 44506
c lw 44642
c lw 44998
c lw 45544
c lw 45691
c lw 46159
c lw 46314
c lw 46434
c lw 47942
c lw 48878
c lw 48979
c lw 49201
c lw 49632
c lw 50834
c lw 51492
c lw 53100
c lw 53234
c lw 53935
c lw 53956
c lw 54680
c lw 55022
c lw 55636
c lw 55650
c lw 55902
c lw 56029
c lw 56261
c lw 56635
c lw 56748
c lw 56910
c lw 58351
c lw 58394
c lw 58438
c lw 59181
c lw 59560
c lw 59792
c lw 59850
c lw 60153
c lw 61031
c lw 61038
c lw 61413
c lw 61953
c lw 62187
c lw 62782
c lw 62978
c lw 63022
c lw 63065
c lw 63207
c lw 63356
c lw 64147
c lw 64368
c lw 64621
c lw 65619
c lw 65868
c lw 65961
c lw 66039
c lw 66210
c lw 66419
c lw 67324
c lw 67475
c lw 67553
c lw 68088
c lw 68413
c lw 68802
c lw 69138
c lw 69275
c lw 69276
c lw 69819
c lw 70376
c lw 70889
c lw 71614
c lw 72118
c lw 72209
c lw 72793
c lw 72820
c lw 73013
c lw 73156
c lw 73201
c lw 73714
c lw 74051
c lw 74239
c lw 74281
c lw 74743
c lw 74878
c lw 75170
c lw 75264
c lw 75398
c lw 75419
c lw 75951
c lw 75964
c lw 76143
c lw 76417
c lw 77031
c lw 77045
c lw 77297
c lw 77424
c lw 77564
c lw 77820
c lw 77938
c lw 78051
c lw 78062
c lw 78325
c lw 78766
c lw 79033
c lw 80114
c lw 80333
c lw 80546
c lw 80731
c lw 80780
c lw 80883
c lw 81343
c lw 81615
c lw 81976
c lw 82398
c lw 82403
c lw 82522
c lw 82611
c lw 82706
c lw 82850
c lw 82889
c lw 82922
c lw 83138
c lw 83296
c lw 83998
c lw 84026
c lw 84141
c lw 84246
c lw 84292
c lw 84966
c lw 85035
c lw 85270
c lw 85328
c lw 85509
c lw 85749
c lw 85782
c lw 86038
c lw 86477
c lw 86743
c lw 87232
c lw 87512
c lw 87661
c lw 88141
c lw 88207
c lw 88743
c lw 88938
c lw 88973
c lw 89188
c lw 89279
c lw 89428
c lw 89486
c lw 89932
c lw 90215
c lw 90234
c lw 90338
c lw 90352
c lw 90813
c lw 90905
c lw 91532
c lw 91554
c lw 91674
c lw 92021
c lw 92146
c lw 93307
c lw 93395
c lw 93935
c lw 94269
c lw 94441
c lw 94895
c lw 95127
c lw 95488
c lw 96208
c lw 96281
c lw 96617
c lw 97163
c lw 97334
c lw 97474
c lw 97485
c lw 97567
c lw 97673
c lw 98025
c lw 98182
c lw 98210
c lw 98245
c lw 98252
c lw 98416
c lw 98477
c lw 98536
c lw 98700
c lw 98743
c lw 99249
c lw 99292
c lw 99393
c lw 100208
c lw 100260
c lw 100408
c lw 100745
c lw 101106
c lw 101662
c lw 101839
c lw 101914
c lw 101921
c lw 101928
c lw 101935
c lw 101942
c lw 102339
c lw 103426
c lw 103544
c lw 103699
c lw 104013
c lw 104160
c lw 104578
c lw 104686
c lw 104908
c lw 105213
c lw 105274
c lw 106140
c lw 106158
c lw 106393
c lw 107094
c lw 107133
c lw 107347
c lw 107567
c lw 107635
c lw 108188
c lw 108932
c lw 109127
c lw 109500
c lw 109587
c lw 110549
c lw 110802
c lw 110985
c lw 111019
c lw 111463
c lw 111609
c lw 112074
c lw 112334
c lw 112443
c lw 112523
c lw 112575
c lw 112794
c lw 113152
c lw 113879
c lw 114174
c lw 114258
c lw 114727
c lw 115134
c lw 115136
c lw 115400
c lw 115447
c lw 115491
c lw 115565
c lw 115594
c lw 116766
c lw 117253
c lw 117775
c lw 118618
c lw 118812
c lw 118915
c lw 119047
c lw 119497
c lw 119589
c lw 119866
c lw 119948
c lw 119954
c lw 120110
c lw 120253
c lw 121227
c lw 121382
c lw 122017
c lw 122200
c lw 122217
c lw 122788
c lw 123180
c lw 123320
c lw 123748
c lw 124119
c lw 124241
c lw 125245
c lw 125351
c lw 125666
c lw 125696
c lw 125699
c lw 126052
c lw 126114
c lw 126258
c lw 126352
c lw 126363
c lw 126669
c lw 126957
c lw 127027
c lw 127205
c lw 127245
c lw 127298
c lw 127366
c lw 127399
c lw 127517
c lw 127518
c lw 128638
c lw 128723
c lw 128992
c lw 129631
c lw 129830
c lw 129950
c lw 130056
c lw 130529
c lw 130559
c lw 130909
c lw 131359
c lw 131498
c lw 131851
c lw 132249
c lw 132275
c lw 132509
c lw 132720
c lw 132773
c lw 132922
c lw 133898
c lw 133956
c lw 134116
c lw 134120
c lw 134124
c lw 134149
c lw 134597
c lw 134670
c lw 134835
c lw 135675
c lw 135898
c lw 136516
c lw 137095
c lw 137170
c lw 137440
c lw 137594
c lw 137595
c lw 137622
c lw 137638
c lw 137639
c lw 137662
c lw 137722
c lw 137915
c lw 138155
c lw 138272
c lw 138340
c lw 139421
c lw 139646
c lw 140401
c lw 140884
c lw 141109
c lw 141287
c lw 141679
c lw 141694
c lw 141866
c lw 142346
c lw 142370
c lw 142524
c lw 142619
c lw 142755
c lw 143243
c lw 143493
c lw 143507
c lw 144147
c lw 144271
c lw 144285
c lw 144535
c lw 144677
c lw 144836
c lw 145007
c lw 145455
c lw 145830
c lw 145971
c lw 146007
c lw 146014
c lw 146015
c lw 146036
c lw 146113
c lw 146167
c lw 146267
c lw 146440
c lw 146550
c lw 146608
c lw 147488
c lw 147762
c lw 148350
c lw 148460
c lw 148620
c lw 148878
c lw 149036
c lw 149196
c lw 149454
c lw 149594
c lw 149653
c lw 149704
c lw 150111
c lw 150286
c lw 151072
c lw 151200
c lw 151433
c lw 151604
c lw 151715
c lw 151935
c lw 152225
c lw 152407
c lw 152431
c lw 152532
c lw 152802
c lw 153311
c lw 154021
c lw 154142
c lw 154360
c lw 154454
c lw 154455
c lw 154476
c lw 154507
c lw 155138
c lw 155209
c lw 156036
c lw 156321
c lw 156389
c lw 156578
c lw 156830
c lw 158016
c lw 158107
c lw 158152
c lw 158657
c lw 158756
c lw 158941
c lw 159249
c lw 159401
c lw 159583
c lw 159684
c lw 159924
c lw 159926
c lw 159975
c lw 160024
c lw 160101
c lw 160269
c lw 160558
c lw 160840
c lw 161350
c lw 161528
c lw 161656
c lw 161835
c lw 161909
c lw 162911
c lw 162934
c lw 163057
c lw 163309
c lw 163460
c lw 163793
c lw 163873
c lw 163911
c lw 164584
c lw 164815
c lw 165376
c lw 165675
c lw 165728
c lw 166235
c lw 166510
c lw 166994
c lw 166995
c lw 167110
c lw 167138
c lw 167151
c lw 167166
c lw 167189
c lw 167197
c lw 167302
c lw 167315
c lw 167323
c lw 167324
c lw 167423
c lw 167436
c lw 167534
c lw 167605
c lw 167880
c lw 167881
c lw 167907
c lw 168067
c lw 168488
c lw 168489
c lw 168578
c lw 168992
c lw 169085
c lw 169132
c lw 169209
c lw 169269
c lw 169382
c lw 169668
c lw 170300
c lw 170424
c lw 170459
c lw 170584
c lw 170793
c lw 171048
c lw 171064
c lw 171065
c lw 171675
c lw 172114
c lw 172329
c lw 172400
c lw 172862
c lw 173445
c lw 173510
c lw 173558
c lw 173739
c lw 173760
c lw 173775
c lw 173797
c lw 173858
c lw 173967
c lw 174456
c lw 174491
c lw 175490
c lw 175496
c lw 175554
c lw 176523
c lw 176608
c lw 176617
c lw 176625
c lw 176632
c lw 176688
c lw 176837
c lw 176915
c lw 176954
c lw 177045
c lw 177638
c lw 177670
c lw 177757
c lw 177762
c lw 177815
c lw 177816
c lw 178103
c lw 178695
c lw 178730
c lw 178731
c lw 179122
c lw 179355
c lw 179391
c lw 179410
c lw 179441
c lw 180442
c lw 180902
c lw 181396
c lw 181642
c lw 182326
c lw 182536
c lw 182579
c lw 182647
c lw 182663
c lw 184196
c lw 185094
c lw 185488
c lw 185886
c lw 186029
c lw 186968
c lw 187023
c lw 187132
c lw 187284
c lw 187339
c lw 187408
c lw 187443
c lw 187464
c lw 187638
c lw 187833
c lw 187847
c lw 189222
c lw 189501
c lw 189536
c lw 189542
c lw 189605
c lw 189691
c lw 189738
c lw 189958
c lw 190516
c lw 190538
c lw 190644
c lw 190662
c lw 190953
c lw 191288
c lw 191489
c lw 191492
c lw 192483
c lw 192521
c lw 192539
c lw 192565
c lw 192681
c lw 192727
c lw 192773
c lw 193032
c lw 194403
c lw 194863
c lw 194956
c lw 195032
c lw 195334
c lw 195505
c lw 196243
c lw 196865
c lw 196871
c lw 196879
c lw 196910
c lw 197143
c lw 197145
c lw 197188
c lw 197192
c lw 197203
c lw 197245
c lw 197257
c lw 197359
c lw 197528
c lw 197716
c lw 197805
c lw 198556
c lw 198743
c lw 198798
c lw 199557
c lw 199625
c lw 199979
c lw 200080
c lw 200122
c lw 200176
c lw 200183
c lw 200218
c lw 200792
c lw 201273
c lw 201438
c lw 202559
c lw 202583
c lw 202675
c lw 203750
c lw 203880
c lw 204529
c lw 204607
c lw 204680
c lw 204865
c lw 204975
c lw 205809
c lw 205836
c lw 205931
c lw 206027
c lw 206552
c lw 206634
c lw 206717
c lw 206732
c lw 207196
c lw 207220
c lw 207311
c lw 207412
c lw 207422
c lw 207489
c lw 207503
c lw 207512
c lw 207813
c lw 207908
c lw 208143
c lw 208178
c lw 208349
c lw 208447
c lw 208485
c lw 208631
c lw 209077
c lw 209421
c lw 209553
c lw 209569
c lw 210003
c lw 210085
c lw 210212
c lw 210577
c lw 210675
c lw 210789
c lw 211169
c lw 211526
c lw 211572
c lw 211732
c lw 211905
c lw 211912
c lw 211920
c lw 211962
c lw 211999
c lw 212006
c lw 212008
c lw 212024
c lw 212042
c lw 212082
c lw 212111
c lw 212128
c lw 212138
c lw 212152
c lw 212153
c lw 212154
c lw 212161
c lw 212169
c lw 212188
c lw 212195
c lw 212196
c lw 212202
c lw 212204
c lw 212212
c lw 212214
c lw 212249
c lw 212250
c lw 212261
c lw 212272
c lw 212297
c lw 212299
c lw 212318
c lw 212327
c lw 212333
c lw 212334
c lw 212353
c lw 212360
c lw 212366
c lw 212368
c lw 212370
c lw 212378
c lw 212381
c lw 212382
c lw 212425
c lw 212463
c lw 212796
c lw 213174
c lw 213482
c lw 213829
c lw 213873
c lw 213883
c lw 213888
c lw 214554
c lw 214635
c lw 214698
c lw 214733
c lw 214767
c lw 214773
c lw 214777
c lw 214812
c lw 214822
c lw 214860
c lw 214883
c lw 215440
c lw 216112
c lw 217295
c lw 217399
c lw 217784
c lw 217795
c lw 218043
c lw 218107
c lw 218782
c lw 218848
c lw 218871
c lw 219013
c lw 219398
c lw 219762
c lw 219894
c lw 219958
c lw 219961
c lw 219971
c lw 219979
c lw 219985
c lw 220002
c lw 220007
c lw 220010
c lw 220017
c lw 220018
c lw 220019
c lw 220767
c lw 220929
c lw 221070
c lw 221618
c lw 221792
c lw 222580
c lw 222624
c lw 222661
c lw 223041
c lw 223374
c lw 223618
c lw 224000
c lw 224155
c lw 225332
c lw 225414
c lw 225764
c lw 225927
c lw 225961
c lw 226006
c lw 226007
c lw 226025
c lw 226034
c lw 226040
c lw 226041
c lw 226042
c lw 226048
c lw 226084
c lw 226116
c lw 226165
c lw 226178
c lw 226596
c lw 227379
c lw 227599
c lw 227821
c lw 228758
c lw 228773
c lw 228847
c lw 228969
c lw 229348
c lw 229349
c lw 229351
c lw 229352
c lw 229354
c lw 230253
c lw 230295
c lw 230314
c lw 231554
c lw 231615
c lw 232324
c lw 232779
c lw 232791
c lw 232810
c lw 232850
c lw 233026
c lw 233028
c lw 233321
c lw 233326
c lw 233776
c lw 234076
c lw 234149
c lw 234186
c lw 234771
c lw 234875
c lw 234957
c lw 235363
c lw 235669
c lw 235778
c lw 235898
c lw 236337
c lw 236520
c lw 236617
c lw 236792
c lw 236896
c lw 236923
c lw 236985
c lw 238024
c lw 238214
c lw 239104
c lw 239129
c lw 239538
c lw 239828
c lw 239889
c lw 240081
c lw 240478
c lw 240589
c lw 241322
c lw 241330
c lw 241551
c lw 241616
c lw 241642
c lw 242382
c lw 242429
c lw 242718
c lw 242770
c lw 242772
c lw 242819
c lw 243135
c lw 243205
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 
o 243205
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-7.net.wcnf 243205
290.148u 3.038s 4:53.42 99.9%	0+0k 0+0io 0pf+0w