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-120-1_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 182
c lw 1729
c lw 2475
c lw 3453
c lw 4287
c lw 5362
c lw 6362
c lw 8176
c lw 9280
c lw 10232
c lw 10774
c lw 11820
c lw 12534
c lw 13100
c lw 13848
c lw 13865
c lw 15009
c lw 15615
c lw 16477
c lw 16522
c lw 16653
c lw 17270
c lw 18157
c lw 18935
c lw 20404
c lw 20914
c lw 21182
c lw 21455
c lw 21832
c lw 22017
c lw 22046
c lw 22694
c lw 23422
c lw 23536
c lw 24001
c lw 24273
c lw 24535
c lw 24835
c lw 25333
c lw 25951
c lw 26720
c lw 26968
c lw 27011
c lw 27091
c lw 27137
c lw 27686
c lw 28084
c lw 28166
c lw 28877
c lw 28961
c lw 29938
c lw 29987
c lw 30745
c lw 31393
c lw 32745
c lw 32911
c lw 33469
c lw 33809
c lw 33867
c lw 33947
c lw 34462
c lw 34830
c lw 35253
c lw 35306
c lw 35321
c lw 35350
c lw 36263
c lw 36315
c lw 36340
c lw 36627
c lw 36960
c lw 37696
c lw 37883
c lw 38823
c lw 39556
c lw 39733
c lw 40225
c lw 41077
c lw 41504
c lw 41512
c lw 41605
c lw 41879
c lw 41898
c lw 42360
c lw 42531
c lw 42911
c lw 43183
c lw 43286
c lw 43586
c lw 44084
c lw 44520
c lw 44534
c lw 45246
c lw 45377
c lw 45812
c lw 45906
c lw 45925
c lw 45971
c lw 46520
c lw 46631
c lw 47342
c lw 47426
c lw 47850
c lw 48023
c lw 48072
c lw 48283
c lw 48458
c lw 48534
c lw 48679
c lw 48737
c lw 48995
c lw 49038
c lw 49126
c lw 49439
c lw 49456
c lw 49524
c lw 49682
c lw 49853
c lw 49956
c lw 50159
c lw 50944
c lw 51228
c lw 51567
c lw 52276
c lw 52325
c lw 52373
c lw 52446
c lw 52619
c lw 52638
c lw 52749
c lw 53249
c lw 53470
c lw 53778
c lw 54963
c lw 55016
c lw 55073
c lw 56488
c lw 56516
c lw 56856
c lw 57019
c lw 57107
c lw 57243
c lw 58058
c lw 58253
c lw 58269
c lw 58714
c lw 58895
c lw 59438
c lw 59470
c lw 59524
c lw 59841
c lw 59924
c lw 60360
c lw 60530
c lw 60748
c lw 60972
c lw 61037
c lw 62128
c lw 62135
c lw 62515
c lw 62799
c lw 63012
c lw 63417
c lw 63600
c lw 63660
c lw 64518
c lw 64534
c lw 64579
c lw 64771
c lw 65297
c lw 65375
c lw 65495
c lw 65533
c lw 65545
c lw 66366
c lw 66567
c lw 66850
c lw 66980
c lw 67023
c lw 67367
c lw 67499
c lw 67506
c lw 67732
c lw 67776
c lw 68100
c lw 69101
c lw 69266
c lw 69296
c lw 69352
c lw 69872
c lw 69929
c lw 70430
c lw 71061
c lw 71277
c lw 72102
c lw 72630
c lw 72704
c lw 72955
c lw 73117
c lw 73193
c lw 73356
c lw 73539
c lw 73723
c lw 74723
c lw 75025
c lw 75531
c lw 76073
c lw 76261
c lw 76329
c lw 76365
c lw 76730
c lw 77130
c lw 77708
c lw 77740
c lw 78079
c lw 78173
c lw 78221
c lw 78843
c lw 79027
c lw 79497
c lw 79568
c lw 80292
c lw 80339
c lw 80342
c lw 80415
c lw 80460
c lw 80508
c lw 80513
c lw 80534
c lw 80823
c lw 80917
c lw 81257
c lw 81352
c lw 81425
c lw 81740
c lw 81804
c lw 81857
c lw 81930
c lw 81956
c lw 81984
c lw 82022
c lw 82046
c lw 82285
c lw 82382
c lw 82397
c lw 82544
c lw 82572
c lw 82584
c lw 82596
c lw 82645
c lw 82915
c lw 83076
c lw 83117
c lw 83910
c lw 84185
c lw 84271
c lw 84986
c lw 85322
c lw 86402
c lw 86566
c lw 86760
c lw 87053
c lw 87493
c lw 87910
c lw 88233
c lw 88248
c lw 88625
c lw 89082
c lw 89616
c lw 89773
c lw 90155
c lw 90922
c lw 91206
c lw 91493
c lw 91637
c lw 91725
c lw 91741
c lw 91937
c lw 92101
c lw 92265
c lw 92351
c lw 92517
c lw 92907
c lw 93367
c lw 93689
c lw 93815
c lw 94004
c lw 94088
c lw 94127
c lw 94176
c lw 94987
c lw 95017
c lw 96157
c lw 96359
c lw 96583
c lw 96861
c lw 97022
c lw 97453
c lw 98005
c lw 98120
c lw 98381
c lw 99852
c lw 99859
c lw 99873
c lw 99880
c lw 99898
c lw 100234
c lw 100374
c lw 100427
c lw 101287
c lw 101465
c lw 101554
c lw 102613
c lw 102715
c lw 102722
c lw 103355
c lw 103446
c lw 103607
c lw 103757
c lw 103810
c lw 104024
c lw 104286
c lw 104478
c lw 104506
c lw 104890
c lw 105056
c lw 105184
c lw 105545
c lw 105686
c lw 105696
c lw 106715
c lw 106818
c lw 107098
c lw 107274
c lw 107323
c lw 107402
c lw 107506
c lw 107530
c lw 107558
c lw 107584
c lw 107643
c lw 107694
c lw 108424
c lw 108575
c lw 109280
c lw 109335
c lw 109586
c lw 110041
c lw 110207
c lw 110214
c lw 110221
c lw 110235
c lw 110811
c lw 111382
c lw 111437
c lw 112540
c lw 112595
c lw 112636
c lw 112709
c lw 112767
c lw 112979
c lw 112981
c lw 113054
c lw 113056
c lw 113061
c lw 113080
c lw 113121
c lw 113157
c lw 113214
c lw 113266
c lw 113344
c lw 113764
c lw 114114
c lw 115189
c lw 115244
c lw 115332
c lw 115498
c lw 115533
c lw 115569
c lw 115904
c lw 116047
c lw 116074
c lw 116104
c lw 116766
c lw 116773
c lw 117173
c lw 117179
c lw 117197
c lw 117198
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 
o 117198
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-5.net.wcnf 117198
25.666u 0.379s 0:26.05 99.9%	0+0k 0+0io 0pf+0w