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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 565
c lw 2406
c lw 3044
c lw 4775
c lw 5081
c lw 6080
c lw 6892
c lw 7555
c lw 8691
c lw 8823
c lw 9810
c lw 10054
c lw 10069
c lw 11810
c lw 11821
c lw 12672
c lw 12809
c lw 13917
c lw 15039
c lw 15095
c lw 16239
c lw 17954
c lw 18474
c lw 18980
c lw 19358
c lw 19783
c lw 20536
c lw 21691
c lw 22532
c lw 22766
c lw 22889
c lw 23305
c lw 23711
c lw 24322
c lw 24489
c lw 24973
c lw 25192
c lw 25307
c lw 25631
c lw 25897
c lw 25925
c lw 26175
c lw 26379
c lw 26828
c lw 27310
c lw 27694
c lw 27913
c lw 28160
c lw 28388
c lw 28697
c lw 29151
c lw 29604
c lw 29795
c lw 30052
c lw 31041
c lw 31514
c lw 31861
c lw 32250
c lw 33166
c lw 34057
c lw 34197
c lw 34464
c lw 35426
c lw 35734
c lw 36269
c lw 36329
c lw 36400
c lw 36918
c lw 37117
c lw 37268
c lw 37410
c lw 38076
c lw 38309
c lw 38558
c lw 39687
c lw 40008
c lw 40107
c lw 40703
c lw 40792
c lw 41047
c lw 41230
c lw 41678
c lw 41848
c lw 41905
c lw 42216
c lw 42247
c lw 42571
c lw 42837
c lw 43648
c lw 43994
c lw 44842
c lw 45064
c lw 45226
c lw 45265
c lw 45341
c lw 45607
c lw 45697
c lw 45816
c lw 46688
c lw 46701
c lw 46755
c lw 47288
c lw 47754
c lw 48941
c lw 49061
c lw 49301
c lw 49463
c lw 49844
c lw 49971
c lw 50003
c lw 50327
c lw 50567
c lw 51204
c lw 51283
c lw 51359
c lw 51559
c lw 51640
c lw 51717
c lw 52185
c lw 52330
c lw 52372
c lw 52569
c lw 53433
c lw 53601
c lw 53830
c lw 54308
c lw 54834
c lw 54891
c lw 55107
c lw 55366
c lw 55404
c lw 55442
c lw 55663
c lw 56182
c lw 56340
c lw 57428
c lw 57595
c lw 58151
c lw 58470
c lw 58931
c lw 59211
c lw 59386
c lw 59561
c lw 59734
c lw 60075
c lw 61097
c lw 61888
c lw 61991
c lw 62506
c lw 62816
c lw 63009
c lw 63150
c lw 63159
c lw 63250
c lw 63610
c lw 63649
c lw 63740
c lw 64009
c lw 64087
c lw 64365
c lw 65348
c lw 65416
c lw 65608
c lw 65646
c lw 65724
c lw 66532
c lw 67596
c lw 67678
c lw 67681
c lw 67746
c lw 67982
c lw 68213
c lw 68389
c lw 68529
c lw 68690
c lw 68805
c lw 69060
c lw 69314
c lw 69831
c lw 69996
c lw 70527
c lw 70567
c lw 70877
c lw 71172
c lw 71266
c lw 71465
c lw 71475
c lw 71831
c lw 71941
c lw 71944
c lw 71983
c lw 72216
c lw 72408
c lw 72448
c lw 72984
c lw 73502
c lw 73565
c lw 73579
c lw 73716
c lw 73773
c lw 74049
c lw 74057
c lw 74177
c lw 74309
c lw 74390
c lw 74507
c lw 74511
c lw 74895
c lw 75494
c lw 75545
c lw 75592
c lw 76114
c lw 76196
c lw 76281
c lw 76423
c lw 76946
c lw 77125
c lw 77201
c lw 77221
c lw 77374
c lw 77486
c lw 77558
c lw 78009
c lw 78067
c lw 78093
c lw 78132
c lw 78268
c lw 78544
c lw 78686
c lw 78944
c lw 78960
c lw 79396
c lw 79412
c lw 79727
c lw 79938
c lw 80990
c lw 81156
c lw 81165
c lw 81343
c lw 81592
c lw 81631
c lw 82055
c lw 82642
c lw 82912
c lw 82988
c lw 83156
c lw 83766
c lw 83977
c lw 84077
c lw 84265
c lw 85046
c lw 85152
c lw 85190
c lw 85197
c lw 85314
c lw 85391
c lw 85577
c lw 86612
c lw 86668
c lw 86850
c lw 87184
c lw 87392
c lw 87591
c lw 87689
c lw 87880
c lw 88045
c lw 88085
c lw 88333
c lw 88853
c lw 89501
c lw 89504
c lw 90525
c lw 90598
c lw 90605
c lw 90664
c lw 90815
c lw 91011
c lw 91127
c lw 91276
c lw 91377
c lw 91897
c lw 92266
c lw 92284
c lw 92395
c lw 92487
c lw 92824
c lw 92961
c lw 93961
c lw 94157
c lw 94805
c lw 94824
c lw 94842
c lw 95156
c lw 95493
c lw 96142
c lw 96400
c lw 97237
c lw 97442
c lw 97487
c lw 97609
c lw 97907
c lw 97995
c lw 98227
c lw 98304
c lw 98589
c lw 98610
c lw 98622
c lw 98649
c lw 98682
c lw 98686
c lw 98758
c lw 98763
c lw 98795
c lw 98824
c lw 98864
c lw 98927
c lw 98939
c lw 98941
c lw 98970
c lw 99072
c lw 99545
c lw 99637
c lw 99665
c lw 100028
c lw 100784
c lw 100869
c lw 101631
c lw 101685
c lw 102712
c lw 102770
c lw 102791
c lw 102974
c lw 103370
c lw 103507
c lw 103673
c lw 104769
c lw 104825
c lw 104903
c lw 104959
c lw 105037
c lw 105163
c lw 105202
c lw 105224
c lw 105270
c lw 105351
c lw 105384
c lw 105400
c lw 105442
c lw 105578
c lw 105617
c lw 105618
c lw 105713
c lw 105772
c lw 105880
c lw 106301
c lw 106307
c lw 106398
c lw 106516
c lw 106624
c lw 107132
c lw 107181
c lw 107355
c lw 108088
c lw 108141
c lw 108518
c lw 108535
c lw 108581
c lw 108601
c lw 108657
c lw 108823
c lw 108830
c lw 108848
c lw 108860
c lw 108875
c lw 108881
c lw 108891
c lw 108893
c lw 110103
c lw 110165
c lw 111153
c lw 111258
c lw 111760
c lw 111826
c lw 111828
c lw 111897
c lw 111997
c lw 112045
c lw 112534
c lw 112614
c lw 112816
c lw 113926
c lw 114108
c lw 114732
c lw 115017
c lw 116203
c lw 116221
c lw 116226
c lw 116237
c lw 116239
c lw 116252
c lw 116264
c lw 116266
c lw 116339
c lw 116370
c lw 116711
c lw 116875
c lw 117085
c lw 117700
c lw 118115
c lw 118213
c lw 118632
c lw 118682
c lw 118929
c lw 119482
c lw 119766
c lw 119814
c lw 119860
c lw 119871
c lw 120521
c lw 120563
c lw 120729
c lw 120867
c lw 121010
c lw 121090
c lw 121266
c lw 121493
c lw 121745
c lw 122429
c lw 122673
c lw 122771
c lw 122924
c lw 123563
c lw 123789
c lw 123807
c lw 123828
c lw 123951
c lw 124044
c lw 124050
c lw 124276
c lw 124334
c lw 124946
c lw 125077
c lw 125303
c lw 125598
c lw 125771
c lw 125937
c lw 126093
c lw 127027
c lw 127212
c lw 127378
c lw 127473
c lw 127929
c lw 128061
c lw 128088
c lw 128282
c lw 128416
c lw 129707
c lw 130010
c lw 130312
c lw 130390
c lw 131667
c lw 131706
c lw 131718
c lw 131774
c lw 131782
c lw 132505
c lw 132597
c lw 132621
c lw 133225
c lw 134034
c lw 134064
c lw 134447
c lw 135374
c lw 135463
c lw 135579
c lw 136616
c lw 136740
c lw 136743
c lw 136874
c lw 136878
c lw 137781
c lw 137800
c lw 137919
c lw 137935
c lw 137941
c lw 137944
c lw 138071
c lw 138077
c lw 138096
c lw 138832
c lw 139593
c lw 139690
c lw 139767
c lw 139831
c lw 140333
c lw 140525
c lw 140578
c lw 140704
c lw 140888
c lw 140905
c lw 140908
c lw 140926
c lw 140947
c lw 140979
c lw 141152
c lw 141357
c lw 141560
c lw 141625
c lw 141658
c lw 141723
c lw 141740
c lw 141746
c lw 142032
c lw 142033
c lw 142045
c lw 142048
c lw 142051
c lw 142327
c lw 142536
c lw 142588
c lw 142656
c lw 143073
c lw 143164
c lw 143206
c lw 143351
c lw 143577
c lw 143591
c lw 144404
c lw 145191
c lw 145721
c lw 145801
c lw 145829
c lw 146034
c lw 146518
c lw 146817
c lw 146818
c lw 146872
c lw 147377
c lw 147776
c lw 147789
c lw 147817
c lw 148519
c lw 148635
c lw 148696
c lw 148737
c lw 148905
c lw 149673
c lw 149813
c lw 149851
c lw 149900
c lw 150138
c lw 150487
c lw 150568
c lw 150604
c lw 150614
c lw 152205
c lw 152265
c lw 152293
c lw 152326
c lw 152516
c lw 152614
c lw 152890
c lw 153391
c lw 153609
c lw 154567
c lw 154968
c lw 155007
c lw 155273
c lw 155674
c lw 155757
c lw 156533
c lw 156568
c lw 157160
c lw 157171
c lw 157183
c lw 157193
c lw 157359
c lw 157363
c lw 157366
c lw 157367
c lw 157394
c lw 157418
c lw 157422
c lw 157436
c lw 157439
c lw 157440
c lw 157442
c lw 157447
c lw 157575
c lw 158399
c lw 159583
c lw 159630
c lw 159765
c lw 160191
c lw 160265
c lw 160409
c lw 160941
c lw 161165
c lw 161211
c lw 161369
c lw 161668
c lw 161742
c lw 162197
c lw 162695
c lw 162874
c lw 162934
c lw 163227
c lw 163557
c lw 163603
c lw 163644
c lw 163903
c lw 164578
c lw 165245
c lw 165499
c lw 165641
c lw 165761
c lw 166050
c lw 166054
c lw 166098
c lw 166134
c lw 166152
c lw 166159
c lw 166169
c lw 166173
c lw 166174
c lw 166175
c lw 166182
c lw 166185
c lw 166186
c lw 166187
c lw 166189
c lw 166190
c lw 166191
c lw 166194
c lw 166213
c lw 166365
c lw 166584
c lw 166587
c lw 166589
c lw 166595
c lw 166626
c lw 166670
c lw 166699
c lw 166708
c lw 166711
c lw 166713
c lw 166715
c lw 166729
c lw 166732
c lw 166733
c lw 166734
c lw 166736
c lw 166737
c lw 166738
c lw 166741
c lw 166746
c lw 166748
c lw 166749
c lw 166750
c lw 166754
c lw 166764
c lw 166771
c lw 166773
c lw 166789
c lw 166809
c lw 166876
c lw 166942
c lw 167004
c lw 167044
c lw 167077
c lw 167989
c lw 168529
c lw 168576
c lw 168860
c lw 169324
c lw 169479
c lw 169552
c lw 169928
c lw 170155
c lw 170532
c lw 171408
c lw 171532
c lw 171804
c lw 171814
c lw 172072
c lw 172076
c lw 172079
c lw 172083
c lw 172085
c lw 172096
c lw 172101
c lw 172108
c lw 172109
c lw 172110
c lw 172112
c lw 172113
c lw 172116
c lw 172118
c lw 172119
c lw 172122
c lw 172123
c lw 172124
c lw 172125
c lw 172126
c lw 172127
c lw 172129
c lw 172130
c lw 172131
c lw 172132
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 
o 172132
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-1.net.wcnf 172132
206.260u 1.514s 3:28.27 99.7%	0+0k 0+0io 0pf+0w