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-260-1_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 398
c lw 1249
c lw 2567
c lw 3282
c lw 5107
c lw 5508
c lw 7192
c lw 8701
c lw 9963
c lw 11563
c lw 12735
c lw 13244
c lw 14493
c lw 16060
c lw 17367
c lw 17778
c lw 18009
c lw 18898
c lw 19193
c lw 20836
c lw 21825
c lw 22295
c lw 22459
c lw 22463
c lw 23934
c lw 24164
c lw 25415
c lw 26346
c lw 26715
c lw 28289
c lw 30035
c lw 30892
c lw 32038
c lw 33405
c lw 34001
c lw 35018
c lw 35202
c lw 37006
c lw 38430
c lw 39003
c lw 40413
c lw 41738
c lw 42182
c lw 43008
c lw 43672
c lw 43992
c lw 44771
c lw 44864
c lw 45160
c lw 45417
c lw 46071
c lw 47096
c lw 47884
c lw 47966
c lw 47982
c lw 48033
c lw 48083
c lw 48306
c lw 48528
c lw 48905
c lw 49369
c lw 50300
c lw 50747
c lw 50897
c lw 50916
c lw 51759
c lw 52069
c lw 52262
c lw 52406
c lw 53055
c lw 53675
c lw 53790
c lw 54336
c lw 55427
c lw 55482
c lw 55657
c lw 56130
c lw 56964
c lw 57261
c lw 57374
c lw 58154
c lw 58168
c lw 58483
c lw 58583
c lw 59482
c lw 60274
c lw 60550
c lw 60562
c lw 60882
c lw 61170
c lw 61321
c lw 61633
c lw 61711
c lw 63227
c lw 63349
c lw 63450
c lw 63948
c lw 64651
c lw 65165
c lw 65263
c lw 65710
c lw 66249
c lw 66681
c lw 66753
c lw 66899
c lw 67164
c lw 67199
c lw 67239
c lw 67473
c lw 68025
c lw 68543
c lw 68855
c lw 68978
c lw 70273
c lw 70482
c lw 70599
c lw 70674
c lw 70703
c lw 70724
c lw 70838
c lw 71116
c lw 71792
c lw 71931
c lw 72422
c lw 72550
c lw 72654
c lw 72848
c lw 73534
c lw 73931
c lw 74769
c lw 74940
c lw 75594
c lw 75598
c lw 75757
c lw 76092
c lw 76394
c lw 77116
c lw 77209
c lw 78631
c lw 78643
c lw 79169
c lw 79917
c lw 80678
c lw 80996
c lw 81421
c lw 82054
c lw 82123
c lw 82240
c lw 82270
c lw 82677
c lw 83029
c lw 83076
c lw 83328
c lw 83682
c lw 83908
c lw 84034
c lw 84116
c lw 85218
c lw 85626
c lw 85961
c lw 86408
c lw 86417
c lw 86765
c lw 87032
c lw 87077
c lw 87108
c lw 87477
c lw 87533
c lw 87761
c lw 88630
c lw 88907
c lw 89124
c lw 90111
c lw 90175
c lw 91162
c lw 91658
c lw 91899
c lw 91922
c lw 92464
c lw 92466
c lw 92669
c lw 93256
c lw 93541
c lw 93795
c lw 93828
c lw 94005
c lw 94025
c lw 94110
c lw 95154
c lw 95373
c lw 95663
c lw 95691
c lw 95712
c lw 95911
c lw 95973
c lw 96435
c lw 96990
c lw 97598
c lw 97853
c lw 98424
c lw 98438
c lw 98453
c lw 98508
c lw 98683
c lw 98921
c lw 99208
c lw 99233
c lw 99505
c lw 99618
c lw 99768
c lw 99782
c lw 100051
c lw 100097
c lw 100197
c lw 100451
c lw 100611
c lw 100943
c lw 100968
c lw 101166
c lw 101692
c lw 101735
c lw 101743
c lw 102011
c lw 102039
c lw 102613
c lw 102811
c lw 102979
c lw 103402
c lw 103624
c lw 103837
c lw 103861
c lw 104029
c lw 104038
c lw 104074
c lw 105485
c lw 105494
c lw 105575
c lw 105576
c lw 106056
c lw 106606
c lw 106615
c lw 106617
c lw 107191
c lw 107526
c lw 107604
c lw 107860
c lw 107892
c lw 107954
c lw 108102
c lw 108161
c lw 108331
c lw 108517
c lw 108651
c lw 108660
c lw 108793
c lw 108797
c lw 108876
c lw 108891
c lw 108940
c lw 108990
c lw 109010
c lw 109060
c lw 109502
c lw 109801
c lw 109882
c lw 110271
c lw 110436
c lw 110788
c lw 111346
c lw 111689
c lw 111880
c lw 112354
c lw 112617
c lw 112672
c lw 112879
c lw 113319
c lw 113517
c lw 113563
c lw 113612
c lw 113953
c lw 114274
c lw 115133
c lw 115393
c lw 116175
c lw 116200
c lw 116338
c lw 117092
c lw 117206
c lw 117935
c lw 118426
c lw 118728
c lw 118869
c lw 118877
c lw 118926
c lw 119377
c lw 119634
c lw 119901
c lw 119994
c lw 120541
c lw 120711
c lw 120877
c lw 120939
c lw 121123
c lw 121976
c lw 122048
c lw 122063
c lw 122512
c lw 122775
c lw 122829
c lw 123032
c lw 123349
c lw 123842
c lw 124114
c lw 124272
c lw 124775
c lw 124823
c lw 124923
c lw 125239
c lw 125276
c lw 125687
c lw 125876
c lw 125919
c lw 125920
c lw 125965
c lw 126113
c lw 126122
c lw 126343
c lw 126424
c lw 126425
c lw 126510
c lw 126604
c lw 126859
c lw 126933
c lw 127267
c lw 127281
c lw 127296
c lw 127531
c lw 127681
c lw 127880
c lw 127909
c lw 127933
c lw 127980
c lw 127995
c lw 128006
c lw 128059
c lw 128087
c lw 128093
c lw 128111
c lw 128112
c lw 128121
c lw 128132
c lw 128140
c lw 128141
c lw 128151
c lw 128153
c lw 128162
c lw 128165
c lw 128166
c lw 128187
c lw 128188
c lw 128193
c lw 128310
c lw 128393
c lw 128467
c lw 128502
c lw 128524
c lw 128537
c lw 128543
c lw 128583
c lw 128598
c lw 129047
c lw 129105
c lw 129106
c lw 129212
c lw 129267
c lw 130126
c lw 130206
c lw 130251
c lw 130329
c lw 130485
c lw 130560
c lw 131207
c lw 131229
c lw 131249
c lw 131778
c lw 131859
c lw 131966
c lw 132026
c lw 132125
c lw 132203
c lw 132227
c lw 132236
c lw 132354
c lw 132457
c lw 132981
c lw 133014
c lw 133204
c lw 133694
c lw 134229
c lw 134383
c lw 134384
c lw 134393
c lw 135922
c lw 136134
c lw 136171
c lw 136292
c lw 136776
c lw 136912
c lw 137267
c lw 137303
c lw 137427
c lw 138279
c lw 138351
c lw 138945
c lw 139541
c lw 139547
c lw 139597
c lw 139817
c lw 140158
c lw 140199
c lw 140226
c lw 141168
c lw 141222
c lw 141234
c lw 141752
c lw 141771
c lw 142063
c lw 142202
c lw 142325
c lw 142485
c lw 142520
c lw 142962
c lw 143438
c lw 143796
c lw 144003
c lw 144408
c lw 144416
c lw 145223
c lw 145299
c lw 145958
c lw 146463
c lw 147029
c lw 147200
c lw 147483
c lw 147556
c lw 147615
c lw 147733
c lw 147905
c lw 148041
c lw 148239
c lw 148331
c lw 148588
c lw 148689
c lw 148948
c lw 149002
c lw 149268
c lw 149572
c lw 149673
c lw 149932
c lw 150046
c lw 150205
c lw 150452
c lw 150861
c lw 151063
c lw 151358
c lw 151586
c lw 151782
c lw 151826
c lw 151959
c lw 152076
c lw 152503
c lw 152605
c lw 152624
c lw 152691
c lw 153180
c lw 153362
c lw 153473
c lw 153585
c lw 153667
c lw 153945
c lw 154073
c lw 154321
c lw 154408
c lw 154476
c lw 154515
c lw 155655
c lw 155700
c lw 155862
c lw 156014
c lw 156241
c lw 156730
c lw 157079
c lw 157231
c lw 157504
c lw 157910
c lw 157929
c lw 157967
c lw 158427
c lw 158475
c lw 158553
c lw 158792
c lw 158876
c lw 158932
c lw 159318
c lw 159342
c lw 159410
c lw 159477
c lw 159613
c lw 159702
c lw 160097
c lw 160726
c lw 160851
c lw 160859
c lw 160882
c lw 160894
c lw 161045
c lw 161070
c lw 161258
c lw 161290
c lw 161320
c lw 161490
c lw 161514
c lw 161515
c lw 161536
c lw 161547
c lw 161549
c lw 161588
c lw 161596
c lw 161606
c lw 161615
c lw 161652
c lw 161653
c lw 161663
c lw 161687
c lw 161774
c lw 161789
c lw 162110
c lw 162121
c lw 162126
c lw 162128
c lw 162134
c lw 162135
c lw 162144
c lw 162145
c lw 162158
c lw 162160
c lw 162167
c lw 162171
c lw 162172
c lw 162175
c lw 162181
c lw 162182
c lw 162184
c lw 162185
c lw 162190
c lw 162191
c lw 162721
c lw 162949
c lw 163264
c lw 164038
c lw 164057
c lw 164117
c lw 164428
c lw 164758
c lw 164827
c lw 165186
c lw 165193
c lw 165328
c lw 165812
c lw 166137
c lw 166250
c lw 166305
c lw 166420
c lw 166529
c lw 166713
c lw 166730
c lw 166734
c lw 166739
c lw 166750
c lw 166756
c lw 166764
c lw 166815
c lw 166823
c lw 166891
c lw 168437
c lw 168556
c lw 168568
c lw 169043
c lw 169168
c lw 169292
c lw 169312
c lw 169364
c lw 170000
c lw 170021
c lw 170046
c lw 170050
c lw 170089
c lw 170111
c lw 170618
c lw 170631
c lw 170671
c lw 170672
c lw 170676
c lw 170677
c lw 170680
c lw 170689
c lw 170992
c lw 170993
c lw 171200
c lw 171322
c lw 171489
c lw 171908
c lw 172178
c lw 172262
c lw 172384
c lw 172459
c lw 172468
c lw 172472
c lw 172648
c lw 172699
c lw 172750
c lw 173575
c lw 173607
c lw 173703
c lw 173742
c lw 173757
c lw 173794
c lw 173816
c lw 173846
c lw 173876
c lw 173885
c lw 173897
c lw 174050
c lw 174268
c lw 174469
c lw 174542
c lw 174572
c lw 174929
c lw 174983
c lw 175063
c lw 175069
c lw 175183
c lw 175528
c lw 175620
c lw 175649
c lw 176092
c lw 176621
c lw 177033
c lw 177156
c lw 177875
c lw 178133
c lw 178509
c lw 178794
c lw 179172
c lw 179309
c lw 179311
c lw 179332
c lw 179339
c lw 179361
c lw 179375
c lw 179383
c lw 179386
c lw 179467
c lw 179483
c lw 179496
c lw 179503
c lw 179512
c lw 179524
c lw 179525
c lw 179546
c lw 180452
c lw 180509
c lw 180621
c lw 181573
c lw 181638
c lw 181869
c lw 181997
c lw 182042
c lw 182055
c lw 182130
c lw 182272
c lw 182304
c lw 182375
c lw 182652
c lw 182754
c lw 183275
c lw 183572
c lw 183628
c lw 183643
c lw 183926
c lw 184150
c lw 185163
c lw 185322
c lw 185795
c lw 186760
c lw 186931
c lw 186976
c lw 187131
c lw 187137
c lw 187493
c lw 187607
c lw 188051
c lw 188513
c lw 188780
c lw 189020
c lw 189051
c lw 189143
c lw 189253
c lw 189256
c lw 189284
c lw 189315
c lw 189373
c lw 189437
c lw 189826
c lw 189872
c lw 189905
c lw 190664
c lw 190797
c lw 191038
c lw 191126
c lw 191298
c lw 191393
c lw 191422
c lw 191740
c lw 191902
c lw 191960
c lw 191965
c lw 191966
c lw 191987
c lw 191988
c lw 191990
c lw 192493
c lw 192530
c lw 192558
c lw 192574
c lw 192581
c lw 192592
c lw 192593
c lw 192602
c lw 192632
c lw 192633
c lw 192640
c lw 192753
c lw 192786
c lw 192829
c lw 192984
c lw 193716
c lw 194085
c lw 194677
c lw 194696
c lw 195258
c lw 195541
c lw 196240
c lw 196384
c lw 196602
c lw 197297
c lw 197668
c lw 197826
c lw 197831
c lw 197835
c lw 197839
c lw 197849
c lw 198161
c lw 198573
c lw 198587
c lw 198590
c lw 198595
c lw 198613
c lw 198617
c lw 198620
c lw 198628
c lw 198642
c lw 198643
c lw 198652
c lw 198654
c lw 198657
c lw 198659
c lw 198663
c lw 198879
c lw 198980
c lw 199139
c lw 199269
c lw 199283
c lw 199297
c lw 199626
c lw 199628
c lw 200276
c lw 200281
c lw 200311
c lw 200411
c lw 201100
c lw 201299
c lw 201455
c lw 203031
c lw 203093
c lw 203137
c lw 203248
c lw 203249
c lw 203252
c lw 203253
c lw 203257
c lw 203258
c lw 203261
c lw 203298
c lw 203323
c lw 203332
c lw 203342
c lw 203383
c lw 203526
c lw 203710
c lw 203742
c lw 204122
c lw 204665
c lw 204690
c lw 205136
c lw 205230
c lw 205510
c lw 205528
c lw 206091
c lw 206105
c lw 206106
c lw 206109
c lw 206110
c lw 206114
c lw 206115
c lw 206118
c lw 206133
c lw 206134
c lw 206138
c lw 206139
c lw 206142
c lw 206143
c lw 206153
c lw 206154
c lw 206155
c lw 206157
c lw 206162
c lw 206167
c lw 206170
c lw 206173
c lw 206174
c lw 206176
c lw 206178
c lw 206179
c lw 206180
c lw 206182
c lw 206184
c lw 206185
c lw 206188
c lw 206189
c lw 206192
c lw 206195
c lw 206199
c lw 206656
c lw 207132
c lw 207231
c lw 207453
c lw 207845
c lw 208087
c lw 208321
c lw 208355
c lw 208445
c lw 208765
c lw 208824
c lw 209245
c lw 209262
c lw 209293
c lw 209333
c lw 209337
c lw 209348
c lw 210440
c lw 210565
c lw 210756
c lw 210761
c lw 210835
c lw 210837
c lw 210934
c lw 212073
c lw 212075
c lw 212078
c lw 212079
c lw 212080
c lw 212081
c lw 212082
c lw 212083
c lw 212084
c lw 212085
c lw 212222
c lw 212282
c lw 212705
c lw 212783
c lw 212785
c lw 212961
c lw 214368
c lw 214444
c lw 214515
c lw 215506
c lw 215569
c lw 216260
c lw 216362
c lw 216706
c lw 216810
c lw 216873
c lw 216897
c lw 217807
c lw 218075
c lw 218220
c lw 218240
c lw 218430
c lw 219020
c lw 219491
c lw 220323
c lw 221477
c lw 221496
c lw 221533
c lw 222079
c lw 222098
c lw 222114
c lw 222161
c lw 222162
c lw 222163
c lw 222166
c lw 222167
c lw 222168
c lw 222169
c lw 222170
c lw 222179
c lw 222181
c lw 222188
c lw 222191
c lw 222192
c lw 222197
c lw 222198
c lw 222200
c lw 222203
c lw 222204
c lw 222209
c lw 222215
c lw 222218
c lw 222241
c lw 222251
c lw 222252
c lw 222263
c lw 222287
c lw 222321
c lw 222326
c lw 222330
c lw 222334
c lw 222336
c lw 222343
c lw 222354
c lw 222359
c lw 222360
c lw 222363
c lw 222364
c lw 222368
c lw 222369
c lw 222372
c lw 222374
c lw 222375
c lw 222378
c lw 222379
c lw 222380
c lw 222381
c lw 222384
c lw 222385
c lw 222386
c lw 222388
c lw 222389
c lw 222390
c lw 222393
c lw 222394
c lw 222396
c lw 222397
c lw 222398
c lw 222399
c lw 222400
c lw 222401
c lw 222402
c lw 222403
c lw 222405
c lw 222406
c lw 222427
c lw 222487
c lw 222490
c lw 222492
c lw 222493
c lw 222495
c lw 222497
c lw 222498
c lw 222500
c lw 222501
c lw 222502
c lw 222503
c lw 222505
c lw 222506
c lw 222507
c lw 222509
c lw 222511
c lw 222539
c lw 222570
c lw 222577
c lw 222582
c lw 222583
c lw 222592
c lw 222595
c lw 222597
c lw 222598
c lw 222600
c lw 222602
c lw 222605
c lw 222606
c lw 222607
c lw 222611
c lw 222612
c lw 222613
c lw 222614
c lw 222615
c lw 222617
c lw 222618
c lw 222619
c lw 222620
c lw 222621
c lw 222675
c lw 222688
c lw 222689
c lw 222707
c lw 222708
c lw 222709
c lw 222711
c lw 222712
c lw 222713
c lw 222718
c lw 222731
c lw 222741
c lw 222750
c lw 222752
c lw 222753
c lw 222754
c lw 222755
c lw 222756
c lw 222757
c lw 222758
c lw 222759
c lw 222760
c lw 222761
c lw 222762
c lw 222763
c lw 222764
c lw 222765
c lw 222766
c lw 222767
c lw 222768
c lw 222769
c lw 222770
c lw 222771
c lw 222772
c lw 222773
c lw 222774
c lw 222775
c lw 222776
c lw 222777
c lw 222778
c lw 222779
c lw 222780
c lw 222781
c lw 222782
c lw 222784
c lw 222790
c lw 222791
c lw 222795
c lw 223138
c lw 223386
c lw 223393
c lw 223400
c lw 223427
c lw 223454
c lw 224219
c lw 224630
c lw 224672
c lw 224832
c lw 224843
c lw 224844
c lw 225108
c lw 225323
c lw 226156
c lw 226286
c lw 226519
c lw 227011
c lw 227165
c lw 227979
c lw 228046
c lw 228200
c lw 228304
c lw 228514
c lw 228732
c lw 229778
c lw 229813
c lw 229818
c lw 229942
c lw 230059
c lw 230072
c lw 230079
c lw 231315
c lw 231486
c lw 231510
c lw 231758
c lw 231805
c lw 231902
c lw 231929
c lw 232031
c lw 232086
c lw 232197
c lw 232211
c lw 232546
c lw 232765
c lw 233056
c lw 233228
c lw 233603
c lw 234066
c lw 234222
c lw 234277
c lw 234311
c lw 234349
c lw 234371
c lw 234387
c lw 234396
c lw 234421
c lw 234443
c lw 234451
c lw 234461
c lw 234490
c lw 234492
c lw 234493
c lw 234495
c lw 234531
c lw 234608
c lw 234716
c lw 234752
c lw 234753
c lw 234795
c lw 236170
c lw 236235
c lw 236389
c lw 236390
c lw 236398
c lw 236407
c lw 236470
c lw 236503
c lw 236504
c lw 236510
c lw 236511
c lw 236517
c lw 236543
c lw 236545
c lw 236546
c lw 236547
c lw 236548
c lw 236553
c lw 236555
c lw 236556
c lw 236557
c lw 236558
c lw 236560
c lw 236561
c lw 236562
c lw 236563
c lw 236564
c lw 236568
c lw 236570
c lw 236571
c lw 236572
c lw 236573
c lw 236574
c lw 236575
c lw 236576
c lw 236577
c lw 236579
c lw 236581
c lw 236582
c lw 236583
c lw 236584
c lw 236585
c lw 236589
c lw 236590
c lw 236591
c lw 236592
c lw 236593
c lw 236594
c lw 236596
c lw 236597
c lw 236598
c lw 236599
c lw 236600
c lw 237483
c lw 237513
c lw 237514
c lw 237951
c lw 238180
c lw 238781
c lw 238796
c lw 239029
c lw 239266
c lw 239267
c lw 239268
c lw 239269
c lw 239270
c lw 239271
c lw 239273
c lw 239275
c lw 239276
c lw 239277
c lw 239278
c lw 239285
c lw 239286
c lw 239287
c lw 239288
c lw 239289
c lw 239290
c lw 239291
c lw 239294
c lw 239295
c lw 239298
c lw 239306
c lw 239307
c lw 239308
c lw 239309
c lw 239310
c lw 239311
c lw 239313
c lw 239314
c lw 239315
c lw 239316
c lw 239317
c lw 239318
c lw 239319
c lw 239320
c lw 239321
c lw 239322
c lw 239323
c lw 239324
c lw 239325
c lw 239326
c lw 239327
c lw 239328
c lw 239329
c lw 239330
c lw 239685
c lw 239694
c lw 239695
c lw 241015
c lw 241096
c lw 241727
c lw 241782
c lw 242179
c lw 242411
c lw 243534
c lw 243684
c lw 244175
c lw 244425
c lw 244595
c lw 245149
c lw 245391
c lw 245403
c lw 245468
c lw 245551
c lw 246581
c lw 246742
c lw 246901
c lw 247914
c lw 248047
c lw 248048
c lw 248150
c lw 248379
c lw 248576
c lw 248680
c lw 248684
c lw 248802
c lw 248838
c lw 249442
c lw 249447
c lw 249451
c lw 249688
c lw 249693
c lw 249694
c lw 249844
c lw 250214
c lw 250226
c lw 250332
c lw 250360
c lw 251244
c lw 251392
c lw 251674
c lw 252763
c lw 252770
c lw 252828
c lw 253435
c lw 253476
c lw 253532
c lw 253711
c lw 254350
c lw 254617
c lw 254946
c lw 255141
c lw 256243
c lw 256257
c lw 257241
c lw 257656
c lw 257670
c lw 257678
c lw 258537
c lw 258589
c lw 258772
c lw 258996
c lw 259373
c lw 260032
c lw 260074
c lw 260121
c lw 260122
c lw 260123
c lw 260124
c lw 260125
c lw 260126
c lw 260127
c lw 260128
c lw 260129
c lw 260130
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 
o 260130
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-10.net.wcnf 260130
1183.508u 13.386s 19:57.38 99.9%	0+0k 0+0io 0pf+0w