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-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1564
c lw 1578
c lw 2986
c lw 4083
c lw 5546
c lw 6919
c lw 7380
c lw 7834
c lw 8213
c lw 9155
c lw 10223
c lw 11132
c lw 11779
c lw 12044
c lw 12301
c lw 12929
c lw 13236
c lw 14115
c lw 14469
c lw 15476
c lw 15484
c lw 15679
c lw 17335
c lw 17937
c lw 18973
c lw 19052
c lw 19345
c lw 19367
c lw 21079
c lw 22464
c lw 23455
c lw 23934
c lw 24885
c lw 26422
c lw 27778
c lw 27849
c lw 29024
c lw 29205
c lw 29731
c lw 30132
c lw 30810
c lw 30878
c lw 30966
c lw 31162
c lw 32208
c lw 32700
c lw 32870
c lw 33728
c lw 33779
c lw 34127
c lw 34832
c lw 35306
c lw 35371
c lw 36142
c lw 36181
c lw 36264
c lw 36408
c lw 36672
c lw 37797
c lw 37863
c lw 38104
c lw 38343
c lw 38822
c lw 39856
c lw 39928
c lw 40254
c lw 40763
c lw 41966
c lw 42871
c lw 43421
c lw 44026
c lw 44990
c lw 45673
c lw 45787
c lw 46475
c lw 46482
c lw 46641
c lw 47043
c lw 47074
c lw 47316
c lw 47624
c lw 47894
c lw 48165
c lw 48183
c lw 48190
c lw 48659
c lw 48685
c lw 48813
c lw 48819
c lw 49799
c lw 49933
c lw 50065
c lw 50306
c lw 50508
c lw 51130
c lw 51617
c lw 52721
c lw 52840
c lw 52949
c lw 53645
c lw 54334
c lw 54408
c lw 55062
c lw 55589
c lw 55700
c lw 55803
c lw 56665
c lw 56988
c lw 57001
c lw 57492
c lw 57709
c lw 58036
c lw 58083
c lw 58107
c lw 58139
c lw 58613
c lw 59009
c lw 59315
c lw 59467
c lw 59894
c lw 60288
c lw 60440
c lw 60591
c lw 60912
c lw 61289
c lw 62116
c lw 62310
c lw 62402
c lw 62594
c lw 63108
c lw 64131
c lw 64174
c lw 64496
c lw 64719
c lw 64751
c lw 66107
c lw 66910
c lw 67038
c lw 67967
c lw 68058
c lw 68225
c lw 68420
c lw 68436
c lw 68515
c lw 68578
c lw 69187
c lw 70056
c lw 70301
c lw 70803
c lw 70873
c lw 71903
c lw 72036
c lw 72242
c lw 72549
c lw 72602
c lw 72803
c lw 73044
c lw 73283
c lw 73355
c lw 73681
c lw 74154
c lw 74715
c lw 75148
c lw 75195
c lw 75698
c lw 75717
c lw 76163
c lw 76616
c lw 76637
c lw 77110
c lw 77305
c lw 77602
c lw 77663
c lw 77786
c lw 78147
c lw 78297
c lw 78961
c lw 78995
c lw 79677
c lw 79813
c lw 79891
c lw 80629
c lw 81073
c lw 81473
c lw 81744
c lw 81810
c lw 81898
c lw 82584
c lw 82757
c lw 82758
c lw 82867
c lw 84135
c lw 84185
c lw 84394
c lw 85015
c lw 85079
c lw 85180
c lw 85648
c lw 86389
c lw 86832
c lw 87379
c lw 87454
c lw 87461
c lw 87714
c lw 87930
c lw 87933
c lw 88058
c lw 88452
c lw 88681
c lw 88815
c lw 88969
c lw 89108
c lw 89370
c lw 89425
c lw 89502
c lw 89644
c lw 89808
c lw 89941
c lw 89973
c lw 90253
c lw 90581
c lw 90756
c lw 90875
c lw 91765
c lw 91862
c lw 91883
c lw 92077
c lw 92169
c lw 92226
c lw 92292
c lw 92477
c lw 93589
c lw 93893
c lw 95133
c lw 95820
c lw 95924
c lw 96354
c lw 96368
c lw 96578
c lw 97183
c lw 97349
c lw 97494
c lw 97515
c lw 97650
c lw 98643
c lw 98812
c lw 99135
c lw 99273
c lw 99305
c lw 99498
c lw 99508
c lw 99613
c lw 99845
c lw 100335
c lw 100411
c lw 100651
c lw 101000
c lw 101016
c lw 101035
c lw 101433
c lw 101468
c lw 101506
c lw 101589
c lw 101664
c lw 101674
c lw 101779
c lw 101797
c lw 102040
c lw 102926
c lw 102927
c lw 102983
c lw 103282
c lw 103296
c lw 103872
c lw 103960
c lw 104681
c lw 104743
c lw 104887
c lw 104906
c lw 105005
c lw 105026
c lw 105056
c lw 105103
c lw 105354
c lw 105549
c lw 105733
c lw 105888
c lw 106632
c lw 106778
c lw 106899
c lw 107216
c lw 107587
c lw 107667
c lw 108075
c lw 108326
c lw 108370
c lw 108672
c lw 108745
c lw 108775
c lw 109669
c lw 109743
c lw 109823
c lw 110887
c lw 111737
c lw 111787
c lw 111840
c lw 112480
c lw 112589
c lw 113377
c lw 113413
c lw 113557
c lw 113634
c lw 113964
c lw 114318
c lw 114587
c lw 114653
c lw 114693
c lw 114894
c lw 114992
c lw 115047
c lw 115234
c lw 116122
c lw 116353
c lw 117121
c lw 117283
c lw 117898
c lw 118636
c lw 118638
c lw 118738
c lw 118762
c lw 118775
c lw 118809
c lw 118929
c lw 118955
c lw 119235
c lw 120174
c lw 120186
c lw 120789
c lw 121027
c lw 121149
c lw 122048
c lw 122082
c lw 122167
c lw 122206
c lw 122277
c lw 122845
c lw 123208
c lw 123705
c lw 123739
c lw 124256
c lw 124519
c lw 124605
c lw 124794
c lw 124808
c lw 125610
c lw 125611
c lw 125713
c lw 125858
c lw 126275
c lw 126300
c lw 126349
c lw 126454
c lw 127185
c lw 127254
c lw 127294
c lw 127317
c lw 127430
c lw 127563
c lw 127660
c lw 128283
c lw 128732
c lw 128787
c lw 130117
c lw 130608
c lw 130775
c lw 131052
c lw 131168
c lw 131200
c lw 131486
c lw 131575
c lw 132369
c lw 132399
c lw 132515
c lw 133024
c lw 133151
c lw 133188
c lw 133394
c lw 133460
c lw 133802
c lw 134344
c lw 134487
c lw 134834
c lw 134855
c lw 134864
c lw 135008
c lw 135338
c lw 135582
c lw 136620
c lw 136817
c lw 136994
c lw 137128
c lw 137155
c lw 137278
c lw 137283
c lw 137361
c lw 137415
c lw 137418
c lw 137513
c lw 137534
c lw 138395
c lw 139038
c lw 139067
c lw 139073
c lw 139104
c lw 139157
c lw 139251
c lw 139277
c lw 139378
c lw 139456
c lw 139466
c lw 139482
c lw 139501
c lw 139511
c lw 139543
c lw 139796
c lw 140209
c lw 140210
c lw 140375
c lw 140401
c lw 141193
c lw 141217
c lw 141240
c lw 141242
c lw 141372
c lw 141424
c lw 141446
c lw 141479
c lw 141655
c lw 141726
c lw 142464
c lw 143358
c lw 143861
c lw 143915
c lw 143938
c lw 143939
c lw 143961
c lw 143967
c lw 143969
c lw 144636
c lw 144647
c lw 144700
c lw 145229
c lw 146691
c lw 146917
c lw 146926
c lw 146927
c lw 146929
c lw 146935
c lw 146940
c lw 147747
c lw 147822
c lw 148348
c lw 148471
c lw 149455
c lw 149900
c lw 151129
c lw 151233
c lw 151721
c lw 151723
c lw 151730
c lw 151732
c lw 151835
c lw 151857
c lw 151906
c lw 152082
c lw 153163
c lw 153196
c lw 153258
c lw 153479
c lw 153530
c lw 153922
c lw 153928
c lw 153990
c lw 153994
c lw 154048
c lw 154617
c lw 154644
c lw 154685
c lw 155327
c lw 155977
c lw 156066
c lw 156251
c lw 156369
c lw 156430
c lw 156815
c lw 157640
c lw 157704
c lw 157855
c lw 157979
c lw 158920
c lw 159035
c lw 159038
c lw 159041
c lw 159052
c lw 159300
c lw 160608
c lw 160693
c lw 160850
c lw 160862
c lw 160863
c lw 160869
c lw 160874
c lw 160877
c lw 160965
c lw 161020
c lw 161032
c lw 161685
c lw 161818
c lw 161960
c lw 162010
c lw 162028
c lw 162039
c lw 162045
c lw 162055
c lw 162124
c lw 162744
c lw 163212
c lw 163416
c lw 164693
c lw 164943
c lw 165082
c lw 165298
c lw 165470
c lw 165608
c lw 166439
c lw 166821
c lw 166900
c lw 167078
c lw 167226
c lw 167421
c lw 167843
c lw 168478
c lw 168543
c lw 169043
c lw 169063
c lw 169090
c lw 169106
c lw 169139
c lw 169235
c lw 169270
c lw 169273
c lw 169285
c lw 169367
c lw 169377
c lw 169383
c lw 169389
c lw 169394
c lw 169400
c lw 169406
c lw 169412
c lw 169618
c lw 169843
c lw 169865
c lw 169867
c lw 169870
c lw 169876
c lw 169877
c lw 169878
c lw 169880
c lw 170206
c lw 170380
c lw 170435
c lw 170733
c lw 170792
c lw 170912
c lw 170943
c lw 170952
c lw 170953
c lw 170969
c lw 171050
c lw 171164
c lw 171178
c lw 171255
c lw 171299
c lw 171303
c lw 171309
c lw 171392
c lw 171397
c lw 171479
c lw 171500
c lw 171506
c lw 171660
c lw 171793
c lw 171837
c lw 172604
c lw 172741
c lw 172836
c lw 172838
c lw 172908
c lw 172918
c lw 172920
c lw 172927
c lw 172937
c lw 172943
c lw 172950
c lw 172982
c lw 173216
c lw 173352
c lw 173511
c lw 173596
c lw 174016
c lw 174143
c lw 174512
c lw 174555
c lw 174990
c lw 175253
c lw 175423
c lw 175658
c lw 176044
c lw 176187
c lw 176223
c lw 176316
c lw 176687
c lw 176689
c lw 176771
c lw 177560
c lw 177852
c lw 178114
c lw 178237
c lw 178361
c lw 179013
c lw 179340
c lw 179478
c lw 179694
c lw 179802
c lw 180250
c lw 180331
c lw 180340
c lw 180375
c lw 180422
c lw 180443
c lw 180452
c lw 180466
c lw 180471
c lw 180622
c lw 180872
c lw 181123
c lw 181542
c lw 181808
c lw 181913
c lw 182341
c lw 182365
c lw 182613
c lw 182788
c lw 182795
c lw 183065
c lw 183141
c lw 183142
c lw 183145
c lw 183146
c lw 183162
c lw 183163
c lw 183164
c lw 183819
c lw 183847
c lw 183853
c lw 183856
c lw 183863
c lw 183929
c lw 183934
c lw 183938
c lw 183940
c lw 183975
c lw 183996
c lw 184017
c lw 184026
c lw 184063
c lw 184099
c lw 184151
c lw 184170
c lw 184174
c lw 184176
c lw 184180
c lw 184182
c lw 184191
c lw 184227
c lw 184235
c lw 184263
c lw 184265
c lw 184446
c lw 184453
c lw 184607
c lw 185088
c lw 185212
c lw 185997
c lw 186002
c lw 186018
c lw 186020
c lw 186024
c lw 186029
c lw 186044
c lw 186086
c lw 186123
c lw 186141
c lw 186152
c lw 186574
c lw 187016
c lw 187028
c lw 187147
c lw 187485
c lw 187542
c lw 187685
c lw 188840
c lw 188876
c lw 189140
c lw 190045
c lw 190129
c lw 190419
c lw 191125
c lw 191143
c lw 191550
c lw 192271
c lw 192479
c lw 192521
c lw 192616
c lw 192898
c lw 192927
c lw 192973
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 
o 192973
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-4.net.wcnf 192973
109.745u 1.670s 1:51.66 99.7%	0+0k 0+0io 0pf+0w