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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1083
c lw 1869
c lw 3164
c lw 3186
c lw 3476
c lw 4589
c lw 5544
c lw 7028
c lw 8355
c lw 8709
c lw 8825
c lw 10238
c lw 11525
c lw 12597
c lw 12709
c lw 13220
c lw 14909
c lw 15216
c lw 15384
c lw 16881
c lw 17217
c lw 18067
c lw 18830
c lw 19571
c lw 20706
c lw 21930
c lw 23472
c lw 25016
c lw 26074
c lw 27441
c lw 27974
c lw 28100
c lw 28430
c lw 28490
c lw 28801
c lw 29302
c lw 29716
c lw 30733
c lw 31577
c lw 31578
c lw 32095
c lw 33425
c lw 33938
c lw 34471
c lw 34647
c lw 35102
c lw 35601
c lw 36374
c lw 36483
c lw 37162
c lw 37692
c lw 37744
c lw 38737
c lw 39535
c lw 39824
c lw 40830
c lw 41146
c lw 41281
c lw 41878
c lw 42252
c lw 42811
c lw 43028
c lw 43192
c lw 43228
c lw 43706
c lw 44280
c lw 44799
c lw 45365
c lw 45760
c lw 45963
c lw 46683
c lw 46756
c lw 46839
c lw 46973
c lw 47120
c lw 47291
c lw 47302
c lw 47371
c lw 47428
c lw 47446
c lw 47488
c lw 47515
c lw 47516
c lw 47589
c lw 47754
c lw 48483
c lw 48818
c lw 48951
c lw 49212
c lw 49274
c lw 49372
c lw 49689
c lw 49946
c lw 50363
c lw 50527
c lw 51250
c lw 51831
c lw 52031
c lw 52096
c lw 52508
c lw 52743
c lw 52885
c lw 53201
c lw 53413
c lw 54010
c lw 54988
c lw 55197
c lw 55568
c lw 55862
c lw 55972
c lw 56136
c lw 56160
c lw 56628
c lw 56802
c lw 56855
c lw 57018
c lw 57202
c lw 57390
c lw 58371
c lw 58645
c lw 58712
c lw 58747
c lw 59753
c lw 59953
c lw 60324
c lw 60589
c lw 60602
c lw 60683
c lw 60697
c lw 60770
c lw 60904
c lw 60997
c lw 61051
c lw 61222
c lw 61233
c lw 61476
c lw 61942
c lw 61986
c lw 62687
c lw 62721
c lw 62766
c lw 62924
c lw 64112
c lw 64157
c lw 64643
c lw 64661
c lw 64703
c lw 64704
c lw 64869
c lw 65001
c lw 65044
c lw 65295
c lw 66068
c lw 66211
c lw 66431
c lw 66572
c lw 66931
c lw 67225
c lw 67647
c lw 67737
c lw 67837
c lw 68566
c lw 68619
c lw 68658
c lw 68717
c lw 69007
c lw 69390
c lw 69469
c lw 69774
c lw 69855
c lw 69869
c lw 70139
c lw 70452
c lw 70684
c lw 70704
c lw 70729
c lw 71344
c lw 71790
c lw 72188
c lw 72245
c lw 72269
c lw 72300
c lw 72316
c lw 72435
c lw 72461
c lw 72659
c lw 72794
c lw 73302
c lw 73514
c lw 73673
c lw 73817
c lw 73959
c lw 74011
c lw 74410
c lw 74490
c lw 74771
c lw 74779
c lw 74852
c lw 75740
c lw 75939
c lw 75968
c lw 76131
c lw 76138
c lw 76243
c lw 76822
c lw 77312
c lw 77367
c lw 77854
c lw 78021
c lw 78358
c lw 78425
c lw 79003
c lw 79650
c lw 79734
c lw 79902
c lw 80108
c lw 80322
c lw 81317
c lw 81367
c lw 81412
c lw 81870
c lw 82203
c lw 82640
c lw 82700
c lw 82745
c lw 82965
c lw 83568
c lw 83655
c lw 83739
c lw 83767
c lw 84357
c lw 84760
c lw 84891
c lw 84898
c lw 85408
c lw 85582
c lw 86079
c lw 86903
c lw 87559
c lw 87577
c lw 87818
c lw 87850
c lw 87983
c lw 88229
c lw 88437
c lw 88964
c lw 89397
c lw 89439
c lw 90371
c lw 90625
c lw 90883
c lw 90953
c lw 90954
c lw 90997
c lw 91238
c lw 91244
c lw 91252
c lw 91378
c lw 91708
c lw 91746
c lw 91906
c lw 92118
c lw 92456
c lw 92622
c lw 92690
c lw 93033
c lw 93318
c lw 93848
c lw 93953
c lw 95209
c lw 95376
c lw 95683
c lw 95811
c lw 95866
c lw 95938
c lw 96452
c lw 96608
c lw 96689
c lw 96693
c lw 96744
c lw 96850
c lw 96872
c lw 96944
c lw 97258
c lw 97591
c lw 97879
c lw 98520
c lw 98658
c lw 98707
c lw 99091
c lw 99237
c lw 99523
c lw 99723
c lw 99817
c lw 99989
c lw 100056
c lw 100086
c lw 100301
c lw 100705
c lw 100857
c lw 101136
c lw 101438
c lw 102257
c lw 102343
c lw 102485
c lw 102605
c lw 102729
c lw 102789
c lw 103000
c lw 103203
c lw 103214
c lw 103376
c lw 103475
c lw 103539
c lw 104070
c lw 104470
c lw 104535
c lw 105211
c lw 105338
c lw 105394
c lw 105401
c lw 105424
c lw 105612
c lw 105887
c lw 105925
c lw 106101
c lw 106214
c lw 106780
c lw 106868
c lw 106981
c lw 107373
c lw 107451
c lw 107635
c lw 107758
c lw 108610
c lw 109200
c lw 109780
c lw 109803
c lw 110063
c lw 110190
c lw 110304
c lw 110445
c lw 111071
c lw 111101
c lw 111176
c lw 111423
c lw 111523
c lw 111910
c lw 111988
c lw 112170
c lw 112962
c lw 113746
c lw 113850
c lw 114030
c lw 114115
c lw 114264
c lw 114269
c lw 114321
c lw 114337
c lw 114510
c lw 114528
c lw 114580
c lw 115038
c lw 115454
c lw 115692
c lw 115930
c lw 116360
c lw 116588
c lw 116628
c lw 116948
c lw 116976
c lw 117275
c lw 117430
c lw 117612
c lw 117728
c lw 117803
c lw 118090
c lw 118121
c lw 118693
c lw 119254
c lw 119267
c lw 119268
c lw 119338
c lw 119344
c lw 119354
c lw 119532
c lw 119547
c lw 119620
c lw 119623
c lw 119691
c lw 119738
c lw 119833
c lw 119836
c lw 119904
c lw 119906
c lw 120097
c lw 121052
c lw 121829
c lw 121948
c lw 121950
c lw 122114
c lw 122210
c lw 122497
c lw 122578
c lw 122603
c lw 122847
c lw 122992
c lw 123022
c lw 123145
c lw 123270
c lw 123300
c lw 123309
c lw 123311
c lw 123372
c lw 123430
c lw 123445
c lw 123540
c lw 123556
c lw 123572
c lw 123651
c lw 123810
c lw 124588
c lw 124602
c lw 124616
c lw 125232
c lw 125755
c lw 125767
c lw 125925
c lw 126052
c lw 126072
c lw 127022
c lw 127364
c lw 128339
c lw 128414
c lw 128432
c lw 128467
c lw 128521
c lw 128700
c lw 128885
c lw 128938
c lw 129559
c lw 130305
c lw 130306
c lw 130367
c lw 130369
c lw 130378
c lw 130408
c lw 130425
c lw 130701
c lw 131119
c lw 131160
c lw 131352
c lw 131401
c lw 131758
c lw 131907
c lw 132282
c lw 132437
c lw 132552
c lw 133113
c lw 133230
c lw 133598
c lw 133704
c lw 133752
c lw 134340
c lw 134834
c lw 134931
c lw 134968
c lw 135005
c lw 135213
c lw 135284
c lw 135324
c lw 135391
c lw 135465
c lw 136292
c lw 136354
c lw 136746
c lw 136978
c lw 137003
c lw 137066
c lw 137706
c lw 137869
c lw 138291
c lw 138460
c lw 138644
c lw 138809
c lw 139035
c lw 139402
c lw 139795
c lw 139864
c lw 139930
c lw 140049
c lw 140054
c lw 140113
c lw 141285
c lw 141332
c lw 141369
c lw 141551
c lw 142330
c lw 142556
c lw 142764
c lw 142835
c lw 143356
c lw 143376
c lw 143706
c lw 143938
c lw 143968
c lw 144189
c lw 144212
c lw 144364
c lw 144440
c lw 144580
c lw 144655
c lw 145376
c lw 145760
c lw 146533
c lw 146986
c lw 147019
c lw 147313
c lw 147912
c lw 148400
c lw 148721
c lw 148769
c lw 148894
c lw 149061
c lw 149527
c lw 150364
c lw 150461
c lw 150468
c lw 150547
c lw 150573
c lw 150577
c lw 150688
c lw 150733
c lw 150747
c lw 150761
c lw 150809
c lw 150818
c lw 150860
c lw 150861
c lw 151076
c lw 151144
c lw 151202
c lw 151300
c lw 151809
c lw 152096
c lw 152307
c lw 152424
c lw 152599
c lw 152617
c lw 152651
c lw 152726
c lw 152795
c lw 152819
c lw 152821
c lw 152838
c lw 152951
c lw 153112
c lw 153854
c lw 154015
c lw 154055
c lw 154078
c lw 154896
c lw 155057
c lw 155262
c lw 155433
c lw 155444
c lw 156254
c lw 156527
c lw 156873
c lw 156937
c lw 157007
c lw 157733
c lw 158320
c lw 158412
c lw 158431
c lw 158435
c lw 158646
c lw 158710
c lw 158792
c lw 159160
c lw 159415
c lw 159610
c lw 159739
c lw 159812
c lw 159849
c lw 160377
c lw 160384
c lw 160406
c lw 160426
c lw 160438
c lw 161434
c lw 161482
c lw 161499
c lw 161522
c lw 161886
c lw 162447
c lw 163067
c lw 163069
c lw 163081
c lw 163084
c lw 163095
c lw 163106
c lw 163170
c lw 163222
c lw 163252
c lw 163278
c lw 163282
c lw 163292
c lw 163306
c lw 163317
c lw 163336
c lw 163347
c lw 163398
c lw 163425
c lw 163438
c lw 164325
c lw 164350
c lw 164369
c lw 164388
c lw 164396
c lw 164403
c lw 164413
c lw 164433
c lw 164438
c lw 164443
c lw 164478
c lw 164497
c lw 164560
c lw 164735
c lw 164830
c lw 164944
c lw 165199
c lw 165204
c lw 165286
c lw 165337
c lw 165412
c lw 165429
c lw 165620
c lw 166358
c lw 166812
c lw 167072
c lw 167349
c lw 167766
c lw 167847
c lw 167852
c lw 167855
c lw 167859
c lw 167878
c lw 167881
c lw 167885
c lw 167895
c lw 167945
c lw 167946
c lw 168044
c lw 168151
c lw 168241
c lw 168305
c lw 168309
c lw 168451
c lw 168470
c lw 168521
c lw 168524
c lw 168543
c lw 168558
c lw 168631
c lw 168648
c lw 168665
c lw 168870
c lw 168871
c lw 168873
c lw 168875
c lw 169308
c lw 169845
c lw 170260
c lw 170670
c lw 170824
c lw 171388
c lw 171562
c lw 171777
c lw 172142
c lw 172292
c lw 172358
c lw 172553
c lw 172554
c lw 172557
c lw 172561
c lw 172577
c lw 172622
c lw 172624
c lw 172633
c lw 172663
c lw 172680
c lw 172710
c lw 173921
c lw 174045
c lw 174240
c lw 174265
c lw 174279
c lw 174500
c lw 175106
c lw 175400
c lw 175410
c lw 175435
c lw 175504
c lw 175595
c lw 175790
c lw 175811
c lw 175813
c lw 175815
c lw 175819
c lw 175822
c lw 175825
c lw 175827
c lw 175839
c lw 175843
c lw 175846
c lw 175849
c lw 175857
c lw 175859
c lw 175932
c lw 175935
c lw 175959
c lw 175977
c lw 175988
c lw 176011
c lw 176019
c lw 176027
c lw 176030
c lw 176050
c lw 176068
c lw 176824
c lw 177572
c lw 177751
c lw 177814
c lw 178548
c lw 179613
c lw 179709
c lw 179772
c lw 179867
c lw 179872
c lw 179909
c lw 180482
c lw 180676
c lw 180903
c lw 180968
c lw 180984
c lw 181000
c lw 181215
c lw 181408
c lw 181448
c lw 182076
c lw 182081
c lw 182125
c lw 182188
c lw 182232
c lw 182241
c lw 182251
c lw 182275
c lw 182281
c lw 182297
c lw 182374
c lw 182383
c lw 182446
c lw 182467
c lw 182473
c lw 182476
c lw 182478
c lw 182483
c lw 182518
c lw 182526
c lw 182529
c lw 182654
c lw 182657
c lw 182660
c lw 182663
c lw 182665
c lw 182669
c lw 182670
c lw 182675
c lw 182676
c lw 182680
c lw 182683
c lw 182685
c lw 182688
c lw 182689
c lw 182692
c lw 182693
c lw 182695
c lw 182696
c lw 183191
c lw 183252
c lw 183984
c lw 184137
c lw 184273
c lw 184502
c lw 185117
c lw 185392
c lw 185456
c lw 185938
c lw 186153
c lw 186234
c lw 186261
c lw 187112
c lw 187124
c lw 187193
c lw 187237
c lw 187331
c lw 187567
c lw 187793
c lw 187796
c lw 187927
c lw 187949
c lw 187991
c lw 188321
c lw 188340
c lw 188471
c lw 188493
c lw 188528
c lw 188576
c lw 188578
c lw 188597
c lw 188810
c lw 188852
c lw 188854
c lw 188857
c lw 188874
c lw 188912
c lw 188916
c lw 188989
c lw 188997
c lw 189053
c lw 189065
c lw 189066
c lw 189084
c lw 189086
c lw 189093
c lw 189098
c lw 189124
c lw 189128
c lw 189129
c lw 189131
c lw 189134
c lw 189146
c lw 189150
c lw 189152
c lw 189170
c lw 189172
c lw 189175
c lw 189177
c lw 189182
c lw 189188
c lw 189189
c lw 189192
c lw 189194
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 
o 189194
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-9.net.wcnf 189194
283.673u 3.076s 4:47.38 99.7%	0+0k 0+0io 0pf+0w