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-200-1_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 2516
c lw 4652
c lw 4942
c lw 5319
c lw 6329
c lw 6588
c lw 7990
c lw 9367
c lw 10007
c lw 10461
c lw 12029
c lw 13473
c lw 15259
c lw 16212
c lw 16420
c lw 16949
c lw 18611
c lw 19380
c lw 21202
c lw 23125
c lw 23387
c lw 24958
c lw 27269
c lw 27671
c lw 29663
c lw 30598
c lw 30707
c lw 30858
c lw 30928
c lw 31070
c lw 31088
c lw 31147
c lw 31657
c lw 31756
c lw 32029
c lw 32474
c lw 33207
c lw 33898
c lw 34065
c lw 34541
c lw 34700
c lw 34883
c lw 35448
c lw 35819
c lw 36310
c lw 36409
c lw 36437
c lw 36725
c lw 37405
c lw 37476
c lw 38161
c lw 38215
c lw 38355
c lw 38955
c lw 39250
c lw 39285
c lw 39633
c lw 40151
c lw 40696
c lw 40757
c lw 40981
c lw 41155
c lw 41422
c lw 41591
c lw 42129
c lw 42385
c lw 42458
c lw 43681
c lw 43758
c lw 43764
c lw 43979
c lw 44587
c lw 44694
c lw 44821
c lw 45524
c lw 45583
c lw 46900
c lw 47273
c lw 47440
c lw 47911
c lw 47916
c lw 48075
c lw 48875
c lw 49366
c lw 49465
c lw 49493
c lw 49781
c lw 50001
c lw 50059
c lw 50438
c lw 50509
c lw 50782
c lw 50836
c lw 51131
c lw 51415
c lw 51900
c lw 51935
c lw 52665
c lw 53018
c lw 53524
c lw 54091
c lw 54497
c lw 54845
c lw 55118
c lw 55216
c lw 55399
c lw 55460
c lw 55684
c lw 55858
c lw 56125
c lw 56294
c lw 56550
c lw 57084
c lw 57509
c lw 57821
c lw 57910
c lw 58062
c lw 58435
c lw 58706
c lw 58902
c lw 59175
c lw 59321
c lw 59559
c lw 59930
c lw 60979
c lw 61026
c lw 61088
c lw 61111
c lw 61478
c lw 61711
c lw 62031
c lw 62318
c lw 62827
c lw 62865
c lw 63066
c lw 63605
c lw 63758
c lw 63867
c lw 63994
c lw 64219
c lw 64372
c lw 64546
c lw 65040
c lw 65877
c lw 66031
c lw 66346
c lw 67114
c lw 67149
c lw 67793
c lw 68825
c lw 68874
c lw 68946
c lw 69180
c lw 69481
c lw 70996
c lw 71179
c lw 71219
c lw 71239
c lw 71417
c lw 71448
c lw 71452
c lw 71666
c lw 71760
c lw 71830
c lw 71866
c lw 72132
c lw 72595
c lw 73099
c lw 73121
c lw 73970
c lw 74391
c lw 74546
c lw 74701
c lw 75305
c lw 75382
c lw 75720
c lw 75747
c lw 76008
c lw 76268
c lw 76732
c lw 77313
c lw 77432
c lw 78139
c lw 78180
c lw 78307
c lw 78406
c lw 78993
c lw 79463
c lw 79493
c lw 79602
c lw 79908
c lw 80158
c lw 80507
c lw 80886
c lw 81419
c lw 81638
c lw 82220
c lw 82517
c lw 83354
c lw 83608
c lw 84489
c lw 85145
c lw 85488
c lw 85511
c lw 85513
c lw 85797
c lw 86219
c lw 86429
c lw 86916
c lw 86926
c lw 87019
c lw 87144
c lw 87359
c lw 87365
c lw 88389
c lw 88473
c lw 89247
c lw 89501
c lw 89869
c lw 89882
c lw 90221
c lw 90467
c lw 90716
c lw 91468
c lw 91895
c lw 92251
c lw 92369
c lw 92502
c lw 92786
c lw 92973
c lw 92991
c lw 93687
c lw 93833
c lw 94125
c lw 94305
c lw 94350
c lw 95101
c lw 95229
c lw 95300
c lw 95532
c lw 96036
c lw 96089
c lw 96205
c lw 96396
c lw 96408
c lw 96430
c lw 96852
c lw 96872
c lw 96892
c lw 97030
c lw 97698
c lw 97817
c lw 97926
c lw 98161
c lw 98180
c lw 98332
c lw 98362
c lw 98394
c lw 98698
c lw 99081
c lw 99152
c lw 99547
c lw 99846
c lw 99988
c lw 100417
c lw 100695
c lw 100699
c lw 101700
c lw 101797
c lw 101975
c lw 102050
c lw 102253
c lw 102533
c lw 102957
c lw 103005
c lw 103102
c lw 103468
c lw 103505
c lw 103642
c lw 103729
c lw 104368
c lw 104631
c lw 104955
c lw 105778
c lw 106088
c lw 106730
c lw 106818
c lw 106841
c lw 106883
c lw 106884
c lw 107157
c lw 107334
c lw 107392
c lw 107778
c lw 107801
c lw 107803
c lw 107830
c lw 108148
c lw 109116
c lw 109139
c lw 109257
c lw 110211
c lw 110318
c lw 110368
c lw 110388
c lw 110682
c lw 110731
c lw 110923
c lw 110964
c lw 111002
c lw 111222
c lw 111394
c lw 111458
c lw 111490
c lw 111502
c lw 111573
c lw 111797
c lw 112311
c lw 112524
c lw 112550
c lw 112698
c lw 113007
c lw 113024
c lw 113317
c lw 113502
c lw 113521
c lw 113574
c lw 113673
c lw 113682
c lw 114532
c lw 114879
c lw 115013
c lw 115068
c lw 115206
c lw 115237
c lw 115643
c lw 116267
c lw 116304
c lw 117010
c lw 117536
c lw 117544
c lw 117754
c lw 118387
c lw 118873
c lw 118955
c lw 118988
c lw 118996
c lw 119254
c lw 119322
c lw 119325
c lw 119508
c lw 120711
c lw 120808
c lw 120853
c lw 120965
c lw 121414
c lw 121523
c lw 121540
c lw 121573
c lw 121576
c lw 121617
c lw 121637
c lw 121771
c lw 121820
c lw 122054
c lw 122575
c lw 122602
c lw 122898
c lw 123603
c lw 123611
c lw 124078
c lw 124234
c lw 124254
c lw 124274
c lw 124303
c lw 124320
c lw 124372
c lw 124417
c lw 124441
c lw 124474
c lw 124495
c lw 124565
c lw 124622
c lw 124646
c lw 124656
c lw 124671
c lw 124688
c lw 124694
c lw 124700
c lw 124718
c lw 124736
c lw 124809
c lw 124924
c lw 125300
c lw 125492
c lw 125519
c lw 125540
c lw 125634
c lw 125661
c lw 126341
c lw 126767
c lw 127575
c lw 127596
c lw 127648
c lw 127861
c lw 127893
c lw 128705
c lw 128742
c lw 128898
c lw 129371
c lw 129722
c lw 129927
c lw 130055
c lw 130234
c lw 130744
c lw 130952
c lw 131171
c lw 131294
c lw 131388
c lw 132245
c lw 132706
c lw 132817
c lw 133132
c lw 133435
c lw 133444
c lw 134508
c lw 134517
c lw 134976
c lw 135084
c lw 135201
c lw 135541
c lw 135756
c lw 135907
c lw 135967
c lw 135969
c lw 135971
c lw 135972
c lw 135983
c lw 135990
c lw 136928
c lw 137152
c lw 137280
c lw 137308
c lw 137505
c lw 137534
c lw 137787
c lw 138302
c lw 138407
c lw 138661
c lw 138673
c lw 138686
c lw 138704
c lw 138714
c lw 138717
c lw 138998
c lw 139019
c lw 139025
c lw 139145
c lw 139420
c lw 139421
c lw 139427
c lw 139431
c lw 139434
c lw 139454
c lw 139487
c lw 139565
c lw 139639
c lw 139674
c lw 140445
c lw 140476
c lw 140779
c lw 141133
c lw 141458
c lw 141677
c lw 142982
c lw 144229
c lw 145681
c lw 145936
c lw 146212
c lw 146240
c lw 146410
c lw 146585
c lw 146627
c lw 146815
c lw 146903
c lw 146920
c lw 147088
c lw 147305
c lw 147345
c lw 147497
c lw 147544
c lw 147596
c lw 147613
c lw 147626
c lw 147632
c lw 147639
c lw 147644
c lw 147651
c lw 147690
c lw 147712
c lw 147737
c lw 147870
c lw 147935
c lw 147936
c lw 147949
c lw 148092
c lw 148142
c lw 148204
c lw 148221
c lw 148236
c lw 148245
c lw 148246
c lw 148261
c lw 148270
c lw 148274
c lw 148277
c lw 148281
c lw 148327
c lw 148464
c lw 149200
c lw 149607
c lw 149724
c lw 149728
c lw 149885
c lw 149892
c lw 150227
c lw 151349
c lw 151724
c lw 152796
c lw 153290
c lw 153321
c lw 153847
c lw 153867
c lw 154497
c lw 154737
c lw 155067
c lw 155473
c lw 155530
c lw 155613
c lw 156865
c lw 157468
c lw 158363
c lw 158439
c lw 159067
c lw 159259
c lw 160070
c lw 160354
c lw 161150
c lw 161714
c lw 162162
c lw 162290
c lw 162423
c lw 162521
c lw 162654
c lw 162780
c lw 162812
c lw 163223
c lw 163227
c lw 163231
c lw 164101
c lw 164307
c lw 164372
c lw 164633
c lw 165649
c lw 165853
c lw 165857
c lw 165860
c lw 165861
c lw 165868
c lw 165869
c lw 165878
c lw 165880
c lw 165893
c lw 165906
c lw 165911
c lw 165914
c lw 165917
c lw 165918
c lw 165920
c lw 165935
c lw 165940
c lw 165944
c lw 165947
c lw 165990
c lw 166010
c lw 166298
c lw 166946
c lw 167259
c lw 167436
c lw 167831
c lw 167992
c lw 168045
c lw 169000
c lw 169025
c lw 169116
c lw 169619
c lw 169663
c lw 169827
c lw 169943
c lw 169945
c lw 169946
c lw 169949
c lw 169950
c lw 169954
c lw 169962
c lw 169963
c lw 169964
c lw 170268
c lw 170807
c lw 171047
c lw 171276
c lw 171374
c lw 171393
c lw 171976
c lw 172219
c lw 172377
c lw 172774
c lw 172777
c lw 172778
c lw 172836
c lw 172838
c lw 172855
c lw 173692
c lw 174177
c lw 174439
c lw 174517
c lw 174533
c lw 175038
c lw 175585
c lw 175697
c lw 176087
c lw 176837
c lw 176858
c lw 176886
c lw 177031
c lw 177099
c lw 177169
c lw 177182
c lw 177195
c lw 177196
c lw 177202
c lw 177203
c lw 177205
c lw 177206
c lw 177208
c lw 177616
c lw 177617
c lw 177776
c lw 177797
c lw 177801
c lw 177802
c lw 177803
c lw 177805
c lw 177806
c lw 177807
c lw 177810
c lw 177811
c lw 177814
c lw 177817
c lw 177819
c lw 177820
c lw 177821
c lw 177823
c lw 177824
c lw 177825
c lw 177827
c lw 177829
c lw 177840
c lw 177843
c lw 177847
c lw 177848
c lw 177849
c lw 177855
c lw 177864
c lw 177878
c lw 177884
c lw 177887
c lw 177889
c lw 177891
c lw 177895
c lw 177896
c lw 177897
c lw 177900
c lw 177901
c lw 177906
c lw 177908
c lw 177909
c lw 177910
c lw 177912
c lw 177914
c lw 177916
c lw 177919
c lw 177920
c lw 177923
c lw 177927
c lw 177932
c lw 177935
c lw 177937
c lw 177947
c lw 177949
c lw 177950
c lw 177955
c lw 177956
c lw 177968
c lw 177971
c lw 177972
c lw 177977
c lw 177978
c lw 177979
c lw 177980
c lw 177981
c lw 177990
c lw 178001
c lw 178003
c lw 178005
c lw 178006
c lw 178014
c lw 178015
c lw 178028
c lw 178031
c lw 178032
c lw 178033
c lw 178041
c lw 178042
c lw 178044
c lw 178045
c lw 178046
c lw 178047
c lw 178048
c lw 178049
c lw 178050
c lw 178756
c lw 178777
c lw 178863
c lw 179497
c lw 179821
c lw 181079
c lw 181191
c lw 182517
c lw 183171
c lw 184159
c lw 184185
c lw 184232
c lw 184248
c lw 184776
c lw 185114
c lw 185153
c lw 185628
c lw 185674
c lw 185690
c lw 186410
c lw 186496
c lw 186534
c lw 186770
c lw 186856
c lw 187899
c lw 187995
c lw 188093
c lw 189452
c lw 189746
c lw 190095
c lw 190222
c lw 190328
c lw 190492
c lw 190669
c lw 191103
c lw 191333
c lw 191382
c lw 191706
c lw 191762
c lw 191765
c lw 191782
c lw 191811
c lw 191813
c lw 191815
c lw 191866
c lw 192110
c lw 192249
c lw 192380
c lw 192433
c lw 192759
c lw 192844
c lw 192869
c lw 192903
c lw 192904
c lw 192948
c lw 192955
c lw 193481
c lw 193483
c lw 193488
c lw 193532
c lw 193582
c lw 193644
c lw 193664
c lw 193665
c lw 193666
c lw 193667
c lw 193712
c lw 194150
c lw 194181
c lw 194187
c lw 194188
c lw 194193
c lw 194194
c lw 194198
c lw 194199
c lw 194200
c lw 194367
c lw 194570
c lw 194719
c lw 194802
c lw 195196
c lw 195419
c lw 196348
c lw 196402
c lw 196419
c lw 196437
c lw 196454
c lw 196456
c lw 196465
c lw 196482
c lw 196483
c lw 196526
c lw 196544
c lw 196660
c lw 196671
c lw 196689
c lw 196703
c lw 196709
c lw 196711
c lw 196712
c lw 196818
c lw 196842
c lw 196844
c lw 196915
c lw 196937
c lw 196939
c lw 196948
c lw 196968
c lw 196969
c lw 196972
c lw 196985
c lw 196986
c lw 196994
c lw 197002
c lw 197018
c lw 197025
c lw 197163
c lw 198091
c lw 198104
c lw 198156
c lw 198684
c lw 198710
c lw 198780
c lw 198807
c lw 199523
c lw 199790
c lw 199843
c lw 200652
c lw 200657
c lw 200701
c lw 200750
c lw 200758
c lw 200771
c lw 200828
c lw 201078
c lw 201113
c lw 201184
c lw 201990
c lw 202137
c lw 202186
c lw 202187
c lw 202188
c lw 202189
c lw 202190
c lw 202191
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 
o 202191
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-4.net.wcnf 202191
522.919u 4.286s 8:47.28 99.9%	0+0k 0+0io 0pf+0w