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-180-1_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1671
c lw 2637
c lw 4553
c lw 6251
c lw 7021
c lw 8246
c lw 9083
c lw 9911
c lw 10119
c lw 11556
c lw 12147
c lw 12549
c lw 13207
c lw 13902
c lw 13915
c lw 14363
c lw 15621
c lw 15917
c lw 16953
c lw 17006
c lw 17766
c lw 18715
c lw 18980
c lw 19118
c lw 20236
c lw 20535
c lw 20853
c lw 21322
c lw 21782
c lw 22747
c lw 23422
c lw 24644
c lw 25414
c lw 25584
c lw 26072
c lw 26085
c lw 26360
c lw 26592
c lw 27501
c lw 27646
c lw 28083
c lw 28263
c lw 28328
c lw 29100
c lw 29502
c lw 30077
c lw 30527
c lw 31087
c lw 31343
c lw 31452
c lw 32457
c lw 32523
c lw 32536
c lw 32632
c lw 32986
c lw 33159
c lw 33276
c lw 33351
c lw 34141
c lw 34833
c lw 34997
c lw 35353
c lw 35789
c lw 35844
c lw 36370
c lw 36411
c lw 36745
c lw 37709
c lw 37813
c lw 38067
c lw 38299
c lw 38497
c lw 38739
c lw 38884
c lw 39232
c lw 39321
c lw 39501
c lw 39566
c lw 39685
c lw 40272
c lw 40578
c lw 40674
c lw 40796
c lw 40854
c lw 41280
c lw 41352
c lw 41356
c lw 41415
c lw 41454
c lw 41743
c lw 41860
c lw 42024
c lw 42361
c lw 42460
c lw 42481
c lw 42679
c lw 42833
c lw 42899
c lw 43021
c lw 43338
c lw 43357
c lw 43403
c lw 44983
c lw 44994
c lw 45086
c lw 45139
c lw 45757
c lw 45983
c lw 46048
c lw 46060
c lw 46067
c lw 46303
c lw 46563
c lw 47226
c lw 47258
c lw 47418
c lw 47828
c lw 48197
c lw 48375
c lw 48645
c lw 49054
c lw 49389
c lw 49576
c lw 49902
c lw 50506
c lw 50607
c lw 51138
c lw 51562
c lw 51786
c lw 51947
c lw 52105
c lw 52946
c lw 53115
c lw 53504
c lw 53765
c lw 54280
c lw 54562
c lw 55037
c lw 55264
c lw 55546
c lw 56385
c lw 56517
c lw 56770
c lw 56942
c lw 56943
c lw 57387
c lw 57734
c lw 58229
c lw 58877
c lw 58878
c lw 60102
c lw 60271
c lw 60338
c lw 61322
c lw 62539
c lw 62910
c lw 63146
c lw 63172
c lw 63288
c lw 63528
c lw 64347
c lw 64359
c lw 64466
c lw 64912
c lw 65056
c lw 65241
c lw 65746
c lw 66297
c lw 66516
c lw 66847
c lw 67085
c lw 67149
c lw 67205
c lw 67227
c lw 67566
c lw 67888
c lw 68078
c lw 68133
c lw 68292
c lw 68770
c lw 69261
c lw 69586
c lw 69654
c lw 69882
c lw 70575
c lw 70838
c lw 71309
c lw 71615
c lw 71618
c lw 71667
c lw 71677
c lw 71718
c lw 71744
c lw 71929
c lw 72157
c lw 72516
c lw 73191
c lw 74589
c lw 74799
c lw 75139
c lw 75295
c lw 75520
c lw 75641
c lw 75860
c lw 76686
c lw 76811
c lw 77191
c lw 77501
c lw 77720
c lw 77967
c lw 78030
c lw 78065
c lw 78785
c lw 79037
c lw 79453
c lw 80816
c lw 81037
c lw 82137
c lw 82493
c lw 82563
c lw 82592
c lw 83040
c lw 83210
c lw 83248
c lw 83296
c lw 83413
c lw 83491
c lw 83583
c lw 83621
c lw 83669
c lw 83786
c lw 83799
c lw 83890
c lw 83895
c lw 83959
c lw 84578
c lw 84608
c lw 84710
c lw 85149
c lw 85242
c lw 85311
c lw 85338
c lw 85621
c lw 85896
c lw 86229
c lw 86385
c lw 86484
c lw 86590
c lw 87299
c lw 87408
c lw 87453
c lw 87531
c lw 87994
c lw 88037
c lw 88144
c lw 88154
c lw 88217
c lw 88627
c lw 88839
c lw 89065
c lw 89083
c lw 89541
c lw 89822
c lw 89911
c lw 90973
c lw 91470
c lw 91568
c lw 92204
c lw 92651
c lw 93056
c lw 93085
c lw 93133
c lw 93315
c lw 93568
c lw 93730
c lw 94271
c lw 94654
c lw 94662
c lw 94736
c lw 94744
c lw 95313
c lw 95535
c lw 95604
c lw 95625
c lw 96432
c lw 96663
c lw 97323
c lw 97475
c lw 97488
c lw 98569
c lw 98591
c lw 99806
c lw 99996
c lw 100060
c lw 101320
c lw 101687
c lw 101824
c lw 101976
c lw 102195
c lw 102286
c lw 102313
c lw 102331
c lw 102445
c lw 102485
c lw 102590
c lw 102620
c lw 102734
c lw 102933
c lw 103028
c lw 103215
c lw 104113
c lw 104323
c lw 104407
c lw 104727
c lw 105062
c lw 105186
c lw 105323
c lw 105903
c lw 105933
c lw 106077
c lw 106118
c lw 106161
c lw 107033
c lw 107145
c lw 107166
c lw 107554
c lw 107978
c lw 108473
c lw 109022
c lw 109763
c lw 109861
c lw 109898
c lw 110400
c lw 110679
c lw 110939
c lw 111283
c lw 111575
c lw 111695
c lw 112162
c lw 112163
c lw 112241
c lw 112501
c lw 112597
c lw 112630
c lw 112996
c lw 113213
c lw 113385
c lw 113700
c lw 113785
c lw 114010
c lw 114065
c lw 114103
c lw 114971
c lw 115060
c lw 115077
c lw 115842
c lw 116008
c lw 116012
c lw 116284
c lw 117159
c lw 117381
c lw 117466
c lw 117594
c lw 118097
c lw 118388
c lw 118571
c lw 118610
c lw 118671
c lw 118715
c lw 119083
c lw 119801
c lw 119886
c lw 119896
c lw 120060
c lw 120500
c lw 120556
c lw 120604
c lw 121481
c lw 121563
c lw 121623
c lw 122034
c lw 122085
c lw 122086
c lw 122251
c lw 122273
c lw 122976
c lw 123123
c lw 123333
c lw 123371
c lw 123381
c lw 123493
c lw 123737
c lw 123757
c lw 123972
c lw 123984
c lw 123986
c lw 124233
c lw 124238
c lw 124255
c lw 124256
c lw 124733
c lw 124737
c lw 125068
c lw 125120
c lw 125936
c lw 126148
c lw 126464
c lw 126816
c lw 127397
c lw 127657
c lw 127744
c lw 127790
c lw 127994
c lw 128000
c lw 128031
c lw 128700
c lw 128772
c lw 128815
c lw 128886
c lw 129111
c lw 129209
c lw 130208
c lw 130719
c lw 131715
c lw 132236
c lw 132333
c lw 132349
c lw 132851
c lw 132930
c lw 133714
c lw 133929
c lw 133962
c lw 134284
c lw 134558
c lw 134727
c lw 135101
c lw 135191
c lw 135383
c lw 135426
c lw 135496
c lw 135563
c lw 135700
c lw 135947
c lw 136528
c lw 137521
c lw 137564
c lw 138213
c lw 138743
c lw 139609
c lw 139716
c lw 139770
c lw 139825
c lw 139840
c lw 139863
c lw 139925
c lw 139943
c lw 139945
c lw 140678
c lw 141152
c lw 142119
c lw 143003
c lw 143175
c lw 143197
c lw 144497
c lw 144624
c lw 144827
c lw 145222
c lw 145594
c lw 146010
c lw 146128
c lw 146302
c lw 146500
c lw 146624
c lw 146827
c lw 146829
c lw 146834
c lw 146919
c lw 147032
c lw 147093
c lw 147409
c lw 147449
c lw 147556
c lw 148136
c lw 148604
c lw 149087
c lw 149740
c lw 149769
c lw 149813
c lw 150526
c lw 150711
c lw 150878
c lw 150922
c lw 151325
c lw 151369
c lw 151502
c lw 152023
c lw 152077
c lw 152376
c lw 153331
c lw 153484
c lw 153973
c lw 154000
c lw 154090
c lw 154619
c lw 155746
c lw 155788
c lw 156181
c lw 156398
c lw 157602
c lw 157821
c lw 158532
c lw 158988
c lw 159061
c lw 159178
c lw 159430
c lw 159908
c lw 160222
c lw 160721
c lw 161235
c lw 161731
c lw 162262
c lw 162696
c lw 162813
c lw 162992
c lw 163049
c lw 163060
c lw 163104
c lw 163168
c lw 163229
c lw 163272
c lw 163283
c lw 163315
c lw 163316
c lw 163333
c lw 163336
c lw 163362
c lw 163477
c lw 163495
c lw 163523
c lw 163567
c lw 163591
c lw 163603
c lw 163628
c lw 163713
c lw 163719
c lw 163918
c lw 164060
c lw 164115
c lw 164167
c lw 164940
c lw 164990
c lw 165137
c lw 165604
c lw 165646
c lw 165701
c lw 167144
c lw 167307
c lw 167316
c lw 167334
c lw 167366
c lw 167434
c lw 167596
c lw 167967
c lw 167980
c lw 169166
c lw 169225
c lw 169308
c lw 169358
c lw 169363
c lw 169587
c lw 169989
c lw 170117
c lw 170578
c lw 170769
c lw 170945
c lw 171330
c lw 171441
c lw 171484
c lw 171656
c lw 171674
c lw 171685
c lw 171693
c lw 171694
c lw 171696
c lw 171700
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 
o 171700
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-4.net.wcnf 171700
89.553u 1.179s 1:30.73 99.9%	0+0k 0+0io 0pf+0w