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-280-1_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 444
c lw 1883
c lw 3041
c lw 3898
c lw 5623
c lw 7015
c lw 8835
c lw 10649
c lw 12892
c lw 14035
c lw 14716
c lw 15923
c lw 16828
c lw 17546
c lw 19076
c lw 20408
c lw 21958
c lw 23165
c lw 24081
c lw 24370
c lw 25089
c lw 26543
c lw 26990
c lw 27024
c lw 28220
c lw 28765
c lw 29767
c lw 31110
c lw 31630
c lw 32180
c lw 33879
c lw 34626
c lw 35722
c lw 36672
c lw 37156
c lw 37342
c lw 37860
c lw 38859
c lw 39577
c lw 41608
c lw 42005
c lw 42051
c lw 42961
c lw 44327
c lw 45970
c lw 47366
c lw 47380
c lw 47387
c lw 47488
c lw 48018
c lw 48052
c lw 48632
c lw 49189
c lw 49576
c lw 50121
c lw 50199
c lw 50342
c lw 50578
c lw 51604
c lw 52227
c lw 53779
c lw 54117
c lw 54654
c lw 55577
c lw 56116
c lw 56280
c lw 56311
c lw 56583
c lw 56915
c lw 58082
c lw 58829
c lw 59321
c lw 59429
c lw 59465
c lw 59697
c lw 60122
c lw 60408
c lw 60472
c lw 60828
c lw 61346
c lw 61588
c lw 61809
c lw 62124
c lw 62384
c lw 62966
c lw 63078
c lw 63523
c lw 64588
c lw 64615
c lw 64822
c lw 65080
c lw 66324
c lw 66470
c lw 66489
c lw 66903
c lw 67070
c lw 67102
c lw 67437
c lw 67441
c lw 67515
c lw 68474
c lw 68624
c lw 68657
c lw 68812
c lw 68856
c lw 69009
c lw 69238
c lw 69962
c lw 70023
c lw 70105
c lw 70256
c lw 70406
c lw 70777
c lw 71432
c lw 72302
c lw 73256
c lw 74538
c lw 75152
c lw 75185
c lw 75692
c lw 76252
c lw 76324
c lw 76747
c lw 77339
c lw 77534
c lw 78406
c lw 78945
c lw 79195
c lw 79505
c lw 80898
c lw 81049
c lw 81249
c lw 81865
c lw 81899
c lw 81970
c lw 82246
c lw 82909
c lw 82934
c lw 83598
c lw 83775
c lw 84454
c lw 84647
c lw 84748
c lw 84828
c lw 85659
c lw 86298
c lw 86542
c lw 87075
c lw 87783
c lw 87982
c lw 88204
c lw 88285
c lw 88496
c lw 88664
c lw 89318
c lw 89776
c lw 90247
c lw 90479
c lw 90904
c lw 91190
c lw 91509
c lw 92012
c lw 92027
c lw 92206
c lw 93123
c lw 93527
c lw 93568
c lw 94131
c lw 94143
c lw 94447
c lw 94762
c lw 95000
c lw 95022
c lw 95550
c lw 95604
c lw 95716
c lw 95752
c lw 95783
c lw 96286
c lw 96445
c lw 96588
c lw 96608
c lw 97065
c lw 97390
c lw 97527
c lw 98211
c lw 98410
c lw 99140
c lw 99190
c lw 99210
c lw 99463
c lw 99721
c lw 100362
c lw 100692
c lw 100711
c lw 101061
c lw 101228
c lw 101446
c lw 101450
c lw 101500
c lw 101650
c lw 101746
c lw 101956
c lw 102186
c lw 102713
c lw 103122
c lw 103125
c lw 103260
c lw 103405
c lw 103450
c lw 103995
c lw 104291
c lw 104484
c lw 105034
c lw 105550
c lw 105701
c lw 105722
c lw 106648
c lw 106748
c lw 107221
c lw 107418
c lw 107526
c lw 108180
c lw 108236
c lw 108306
c lw 108322
c lw 108993
c lw 109490
c lw 109860
c lw 110403
c lw 110684
c lw 110788
c lw 110815
c lw 110884
c lw 110998
c lw 111460
c lw 111571
c lw 111635
c lw 112082
c lw 112301
c lw 112316
c lw 113214
c lw 113781
c lw 114480
c lw 115349
c lw 115588
c lw 115620
c lw 115700
c lw 115877
c lw 115891
c lw 115940
c lw 116159
c lw 116384
c lw 116417
c lw 116700
c lw 117070
c lw 117438
c lw 118175
c lw 118188
c lw 118596
c lw 118657
c lw 119168
c lw 119300
c lw 119338
c lw 119818
c lw 119879
c lw 120485
c lw 120497
c lw 120575
c lw 120900
c lw 121374
c lw 121418
c lw 121573
c lw 121795
c lw 121980
c lw 122910
c lw 122965
c lw 123343
c lw 123724
c lw 123917
c lw 123962
c lw 124042
c lw 124283
c lw 124478
c lw 124967
c lw 125217
c lw 125864
c lw 125962
c lw 126264
c lw 127069
c lw 127264
c lw 128009
c lw 128268
c lw 128467
c lw 128622
c lw 128635
c lw 128681
c lw 129042
c lw 129240
c lw 129421
c lw 129525
c lw 129681
c lw 130085
c lw 130434
c lw 130474
c lw 131086
c lw 131279
c lw 131329
c lw 131442
c lw 131510
c lw 132206
c lw 132255
c lw 132729
c lw 132793
c lw 133449
c lw 133542
c lw 133944
c lw 134126
c lw 134768
c lw 134869
c lw 134931
c lw 135162
c lw 135247
c lw 135526
c lw 135583
c lw 136266
c lw 136384
c lw 136785
c lw 136909
c lw 137314
c lw 137391
c lw 137483
c lw 137685
c lw 137856
c lw 137924
c lw 138198
c lw 139305
c lw 139742
c lw 140845
c lw 140905
c lw 141106
c lw 141267
c lw 141539
c lw 141586
c lw 141804
c lw 141805
c lw 142079
c lw 142121
c lw 142391
c lw 142502
c lw 142869
c lw 143241
c lw 143452
c lw 143706
c lw 143811
c lw 144001
c lw 144027
c lw 144905
c lw 145214
c lw 145270
c lw 145374
c lw 145383
c lw 145394
c lw 145403
c lw 145478
c lw 145504
c lw 145535
c lw 145546
c lw 145555
c lw 145566
c lw 145681
c lw 146151
c lw 146489
c lw 146854
c lw 146941
c lw 147602
c lw 147811
c lw 147964
c lw 148306
c lw 149250
c lw 149475
c lw 150083
c lw 150130
c lw 150331
c lw 150336
c lw 150516
c lw 150578
c lw 150841
c lw 151370
c lw 151462
c lw 151541
c lw 151628
c lw 151654
c lw 152317
c lw 152480
c lw 152556
c lw 152600
c lw 152692
c lw 152853
c lw 153185
c lw 153658
c lw 153718
c lw 153782
c lw 154273
c lw 154639
c lw 155913
c lw 155943
c lw 156365
c lw 157232
c lw 157309
c lw 157471
c lw 157717
c lw 157785
c lw 158049
c lw 158360
c lw 158573
c lw 158641
c lw 158642
c lw 158788
c lw 159069
c lw 159135
c lw 159254
c lw 159377
c lw 159475
c lw 159510
c lw 160020
c lw 160421
c lw 160566
c lw 160843
c lw 160915
c lw 160968
c lw 161219
c lw 161880
c lw 161948
c lw 162489
c lw 162541
c lw 163006
c lw 163033
c lw 163229
c lw 164000
c lw 164119
c lw 164131
c lw 164136
c lw 164207
c lw 164218
c lw 164231
c lw 164244
c lw 164323
c lw 164460
c lw 164474
c lw 164513
c lw 164959
c lw 165145
c lw 165527
c lw 165608
c lw 166311
c lw 166320
c lw 166335
c lw 166368
c lw 166529
c lw 166536
c lw 166543
c lw 166547
c lw 166550
c lw 166559
c lw 166695
c lw 166727
c lw 166824
c lw 167029
c lw 167045
c lw 167576
c lw 167607
c lw 167847
c lw 168042
c lw 168103
c lw 168132
c lw 168636
c lw 168794
c lw 169177
c lw 169183
c lw 169424
c lw 169668
c lw 170116
c lw 170424
c lw 170838
c lw 171205
c lw 171553
c lw 171873
c lw 172072
c lw 172178
c lw 172789
c lw 172793
c lw 172839
c lw 172983
c lw 174233
c lw 174579
c lw 174628
c lw 175014
c lw 175070
c lw 175125
c lw 175138
c lw 175151
c lw 175208
c lw 175213
c lw 175307
c lw 175400
c lw 175646
c lw 175685
c lw 176206
c lw 176375
c lw 176404
c lw 176597
c lw 176790
c lw 176791
c lw 176830
c lw 176877
c lw 177805
c lw 177838
c lw 178290
c lw 179017
c lw 179127
c lw 179241
c lw 179408
c lw 179474
c lw 179938
c lw 180379
c lw 180628
c lw 180914
c lw 181041
c lw 181072
c lw 181131
c lw 181921
c lw 182593
c lw 182810
c lw 182927
c lw 183558
c lw 183811
c lw 184055
c lw 184096
c lw 184174
c lw 184518
c lw 185080
c lw 185118
c lw 185300
c lw 185323
c lw 185597
c lw 185837
c lw 185886
c lw 186296
c lw 186302
c lw 186328
c lw 186420
c lw 186492
c lw 187582
c lw 187666
c lw 187773
c lw 187821
c lw 188066
c lw 188330
c lw 188334
c lw 188409
c lw 188438
c lw 188456
c lw 188457
c lw 188495
c lw 188496
c lw 188508
c lw 188748
c lw 188897
c lw 189295
c lw 189339
c lw 189918
c lw 189983
c lw 190141
c lw 190164
c lw 190179
c lw 190531
c lw 190713
c lw 191141
c lw 191632
c lw 192007
c lw 192044
c lw 192048
c lw 192111
c lw 192136
c lw 192162
c lw 192274
c lw 192382
c lw 192388
c lw 192466
c lw 192522
c lw 192558
c lw 193266
c lw 193425
c lw 193432
c lw 193436
c lw 193440
c lw 194041
c lw 194160
c lw 194854
c lw 195399
c lw 195671
c lw 196026
c lw 196174
c lw 196594
c lw 196692
c lw 196803
c lw 197294
c lw 197504
c lw 197747
c lw 198027
c lw 198091
c lw 198151
c lw 198171
c lw 198205
c lw 198272
c lw 198298
c lw 198304
c lw 198310
c lw 198401
c lw 198893
c lw 198894
c lw 198902
c lw 198904
c lw 198919
c lw 198924
c lw 198926
c lw 198930
c lw 198934
c lw 198941
c lw 198965
c lw 199638
c lw 200098
c lw 200194
c lw 200870
c lw 201064
c lw 201114
c lw 201186
c lw 201242
c lw 201475
c lw 201809
c lw 201858
c lw 201975
c lw 202173
c lw 202681
c lw 202687
c lw 203077
c lw 203282
c lw 203584
c lw 203711
c lw 203746
c lw 203747
c lw 203778
c lw 204148
c lw 204271
c lw 204363
c lw 204413
c lw 204418
c lw 205198
c lw 205681
c lw 205685
c lw 205740
c lw 205916
c lw 206173
c lw 206726
c lw 207276
c lw 207297
c lw 207399
c lw 207736
c lw 208058
c lw 208347
c lw 208503
c lw 209084
c lw 209585
c lw 209683
c lw 209944
c lw 210046
c lw 210145
c lw 210391
c lw 210498
c lw 210742
c lw 210961
c lw 211000
c lw 211312
c lw 211784
c lw 211800
c lw 211812
c lw 211866
c lw 212701
c lw 212755
c lw 212763
c lw 212997
c lw 214218
c lw 214395
c lw 214514
c lw 214547
c lw 214573
c lw 214576
c lw 214577
c lw 214585
c lw 214611
c lw 215037
c lw 215265
c lw 215324
c lw 215336
c lw 215362
c lw 215367
c lw 215375
c lw 215376
c lw 215387
c lw 215388
c lw 215409
c lw 215419
c lw 215563
c lw 215830
c lw 215955
c lw 216888
c lw 216971
c lw 217093
c lw 217149
c lw 217235
c lw 217359
c lw 217490
c lw 217968
c lw 218455
c lw 218603
c lw 218699
c lw 218806
c lw 218929
c lw 219647
c lw 219755
c lw 219768
c lw 219944
c lw 220188
c lw 220199
c lw 220425
c lw 220885
c lw 220898
c lw 221459
c lw 221643
c lw 221770
c lw 221771
c lw 221772
c lw 221782
c lw 221800
c lw 221809
c lw 221820
c lw 221828
c lw 221916
c lw 221953
c lw 222124
c lw 222340
c lw 222581
c lw 222622
c lw 222629
c lw 222641
c lw 222643
c lw 222668
c lw 222679
c lw 222683
c lw 222709
c lw 222715
c lw 222751
c lw 222916
c lw 222944
c lw 223113
c lw 223539
c lw 224167
c lw 224495
c lw 225019
c lw 225109
c lw 225268
c lw 225373
c lw 225401
c lw 225619
c lw 226186
c lw 226220
c lw 226249
c lw 226250
c lw 226253
c lw 226445
c lw 226483
c lw 226519
c lw 226559
c lw 226566
c lw 226653
c lw 226725
c lw 226726
c lw 226727
c lw 226730
c lw 226731
c lw 226734
c lw 226736
c lw 226747
c lw 227043
c lw 227105
c lw 227108
c lw 227892
c lw 228252
c lw 228387
c lw 228413
c lw 228424
c lw 228433
c lw 228461
c lw 228778
c lw 229038
c lw 229059
c lw 229685
c lw 229691
c lw 229696
c lw 229699
c lw 229932
c lw 230020
c lw 230021
c lw 230025
c lw 230026
c lw 230027
c lw 230031
c lw 230059
c lw 230062
c lw 230236
c lw 230611
c lw 230919
c lw 231507
c lw 231516
c lw 231517
c lw 231525
c lw 231531
c lw 231533
c lw 231538
c lw 231546
c lw 231554
c lw 231565
c lw 231600
c lw 231616
c lw 231618
c lw 231622
c lw 231625
c lw 231627
c lw 231628
c lw 231630
c lw 231632
c lw 231633
c lw 231637
c lw 231645
c lw 231651
c lw 231690
c lw 231793
c lw 231795
c lw 231849
c lw 231903
c lw 231911
c lw 231918
c lw 231964
c lw 231991
c lw 232031
c lw 232032
c lw 232047
c lw 232061
c lw 232066
c lw 232081
c lw 232083
c lw 232178
c lw 232180
c lw 232182
c lw 232184
c lw 232185
c lw 232187
c lw 232192
c lw 232194
c lw 232198
c lw 232201
c lw 232206
c lw 232401
c lw 232902
c lw 233147
c lw 233219
c lw 233242
c lw 233243
c lw 233252
c lw 233254
c lw 233272
c lw 233277
c lw 233278
c lw 233279
c lw 233280
c lw 233282
c lw 233285
c lw 233286
c lw 233287
c lw 233295
c lw 233297
c lw 233298
c lw 233301
c lw 233303
c lw 233304
c lw 233306
c lw 233307
c lw 233308
c lw 233310
c lw 233311
c lw 233312
c lw 233314
c lw 233315
c lw 233318
c lw 233320
c lw 233322
c lw 233323
c lw 233324
c lw 233325
c lw 233326
c lw 233327
c lw 233328
c lw 233329
c lw 233330
c lw 233331
c lw 233332
c lw 233333
c lw 233339
c lw 233340
c lw 233341
c lw 233342
c lw 233344
c lw 233347
c lw 233353
c lw 233354
c lw 233355
c lw 233357
c lw 233359
c lw 233360
c lw 233364
c lw 233366
c lw 233367
c lw 233370
c lw 233396
c lw 233435
c lw 233436
c lw 233437
c lw 233438
c lw 233439
c lw 233440
c lw 233441
c lw 233442
c lw 233443
c lw 233444
c lw 233445
c lw 233449
c lw 233485
c lw 233508
c lw 233516
c lw 233519
c lw 233838
c lw 234186
c lw 234429
c lw 234464
c lw 234482
c lw 234485
c lw 235247
c lw 235276
c lw 235282
c lw 235294
c lw 235296
c lw 235297
c lw 235299
c lw 235301
c lw 235302
c lw 235303
c lw 235307
c lw 235309
c lw 235310
c lw 235311
c lw 235312
c lw 235313
c lw 235314
c lw 235315
c lw 235316
c lw 235317
c lw 235318
c lw 235320
c lw 235322
c lw 235325
c lw 235326
c lw 235328
c lw 235329
c lw 235330
c lw 235332
c lw 235333
c lw 235334
c lw 235336
c lw 235337
c lw 235338
c lw 235339
c lw 235340
c lw 235342
c lw 235343
c lw 235345
c lw 235353
c lw 235354
c lw 235355
c lw 235356
c lw 235359
c lw 235361
c lw 235362
c lw 235363
c lw 235364
c lw 235365
c lw 235368
c lw 235371
c lw 235372
c lw 235374
c lw 235375
c lw 235382
c lw 235383
c lw 235384
c lw 235385
c lw 235781
c lw 236538
c lw 236844
c lw 237113
c lw 237284
c lw 238361
c lw 238683
c lw 239007
c lw 239345
c lw 239715
c lw 239739
c lw 239750
c lw 239866
c lw 240450
c lw 240500
c lw 240521
c lw 240536
c lw 240546
c lw 240798
c lw 240860
c lw 240975
c lw 241371
c lw 241470
c lw 241557
c lw 241558
c lw 241560
c lw 241562
c lw 241563
c lw 241565
c lw 241577
c lw 241627
c lw 241642
c lw 241747
c lw 241797
c lw 241798
c lw 241829
c lw 241864
c lw 242429
c lw 242845
c lw 243147
c lw 243249
c lw 243274
c lw 244186
c lw 244400
c lw 244614
c lw 244639
c lw 245055
c lw 245297
c lw 245506
c lw 245575
c lw 245601
c lw 246026
c lw 246214
c lw 246273
c lw 246582
c lw 246848
c lw 246932
c lw 247366
c lw 248531
c lw 248655
c lw 248922
c lw 250056
c lw 250200
c lw 250272
c lw 251561
c lw 252406
c lw 252509
c lw 252954
c lw 253118
c lw 253258
c lw 253293
c lw 253408
c lw 253721
c lw 254742
c lw 254810
c lw 254882
c lw 254986
c lw 255372
c lw 255556
c lw 255625
c lw 255644
c lw 255716
c lw 256385
c lw 256710
c lw 256950
c lw 256963
c lw 257723
c lw 257819
c lw 258094
c lw 258926
c lw 259062
c lw 259600
c lw 259755
c lw 259813
c lw 260498
c lw 260816
c lw 260850
c lw 261101
c lw 261159
c lw 261366
c lw 262079
c lw 262244
c lw 262401
c lw 262537
c lw 262692
c lw 262758
c lw 262782
c lw 263838
c lw 263880
c lw 263944
c lw 264462
c lw 264482
c lw 264588
c lw 264752
c lw 264756
c lw 264775
c lw 264794
c lw 264835
c lw 265080
c lw 265090
c lw 265247
c lw 265454
c lw 265512
c lw 265516
c lw 265535
c lw 265717
c lw 265725
c lw 265855
c lw 265883
c lw 265966
c lw 266069
c lw 266081
c lw 266085
c lw 266104
c lw 266110
c lw 266123
c lw 266127
c lw 266129
c lw 266139
c lw 266142
c lw 266143
c lw 266162
c lw 266166
c lw 266168
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 -619 620 -621 622 -623 624 -625 626 -627 628 -629 -630 -631 632 -633 -634 -635 636 -637 -638 -639 640 641 -642 -643 -644 -645 -646 647 -648 649 -650 651 -652 -653 -654 -655 656 -657 658 659 -660 -661 662 -663 664 -665 -666 -667 668 -669 -670 671 -672 673 674 -675 -676 -677 678 -679 -680 -681 -682 683 -684 -685 -686 -687 -688 689 -690 691 -692 -693 694 -695 -696 -697 -698 -699 700 -701 702 -703 -704 -705 706 -707 
o 266168
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-6.net.wcnf 266168
653.842u 6.002s 11:01.31 99.7%	0+0k 0+0io 0pf+0w