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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 910
c lw 1930
c lw 3080
c lw 3689
c lw 3792
c lw 5693
c lw 6919
c lw 8084
c lw 8209
c lw 8978
c lw 9189
c lw 10496
c lw 10796
c lw 11574
c lw 13090
c lw 14756
c lw 16269
c lw 17726
c lw 18849
c lw 19304
c lw 20052
c lw 20077
c lw 21384
c lw 22770
c lw 23835
c lw 25180
c lw 26636
c lw 26700
c lw 28140
c lw 28380
c lw 28788
c lw 29822
c lw 31269
c lw 32366
c lw 32401
c lw 32677
c lw 32802
c lw 33157
c lw 33536
c lw 33805
c lw 34267
c lw 34941
c lw 35339
c lw 35711
c lw 36944
c lw 36956
c lw 37260
c lw 37798
c lw 37862
c lw 38640
c lw 39245
c lw 39872
c lw 40585
c lw 40988
c lw 41379
c lw 41701
c lw 42072
c lw 42133
c lw 43076
c lw 44127
c lw 44732
c lw 44741
c lw 45132
c lw 45158
c lw 45563
c lw 46464
c lw 46471
c lw 47010
c lw 47546
c lw 47757
c lw 47855
c lw 48244
c lw 49121
c lw 49178
c lw 49330
c lw 50154
c lw 50363
c lw 50931
c lw 51563
c lw 51774
c lw 51885
c lw 52166
c lw 52518
c lw 52528
c lw 52696
c lw 52847
c lw 53042
c lw 53097
c lw 53496
c lw 54896
c lw 55220
c lw 55738
c lw 55930
c lw 55942
c lw 56121
c lw 56225
c lw 56350
c lw 57068
c lw 57148
c lw 57573
c lw 57637
c lw 57731
c lw 57948
c lw 58057
c lw 58372
c lw 58430
c lw 59081
c lw 59327
c lw 59501
c lw 60184
c lw 60234
c lw 60438
c lw 60629
c lw 60891
c lw 60917
c lw 61023
c lw 61229
c lw 61363
c lw 61769
c lw 62662
c lw 62896
c lw 63148
c lw 64048
c lw 64718
c lw 64779
c lw 65452
c lw 66343
c lw 66344
c lw 66351
c lw 66495
c lw 66706
c lw 66804
c lw 67048
c lw 67059
c lw 67408
c lw 67424
c lw 68005
c lw 68902
c lw 69101
c lw 69165
c lw 69253
c lw 69368
c lw 69586
c lw 69943
c lw 70813
c lw 71310
c lw 71423
c lw 72081
c lw 72332
c lw 72369
c lw 72541
c lw 73078
c lw 73242
c lw 73418
c lw 73518
c lw 74363
c lw 74724
c lw 74731
c lw 75137
c lw 75420
c lw 75577
c lw 75675
c lw 76084
c lw 76174
c lw 76285
c lw 76407
c lw 76885
c lw 76930
c lw 77301
c lw 77311
c lw 77463
c lw 77479
c lw 77630
c lw 77639
c lw 77694
c lw 78093
c lw 78292
c lw 78670
c lw 78763
c lw 78887
c lw 79032
c lw 79347
c lw 79397
c lw 79601
c lw 79765
c lw 79858
c lw 80913
c lw 81139
c lw 81188
c lw 81200
c lw 81358
c lw 81444
c lw 81615
c lw 81741
c lw 81768
c lw 81959
c lw 81979
c lw 82343
c lw 83029
c lw 83049
c lw 84065
c lw 84191
c lw 84444
c lw 84520
c lw 84627
c lw 84639
c lw 84880
c lw 85323
c lw 85680
c lw 86043
c lw 86312
c lw 86372
c lw 86769
c lw 86776
c lw 86781
c lw 87604
c lw 87628
c lw 87792
c lw 88179
c lw 88365
c lw 88377
c lw 88556
c lw 88634
c lw 88853
c lw 89029
c lw 89053
c lw 89141
c lw 89272
c lw 89320
c lw 89326
c lw 89350
c lw 89430
c lw 89476
c lw 89497
c lw 89525
c lw 89550
c lw 89562
c lw 89569
c lw 89574
c lw 89728
c lw 89748
c lw 89786
c lw 89823
c lw 89830
c lw 89835
c lw 89841
c lw 89856
c lw 89861
c lw 89948
c lw 90555
c lw 90687
c lw 91445
c lw 91924
c lw 92172
c lw 92545
c lw 92632
c lw 93023
c lw 93623
c lw 93643
c lw 93674
c lw 94048
c lw 94877
c lw 95276
c lw 96175
c lw 96639
c lw 96724
c lw 96788
c lw 97043
c lw 98467
c lw 98648
c lw 98726
c lw 98740
c lw 99796
c lw 99915
c lw 99944
c lw 100294
c lw 100423
c lw 100624
c lw 101043
c lw 101788
c lw 101954
c lw 102012
c lw 102036
c lw 102176
c lw 102521
c lw 102851
c lw 103659
c lw 103817
c lw 104054
c lw 104596
c lw 105095
c lw 105162
c lw 105239
c lw 105540
c lw 105968
c lw 106125
c lw 106159
c lw 106265
c lw 106635
c lw 106708
c lw 106789
c lw 107179
c lw 107874
c lw 108150
c lw 108183
c lw 108192
c lw 108228
c lw 108348
c lw 108573
c lw 108616
c lw 108988
c lw 109026
c lw 109152
c lw 109496
c lw 109585
c lw 110243
c lw 110310
c lw 110660
c lw 110662
c lw 110684
c lw 111079
c lw 111193
c lw 111237
c lw 111369
c lw 112012
c lw 112493
c lw 112862
c lw 113000
c lw 113002
c lw 113539
c lw 113764
c lw 113849
c lw 113992
c lw 114290
c lw 114660
c lw 114671
c lw 114691
c lw 114889
c lw 115111
c lw 115127
c lw 115360
c lw 115529
c lw 116025
c lw 116594
c lw 116721
c lw 116905
c lw 117550
c lw 118253
c lw 118395
c lw 118842
c lw 118923
c lw 118937
c lw 119010
c lw 119201
c lw 119210
c lw 119551
c lw 119560
c lw 119829
c lw 120206
c lw 120429
c lw 121122
c lw 121140
c lw 121761
c lw 121885
c lw 122052
c lw 122056
c lw 122432
c lw 122693
c lw 123068
c lw 123092
c lw 123824
c lw 123885
c lw 124122
c lw 124302
c lw 124655
c lw 124684
c lw 125193
c lw 125211
c lw 126297
c lw 126352
c lw 126750
c lw 126760
c lw 126860
c lw 126872
c lw 127189
c lw 127203
c lw 127330
c lw 127334
c lw 128134
c lw 128202
c lw 128229
c lw 128266
c lw 128278
c lw 128329
c lw 128343
c lw 128438
c lw 128453
c lw 128470
c lw 128730
c lw 129642
c lw 129765
c lw 130042
c lw 131104
c lw 131174
c lw 131200
c lw 131688
c lw 131769
c lw 132232
c lw 132290
c lw 132363
c lw 132460
c lw 132500
c lw 132538
c lw 132603
c lw 133006
c lw 133047
c lw 133169
c lw 133351
c lw 133541
c lw 133945
c lw 134255
c lw 134340
c lw 134396
c lw 134604
c lw 134788
c lw 134794
c lw 134796
c lw 134826
c lw 134828
c lw 134846
c lw 134856
c lw 134891
c lw 134938
c lw 135094
c lw 135621
c lw 135997
c lw 136389
c lw 136742
c lw 137021
c lw 137184
c lw 137261
c lw 138173
c lw 138239
c lw 138367
c lw 138997
c lw 139637
c lw 140380
c lw 140445
c lw 140976
c lw 141080
c lw 141262
c lw 141326
c lw 141343
c lw 142004
c lw 142751
c lw 143361
c lw 143442
c lw 143895
c lw 144458
c lw 144461
c lw 144564
c lw 144580
c lw 144684
c lw 144716
c lw 144972
c lw 145173
c lw 145313
c lw 145336
c lw 145430
c lw 145436
c lw 145533
c lw 145549
c lw 145606
c lw 145665
c lw 145873
c lw 146042
c lw 146216
c lw 146405
c lw 146474
c lw 147031
c lw 147051
c lw 147349
c lw 147739
c lw 148139
c lw 148246
c lw 148251
c lw 148577
c lw 149232
c lw 149340
c lw 150059
c lw 150184
c lw 150263
c lw 150871
c lw 150905
c lw 151282
c lw 151690
c lw 152100
c lw 152259
c lw 152549
c lw 153371
c lw 153388
c lw 153478
c lw 153481
c lw 153515
c lw 153553
c lw 153557
c lw 153605
c lw 153886
c lw 154311
c lw 154949
c lw 154992
c lw 155618
c lw 156012
c lw 156186
c lw 156189
c lw 156754
c lw 156759
c lw 156766
c lw 156839
c lw 156841
c lw 156847
c lw 157048
c lw 157087
c lw 157162
c lw 157220
c lw 157283
c lw 157350
c lw 157362
c lw 157387
c lw 157410
c lw 157414
c lw 157434
c lw 157458
c lw 157482
c lw 157492
c lw 157504
c lw 157515
c lw 157562
c lw 157567
c lw 157574
c lw 157579
c lw 157582
c lw 157583
c lw 157597
c lw 157663
c lw 157729
c lw 157879
c lw 158144
c lw 158284
c lw 158323
c lw 159639
c lw 159677
c lw 159717
c lw 159743
c lw 159863
c lw 159948
c lw 160340
c lw 160467
c lw 160752
c lw 161520
c lw 161761
c lw 162033
c lw 163000
c lw 163176
c lw 163186
c lw 163300
c lw 164302
c lw 164304
c lw 164372
c lw 164581
c lw 164595
c lw 164805
c lw 164868
c lw 165064
c lw 165619
c lw 165638
c lw 165694
c lw 165770
c lw 166372
c lw 166448
c lw 166504
c lw 166709
c lw 166711
c lw 166879
c lw 166914
c lw 166931
c lw 167311
c lw 167565
c lw 167771
c lw 167899
c lw 167980
c lw 168035
c lw 168038
c lw 168059
c lw 168123
c lw 168348
c lw 168483
c lw 169215
c lw 169470
c lw 169537
c lw 169713
c lw 170183
c lw 170188
c lw 170378
c lw 170434
c lw 171020
c lw 171596
c lw 171668
c lw 172514
c lw 172525
c lw 172563
c lw 172781
c lw 172785
c lw 173558
c lw 173805
c lw 173820
c lw 173961
c lw 174345
c lw 174399
c lw 174804
c lw 175081
c lw 175214
c lw 175225
c lw 175241
c lw 175343
c lw 175345
c lw 175366
c lw 176060
c lw 176750
c lw 176815
c lw 177078
c lw 177738
c lw 177919
c lw 178452
c lw 178907
c lw 178979
c lw 179068
c lw 179112
c lw 179134
c lw 179180
c lw 180072
c lw 180158
c lw 180302
c lw 180766
c lw 181031
c lw 181064
c lw 181098
c lw 181155
c lw 181426
c lw 181554
c lw 181618
c lw 181655
c lw 182352
c lw 182498
c lw 182562
c lw 182753
c lw 183213
c lw 183281
c lw 183285
c lw 183296
c lw 183457
c lw 183894
c lw 183896
c lw 184397
c lw 185317
c lw 185382
c lw 185423
c lw 185564
c lw 185976
c lw 186024
c lw 186038
c lw 186057
c lw 186086
c lw 186091
c lw 186148
c lw 186181
c lw 186295
c lw 186978
c lw 187447
c lw 187660
c lw 187845
c lw 187928
c lw 188035
c lw 189130
c lw 189147
c lw 189174
c lw 189188
c lw 190194
c lw 190243
c lw 190813
c lw 191190
c lw 191199
c lw 191225
c lw 191623
c lw 191730
c lw 191767
c lw 191783
c lw 191823
c lw 191861
c lw 191901
c lw 191909
c lw 191967
c lw 191974
c lw 191980
c lw 192025
c lw 192026
c lw 192031
c lw 192032
c lw 192045
c lw 192055
c lw 192076
c lw 192090
c lw 192104
c lw 192111
c lw 192149
c lw 193042
c lw 193110
c lw 193149
c lw 193162
c lw 193172
c lw 193188
c lw 193190
c lw 193283
c lw 193329
c lw 193332
c lw 193336
c lw 193346
c lw 193350
c lw 193369
c lw 193498
c lw 193765
c lw 193945
c lw 193984
c lw 194526
c lw 194831
c lw 195302
c lw 195468
c lw 195637
c lw 195811
c lw 195814
c lw 195815
c lw 195822
c lw 195823
c lw 195829
c lw 195839
c lw 195842
c lw 195843
c lw 195855
c lw 195857
c lw 195864
c lw 195873
c lw 196937
c lw 197370
c lw 197417
c lw 197592
c lw 197763
c lw 198047
c lw 198193
c lw 198415
c lw 199078
c lw 199234
c lw 199242
c lw 199808
c lw 199909
c lw 199944
c lw 199974
c lw 199975
c lw 199977
c lw 200002
c lw 200057
c lw 200133
c lw 200396
c lw 200548
c lw 200687
c lw 201024
c lw 201025
c lw 201026
c lw 201029
c lw 201030
c lw 201033
c lw 201034
c lw 201036
c lw 201041
c lw 202079
c lw 202114
c lw 202119
c lw 202236
c lw 202979
c lw 203024
c lw 203741
c lw 203779
c lw 203780
c lw 203781
c lw 203782
c lw 203783
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 
o 203783
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-7.net.wcnf 203783
146.310u 2.701s 2:29.06 99.9%	0+0k 0+0io 1pf+0w