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-220-1_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1986
c lw 3700
c lw 3928
c lw 5725
c lw 6375
c lw 7731
c lw 9051
c lw 9343
c lw 10502
c lw 11441
c lw 12416
c lw 12843
c lw 13032
c lw 14669
c lw 15780
c lw 17027
c lw 17048
c lw 18010
c lw 19504
c lw 20175
c lw 20739
c lw 21811
c lw 23246
c lw 23410
c lw 24820
c lw 25161
c lw 26317
c lw 26483
c lw 27048
c lw 27560
c lw 27686
c lw 27698
c lw 27982
c lw 29609
c lw 29621
c lw 29796
c lw 30639
c lw 30766
c lw 31367
c lw 31687
c lw 31706
c lw 31797
c lw 31926
c lw 32202
c lw 33444
c lw 33915
c lw 34166
c lw 34413
c lw 34668
c lw 34987
c lw 35339
c lw 36225
c lw 36903
c lw 37145
c lw 37888
c lw 38345
c lw 38938
c lw 39078
c lw 39096
c lw 39591
c lw 40056
c lw 40372
c lw 40662
c lw 41089
c lw 41343
c lw 41458
c lw 41583
c lw 42431
c lw 42460
c lw 42787
c lw 42912
c lw 43078
c lw 43165
c lw 43493
c lw 43687
c lw 43985
c lw 44460
c lw 44623
c lw 45135
c lw 45281
c lw 45459
c lw 45918
c lw 45947
c lw 46740
c lw 47251
c lw 47368
c lw 47413
c lw 47674
c lw 47973
c lw 48343
c lw 48356
c lw 48776
c lw 49330
c lw 49572
c lw 50029
c lw 50527
c lw 50700
c lw 51186
c lw 51334
c lw 51786
c lw 51798
c lw 51811
c lw 52062
c lw 52336
c lw 52557
c lw 53514
c lw 53527
c lw 53638
c lw 53647
c lw 54316
c lw 54558
c lw 55216
c lw 55301
c lw 55502
c lw 56095
c lw 56103
c lw 56235
c lw 56731
c lw 56949
c lw 57271
c lw 57443
c lw 57634
c lw 57766
c lw 58227
c lw 58256
c lw 58531
c lw 58714
c lw 58801
c lw 59176
c lw 59593
c lw 59659
c lw 60392
c lw 60760
c lw 60910
c lw 61043
c lw 61173
c lw 61403
c lw 61575
c lw 61690
c lw 61747
c lw 62057
c lw 62166
c lw 62173
c lw 62504
c lw 62685
c lw 62885
c lw 62951
c lw 62961
c lw 63032
c lw 63082
c lw 63167
c lw 63423
c lw 63844
c lw 63946
c lw 64420
c lw 64859
c lw 64985
c lw 65032
c lw 65318
c lw 65392
c lw 65427
c lw 65762
c lw 65844
c lw 67399
c lw 67706
c lw 68198
c lw 68473
c lw 69465
c lw 69510
c lw 69676
c lw 69689
c lw 69779
c lw 69809
c lw 69907
c lw 70108
c lw 70272
c lw 71282
c lw 72182
c lw 72216
c lw 72811
c lw 72853
c lw 72866
c lw 73049
c lw 73113
c lw 73369
c lw 74107
c lw 74625
c lw 75436
c lw 75761
c lw 75833
c lw 75868
c lw 76062
c lw 77029
c lw 77176
c lw 77512
c lw 78000
c lw 78030
c lw 78569
c lw 78782
c lw 78873
c lw 79330
c lw 79339
c lw 79805
c lw 80043
c lw 80172
c lw 80183
c lw 80520
c lw 80533
c lw 80617
c lw 80842
c lw 81125
c lw 81319
c lw 81389
c lw 81496
c lw 82057
c lw 82438
c lw 82761
c lw 82902
c lw 83641
c lw 84128
c lw 84254
c lw 85366
c lw 85487
c lw 85519
c lw 85750
c lw 86119
c lw 86932
c lw 87187
c lw 87310
c lw 87918
c lw 88061
c lw 88387
c lw 88732
c lw 89024
c lw 89689
c lw 90420
c lw 90456
c lw 90496
c lw 90580
c lw 90834
c lw 91204
c lw 91605
c lw 92166
c lw 92221
c lw 92515
c lw 92705
c lw 92729
c lw 93008
c lw 93345
c lw 93573
c lw 93706
c lw 93707
c lw 94157
c lw 94195
c lw 94323
c lw 94436
c lw 94941
c lw 95100
c lw 95241
c lw 95532
c lw 95796
c lw 96001
c lw 96524
c lw 97102
c lw 97129
c lw 97587
c lw 97839
c lw 98113
c lw 98481
c lw 98531
c lw 98913
c lw 99077
c lw 99425
c lw 99450
c lw 99571
c lw 99792
c lw 99949
c lw 100219
c lw 100421
c lw 100423
c lw 100451
c lw 100515
c lw 101405
c lw 101696
c lw 102155
c lw 102462
c lw 102965
c lw 103055
c lw 103237
c lw 103318
c lw 103613
c lw 103649
c lw 104065
c lw 104558
c lw 104987
c lw 105968
c lw 106164
c lw 106351
c lw 106454
c lw 106944
c lw 107167
c lw 107274
c lw 107361
c lw 107517
c lw 107637
c lw 107760
c lw 107794
c lw 108068
c lw 108078
c lw 108284
c lw 108312
c lw 108348
c lw 108365
c lw 108993
c lw 109207
c lw 109370
c lw 109650
c lw 110346
c lw 110352
c lw 110534
c lw 110722
c lw 110864
c lw 111049
c lw 111072
c lw 111243
c lw 111320
c lw 111431
c lw 111648
c lw 112330
c lw 112453
c lw 112833
c lw 112864
c lw 113139
c lw 113414
c lw 113785
c lw 114285
c lw 114323
c lw 114517
c lw 114553
c lw 114766
c lw 114899
c lw 115149
c lw 115544
c lw 115946
c lw 116088
c lw 116208
c lw 116389
c lw 116629
c lw 116700
c lw 116838
c lw 117269
c lw 117353
c lw 117414
c lw 118312
c lw 118520
c lw 118647
c lw 118718
c lw 118759
c lw 119570
c lw 119777
c lw 119822
c lw 119916
c lw 120152
c lw 120559
c lw 120702
c lw 120983
c lw 121007
c lw 121044
c lw 121094
c lw 121096
c lw 121109
c lw 121508
c lw 121519
c lw 121824
c lw 122543
c lw 122563
c lw 122812
c lw 123409
c lw 123579
c lw 123809
c lw 123815
c lw 123817
c lw 123822
c lw 124384
c lw 124397
c lw 124781
c lw 124798
c lw 124823
c lw 125468
c lw 125627
c lw 125801
c lw 125819
c lw 125940
c lw 126094
c lw 126183
c lw 126267
c lw 126297
c lw 126382
c lw 126433
c lw 126450
c lw 126710
c lw 126827
c lw 127333
c lw 127334
c lw 127425
c lw 127450
c lw 127478
c lw 128493
c lw 128571
c lw 128993
c lw 128999
c lw 129016
c lw 129078
c lw 129082
c lw 129116
c lw 129129
c lw 129266
c lw 129313
c lw 129343
c lw 129610
c lw 129862
c lw 130153
c lw 130261
c lw 131013
c lw 131391
c lw 131618
c lw 131640
c lw 131697
c lw 132582
c lw 132586
c lw 132796
c lw 132896
c lw 133939
c lw 134011
c lw 134154
c lw 134605
c lw 134780
c lw 134828
c lw 135185
c lw 135204
c lw 135497
c lw 135825
c lw 135887
c lw 136195
c lw 136295
c lw 136403
c lw 136551
c lw 136649
c lw 136654
c lw 136663
c lw 136694
c lw 136749
c lw 136769
c lw 136795
c lw 136819
c lw 136838
c lw 136960
c lw 137402
c lw 137863
c lw 138032
c lw 138430
c lw 138503
c lw 138522
c lw 138689
c lw 139408
c lw 139732
c lw 139868
c lw 139934
c lw 140117
c lw 140297
c lw 140930
c lw 141150
c lw 141185
c lw 141254
c lw 141620
c lw 141636
c lw 141843
c lw 141898
c lw 142159
c lw 142541
c lw 142721
c lw 142777
c lw 142802
c lw 142819
c lw 142941
c lw 142959
c lw 142960
c lw 143003
c lw 143031
c lw 143051
c lw 143108
c lw 143147
c lw 143171
c lw 143200
c lw 143202
c lw 143204
c lw 143217
c lw 143333
c lw 143387
c lw 143406
c lw 144423
c lw 144432
c lw 144588
c lw 144771
c lw 145311
c lw 145499
c lw 145557
c lw 145571
c lw 145596
c lw 145623
c lw 145838
c lw 145853
c lw 145918
c lw 145943
c lw 145957
c lw 146009
c lw 146228
c lw 146312
c lw 146376
c lw 146690
c lw 147945
c lw 148102
c lw 148136
c lw 148152
c lw 148168
c lw 148211
c lw 148225
c lw 148234
c lw 148239
c lw 148243
c lw 148254
c lw 148261
c lw 148265
c lw 148269
c lw 148274
c lw 148283
c lw 148286
c lw 148356
c lw 148772
c lw 149102
c lw 149470
c lw 149668
c lw 149711
c lw 150457
c lw 150549
c lw 150550
c lw 150896
c lw 151309
c lw 151655
c lw 151664
c lw 151812
c lw 152234
c lw 152542
c lw 153061
c lw 153337
c lw 153439
c lw 153911
c lw 154443
c lw 154546
c lw 154645
c lw 155141
c lw 155153
c lw 155272
c lw 155922
c lw 156235
c lw 156244
c lw 156256
c lw 156677
c lw 156899
c lw 157220
c lw 157380
c lw 157389
c lw 157410
c lw 157465
c lw 157474
c lw 157486
c lw 157526
c lw 157535
c lw 157539
c lw 158392
c lw 158539
c lw 158572
c lw 158821
c lw 158931
c lw 159014
c lw 160311
c lw 160346
c lw 160403
c lw 160480
c lw 160657
c lw 161126
c lw 161552
c lw 162045
c lw 162519
c lw 163323
c lw 163605
c lw 163692
c lw 163755
c lw 164197
c lw 165255
c lw 165599
c lw 165729
c lw 167063
c lw 167189
c lw 167356
c lw 167387
c lw 167513
c lw 167624
c lw 168051
c lw 168373
c lw 168429
c lw 168806
c lw 168812
c lw 169243
c lw 169416
c lw 169500
c lw 169787
c lw 170896
c lw 171088
c lw 172286
c lw 172454
c lw 172757
c lw 172819
c lw 173290
c lw 173321
c lw 173333
c lw 173340
c lw 173854
c lw 174077
c lw 174200
c lw 174571
c lw 174590
c lw 174652
c lw 174797
c lw 174820
c lw 175953
c lw 175977
c lw 176283
c lw 176453
c lw 176716
c lw 177173
c lw 177655
c lw 177872
c lw 177956
c lw 177983
c lw 178617
c lw 178653
c lw 178868
c lw 179659
c lw 179971
c lw 180329
c lw 180349
c lw 180355
c lw 180570
c lw 180606
c lw 180633
c lw 180659
c lw 180666
c lw 180668
c lw 180682
c lw 180690
c lw 180691
c lw 180720
c lw 180890
c lw 180926
c lw 180938
c lw 181320
c lw 181330
c lw 181384
c lw 181386
c lw 181389
c lw 181401
c lw 181835
c lw 182412
c lw 182483
c lw 182692
c lw 183724
c lw 184188
c lw 184613
c lw 184850
c lw 184876
c lw 184914
c lw 185033
c lw 185667
c lw 185844
c lw 185984
c lw 186029
c lw 186055
c lw 186157
c lw 186188
c lw 186189
c lw 186218
c lw 186245
c lw 186255
c lw 186268
c lw 186271
c lw 186289
c lw 186301
c lw 186304
c lw 186307
c lw 186328
c lw 186346
c lw 186505
c lw 187295
c lw 187315
c lw 187677
c lw 187684
c lw 187748
c lw 188284
c lw 188491
c lw 188589
c lw 188599
c lw 188602
c lw 188963
c lw 190067
c lw 190804
c lw 191231
c lw 191395
c lw 191838
c lw 192300
c lw 192662
c lw 193075
c lw 193140
c lw 193232
c lw 193526
c lw 193591
c lw 193596
c lw 193823
c lw 193831
c lw 194057
c lw 194061
c lw 194091
c lw 194266
c lw 194276
c lw 194333
c lw 194363
c lw 195061
c lw 196085
c lw 196262
c lw 197080
c lw 197821
c lw 197988
c lw 198274
c lw 198436
c lw 198753
c lw 198879
c lw 199272
c lw 199343
c lw 199664
c lw 199696
c lw 200364
c lw 200391
c lw 200514
c lw 200546
c lw 200779
c lw 201446
c lw 201866
c lw 201937
c lw 201940
c lw 201979
c lw 201986
c lw 201989
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 
o 201989
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-10.net.wcnf 201989
305.216u 2.210s 5:07.86 99.8%	0+0k 0+0io 0pf+0w