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-240-1_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1433
c lw 1790
c lw 3802
c lw 5251
c lw 9028
c lw 10210
c lw 10783
c lw 11599
c lw 13054
c lw 14841
c lw 16380
c lw 18028
c lw 19149
c lw 19934
c lw 20651
c lw 21535
c lw 21886
c lw 23416
c lw 24084
c lw 26088
c lw 26284
c lw 28057
c lw 28680
c lw 30142
c lw 30552
c lw 32186
c lw 34037
c lw 34290
c lw 34427
c lw 35556
c lw 36443
c lw 36458
c lw 37626
c lw 38675
c lw 39869
c lw 40503
c lw 41258
c lw 41534
c lw 41706
c lw 41775
c lw 42230
c lw 42736
c lw 43384
c lw 43714
c lw 43909
c lw 44185
c lw 45547
c lw 45558
c lw 46073
c lw 46498
c lw 47095
c lw 47162
c lw 47612
c lw 47652
c lw 48471
c lw 48502
c lw 48752
c lw 49019
c lw 49150
c lw 49682
c lw 50028
c lw 50083
c lw 50741
c lw 51093
c lw 51817
c lw 51856
c lw 51928
c lw 52804
c lw 52857
c lw 53427
c lw 53890
c lw 54226
c lw 55200
c lw 55538
c lw 55640
c lw 55950
c lw 55965
c lw 56346
c lw 56633
c lw 57129
c lw 57866
c lw 58116
c lw 58188
c lw 59165
c lw 59270
c lw 59774
c lw 60619
c lw 60744
c lw 60976
c lw 61214
c lw 61219
c lw 62276
c lw 62307
c lw 62577
c lw 63826
c lw 63850
c lw 64140
c lw 64181
c lw 64449
c lw 64936
c lw 65466
c lw 66210
c lw 66383
c lw 66411
c lw 66651
c lw 67312
c lw 68780
c lw 69454
c lw 69778
c lw 70225
c lw 70961
c lw 71204
c lw 71881
c lw 72121
c lw 72133
c lw 72755
c lw 72773
c lw 73398
c lw 73416
c lw 73540
c lw 73691
c lw 74079
c lw 74111
c lw 74330
c lw 74405
c lw 74863
c lw 74883
c lw 75261
c lw 75308
c lw 75512
c lw 76006
c lw 76075
c lw 76133
c lw 76141
c lw 76673
c lw 76728
c lw 76771
c lw 77360
c lw 77386
c lw 78158
c lw 78336
c lw 78376
c lw 78438
c lw 78477
c lw 78729
c lw 79602
c lw 79685
c lw 79901
c lw 80599
c lw 80755
c lw 80761
c lw 81304
c lw 81694
c lw 81984
c lw 82671
c lw 82750
c lw 82803
c lw 82960
c lw 83111
c lw 83558
c lw 83969
c lw 84031
c lw 84367
c lw 84564
c lw 84649
c lw 84987
c lw 85344
c lw 85359
c lw 85704
c lw 85816
c lw 86072
c lw 86107
c lw 86357
c lw 86388
c lw 86610
c lw 86627
c lw 86861
c lw 86918
c lw 87275
c lw 87299
c lw 87319
c lw 87337
c lw 87378
c lw 87553
c lw 87914
c lw 88047
c lw 88287
c lw 88412
c lw 88570
c lw 88919
c lw 88953
c lw 89019
c lw 89168
c lw 89916
c lw 90169
c lw 90330
c lw 90350
c lw 90470
c lw 91053
c lw 91078
c lw 91749
c lw 92766
c lw 92958
c lw 92977
c lw 93666
c lw 93950
c lw 94358
c lw 94515
c lw 94619
c lw 94660
c lw 94715
c lw 94993
c lw 95451
c lw 95692
c lw 95814
c lw 96026
c lw 96051
c lw 96542
c lw 96604
c lw 96856
c lw 96899
c lw 97600
c lw 97655
c lw 97928
c lw 98016
c lw 98044
c lw 98522
c lw 98684
c lw 98707
c lw 98878
c lw 99329
c lw 99411
c lw 99444
c lw 99795
c lw 99948
c lw 100709
c lw 100829
c lw 100891
c lw 102133
c lw 102171
c lw 102441
c lw 102470
c lw 102492
c lw 102942
c lw 102967
c lw 103444
c lw 103983
c lw 104011
c lw 104326
c lw 104381
c lw 104451
c lw 104600
c lw 104702
c lw 104781
c lw 104966
c lw 105452
c lw 106053
c lw 106394
c lw 106494
c lw 106694
c lw 106763
c lw 107322
c lw 107428
c lw 107445
c lw 108302
c lw 108338
c lw 109028
c lw 109580
c lw 109861
c lw 109975
c lw 110643
c lw 111211
c lw 111289
c lw 111489
c lw 111567
c lw 111819
c lw 112171
c lw 112966
c lw 113004
c lw 113062
c lw 113288
c lw 113359
c lw 113367
c lw 113687
c lw 113692
c lw 113886
c lw 113958
c lw 114008
c lw 114034
c lw 114576
c lw 114626
c lw 114698
c lw 115349
c lw 115389
c lw 115556
c lw 116259
c lw 116506
c lw 117137
c lw 117148
c lw 117540
c lw 117880
c lw 118330
c lw 119022
c lw 119291
c lw 119613
c lw 120190
c lw 120348
c lw 120494
c lw 120645
c lw 120766
c lw 120959
c lw 120968
c lw 121142
c lw 121303
c lw 121314
c lw 121334
c lw 121411
c lw 121589
c lw 122613
c lw 123189
c lw 123251
c lw 123428
c lw 123469
c lw 124135
c lw 124835
c lw 125001
c lw 125721
c lw 125807
c lw 125874
c lw 125879
c lw 125952
c lw 126249
c lw 126938
c lw 127660
c lw 127922
c lw 128212
c lw 128248
c lw 128651
c lw 129316
c lw 129405
c lw 129413
c lw 130094
c lw 130515
c lw 130783
c lw 130806
c lw 131366
c lw 131420
c lw 131451
c lw 131454
c lw 132570
c lw 132652
c lw 132848
c lw 132893
c lw 133015
c lw 133130
c lw 133577
c lw 133708
c lw 133802
c lw 133974
c lw 134040
c lw 134285
c lw 134812
c lw 135001
c lw 135048
c lw 135337
c lw 135510
c lw 135544
c lw 135930
c lw 136011
c lw 136049
c lw 136394
c lw 136435
c lw 136449
c lw 136478
c lw 136784
c lw 136790
c lw 136802
c lw 136821
c lw 136825
c lw 136843
c lw 136929
c lw 136989
c lw 137018
c lw 137033
c lw 137248
c lw 137503
c lw 137603
c lw 137869
c lw 137917
c lw 138013
c lw 138730
c lw 139645
c lw 139691
c lw 139709
c lw 139784
c lw 139902
c lw 139947
c lw 141152
c lw 141287
c lw 141308
c lw 141423
c lw 141437
c lw 142303
c lw 142832
c lw 143023
c lw 143153
c lw 143436
c lw 143648
c lw 143701
c lw 143721
c lw 143767
c lw 143772
c lw 143820
c lw 143833
c lw 143998
c lw 144157
c lw 144360
c lw 144411
c lw 144467
c lw 144545
c lw 145119
c lw 145433
c lw 145449
c lw 145505
c lw 145548
c lw 145681
c lw 145836
c lw 145841
c lw 146383
c lw 146535
c lw 146548
c lw 146567
c lw 146599
c lw 146606
c lw 146648
c lw 146716
c lw 147245
c lw 147336
c lw 147345
c lw 147676
c lw 147765
c lw 147910
c lw 148612
c lw 148620
c lw 148641
c lw 148809
c lw 148917
c lw 149142
c lw 149427
c lw 149508
c lw 149561
c lw 149601
c lw 149831
c lw 149977
c lw 150428
c lw 150862
c lw 151086
c lw 151174
c lw 151243
c lw 151417
c lw 151560
c lw 151633
c lw 151682
c lw 151980
c lw 152145
c lw 153198
c lw 153254
c lw 153422
c lw 153474
c lw 153476
c lw 153549
c lw 153550
c lw 153576
c lw 153964
c lw 154010
c lw 154045
c lw 154139
c lw 154163
c lw 154285
c lw 154402
c lw 154765
c lw 154766
c lw 154893
c lw 155035
c lw 155198
c lw 155438
c lw 156010
c lw 156315
c lw 156384
c lw 156393
c lw 156462
c lw 156471
c lw 156486
c lw 156529
c lw 156571
c lw 156617
c lw 156650
c lw 156663
c lw 156672
c lw 156691
c lw 156699
c lw 156958
c lw 157305
c lw 157599
c lw 158262
c lw 158657
c lw 159294
c lw 159406
c lw 159447
c lw 159505
c lw 159771
c lw 160180
c lw 160508
c lw 161275
c lw 161538
c lw 161575
c lw 161619
c lw 162383
c lw 162588
c lw 162734
c lw 162772
c lw 163308
c lw 163723
c lw 163746
c lw 163890
c lw 163893
c lw 163929
c lw 163931
c lw 164089
c lw 164402
c lw 164463
c lw 164735
c lw 165498
c lw 165534
c lw 165700
c lw 166135
c lw 166187
c lw 166198
c lw 166205
c lw 166967
c lw 167114
c lw 167306
c lw 167416
c lw 167730
c lw 167802
c lw 168219
c lw 168650
c lw 168814
c lw 169145
c lw 169325
c lw 169565
c lw 169820
c lw 170226
c lw 170371
c lw 171190
c lw 171297
c lw 171522
c lw 171700
c lw 172503
c lw 172811
c lw 173063
c lw 173116
c lw 173144
c lw 173775
c lw 173959
c lw 174017
c lw 174143
c lw 174259
c lw 174280
c lw 174550
c lw 174746
c lw 175031
c lw 175086
c lw 175733
c lw 175866
c lw 176051
c lw 176607
c lw 177087
c lw 177327
c lw 177379
c lw 177417
c lw 177427
c lw 177434
c lw 177435
c lw 177437
c lw 177460
c lw 177481
c lw 177482
c lw 177483
c lw 177502
c lw 177553
c lw 177646
c lw 177837
c lw 178631
c lw 178671
c lw 178699
c lw 179244
c lw 179654
c lw 179886
c lw 180155
c lw 180377
c lw 180604
c lw 180962
c lw 180979
c lw 180996
c lw 181145
c lw 181634
c lw 181643
c lw 181645
c lw 181666
c lw 181669
c lw 181677
c lw 181681
c lw 181690
c lw 181698
c lw 181734
c lw 181813
c lw 181884
c lw 182119
c lw 183152
c lw 183455
c lw 183513
c lw 183566
c lw 183568
c lw 183575
c lw 183583
c lw 183592
c lw 183596
c lw 183605
c lw 183610
c lw 183611
c lw 183654
c lw 183658
c lw 183725
c lw 183878
c lw 185175
c lw 185984
c lw 186562
c lw 187007
c lw 187187
c lw 187210
c lw 187460
c lw 187581
c lw 187690
c lw 188222
c lw 188843
c lw 189120
c lw 189406
c lw 189433
c lw 189601
c lw 189624
c lw 189831
c lw 189995
c lw 190374
c lw 190452
c lw 190510
c lw 190931
c lw 190963
c lw 190995
c lw 191010
c lw 191042
c lw 191252
c lw 191296
c lw 191328
c lw 191330
c lw 191339
c lw 191571
c lw 192848
c lw 192875
c lw 192880
c lw 192912
c lw 192955
c lw 193067
c lw 193068
c lw 193109
c lw 193330
c lw 193346
c lw 193894
c lw 194806
c lw 195630
c lw 195637
c lw 195666
c lw 195682
c lw 196285
c lw 196287
c lw 196334
c lw 196478
c lw 196638
c lw 196716
c lw 197030
c lw 197083
c lw 197108
c lw 198145
c lw 198147
c lw 198785
c lw 199369
c lw 199457
c lw 199461
c lw 199463
c lw 199472
c lw 199473
c lw 199475
c lw 199476
c lw 199480
c lw 199483
c lw 199484
c lw 199485
c lw 199486
c lw 199492
c lw 199499
c lw 199513
c lw 199526
c lw 200587
c lw 200595
c lw 200598
c lw 200619
c lw 200621
c lw 200983
c lw 200998
c lw 201014
c lw 201047
c lw 201048
c lw 201063
c lw 201231
c lw 201233
c lw 201239
c lw 201241
c lw 201261
c lw 201272
c lw 201275
c lw 201277
c lw 201279
c lw 201282
c lw 201286
c lw 201290
c lw 201294
c lw 201295
c lw 201297
c lw 201299
c lw 201307
c lw 201308
c lw 201310
c lw 201314
c lw 201316
c lw 201317
c lw 201326
c lw 201331
c lw 201334
c lw 201633
c lw 201657
c lw 201666
c lw 201667
c lw 201668
c lw 201671
c lw 201796
c lw 202695
c lw 202719
c lw 202733
c lw 202737
c lw 202749
c lw 202780
c lw 202784
c lw 202851
c lw 202860
c lw 202933
c lw 202962
c lw 202983
c lw 203179
c lw 203186
c lw 203188
c lw 203200
c lw 203213
c lw 203247
c lw 203321
c lw 203649
c lw 203873
c lw 203902
c lw 203965
c lw 204062
c lw 204102
c lw 204124
c lw 204131
c lw 204155
c lw 204158
c lw 204160
c lw 204164
c lw 204165
c lw 204166
c lw 204169
c lw 204171
c lw 204183
c lw 204185
c lw 204192
c lw 204195
c lw 204203
c lw 204216
c lw 204224
c lw 204230
c lw 204231
c lw 204234
c lw 204237
c lw 204238
c lw 204240
c lw 204252
c lw 204254
c lw 204257
c lw 204258
c lw 204259
c lw 204263
c lw 204265
c lw 204268
c lw 204292
c lw 205364
c lw 205690
c lw 205828
c lw 205889
c lw 205927
c lw 205928
c lw 206018
c lw 207175
c lw 207178
c lw 207239
c lw 207551
c lw 208330
c lw 208897
c lw 210253
c lw 210291
c lw 210792
c lw 211151
c lw 211237
c lw 211356
c lw 211486
c lw 211497
c lw 212007
c lw 212018
c lw 212114
c lw 213078
c lw 213152
c lw 213250
c lw 213476
c lw 213565
c lw 213576
c lw 213637
c lw 213958
c lw 213970
c lw 214044
c lw 214324
c lw 214347
c lw 214917
c lw 215596
c lw 215649
c lw 216101
c lw 216581
c lw 216686
c lw 217014
c lw 217238
c lw 217320
c lw 217463
c lw 217783
c lw 218330
c lw 218504
c lw 218581
c lw 218634
c lw 218973
c lw 219272
c lw 219316
c lw 219322
c lw 219360
c lw 219367
c lw 219391
c lw 220021
c lw 220059
c lw 220073
c lw 220210
c lw 221233
c lw 221318
c lw 221415
c lw 221453
c lw 221584
c lw 222545
c lw 222977
c lw 223053
c lw 223056
c lw 223059
c lw 223066
c lw 223080
c lw 223084
c lw 223085
c lw 223090
c lw 223095
c lw 223102
c lw 223536
c lw 223827
c lw 223921
c lw 224256
c lw 224287
c lw 224598
c lw 225029
c lw 225091
c lw 225107
c lw 225110
c lw 225117
c lw 225131
c lw 225588
c lw 225613
c lw 225655
c lw 225997
c lw 226000
c lw 226005
c lw 226236
c lw 226237
c lw 226240
c lw 226266
c lw 226340
c lw 226459
c lw 226545
c lw 226556
c lw 226779
c lw 226821
c lw 226833
c lw 226846
c lw 226859
c lw 226880
c lw 226882
c lw 226890
c lw 226901
c lw 226903
c lw 226913
c lw 226918
c lw 226932
c lw 226943
c lw 226954
c lw 226957
c lw 228503
c lw 228592
c lw 228709
c lw 229795
c lw 230070
c lw 230102
c lw 230162
c lw 230377
c lw 230618
c lw 230624
c lw 231029
c lw 231066
c lw 231070
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 -578 579 580 -581 -582 -583 -584 585 586 -587 -588 -589 590 -591 -592 593 -594 595 -596 -597 -598 -599 600 -601 602 -603 -604 -605 -606 607 -608 -609 610 -611 612 -613 -614 -615 616 -617 618 
o 231070
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-8.net.wcnf 231070
332.512u 3.593s 5:36.83 99.7%	0+0k 0+0io 0pf+0w