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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 824
c lw 930
c lw 1274
c lw 1364
c lw 2801
c lw 3634
c lw 4655
c lw 6415
c lw 7699
c lw 8806
c lw 9305
c lw 10906
c lw 12075
c lw 13839
c lw 14070
c lw 15809
c lw 16031
c lw 17070
c lw 18416
c lw 19807
c lw 20106
c lw 21276
c lw 22750
c lw 22756
c lw 23968
c lw 25130
c lw 25805
c lw 27318
c lw 27968
c lw 28376
c lw 28900
c lw 29615
c lw 30036
c lw 32344
c lw 33080
c lw 34182
c lw 34899
c lw 35207
c lw 36300
c lw 37528
c lw 37910
c lw 39505
c lw 40015
c lw 40391
c lw 40405
c lw 40598
c lw 41067
c lw 41384
c lw 41695
c lw 41882
c lw 41883
c lw 42241
c lw 43086
c lw 43706
c lw 43804
c lw 44300
c lw 44675
c lw 45011
c lw 45179
c lw 45289
c lw 45835
c lw 46498
c lw 46855
c lw 46952
c lw 47327
c lw 47360
c lw 47381
c lw 48129
c lw 48200
c lw 48704
c lw 49410
c lw 49441
c lw 50088
c lw 50418
c lw 51007
c lw 51261
c lw 51715
c lw 52528
c lw 53040
c lw 53498
c lw 53957
c lw 53996
c lw 54057
c lw 54063
c lw 54777
c lw 55621
c lw 55858
c lw 56338
c lw 56448
c lw 56687
c lw 56959
c lw 57603
c lw 57693
c lw 58089
c lw 58766
c lw 59039
c lw 59170
c lw 59537
c lw 59700
c lw 59721
c lw 60139
c lw 60187
c lw 60300
c lw 60862
c lw 60964
c lw 61565
c lw 61925
c lw 62984
c lw 63098
c lw 63503
c lw 63517
c lw 63587
c lw 63685
c lw 63768
c lw 63890
c lw 64212
c lw 64668
c lw 64669
c lw 65224
c lw 65607
c lw 65877
c lw 66398
c lw 67103
c lw 67448
c lw 67890
c lw 67938
c lw 68502
c lw 68593
c lw 69081
c lw 70161
c lw 70398
c lw 71107
c lw 71355
c lw 71628
c lw 72151
c lw 72194
c lw 72292
c lw 72846
c lw 72965
c lw 73054
c lw 73340
c lw 73565
c lw 73861
c lw 74162
c lw 74501
c lw 74701
c lw 75134
c lw 75888
c lw 76092
c lw 76518
c lw 77264
c lw 77310
c lw 77341
c lw 77914
c lw 78000
c lw 78203
c lw 78533
c lw 78932
c lw 79122
c lw 79576
c lw 79731
c lw 80157
c lw 80512
c lw 80937
c lw 80976
c lw 81037
c lw 81290
c lw 81904
c lw 81908
c lw 81929
c lw 82033
c lw 82513
c lw 82797
c lw 83069
c lw 83078
c lw 83465
c lw 84128
c lw 84299
c lw 84953
c lw 84992
c lw 85471
c lw 85486
c lw 85792
c lw 86056
c lw 86230
c lw 86379
c lw 86474
c lw 86522
c lw 87084
c lw 88115
c lw 88229
c lw 88369
c lw 88639
c lw 88799
c lw 88833
c lw 89289
c lw 89360
c lw 89404
c lw 89455
c lw 89623
c lw 90103
c lw 90184
c lw 90573
c lw 90574
c lw 90944
c lw 91302
c lw 91457
c lw 91518
c lw 91560
c lw 91594
c lw 91698
c lw 91933
c lw 92032
c lw 92550
c lw 93108
c lw 93170
c lw 93417
c lw 93431
c lw 93589
c lw 93941
c lw 94158
c lw 95129
c lw 95594
c lw 95630
c lw 95801
c lw 95977
c lw 96381
c lw 96731
c lw 97091
c lw 97181
c lw 97534
c lw 97654
c lw 98205
c lw 98426
c lw 98532
c lw 98603
c lw 98710
c lw 98949
c lw 98976
c lw 99054
c lw 99107
c lw 99154
c lw 99196
c lw 99301
c lw 99736
c lw 99831
c lw 100238
c lw 100532
c lw 100625
c lw 100670
c lw 100703
c lw 101045
c lw 101048
c lw 101490
c lw 101579
c lw 102084
c lw 102236
c lw 103179
c lw 103313
c lw 103510
c lw 103875
c lw 104012
c lw 105055
c lw 105093
c lw 105116
c lw 105207
c lw 105317
c lw 105593
c lw 105762
c lw 105931
c lw 106005
c lw 106010
c lw 106413
c lw 106437
c lw 106705
c lw 106947
c lw 107123
c lw 107509
c lw 107547
c lw 108364
c lw 108795
c lw 108862
c lw 109187
c lw 109401
c lw 109669
c lw 109716
c lw 109979
c lw 110022
c lw 110272
c lw 110723
c lw 111308
c lw 111572
c lw 111666
c lw 111684
c lw 112126
c lw 112361
c lw 112371
c lw 112380
c lw 112442
c lw 112482
c lw 112486
c lw 112971
c lw 113209
c lw 113265
c lw 113408
c lw 114221
c lw 114256
c lw 114460
c lw 114742
c lw 115379
c lw 115428
c lw 116071
c lw 116463
c lw 116673
c lw 117098
c lw 117386
c lw 117469
c lw 117520
c lw 117559
c lw 117960
c lw 118143
c lw 118184
c lw 118656
c lw 118893
c lw 119146
c lw 119177
c lw 119233
c lw 119278
c lw 119658
c lw 120275
c lw 120596
c lw 121138
c lw 121515
c lw 121731
c lw 123150
c lw 123403
c lw 124098
c lw 124269
c lw 124342
c lw 124517
c lw 124843
c lw 124962
c lw 125030
c lw 125128
c lw 125211
c lw 125234
c lw 125690
c lw 125737
c lw 126081
c lw 126430
c lw 126634
c lw 127026
c lw 127335
c lw 127757
c lw 129046
c lw 129449
c lw 130224
c lw 130466
c lw 130496
c lw 130557
c lw 130662
c lw 130875
c lw 131707
c lw 131768
c lw 132608
c lw 133052
c lw 133333
c lw 133584
c lw 133912
c lw 134045
c lw 134126
c lw 134157
c lw 134186
c lw 134729
c lw 134979
c lw 135270
c lw 135912
c lw 136616
c lw 137579
c lw 137664
c lw 137828
c lw 137886
c lw 138052
c lw 138096
c lw 138102
c lw 138137
c lw 138476
c lw 138615
c lw 139321
c lw 139480
c lw 139547
c lw 139594
c lw 139650
c lw 140278
c lw 140397
c lw 140812
c lw 141099
c lw 141887
c lw 142167
c lw 142595
c lw 143243
c lw 143285
c lw 143677
c lw 143788
c lw 143959
c lw 144208
c lw 144586
c lw 144700
c lw 144876
c lw 145081
c lw 145193
c lw 145564
c lw 145569
c lw 145844
c lw 145941
c lw 146257
c lw 146328
c lw 146618
c lw 146993
c lw 147129
c lw 147146
c lw 147167
c lw 147619
c lw 147938
c lw 147946
c lw 148249
c lw 148882
c lw 149103
c lw 149360
c lw 149422
c lw 149506
c lw 149526
c lw 149623
c lw 149628
c lw 149674
c lw 149694
c lw 149714
c lw 149715
c lw 149791
c lw 149885
c lw 149886
c lw 149949
c lw 149995
c lw 150048
c lw 150240
c lw 150346
c lw 150573
c lw 150580
c lw 150800
c lw 151218
c lw 151298
c lw 151371
c lw 152172
c lw 152881
c lw 153467
c lw 153795
c lw 153823
c lw 153863
c lw 153900
c lw 153939
c lw 154773
c lw 154842
c lw 154844
c lw 154899
c lw 154952
c lw 155234
c lw 155290
c lw 155329
c lw 155412
c lw 155466
c lw 155850
c lw 155891
c lw 156512
c lw 156811
c lw 156858
c lw 157332
c lw 157416
c lw 157619
c lw 157675
c lw 157735
c lw 157744
c lw 157778
c lw 157817
c lw 157868
c lw 157875
c lw 157979
c lw 157988
c lw 158026
c lw 158048
c lw 158064
c lw 158484
c lw 158719
c lw 158730
c lw 159188
c lw 159239
c lw 159782
c lw 159810
c lw 160036
c lw 160037
c lw 160047
c lw 160051
c lw 160090
c lw 160371
c lw 160699
c lw 160904
c lw 160996
c lw 161203
c lw 162195
c lw 162538
c lw 162606
c lw 162636
c lw 162682
c lw 162886
c lw 163087
c lw 163376
c lw 163569
c lw 163763
c lw 164149
c lw 164475
c lw 165131
c lw 165394
c lw 165395
c lw 165399
c lw 165410
c lw 165419
c lw 165432
c lw 165439
c lw 165441
c lw 165451
c lw 165452
c lw 165453
c lw 165472
c lw 165489
c lw 165718
c lw 165871
c lw 166327
c lw 166391
c lw 166461
c lw 167049
c lw 167368
c lw 167423
c lw 167525
c lw 167657
c lw 167723
c lw 168250
c lw 168479
c lw 168542
c lw 168971
c lw 169412
c lw 169448
c lw 169514
c lw 169652
c lw 169764
c lw 169836
c lw 170400
c lw 170466
c lw 170476
c lw 170583
c lw 170623
c lw 170629
c lw 170657
c lw 170844
c lw 170872
c lw 171491
c lw 171515
c lw 171536
c lw 172037
c lw 172135
c lw 172237
c lw 172329
c lw 172536
c lw 172614
c lw 172721
c lw 172799
c lw 173005
c lw 173049
c lw 173227
c lw 173636
c lw 173655
c lw 173662
c lw 173669
c lw 173676
c lw 173680
c lw 173925
c lw 173944
c lw 173984
c lw 173991
c lw 173999
c lw 174194
c lw 174219
c lw 174508
c lw 174934
c lw 175047
c lw 175155
c lw 175279
c lw 175422
c lw 175474
c lw 175482
c lw 175489
c lw 175596
c lw 175601
c lw 175639
c lw 175649
c lw 176413
c lw 176467
c lw 176526
c lw 176561
c lw 176562
c lw 176639
c lw 176716
c lw 176730
c lw 176808
c lw 177135
c lw 177170
c lw 177171
c lw 177668
c lw 177858
c lw 178617
c lw 178709
c lw 178808
c lw 178825
c lw 179448
c lw 180050
c lw 180069
c lw 180153
c lw 180470
c lw 180719
c lw 180762
c lw 180912
c lw 181006
c lw 181614
c lw 181804
c lw 181931
c lw 181934
c lw 181966
c lw 181972
c lw 181975
c lw 181976
c lw 181994
c lw 182009
c lw 182013
c lw 182014
c lw 182018
c lw 182028
c lw 182029
c lw 182031
c lw 182032
c lw 182033
c lw 182034
c lw 182038
c lw 182041
c lw 182042
c lw 182043
c lw 182090
c lw 182140
c lw 182153
c lw 182469
c lw 182482
c lw 182489
c lw 182961
c lw 183621
c lw 183691
c lw 183693
c lw 183710
c lw 183733
c lw 183748
c lw 183954
c lw 184031
c lw 184189
c lw 184873
c lw 185100
c lw 185193
c lw 185208
c lw 185225
c lw 185279
c lw 185401
c lw 185411
c lw 185450
c lw 185507
c lw 185509
c lw 186208
c lw 186289
c lw 186291
c lw 187662
c lw 188243
c lw 188304
c lw 188559
c lw 188601
c lw 188694
c lw 188765
c lw 188830
c lw 188877
c lw 188972
c lw 189707
c lw 189728
c lw 189784
c lw 189785
c lw 189788
c lw 189794
c lw 189795
c lw 189799
c lw 189800
c lw 189804
c lw 189819
c lw 189820
c lw 189823
c lw 189827
c lw 189829
c lw 189834
c lw 189836
c lw 189838
c lw 189841
c lw 189843
c lw 189845
c lw 189848
c lw 189849
c lw 189852
c lw 189853
c lw 189862
c lw 190071
c lw 190362
c lw 190582
c lw 190640
c lw 190934
c lw 190982
c lw 191014
c lw 191404
c lw 191628
c lw 191742
c lw 192408
c lw 192576
c lw 192726
c lw 192890
c lw 193076
c lw 193154
c lw 193541
c lw 193899
c lw 194031
c lw 194358
c lw 194690
c lw 195024
c lw 195150
c lw 195157
c lw 195192
c lw 195211
c lw 195279
c lw 195599
c lw 195645
c lw 195656
c lw 195664
c lw 195669
c lw 195826
c lw 195830
c lw 195831
c lw 195833
c lw 195834
c lw 195844
c lw 195868
c lw 195956
c lw 195975
c lw 195982
c lw 196424
c lw 196641
c lw 196693
c lw 197167
c lw 197782
c lw 197926
c lw 198063
c lw 198099
c lw 198689
c lw 198823
c lw 198955
c lw 199245
c lw 199368
c lw 199504
c lw 199633
c lw 199915
c lw 200668
c lw 200872
c lw 201434
c lw 201464
c lw 201499
c lw 202394
c lw 202822
c lw 202897
c lw 202925
c lw 204114
c lw 204294
c lw 204317
c lw 204403
c lw 204416
c lw 205426
c lw 205560
c lw 205659
c lw 205846
c lw 205864
c lw 205888
c lw 205919
c lw 205934
c lw 206012
c lw 206063
c lw 206091
c lw 206094
c lw 206114
c lw 206118
c lw 206141
c lw 206171
c lw 206192
c lw 206238
c lw 207070
c lw 207487
c lw 207513
c lw 207761
c lw 207768
c lw 208022
c lw 208070
c lw 208076
c lw 208315
c lw 208345
c lw 209034
c lw 209045
c lw 209092
c lw 209224
c lw 209382
c lw 209703
c lw 209704
c lw 209879
c lw 209880
c lw 210100
c lw 210105
c lw 210113
c lw 210115
c lw 210129
c lw 210315
c lw 210683
c lw 210698
c lw 210713
c lw 210719
c lw 210722
c lw 210773
c lw 210778
c lw 210818
c lw 210850
c lw 210852
c lw 210863
c lw 210868
c lw 210875
c lw 211746
c lw 211776
c lw 211782
c lw 211787
c lw 211808
c lw 211838
c lw 211842
c lw 211843
c lw 212018
c lw 212037
c lw 212338
c lw 212372
c lw 212979
c lw 213214
c lw 213605
c lw 213766
c lw 213890
c lw 214711
c lw 214727
c lw 214733
c lw 214743
c lw 214753
c lw 214754
c lw 214785
c lw 214791
c lw 215256
c lw 215498
c lw 215499
c lw 215500
c lw 215501
c lw 215503
c lw 215505
c lw 215507
c lw 215508
c lw 215509
c lw 215510
c lw 215511
c lw 215645
c lw 215686
c lw 215707
c lw 215740
c lw 215773
c lw 216194
c lw 216209
c lw 216212
c lw 216712
c lw 216846
c lw 216951
c lw 217151
c lw 217925
c lw 218088
c lw 218115
c lw 218419
c lw 218744
c lw 219351
c lw 219402
c lw 219784
c lw 220551
c lw 220623
c lw 220789
c lw 221097
c lw 221111
c lw 221118
c lw 221119
c lw 221137
c lw 221141
c lw 221165
c lw 221254
c lw 221469
c lw 221529
c lw 221540
c lw 221559
c lw 221576
c lw 221591
c lw 222344
c lw 222448
c lw 222794
c lw 222898
c lw 223240
c lw 223507
c lw 223585
c lw 223624
c lw 223765
c lw 223819
c lw 223820
c lw 224283
c lw 224397
c lw 224424
c lw 224451
c lw 224452
c lw 224463
c lw 224546
c lw 224679
c lw 224688
c lw 225319
c lw 225482
c lw 225735
c lw 225888
c lw 226354
c lw 227190
c lw 227208
c lw 227224
c lw 227242
c lw 227404
c lw 227690
c lw 227893
c lw 228223
c lw 228227
c lw 228232
c lw 228233
c lw 228237
c lw 228238
c lw 228241
c lw 228242
c lw 228244
c lw 228245
c lw 228274
c lw 228295
c lw 228312
c lw 228325
c lw 228342
c lw 228428
c lw 228431
c lw 228436
c lw 228439
c lw 228449
c lw 228453
c lw 228458
c lw 228459
c lw 228460
c lw 228461
c lw 228463
c lw 228464
c lw 228465
c lw 228466
c lw 228468
c lw 228469
c lw 228470
c lw 228472
c lw 228476
c lw 228479
c lw 228480
c lw 228481
c lw 228483
c lw 228602
c lw 229617
c lw 230441
c lw 230908
c lw 231209
c lw 231268
c lw 231450
c lw 231471
c lw 231799
c lw 232252
c lw 232657
c lw 232969
c lw 233093
c lw 233459
c lw 233490
c lw 234138
c lw 234771
c lw 236167
c lw 236198
c lw 236309
c lw 236657
c lw 236884
c lw 237288
c lw 237443
c lw 237705
c lw 237720
c lw 237791
c lw 238043
c lw 238789
c lw 239084
c lw 239379
c lw 239837
c lw 239838
c lw 239839
c lw 239840
c lw 239841
c lw 239842
c lw 239843
c lw 239844
c lw 239845
c lw 239846
c lw 239847
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 
o 239847
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-1.net.wcnf 239847
421.690u 4.678s 12:51.08 55.2%	0+0k 0+0io 0pf+0w