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-160-1_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 811
c lw 1487
c lw 2710
c lw 3559
c lw 4888
c lw 5361
c lw 6236
c lw 6306
c lw 6855
c lw 7069
c lw 8147
c lw 8206
c lw 9234
c lw 10469
c lw 11789
c lw 13134
c lw 13947
c lw 14987
c lw 15630
c lw 15649
c lw 16056
c lw 16218
c lw 16293
c lw 16795
c lw 17372
c lw 17591
c lw 18176
c lw 18349
c lw 18723
c lw 18904
c lw 19248
c lw 20132
c lw 21104
c lw 21499
c lw 21618
c lw 22269
c lw 22662
c lw 23105
c lw 23988
c lw 24172
c lw 24272
c lw 24738
c lw 24822
c lw 25700
c lw 26887
c lw 26910
c lw 26914
c lw 27171
c lw 27390
c lw 27460
c lw 28303
c lw 28610
c lw 28957
c lw 29019
c lw 29228
c lw 29251
c lw 29302
c lw 29879
c lw 29893
c lw 30052
c lw 30358
c lw 30402
c lw 30425
c lw 31264
c lw 31431
c lw 31726
c lw 33168
c lw 33183
c lw 33217
c lw 33854
c lw 35209
c lw 35393
c lw 35420
c lw 35815
c lw 35934
c lw 36475
c lw 37063
c lw 37521
c lw 37827
c lw 38018
c lw 38128
c lw 38314
c lw 38521
c lw 38964
c lw 39246
c lw 39274
c lw 40138
c lw 40354
c lw 40700
c lw 40789
c lw 41373
c lw 41473
c lw 41977
c lw 42016
c lw 42600
c lw 42727
c lw 43440
c lw 43471
c lw 43968
c lw 44394
c lw 44833
c lw 45096
c lw 45380
c lw 45898
c lw 46034
c lw 47231
c lw 47567
c lw 47648
c lw 47902
c lw 48006
c lw 48026
c lw 48075
c lw 48935
c lw 49408
c lw 49663
c lw 49808
c lw 49858
c lw 50103
c lw 50608
c lw 51122
c lw 51125
c lw 51127
c lw 51128
c lw 51136
c lw 51240
c lw 51247
c lw 51287
c lw 51385
c lw 51646
c lw 51676
c lw 51856
c lw 51918
c lw 52653
c lw 52682
c lw 53416
c lw 53546
c lw 53812
c lw 54272
c lw 54557
c lw 54594
c lw 54790
c lw 54805
c lw 54817
c lw 54828
c lw 54872
c lw 54949
c lw 55027
c lw 55288
c lw 55307
c lw 55327
c lw 55378
c lw 55382
c lw 55411
c lw 55470
c lw 55513
c lw 56351
c lw 56680
c lw 56712
c lw 57242
c lw 57893
c lw 57984
c lw 59021
c lw 59141
c lw 59620
c lw 59624
c lw 59723
c lw 60962
c lw 61104
c lw 62310
c lw 62313
c lw 62392
c lw 62429
c lw 62881
c lw 63194
c lw 63323
c lw 63340
c lw 63868
c lw 64015
c lw 64023
c lw 64260
c lw 64468
c lw 64533
c lw 64553
c lw 64557
c lw 64558
c lw 64598
c lw 64606
c lw 64658
c lw 64907
c lw 65007
c lw 65804
c lw 65955
c lw 66166
c lw 66176
c lw 66659
c lw 66696
c lw 67103
c lw 67438
c lw 67466
c lw 68153
c lw 68171
c lw 68259
c lw 68348
c lw 68486
c lw 68707
c lw 68915
c lw 69200
c lw 69228
c lw 69424
c lw 69500
c lw 69600
c lw 69647
c lw 69731
c lw 69757
c lw 69774
c lw 69882
c lw 69964
c lw 70070
c lw 70892
c lw 71351
c lw 71524
c lw 72397
c lw 72439
c lw 72716
c lw 73342
c lw 73353
c lw 73356
c lw 73371
c lw 74027
c lw 74462
c lw 74520
c lw 74615
c lw 74704
c lw 75503
c lw 75780
c lw 75790
c lw 75908
c lw 76603
c lw 76618
c lw 76801
c lw 76859
c lw 76932
c lw 77666
c lw 77728
c lw 78379
c lw 78955
c lw 79146
c lw 79158
c lw 79695
c lw 80051
c lw 80746
c lw 81060
c lw 81596
c lw 81697
c lw 81707
c lw 81790
c lw 81791
c lw 81793
c lw 81814
c lw 81880
c lw 81915
c lw 81953
c lw 82089
c lw 82778
c lw 83018
c lw 83147
c lw 83287
c lw 83605
c lw 84184
c lw 84509
c lw 84727
c lw 84860
c lw 85090
c lw 85647
c lw 85686
c lw 85935
c lw 86005
c lw 86059
c lw 86554
c lw 86633
c lw 86637
c lw 87484
c lw 87488
c lw 87507
c lw 87873
c lw 88359
c lw 88363
c lw 88488
c lw 88823
c lw 88857
c lw 89274
c lw 89925
c lw 90315
c lw 90400
c lw 90421
c lw 90455
c lw 90463
c lw 90671
c lw 91234
c lw 91543
c lw 91809
c lw 92086
c lw 92087
c lw 92235
c lw 92320
c lw 92374
c lw 92816
c lw 93042
c lw 93107
c lw 93655
c lw 93709
c lw 93874
c lw 94382
c lw 95089
c lw 95119
c lw 95465
c lw 95580
c lw 96135
c lw 96439
c lw 96442
c lw 96546
c lw 96958
c lw 97206
c lw 97326
c lw 97726
c lw 98026
c lw 98529
c lw 98588
c lw 98829
c lw 99650
c lw 99677
c lw 99799
c lw 99916
c lw 100554
c lw 100932
c lw 101195
c lw 101263
c lw 101675
c lw 102187
c lw 102236
c lw 102598
c lw 102890
c lw 103234
c lw 103594
c lw 103615
c lw 103895
c lw 104196
c lw 104200
c lw 104304
c lw 104312
c lw 104321
c lw 104391
c lw 104459
c lw 105064
c lw 105134
c lw 105137
c lw 105138
c lw 105711
c lw 106120
c lw 106386
c lw 106602
c lw 106795
c lw 107095
c lw 107178
c lw 107202
c lw 107354
c lw 107355
c lw 108068
c lw 108142
c lw 108373
c lw 109646
c lw 109762
c lw 109885
c lw 110095
c lw 110508
c lw 110586
c lw 110590
c lw 110593
c lw 110898
c lw 111138
c lw 111309
c lw 111854
c lw 113031
c lw 113573
c lw 113866
c lw 113870
c lw 115122
c lw 115284
c lw 115445
c lw 115483
c lw 115625
c lw 115686
c lw 115984
c lw 116471
c lw 117093
c lw 117320
c lw 118463
c lw 119400
c lw 119873
c lw 120346
c lw 120478
c lw 120645
c lw 121172
c lw 121244
c lw 121364
c lw 121534
c lw 121556
c lw 121614
c lw 121616
c lw 121629
c lw 122070
c lw 122082
c lw 123034
c lw 123058
c lw 123095
c lw 123166
c lw 124053
c lw 124121
c lw 125196
c lw 125842
c lw 125937
c lw 126475
c lw 126560
c lw 126694
c lw 126728
c lw 127395
c lw 127626
c lw 127691
c lw 127924
c lw 128395
c lw 128553
c lw 128612
c lw 128642
c lw 128814
c lw 129100
c lw 129220
c lw 129267
c lw 129410
c lw 129997
c lw 130471
c lw 131102
c lw 131343
c lw 131579
c lw 131735
c lw 132076
c lw 132148
c lw 132427
c lw 132708
c lw 132771
c lw 132918
c lw 132927
c lw 132948
c lw 133041
c lw 133588
c lw 133660
c lw 134347
c lw 134641
c lw 134838
c lw 134863
c lw 135038
c lw 135447
c lw 136679
c lw 136681
c lw 136701
c lw 136817
c lw 136935
c lw 137412
c lw 137930
c lw 138044
c lw 138048
c lw 138245
c lw 138260
c lw 138317
c lw 138326
c lw 138758
c lw 139524
c lw 139571
c lw 139832
c lw 139844
c lw 140551
c lw 140605
c lw 141295
c lw 141701
c lw 143053
c lw 143091
c lw 143168
c lw 143461
c lw 143480
c lw 143562
c lw 143726
c lw 144326
c lw 144867
c lw 144924
c lw 144925
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 
o 144925
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-2.net.wcnf 144925
65.685u 0.709s 1:06.40 99.9%	0+0k 0+0io 0pf+0w