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-100-1_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 168
c lw 867
c lw 965
c lw 2268
c lw 4188
c lw 4724
c lw 4893
c lw 5388
c lw 5683
c lw 5917
c lw 7163
c lw 8372
c lw 8547
c lw 9763
c lw 10844
c lw 12264
c lw 13689
c lw 14832
c lw 15007
c lw 15441
c lw 15734
c lw 15746
c lw 16010
c lw 17282
c lw 17584
c lw 17585
c lw 17597
c lw 17601
c lw 17803
c lw 17883
c lw 18367
c lw 18474
c lw 18571
c lw 18849
c lw 19635
c lw 20001
c lw 20667
c lw 20702
c lw 21014
c lw 21310
c lw 22080
c lw 22453
c lw 22578
c lw 22637
c lw 23225
c lw 23586
c lw 24087
c lw 24389
c lw 24966
c lw 25245
c lw 25700
c lw 25918
c lw 26556
c lw 27197
c lw 27558
c lw 27599
c lw 27993
c lw 28260
c lw 28616
c lw 28982
c lw 29154
c lw 29366
c lw 29861
c lw 30603
c lw 30836
c lw 31662
c lw 31935
c lw 32597
c lw 32612
c lw 32893
c lw 32971
c lw 33066
c lw 33191
c lw 33240
c lw 33271
c lw 33408
c lw 33759
c lw 34120
c lw 34747
c lw 34887
c lw 35039
c lw 35184
c lw 36162
c lw 36526
c lw 36574
c lw 36811
c lw 36842
c lw 37154
c lw 37432
c lw 37526
c lw 37669
c lw 37808
c lw 37886
c lw 38507
c lw 38576
c lw 38933
c lw 39103
c lw 39380
c lw 39381
c lw 39770
c lw 39850
c lw 40072
c lw 40095
c lw 40933
c lw 40992
c lw 41175
c lw 41668
c lw 41913
c lw 41925
c lw 42039
c lw 42285
c lw 43154
c lw 43161
c lw 43419
c lw 43659
c lw 43685
c lw 44064
c lw 45304
c lw 45394
c lw 45553
c lw 45747
c lw 46085
c lw 46111
c lw 46298
c lw 46794
c lw 46827
c lw 46874
c lw 47033
c lw 47068
c lw 47574
c lw 47804
c lw 47808
c lw 48092
c lw 48479
c lw 48681
c lw 48827
c lw 48833
c lw 49542
c lw 49919
c lw 50919
c lw 50943
c lw 50994
c lw 51042
c lw 51148
c lw 51376
c lw 51451
c lw 52016
c lw 52316
c lw 52520
c lw 52707
c lw 52716
c lw 52978
c lw 53013
c lw 53052
c lw 53087
c lw 53119
c lw 53187
c lw 53489
c lw 53584
c lw 53797
c lw 53854
c lw 53961
c lw 54068
c lw 54074
c lw 54340
c lw 54462
c lw 54569
c lw 54575
c lw 54672
c lw 54675
c lw 54982
c lw 55394
c lw 55510
c lw 55645
c lw 56037
c lw 56097
c lw 56298
c lw 56501
c lw 56535
c lw 56633
c lw 56713
c lw 56868
c lw 56911
c lw 57661
c lw 57819
c lw 57938
c lw 58178
c lw 58212
c lw 58585
c lw 59012
c lw 59698
c lw 59843
c lw 59886
c lw 59887
c lw 59926
c lw 59948
c lw 60047
c lw 60459
c lw 60630
c lw 60643
c lw 61319
c lw 61350
c lw 61542
c lw 61678
c lw 62611
c lw 62656
c lw 62698
c lw 62724
c lw 62822
c lw 62826
c lw 62854
c lw 63153
c lw 63349
c lw 63675
c lw 63794
c lw 63814
c lw 64548
c lw 64581
c lw 64712
c lw 65113
c lw 65331
c lw 65342
c lw 65350
c lw 66534
c lw 66562
c lw 66989
c lw 67078
c lw 67173
c lw 67318
c lw 67539
c lw 67804
c lw 68082
c lw 68316
c lw 68439
c lw 68442
c lw 68497
c lw 68542
c lw 68546
c lw 68558
c lw 68605
c lw 68610
c lw 68793
c lw 69230
c lw 69316
c lw 69816
c lw 70132
c lw 70202
c lw 70227
c lw 70277
c lw 70286
c lw 70290
c lw 70294
c lw 70329
c lw 70333
c lw 70355
c lw 70383
c lw 70447
c lw 70476
c lw 70525
c lw 70625
c lw 70870
c lw 71289
c lw 71343
c lw 71681
c lw 71729
c lw 72428
c lw 72540
c lw 72623
c lw 72867
c lw 73432
c lw 73671
c lw 73822
c lw 73865
c lw 73931
c lw 73994
c lw 74126
c lw 75317
c lw 75373
c lw 75545
c lw 76135
c lw 76252
c lw 77373
c lw 77726
c lw 77798
c lw 77934
c lw 77971
c lw 78344
c lw 78637
c lw 79311
c lw 79568
c lw 79594
c lw 79696
c lw 79718
c lw 80282
c lw 80598
c lw 80889
c lw 80951
c lw 81468
c lw 81486
c lw 81512
c lw 81709
c lw 81909
c lw 82003
c lw 82021
c lw 82083
c lw 82109
c lw 82262
c lw 82356
c lw 82419
c lw 82463
c lw 82478
c lw 82489
c lw 82493
c lw 82525
c lw 82537
c lw 82543
c lw 82604
c lw 82616
c lw 82637
c lw 82645
c lw 82648
c lw 82652
c lw 82656
c lw 82663
c lw 82708
c lw 82722
c lw 82725
c lw 82726
c lw 82744
c lw 82751
c lw 82764
c lw 82769
c lw 82780
c lw 82795
c lw 82809
c lw 82834
c lw 82845
c lw 82846
c lw 82915
c lw 82976
c lw 82985
c lw 82988
c lw 83015
c lw 83043
c lw 83323
c lw 83352
c lw 84186
c lw 84215
c lw 84584
c lw 84613
c lw 84617
c lw 84688
c lw 84742
c lw 84743
c lw 84744
c lw 84745
c lw 84748
c lw 84755
c lw 84760
c lw 84785
c lw 84787
c lw 84795
c lw 84799
c lw 84803
c lw 84805
c lw 84816
c lw 84817
c lw 84828
c lw 84845
c lw 84931
c lw 84943
c lw 84978
c lw 85001
c lw 85026
c lw 85046
c lw 85049
c lw 85053
c lw 85083
c lw 85091
c lw 85382
c lw 85467
c lw 85777
c lw 85779
c lw 85783
c lw 85796
c lw 85802
c lw 85803
c lw 85807
c lw 85812
c lw 85821
c lw 85833
c lw 85834
c lw 85844
c lw 85848
c lw 85850
c lw 85856
c lw 85869
c lw 85895
c lw 85903
c lw 85906
c lw 85916
c lw 85918
c lw 85926
c lw 85927
c lw 85928
c lw 85929
c lw 85930
c lw 85931
c lw 85938
c lw 85941
c lw 85943
c lw 85950
c lw 85958
c lw 85966
c lw 85968
c lw 85970
c lw 85974
c lw 85976
c lw 85978
c lw 85988
c lw 85991
c lw 85993
c lw 85998
c lw 85999
c lw 86005
c lw 86013
c lw 86025
c lw 86038
c lw 86044
c lw 86046
c lw 86050
c lw 86060
c lw 86061
c lw 86073
c lw 86082
c lw 86083
c lw 86087
c lw 86088
c lw 86093
c lw 86106
c lw 86107
c lw 86110
c lw 86111
c lw 86112
c lw 86119
c lw 86121
c lw 86134
c lw 86135
c lw 86138
c lw 86145
c lw 86146
c lw 86147
c lw 86150
c lw 86151
c lw 86152
c lw 86158
c lw 86159
c lw 86161
c lw 86162
c lw 86163
c lw 86175
c lw 86183
c lw 86185
c lw 86187
c lw 86189
c lw 86190
c lw 86191
c lw 86192
c lw 86198
c lw 86199
c lw 86201
c lw 86202
c lw 86203
c lw 86204
c lw 86206
c lw 86209
c lw 86210
c lw 86211
c lw 86214
c lw 86215
c lw 86217
c lw 86221
c lw 86222
c lw 86223
c lw 86225
c lw 86226
c lw 86227
c lw 86228
c lw 86230
c lw 86232
c lw 86233
c lw 86236
c lw 86237
c lw 86238
c lw 86239
c lw 86240
c lw 86241
c lw 86242
c lw 86243
c lw 86244
c lw 86245
c lw 86248
c lw 86250
c lw 86251
c lw 86252
c lw 86253
c lw 86254
c lw 86255
c lw 86256
c lw 86257
c lw 86258
c lw 86259
c lw 86260
c lw 86261
c lw 86262
c lw 86263
c lw 86264
c lw 86265
c lw 86266
c lw 86267
c lw 86268
c lw 86269
c lw 86270
c lw 86271
c lw 86272
c lw 86273
c lw 86274
c lw 86275
c lw 86276
c lw 86277
c lw 86278
c lw 86279
c lw 86280
c lw 86281
c lw 86282
c lw 86283
c lw 86286
c lw 86287
c lw 86288
c lw 86289
c lw 86290
c lw 86291
c lw 86292
c lw 86293
c lw 86294
c lw 86295
c lw 86296
c lw 86297
c lw 86298
c lw 86299
c lw 86300
c lw 86301
c lw 86302
c lw 86303
c lw 86304
c lw 86305
c lw 86306
c lw 86307
c lw 86308
c lw 86310
c lw 86311
c lw 86312
c lw 86314
c lw 86315
c lw 86316
c lw 86317
c lw 86318
c lw 86320
c lw 86322
c lw 86323
c lw 86325
c lw 86326
c lw 86327
c lw 86328
c lw 86329
c lw 86330
c lw 86331
c lw 86332
c lw 86333
c lw 86334
c lw 86335
c lw 86336
c lw 86337
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 
o 86337
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-6.net.wcnf 86337
287.880u 2.019s 4:50.56 99.7%	0+0k 0+0io 0pf+0w