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-160-1_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 812
c lw 896
c lw 2996
c lw 3007
c lw 3497
c lw 4030
c lw 4174
c lw 4191
c lw 4763
c lw 6066
c lw 6751
c lw 6800
c lw 8459
c lw 10005
c lw 10164
c lw 11309
c lw 11668
c lw 12779
c lw 13126
c lw 14084
c lw 14833
c lw 14929
c lw 15132
c lw 15912
c lw 16475
c lw 16847
c lw 17774
c lw 17823
c lw 18058
c lw 18539
c lw 18560
c lw 19436
c lw 19790
c lw 20002
c lw 20169
c lw 20570
c lw 20694
c lw 20738
c lw 21050
c lw 21972
c lw 22374
c lw 22502
c lw 22612
c lw 23042
c lw 24081
c lw 24084
c lw 24302
c lw 24398
c lw 24511
c lw 24877
c lw 25024
c lw 25102
c lw 25103
c lw 25206
c lw 25682
c lw 26342
c lw 26852
c lw 27030
c lw 27934
c lw 28176
c lw 28516
c lw 28940
c lw 29249
c lw 29416
c lw 29774
c lw 29817
c lw 29889
c lw 29922
c lw 30234
c lw 30368
c lw 31156
c lw 31422
c lw 31789
c lw 32040
c lw 32305
c lw 33094
c lw 33195
c lw 33500
c lw 33909
c lw 33978
c lw 34408
c lw 34931
c lw 34999
c lw 35024
c lw 35242
c lw 35503
c lw 35774
c lw 36179
c lw 37211
c lw 37691
c lw 37796
c lw 38368
c lw 38442
c lw 38538
c lw 38815
c lw 39269
c lw 39285
c lw 39438
c lw 39827
c lw 40303
c lw 40456
c lw 40587
c lw 40734
c lw 40812
c lw 40813
c lw 40916
c lw 41024
c lw 41026
c lw 41638
c lw 41683
c lw 42443
c lw 42514
c lw 42582
c lw 42636
c lw 42707
c lw 42907
c lw 42914
c lw 42926
c lw 42937
c lw 43291
c lw 43310
c lw 43390
c lw 43616
c lw 43712
c lw 44438
c lw 44621
c lw 44760
c lw 45126
c lw 46207
c lw 46710
c lw 46842
c lw 47259
c lw 47917
c lw 47968
c lw 48781
c lw 48803
c lw 49023
c lw 49307
c lw 49661
c lw 50226
c lw 50355
c lw 50778
c lw 50901
c lw 51347
c lw 51504
c lw 51660
c lw 52082
c lw 52116
c lw 52265
c lw 53020
c lw 53087
c lw 53139
c lw 53141
c lw 53150
c lw 53294
c lw 53383
c lw 53801
c lw 54256
c lw 54294
c lw 54775
c lw 54867
c lw 54965
c lw 55170
c lw 55310
c lw 55453
c lw 55528
c lw 55538
c lw 55590
c lw 55665
c lw 55675
c lw 55776
c lw 55853
c lw 55917
c lw 55994
c lw 56039
c lw 56061
c lw 56140
c lw 56384
c lw 56523
c lw 57406
c lw 57849
c lw 58108
c lw 58234
c lw 58430
c lw 58820
c lw 58837
c lw 58881
c lw 59179
c lw 59532
c lw 59605
c lw 59735
c lw 60289
c lw 60584
c lw 60977
c lw 61398
c lw 62046
c lw 62168
c lw 62343
c lw 62917
c lw 62922
c lw 63795
c lw 64348
c lw 64848
c lw 64986
c lw 64999
c lw 65141
c lw 65217
c lw 65378
c lw 65414
c lw 65586
c lw 65939
c lw 65993
c lw 66029
c lw 66069
c lw 66135
c lw 66190
c lw 66210
c lw 66424
c lw 66444
c lw 66769
c lw 66804
c lw 67119
c lw 67791
c lw 67884
c lw 67963
c lw 68087
c lw 68144
c lw 68374
c lw 68736
c lw 68872
c lw 68967
c lw 69003
c lw 69018
c lw 69098
c lw 69139
c lw 69614
c lw 69763
c lw 69791
c lw 70130
c lw 70139
c lw 70145
c lw 70365
c lw 70395
c lw 70771
c lw 70864
c lw 70989
c lw 71098
c lw 71120
c lw 71133
c lw 71151
c lw 71439
c lw 71447
c lw 71598
c lw 71604
c lw 71670
c lw 71699
c lw 72014
c lw 72714
c lw 72811
c lw 72872
c lw 73025
c lw 73440
c lw 73521
c lw 73570
c lw 74054
c lw 74121
c lw 74143
c lw 74329
c lw 74452
c lw 74775
c lw 74838
c lw 74896
c lw 75507
c lw 75525
c lw 75635
c lw 76169
c lw 76176
c lw 76221
c lw 76333
c lw 76421
c lw 76425
c lw 76566
c lw 76943
c lw 77105
c lw 77313
c lw 77667
c lw 77697
c lw 77749
c lw 77797
c lw 78616
c lw 78689
c lw 79141
c lw 79309
c lw 79552
c lw 79667
c lw 80036
c lw 80119
c lw 80268
c lw 80885
c lw 81394
c lw 81472
c lw 81993
c lw 82147
c lw 82381
c lw 82617
c lw 82978
c lw 83259
c lw 84093
c lw 84252
c lw 84427
c lw 84501
c lw 84508
c lw 84513
c lw 84585
c lw 84677
c lw 85061
c lw 85595
c lw 85641
c lw 85687
c lw 85781
c lw 85919
c lw 86028
c lw 86058
c lw 86065
c lw 86117
c lw 86165
c lw 86273
c lw 86378
c lw 86426
c lw 86697
c lw 86901
c lw 86948
c lw 87062
c lw 87517
c lw 87865
c lw 88297
c lw 88405
c lw 88744
c lw 88745
c lw 88920
c lw 89113
c lw 89125
c lw 89148
c lw 89155
c lw 89158
c lw 89185
c lw 89186
c lw 89598
c lw 90248
c lw 90322
c lw 90506
c lw 90661
c lw 90810
c lw 90817
c lw 91039
c lw 91093
c lw 91109
c lw 91163
c lw 91260
c lw 91262
c lw 91435
c lw 91544
c lw 91735
c lw 91915
c lw 92534
c lw 92925
c lw 93964
c lw 94799
c lw 94803
c lw 94844
c lw 94960
c lw 95099
c lw 95377
c lw 95384
c lw 95385
c lw 95439
c lw 95473
c lw 95538
c lw 95639
c lw 95642
c lw 95646
c lw 95647
c lw 95650
c lw 96081
c lw 96447
c lw 96648
c lw 96750
c lw 96967
c lw 97339
c lw 97344
c lw 97517
c lw 97536
c lw 97557
c lw 98335
c lw 98918
c lw 99321
c lw 99619
c lw 100091
c lw 100110
c lw 100470
c lw 100633
c lw 100637
c lw 100847
c lw 101058
c lw 101293
c lw 101461
c lw 101466
c lw 101543
c lw 102228
c lw 102567
c lw 102727
c lw 102877
c lw 102883
c lw 102898
c lw 102902
c lw 102949
c lw 103004
c lw 103031
c lw 103076
c lw 103131
c lw 103164
c lw 103181
c lw 103206
c lw 103319
c lw 103412
c lw 103415
c lw 103432
c lw 103537
c lw 103648
c lw 103793
c lw 103859
c lw 103957
c lw 104856
c lw 104896
c lw 104910
c lw 105225
c lw 105310
c lw 105322
c lw 105703
c lw 105768
c lw 105972
c lw 106002
c lw 106009
c lw 106019
c lw 106055
c lw 106061
c lw 106104
c lw 106109
c lw 106209
c lw 106259
c lw 106261
c lw 106462
c lw 106833
c lw 106839
c lw 106891
c lw 106961
c lw 106963
c lw 106966
c lw 106967
c lw 106968
c lw 106971
c lw 106985
c lw 106991
c lw 106997
c lw 107016
c lw 107032
c lw 107056
c lw 107061
c lw 107072
c lw 107075
c lw 107079
c lw 107082
c lw 107087
c lw 107106
c lw 107108
c lw 107111
c lw 107114
c lw 107120
c lw 107155
c lw 107160
c lw 107179
c lw 107187
c lw 107189
c lw 107194
c lw 107353
c lw 107798
c lw 108152
c lw 108158
c lw 108163
c lw 108164
c lw 108165
c lw 108168
c lw 108170
c lw 108178
c lw 108362
c lw 108890
c lw 108893
c lw 108894
c lw 108895
c lw 108896
c lw 108900
c lw 108904
c lw 109182
c lw 109338
c lw 109763
c lw 110024
c lw 110282
c lw 110851
c lw 111566
c lw 111697
c lw 111884
c lw 112718
c lw 112876
c lw 113277
c lw 113656
c lw 113705
c lw 114043
c lw 114057
c lw 114207
c lw 115041
c lw 115273
c lw 115404
c lw 115562
c lw 115669
c lw 115710
c lw 115712
c lw 115775
c lw 115819
c lw 115829
c lw 115977
c lw 116769
c lw 116798
c lw 117273
c lw 117724
c lw 118074
c lw 118531
c lw 118560
c lw 118574
c lw 119045
c lw 119059
c lw 119205
c lw 119365
c lw 119369
c lw 119371
c lw 119372
c lw 119373
c lw 119374
c lw 119387
c lw 119398
c lw 119403
c lw 119406
c lw 119409
c lw 119410
c lw 119411
c lw 119412
c lw 119416
c lw 119417
c lw 119424
c lw 119428
c lw 119433
c lw 119435
c lw 119440
c lw 119441
c lw 119442
c lw 119459
c lw 119461
c lw 119466
c lw 119468
c lw 119469
c lw 119471
c lw 119472
c lw 119473
c lw 119484
c lw 119485
c lw 119489
c lw 119490
c lw 119495
c lw 119497
c lw 119501
c lw 119510
c lw 119512
c lw 119513
c lw 119514
c lw 119516
c lw 119517
c lw 119518
c lw 119519
c lw 119520
c lw 119521
c lw 119522
c lw 119523
c lw 119525
c lw 119526
c lw 119527
c lw 119529
c lw 119531
c lw 119532
c lw 119533
c lw 119534
c lw 119535
c lw 119538
c lw 119539
c lw 119541
c lw 119542
c lw 119544
c lw 119545
c lw 119546
c lw 119547
c lw 119548
c lw 119549
c lw 119550
c lw 119551
c lw 119552
c lw 120180
c lw 120457
c lw 120501
c lw 121154
c lw 121174
c lw 121234
c lw 121686
c lw 122107
c lw 122196
c lw 122213
c lw 122264
c lw 122307
c lw 122314
c lw 122334
c lw 122847
c lw 123025
c lw 123991
c lw 124094
c lw 124663
c lw 124760
c lw 125475
c lw 125829
c lw 125969
c lw 127192
c lw 127597
c lw 128000
c lw 128008
c lw 129473
c lw 129548
c lw 129734
c lw 130477
c lw 130687
c lw 131485
c lw 131615
c lw 131642
c lw 132797
c lw 133484
c lw 133889
c lw 134012
c lw 134019
c lw 134053
c lw 134223
c lw 134383
c lw 134404
c lw 134472
c lw 134673
c lw 134761
c lw 134791
c lw 134796
c lw 134906
c lw 134920
c lw 135205
c lw 135306
c lw 135327
c lw 135331
c lw 135332
c lw 135333
c lw 135334
c lw 135335
c lw 135336
c lw 135337
c lw 135344
c lw 135659
c lw 136581
c lw 136624
c lw 136722
c lw 136736
c lw 136740
c lw 137334
c lw 138101
c lw 138295
c lw 138346
c lw 138735
c lw 138814
c lw 139641
c lw 139673
c lw 139674
c lw 139867
c lw 140038
c lw 140798
c lw 141682
c lw 141913
c lw 142694
c lw 142761
c lw 142774
c lw 143418
c lw 143445
c lw 143827
c lw 144488
c lw 144519
c lw 144603
c lw 144616
c lw 144888
c lw 145755
c lw 145910
c lw 145911
c lw 145926
c lw 145961
c lw 145989
c lw 146010
c lw 146023
c lw 146042
c lw 146044
c lw 146048
c lw 146058
c lw 146112
c lw 146122
c lw 146126
c lw 146128
c lw 146147
c lw 147243
c lw 147416
c lw 147441
c lw 147495
c lw 147794
c lw 147814
c lw 147815
c lw 147816
c lw 147817
c lw 147818
c lw 147819
c lw 147829
c lw 147833
c lw 147834
c lw 147835
c lw 147836
c lw 147837
c lw 147838
c lw 147839
c lw 147840
c lw 147846
c lw 147847
c lw 147848
c lw 147849
c lw 147850
c lw 147851
c lw 147852
c lw 147853
c lw 147854
c lw 147855
c lw 147856
c lw 147857
c lw 147858
c lw 147859
c lw 147860
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 
o 147860
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-1.net.wcnf 147860
1100.357u 4.737s 18:25.60 99.9%	0+0k 0+0io 0pf+0w