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-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 751
c lw 2711
c lw 3709
c lw 5064
c lw 6879
c lw 8509
c lw 9176
c lw 10179
c lw 11652
c lw 12417
c lw 14367
c lw 15083
c lw 15310
c lw 16937
c lw 17002
c lw 18173
c lw 18710
c lw 19622
c lw 19923
c lw 20535
c lw 23745
c lw 24103
c lw 25862
c lw 25986
c lw 26475
c lw 26559
c lw 27274
c lw 27849
c lw 29227
c lw 30844
c lw 31106
c lw 31543
c lw 31703
c lw 31755
c lw 31836
c lw 32303
c lw 32969
c lw 33535
c lw 34286
c lw 34417
c lw 35035
c lw 36320
c lw 36852
c lw 37087
c lw 37124
c lw 38204
c lw 38447
c lw 38939
c lw 39025
c lw 39059
c lw 39567
c lw 40839
c lw 41155
c lw 41307
c lw 41504
c lw 42498
c lw 42901
c lw 43650
c lw 44435
c lw 45021
c lw 45486
c lw 45769
c lw 46070
c lw 46664
c lw 46819
c lw 47036
c lw 47089
c lw 47156
c lw 47602
c lw 48389
c lw 48779
c lw 49118
c lw 50050
c lw 50584
c lw 50987
c lw 51069
c lw 51233
c lw 51974
c lw 52541
c lw 52576
c lw 52758
c lw 52994
c lw 53124
c lw 53389
c lw 53433
c lw 53559
c lw 53830
c lw 55154
c lw 55610
c lw 55716
c lw 55828
c lw 56227
c lw 56672
c lw 56706
c lw 56746
c lw 56781
c lw 56872
c lw 57255
c lw 57357
c lw 57509
c lw 57675
c lw 57704
c lw 58191
c lw 58762
c lw 58784
c lw 58786
c lw 58877
c lw 59189
c lw 59412
c lw 59422
c lw 59468
c lw 59933
c lw 60216
c lw 60428
c lw 60740
c lw 60856
c lw 61035
c lw 61060
c lw 61277
c lw 61330
c lw 61444
c lw 61495
c lw 61497
c lw 61549
c lw 61719
c lw 62109
c lw 62448
c lw 62497
c lw 62926
c lw 63785
c lw 64081
c lw 64150
c lw 64419
c lw 64780
c lw 65004
c lw 65646
c lw 65813
c lw 66378
c lw 66483
c lw 66523
c lw 67024
c lw 67067
c lw 67485
c lw 67632
c lw 67893
c lw 68241
c lw 68243
c lw 68501
c lw 68633
c lw 68636
c lw 68755
c lw 68887
c lw 69373
c lw 69566
c lw 69691
c lw 69757
c lw 70263
c lw 70547
c lw 70882
c lw 71062
c lw 71542
c lw 71967
c lw 72362
c lw 72449
c lw 72596
c lw 72974
c lw 73329
c lw 73960
c lw 74669
c lw 75227
c lw 75273
c lw 75439
c lw 75530
c lw 75594
c lw 75606
c lw 75773
c lw 75965
c lw 76190
c lw 76239
c lw 76390
c lw 77609
c lw 77697
c lw 77806
c lw 78118
c lw 78301
c lw 78366
c lw 78452
c lw 78565
c lw 78638
c lw 78820
c lw 79015
c lw 79023
c lw 79349
c lw 79380
c lw 79447
c lw 79768
c lw 79823
c lw 79833
c lw 79912
c lw 80037
c lw 80911
c lw 80928
c lw 81251
c lw 81317
c lw 81391
c lw 81475
c lw 81597
c lw 81761
c lw 81963
c lw 82091
c lw 82423
c lw 82757
c lw 82759
c lw 82824
c lw 82917
c lw 82924
c lw 82929
c lw 82981
c lw 83062
c lw 83237
c lw 83674
c lw 84324
c lw 84479
c lw 84509
c lw 84870
c lw 84978
c lw 85312
c lw 85675
c lw 85896
c lw 86170
c lw 86965
c lw 87236
c lw 87406
c lw 87434
c lw 87637
c lw 87915
c lw 87979
c lw 88321
c lw 88424
c lw 88675
c lw 88684
c lw 88848
c lw 89233
c lw 89299
c lw 89523
c lw 89682
c lw 89767
c lw 89787
c lw 89913
c lw 90081
c lw 91134
c lw 91401
c lw 91638
c lw 92072
c lw 93611
c lw 93724
c lw 94033
c lw 94124
c lw 94271
c lw 94368
c lw 94489
c lw 94534
c lw 94605
c lw 94837
c lw 94880
c lw 94950
c lw 95082
c lw 95901
c lw 96657
c lw 96675
c lw 97044
c lw 97092
c lw 97119
c lw 97269
c lw 97429
c lw 97806
c lw 98041
c lw 98087
c lw 98188
c lw 98580
c lw 99356
c lw 99493
c lw 99817
c lw 100469
c lw 100473
c lw 100674
c lw 100919
c lw 101181
c lw 101240
c lw 101690
c lw 101931
c lw 102051
c lw 102212
c lw 102443
c lw 102453
c lw 102755
c lw 102819
c lw 102864
c lw 103685
c lw 103943
c lw 103974
c lw 104544
c lw 104845
c lw 105584
c lw 106373
c lw 106539
c lw 107119
c lw 107219
c lw 107939
c lw 107989
c lw 108441
c lw 108519
c lw 109258
c lw 109395
c lw 109511
c lw 109583
c lw 109698
c lw 109802
c lw 109841
c lw 110444
c lw 110521
c lw 110766
c lw 110773
c lw 111093
c lw 111435
c lw 111741
c lw 111904
c lw 111930
c lw 111949
c lw 112202
c lw 112439
c lw 112503
c lw 112720
c lw 112732
c lw 112777
c lw 113059
c lw 113170
c lw 113681
c lw 113910
c lw 113945
c lw 114213
c lw 114277
c lw 114782
c lw 115455
c lw 115560
c lw 115712
c lw 115830
c lw 115902
c lw 116573
c lw 116993
c lw 117121
c lw 117198
c lw 117226
c lw 117460
c lw 117589
c lw 118118
c lw 118316
c lw 118408
c lw 119370
c lw 119537
c lw 119690
c lw 119756
c lw 119848
c lw 119861
c lw 120018
c lw 120147
c lw 120342
c lw 120382
c lw 120439
c lw 120552
c lw 121074
c lw 121383
c lw 121518
c lw 121787
c lw 122018
c lw 122191
c lw 122255
c lw 123011
c lw 123569
c lw 123584
c lw 124222
c lw 124265
c lw 124642
c lw 124688
c lw 125406
c lw 125661
c lw 125857
c lw 126544
c lw 126908
c lw 127030
c lw 127258
c lw 127401
c lw 127487
c lw 127502
c lw 127514
c lw 127629
c lw 127649
c lw 127756
c lw 127879
c lw 128315
c lw 128399
c lw 128456
c lw 128525
c lw 129083
c lw 129282
c lw 130249
c lw 131260
c lw 131361
c lw 131871
c lw 131992
c lw 132217
c lw 132263
c lw 133020
c lw 133039
c lw 133118
c lw 133815
c lw 134391
c lw 134480
c lw 134499
c lw 134615
c lw 134718
c lw 134935
c lw 134993
c lw 135026
c lw 135356
c lw 135361
c lw 135514
c lw 135857
c lw 136242
c lw 136398
c lw 136411
c lw 136540
c lw 136557
c lw 136588
c lw 136758
c lw 136895
c lw 137100
c lw 137141
c lw 137399
c lw 137418
c lw 137550
c lw 137608
c lw 137639
c lw 138329
c lw 138546
c lw 138699
c lw 138783
c lw 138799
c lw 138986
c lw 139168
c lw 139173
c lw 139567
c lw 139583
c lw 139863
c lw 140098
c lw 140120
c lw 140447
c lw 141063
c lw 141173
c lw 141498
c lw 141641
c lw 141646
c lw 141673
c lw 141761
c lw 142842
c lw 142854
c lw 142910
c lw 142922
c lw 142925
c lw 142953
c lw 142961
c lw 142974
c lw 143135
c lw 143146
c lw 143491
c lw 143547
c lw 143625
c lw 143686
c lw 143730
c lw 143930
c lw 144355
c lw 144386
c lw 144560
c lw 144658
c lw 144695
c lw 145002
c lw 145060
c lw 145067
c lw 145603
c lw 145726
c lw 145973
c lw 145975
c lw 146126
c lw 146127
c lw 146247
c lw 146270
c lw 146319
c lw 146324
c lw 146530
c lw 146551
c lw 146594
c lw 146921
c lw 146949
c lw 147742
c lw 147842
c lw 147873
c lw 148611
c lw 148630
c lw 148997
c lw 149066
c lw 149165
c lw 149906
c lw 150268
c lw 150273
c lw 150312
c lw 150747
c lw 150771
c lw 151119
c lw 151844
c lw 152141
c lw 152297
c lw 152743
c lw 152745
c lw 153073
c lw 154019
c lw 154119
c lw 155299
c lw 155748
c lw 155752
c lw 155759
c lw 155761
c lw 155764
c lw 155766
c lw 155780
c lw 155782
c lw 155796
c lw 155808
c lw 155809
c lw 155812
c lw 155827
c lw 156065
c lw 156278
c lw 157299
c lw 157359
c lw 157989
c lw 158169
c lw 158229
c lw 158242
c lw 158672
c lw 158914
c lw 159346
c lw 159463
c lw 159945
c lw 159971
c lw 160001
c lw 160240
c lw 160613
c lw 160665
c lw 160840
c lw 161389
c lw 161547
c lw 161569
c lw 161656
c lw 162046
c lw 162083
c lw 162085
c lw 162088
c lw 162090
c lw 162102
c lw 162107
c lw 162109
c lw 162218
c lw 162231
c lw 162233
c lw 162236
c lw 162237
c lw 162238
c lw 162239
c lw 162245
c lw 162247
c lw 162249
c lw 162404
c lw 162407
c lw 162710
c lw 163739
c lw 163970
c lw 165053
c lw 165305
c lw 165425
c lw 165573
c lw 165719
c lw 165825
c lw 165913
c lw 165999
c lw 166116
c lw 166176
c lw 166202
c lw 167352
c lw 167368
c lw 167371
c lw 167612
c lw 167802
c lw 167848
c lw 167882
c lw 167888
c lw 167889
c lw 167918
c lw 167921
c lw 168145
c lw 168191
c lw 168209
c lw 168251
c lw 168269
c lw 168285
c lw 168295
c lw 168317
c lw 168457
c lw 168511
c lw 168905
c lw 169453
c lw 170299
c lw 170834
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 
o 170834
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-5.net.wcnf 170834
93.838u 1.273s 1:35.32 99.7%	0+0k 0+0io 0pf+0w