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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 710
c lw 1787
c lw 2859
c lw 4049
c lw 5417
c lw 6517
c lw 6813
c lw 7930
c lw 8076
c lw 10046
c lw 10266
c lw 11417
c lw 12121
c lw 13571
c lw 14818
c lw 15295
c lw 16012
c lw 16469
c lw 16661
c lw 16962
c lw 17635
c lw 17848
c lw 18839
c lw 20245
c lw 20894
c lw 22836
c lw 23895
c lw 25222
c lw 26393
c lw 27046
c lw 27062
c lw 27262
c lw 27714
c lw 27915
c lw 28378
c lw 29256
c lw 29577
c lw 30848
c lw 31359
c lw 31740
c lw 31940
c lw 32962
c lw 32967
c lw 33097
c lw 33473
c lw 34006
c lw 34229
c lw 35011
c lw 35543
c lw 36445
c lw 37738
c lw 37772
c lw 38668
c lw 39027
c lw 40106
c lw 40429
c lw 40620
c lw 40725
c lw 41518
c lw 41761
c lw 41918
c lw 41924
c lw 41929
c lw 42293
c lw 42403
c lw 42510
c lw 42726
c lw 42929
c lw 43300
c lw 43730
c lw 44350
c lw 45649
c lw 45664
c lw 45983
c lw 46905
c lw 47012
c lw 47363
c lw 47928
c lw 48486
c lw 48839
c lw 48888
c lw 49302
c lw 49480
c lw 49997
c lw 50550
c lw 51292
c lw 51524
c lw 51643
c lw 51941
c lw 52154
c lw 52284
c lw 52398
c lw 52660
c lw 52962
c lw 53165
c lw 53388
c lw 53658
c lw 54018
c lw 54213
c lw 54550
c lw 54785
c lw 55388
c lw 55503
c lw 55989
c lw 56064
c lw 56195
c lw 56242
c lw 56908
c lw 57217
c lw 57243
c lw 57455
c lw 57814
c lw 57832
c lw 58287
c lw 58496
c lw 58687
c lw 58792
c lw 59023
c lw 60068
c lw 60098
c lw 60341
c lw 60638
c lw 60644
c lw 60649
c lw 60737
c lw 61013
c lw 61120
c lw 61140
c lw 61198
c lw 61288
c lw 61314
c lw 61343
c lw 61509
c lw 62042
c lw 62366
c lw 62785
c lw 63050
c lw 63528
c lw 63678
c lw 63909
c lw 64016
c lw 64261
c lw 64764
c lw 64977
c lw 65068
c lw 65459
c lw 65782
c lw 65800
c lw 66470
c lw 66667
c lw 66723
c lw 67189
c lw 67237
c lw 67926
c lw 68190
c lw 68207
c lw 68516
c lw 68544
c lw 68640
c lw 69146
c lw 69213
c lw 69353
c lw 69374
c lw 69598
c lw 69708
c lw 69762
c lw 69926
c lw 70175
c lw 70283
c lw 70330
c lw 70338
c lw 70356
c lw 70459
c lw 70580
c lw 70819
c lw 71918
c lw 72183
c lw 72500
c lw 73017
c lw 73502
c lw 74402
c lw 74498
c lw 74545
c lw 74625
c lw 74934
c lw 75035
c lw 76203
c lw 76280
c lw 76449
c lw 76516
c lw 77936
c lw 77946
c lw 78569
c lw 78572
c lw 78636
c lw 78800
c lw 78888
c lw 78909
c lw 78942
c lw 79480
c lw 80003
c lw 80375
c lw 80555
c lw 80737
c lw 81810
c lw 81968
c lw 82257
c lw 82493
c lw 82555
c lw 82970
c lw 83018
c lw 83085
c lw 83170
c lw 83330
c lw 83827
c lw 83880
c lw 84490
c lw 84754
c lw 85321
c lw 85761
c lw 85918
c lw 86080
c lw 86593
c lw 87129
c lw 87368
c lw 87565
c lw 87576
c lw 87581
c lw 87704
c lw 88398
c lw 88418
c lw 88565
c lw 88575
c lw 88720
c lw 88845
c lw 89028
c lw 89366
c lw 89425
c lw 89437
c lw 90119
c lw 90127
c lw 90335
c lw 90495
c lw 90508
c lw 90555
c lw 90653
c lw 91009
c lw 91397
c lw 91578
c lw 91678
c lw 91767
c lw 91877
c lw 91900
c lw 91929
c lw 91945
c lw 92692
c lw 92860
c lw 93148
c lw 93301
c lw 93421
c lw 93601
c lw 93612
c lw 93666
c lw 93816
c lw 93836
c lw 94128
c lw 94165
c lw 94718
c lw 94920
c lw 95102
c lw 96146
c lw 96157
c lw 96170
c lw 96183
c lw 96194
c lw 96207
c lw 96284
c lw 96838
c lw 96930
c lw 96966
c lw 97123
c lw 97159
c lw 97220
c lw 97461
c lw 97737
c lw 97827
c lw 98339
c lw 98888
c lw 99401
c lw 99458
c lw 99830
c lw 99992
c lw 100020
c lw 100030
c lw 100541
c lw 100888
c lw 100934
c lw 101042
c lw 101218
c lw 101297
c lw 101349
c lw 101397
c lw 101593
c lw 102496
c lw 102499
c lw 102850
c lw 103182
c lw 103307
c lw 103450
c lw 105037
c lw 105043
c lw 105149
c lw 105217
c lw 105522
c lw 105666
c lw 105697
c lw 106098
c lw 107284
c lw 107545
c lw 107558
c lw 107591
c lw 108178
c lw 108336
c lw 108710
c lw 108918
c lw 109355
c lw 109431
c lw 109584
c lw 109598
c lw 109605
c lw 109645
c lw 109837
c lw 110163
c lw 110998
c lw 111839
c lw 112202
c lw 113096
c lw 113387
c lw 113438
c lw 113520
c lw 113618
c lw 113689
c lw 113817
c lw 113924
c lw 113973
c lw 114165
c lw 114224
c lw 114790
c lw 114846
c lw 116063
c lw 116220
c lw 116251
c lw 116265
c lw 116619
c lw 116668
c lw 116679
c lw 116842
c lw 117785
c lw 117863
c lw 117905
c lw 118423
c lw 118429
c lw 118452
c lw 118864
c lw 118912
c lw 118914
c lw 119245
c lw 119423
c lw 119429
c lw 119481
c lw 119636
c lw 119964
c lw 120222
c lw 120561
c lw 120589
c lw 120880
c lw 120908
c lw 121982
c lw 121998
c lw 122034
c lw 123080
c lw 123322
c lw 123455
c lw 123533
c lw 123665
c lw 123689
c lw 123950
c lw 124508
c lw 124914
c lw 124967
c lw 125034
c lw 125206
c lw 125221
c lw 125406
c lw 125546
c lw 126253
c lw 126301
c lw 126318
c lw 126566
c lw 126589
c lw 126846
c lw 127068
c lw 127320
c lw 127889
c lw 128498
c lw 128914
c lw 128944
c lw 129057
c lw 129106
c lw 129139
c lw 129165
c lw 129779
c lw 129970
c lw 130149
c lw 130151
c lw 130498
c lw 130548
c lw 130585
c lw 130732
c lw 130760
c lw 130866
c lw 131359
c lw 131633
c lw 131948
c lw 132047
c lw 132244
c lw 132636
c lw 133373
c lw 133481
c lw 133700
c lw 134041
c lw 134210
c lw 134353
c lw 134485
c lw 134494
c lw 134634
c lw 134635
c lw 134926
c lw 134968
c lw 135166
c lw 135444
c lw 135647
c lw 136019
c lw 136526
c lw 136623
c lw 136744
c lw 137387
c lw 137472
c lw 137503
c lw 137547
c lw 137692
c lw 138545
c lw 138837
c lw 138968
c lw 139227
c lw 139238
c lw 139279
c lw 139292
c lw 139356
c lw 139369
c lw 139380
c lw 139719
c lw 139818
c lw 140329
c lw 140472
c lw 140726
c lw 140784
c lw 140865
c lw 140937
c lw 140983
c lw 141027
c lw 141203
c lw 141359
c lw 141523
c lw 141569
c lw 142442
c lw 142801
c lw 143160
c lw 143357
c lw 143373
c lw 143402
c lw 143423
c lw 143428
c lw 143434
c lw 143437
c lw 143441
c lw 143570
c lw 143586
c lw 143660
c lw 144016
c lw 144030
c lw 144037
c lw 144128
c lw 144362
c lw 144689
c lw 145064
c lw 145096
c lw 145100
c lw 145183
c lw 145413
c lw 145449
c lw 145768
c lw 146186
c lw 146813
c lw 146815
c lw 147689
c lw 148036
c lw 148496
c lw 148780
c lw 149123
c lw 149124
c lw 149813
c lw 149894
c lw 149963
c lw 150125
c lw 150534
c lw 150853
c lw 150904
c lw 151192
c lw 151949
c lw 152231
c lw 152605
c lw 152679
c lw 152699
c lw 152961
c lw 153126
c lw 153241
c lw 153267
c lw 154045
c lw 154095
c lw 154745
c lw 154882
c lw 154896
c lw 154942
c lw 154968
c lw 155230
c lw 155678
c lw 155921
c lw 156049
c lw 156104
c lw 156156
c lw 156190
c lw 156246
c lw 156263
c lw 156298
c lw 156352
c lw 156404
c lw 156405
c lw 156422
c lw 156488
c lw 156525
c lw 156548
c lw 157004
c lw 157196
c lw 157326
c lw 158492
c lw 158506
c lw 159149
c lw 159430
c lw 159470
c lw 159817
c lw 160305
c lw 160370
c lw 161256
c lw 161341
c lw 161514
c lw 161595
c lw 162257
c lw 162590
c lw 162639
c lw 162656
c lw 162759
c lw 162768
c lw 163083
c lw 163127
c lw 164438
c lw 164613
c lw 165746
c lw 165753
c lw 166322
c lw 166641
c lw 166715
c lw 166907
c lw 166961
c lw 166970
c lw 167045
c lw 167046
c lw 167051
c lw 167072
c lw 167089
c lw 167119
c lw 167128
c lw 167133
c lw 167154
c lw 167164
c lw 167435
c lw 167961
c lw 168495
c lw 168896
c lw 168927
c lw 169008
c lw 169020
c lw 169045
c lw 169093
c lw 169110
c lw 169142
c lw 169165
c lw 169173
c lw 169179
c lw 169183
c lw 170090
c lw 170316
c lw 170732
c lw 170956
c lw 171238
c lw 171302
c lw 172004
c lw 172707
c lw 173743
c lw 173783
c lw 173882
c lw 174565
c lw 174973
c lw 175247
c lw 175970
c lw 176483
c lw 176587
c lw 176726
c lw 176780
c lw 176919
c lw 178085
c lw 178258
c lw 178281
c lw 178859
c lw 179000
c lw 179282
c lw 179406
c lw 179461
c lw 179562
c lw 179688
c lw 180018
c lw 180096
c lw 180449
c lw 180694
c lw 181543
c lw 181614
c lw 181933
c lw 181963
c lw 182572
c lw 182820
c lw 183102
c lw 183173
c lw 183244
c lw 183255
c lw 183364
c lw 183418
c lw 184159
c lw 184358
c lw 184864
c lw 185323
c lw 185520
c lw 185532
c lw 185563
c lw 185647
c lw 185671
c lw 185722
c lw 185753
c lw 185782
c lw 185844
c lw 186205
c lw 186375
c lw 186776
c lw 186981
c lw 187191
c lw 187881
c lw 188135
c lw 188541
c lw 188598
c lw 188795
c lw 189516
c lw 189938
c lw 189991
c lw 190140
c lw 190300
c lw 190919
c lw 190948
c lw 191087
c lw 191200
c lw 191202
c lw 191217
c lw 191817
c lw 191879
c lw 192043
c lw 192081
c lw 192469
c lw 192487
c lw 192520
c lw 192564
c lw 192589
c lw 192717
c lw 192756
c lw 192979
c lw 192984
c lw 193381
c lw 193870
c lw 194235
c lw 194394
c lw 194595
c lw 194604
c lw 194657
c lw 194688
c lw 195646
c lw 195952
c lw 196130
c lw 196223
c lw 196705
c lw 196970
c lw 196990
c lw 197003
c lw 197045
c lw 197079
c lw 197095
c lw 197219
c lw 197736
c lw 198395
c lw 198425
c lw 198488
c lw 198514
c lw 198545
c lw 198576
c lw 198608
c lw 198725
c lw 198942
c lw 198946
c lw 199180
c lw 199197
c lw 199938
c lw 199969
c lw 200329
c lw 200392
c lw 200771
c lw 201553
c lw 201697
c lw 201988
c lw 202349
c lw 202414
c lw 202438
c lw 202443
c lw 202469
c lw 202470
c lw 202498
c lw 202503
c lw 202509
c lw 202515
c lw 202522
c lw 202524
c lw 202525
c lw 202529
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 
o 202529
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-9.net.wcnf 202529
223.640u 1.854s 3:46.01 99.7%	0+0k 0+0io 0pf+0w