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-140-1_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1008
c lw 1432
c lw 2470
c lw 3111
c lw 4908
c lw 6730
c lw 7646
c lw 8266
c lw 8517
c lw 9617
c lw 10747
c lw 11416
c lw 11769
c lw 12668
c lw 13229
c lw 14244
c lw 15644
c lw 16007
c lw 17473
c lw 17729
c lw 19208
c lw 20377
c lw 20463
c lw 21809
c lw 23362
c lw 23531
c lw 25241
c lw 25507
c lw 25905
c lw 26006
c lw 26071
c lw 26546
c lw 26691
c lw 28127
c lw 28875
c lw 29011
c lw 29083
c lw 29672
c lw 30263
c lw 30319
c lw 31690
c lw 31779
c lw 32148
c lw 32191
c lw 32638
c lw 32956
c lw 33444
c lw 33831
c lw 34111
c lw 34172
c lw 34578
c lw 35456
c lw 35516
c lw 36024
c lw 36175
c lw 36282
c lw 36439
c lw 36513
c lw 36538
c lw 37219
c lw 37438
c lw 37680
c lw 37967
c lw 38729
c lw 38791
c lw 38914
c lw 39166
c lw 39823
c lw 40019
c lw 40076
c lw 40319
c lw 40813
c lw 40819
c lw 41024
c lw 41907
c lw 42300
c lw 43095
c lw 43849
c lw 43903
c lw 44162
c lw 44397
c lw 44726
c lw 44861
c lw 45079
c lw 45586
c lw 45796
c lw 45975
c lw 46125
c lw 47041
c lw 47232
c lw 47909
c lw 47969
c lw 48058
c lw 48338
c lw 48339
c lw 48546
c lw 48988
c lw 49304
c lw 49565
c lw 49572
c lw 49803
c lw 49809
c lw 50016
c lw 50028
c lw 50076
c lw 50354
c lw 50367
c lw 50555
c lw 51208
c lw 52010
c lw 52368
c lw 52761
c lw 53098
c lw 53572
c lw 53809
c lw 53946
c lw 54115
c lw 55314
c lw 55500
c lw 55818
c lw 56009
c lw 56777
c lw 56784
c lw 57164
c lw 57370
c lw 57431
c lw 57534
c lw 57806
c lw 57957
c lw 58041
c lw 58064
c lw 58828
c lw 58902
c lw 58927
c lw 59166
c lw 60352
c lw 60404
c lw 60517
c lw 60670
c lw 60734
c lw 60799
c lw 61214
c lw 61337
c lw 61399
c lw 61965
c lw 62170
c lw 62183
c lw 62228
c lw 62306
c lw 62492
c lw 62496
c lw 62625
c lw 62911
c lw 63573
c lw 63677
c lw 65161
c lw 65381
c lw 65384
c lw 65441
c lw 65777
c lw 66377
c lw 66632
c lw 66726
c lw 66769
c lw 66793
c lw 66938
c lw 67276
c lw 67329
c lw 67409
c lw 67582
c lw 68378
c lw 68429
c lw 68560
c lw 68686
c lw 69296
c lw 69630
c lw 69647
c lw 69750
c lw 70050
c lw 70207
c lw 70514
c lw 70629
c lw 70826
c lw 71169
c lw 71474
c lw 71717
c lw 71842
c lw 72276
c lw 72317
c lw 72560
c lw 72581
c lw 72677
c lw 72718
c lw 73059
c lw 73167
c lw 73234
c lw 73850
c lw 74285
c lw 75029
c lw 75179
c lw 75319
c lw 75492
c lw 75581
c lw 76277
c lw 76351
c lw 76724
c lw 76909
c lw 77329
c lw 77406
c lw 77482
c lw 77903
c lw 78752
c lw 78778
c lw 79620
c lw 80100
c lw 80420
c lw 80480
c lw 80648
c lw 80871
c lw 81498
c lw 81521
c lw 81958
c lw 82028
c lw 82186
c lw 82452
c lw 82833
c lw 82934
c lw 83139
c lw 83311
c lw 84156
c lw 84229
c lw 84351
c lw 84446
c lw 84720
c lw 84725
c lw 84906
c lw 85412
c lw 85646
c lw 85719
c lw 85777
c lw 85828
c lw 85905
c lw 85954
c lw 86135
c lw 86184
c lw 86366
c lw 86734
c lw 86783
c lw 86860
c lw 86911
c lw 86969
c lw 87029
c lw 87230
c lw 87294
c lw 87601
c lw 88055
c lw 88653
c lw 88853
c lw 89072
c lw 89198
c lw 89348
c lw 90230
c lw 90374
c lw 90548
c lw 90709
c lw 90729
c lw 91099
c lw 91164
c lw 91446
c lw 91513
c lw 91990
c lw 92091
c lw 92109
c lw 92134
c lw 92165
c lw 92208
c lw 92228
c lw 92456
c lw 92726
c lw 92728
c lw 93386
c lw 93911
c lw 93928
c lw 94634
c lw 94905
c lw 95295
c lw 95361
c lw 95432
c lw 95509
c lw 96021
c lw 96096
c lw 96114
c lw 96321
c lw 97010
c lw 97024
c lw 97119
c lw 97706
c lw 97889
c lw 97976
c lw 98530
c lw 98561
c lw 98582
c lw 98602
c lw 98686
c lw 98717
c lw 98745
c lw 98772
c lw 99180
c lw 100060
c lw 100950
c lw 100981
c lw 101005
c lw 101067
c lw 101100
c lw 101370
c lw 101464
c lw 101527
c lw 101780
c lw 101799
c lw 101827
c lw 101966
c lw 102487
c lw 102524
c lw 102611
c lw 103003
c lw 103138
c lw 103734
c lw 104268
c lw 104427
c lw 104693
c lw 104773
c lw 104836
c lw 104934
c lw 105883
c lw 106209
c lw 106378
c lw 106845
c lw 106903
c lw 106969
c lw 107033
c lw 107088
c lw 107262
c lw 107454
c lw 108019
c lw 108146
c lw 108676
c lw 108813
c lw 109056
c lw 109147
c lw 109165
c lw 109198
c lw 109255
c lw 109276
c lw 109279
c lw 109293
c lw 109315
c lw 110060
c lw 110076
c lw 110081
c lw 110096
c lw 110129
c lw 110141
c lw 110180
c lw 110213
c lw 110219
c lw 110295
c lw 110330
c lw 110348
c lw 110450
c lw 110468
c lw 110683
c lw 110856
c lw 110875
c lw 110926
c lw 110944
c lw 111476
c lw 111529
c lw 111864
c lw 112527
c lw 112608
c lw 112732
c lw 112733
c lw 112747
c lw 112829
c lw 112894
c lw 112907
c lw 112949
c lw 113180
c lw 113314
c lw 113483
c lw 113839
c lw 113985
c lw 114070
c lw 114090
c lw 114095
c lw 114128
c lw 114129
c lw 114164
c lw 114174
c lw 114179
c lw 114191
c lw 114207
c lw 114224
c lw 114230
c lw 114242
c lw 114244
c lw 114250
c lw 114252
c lw 114264
c lw 114270
c lw 114273
c lw 114300
c lw 114978
c lw 115081
c lw 115132
c lw 115276
c lw 116230
c lw 116307
c lw 116324
c lw 116369
c lw 116400
c lw 116424
c lw 116901
c lw 117284
c lw 117363
c lw 117376
c lw 117509
c lw 117846
c lw 117881
c lw 117882
c lw 117888
c lw 118025
c lw 118390
c lw 118403
c lw 118416
c lw 118444
c lw 118462
c lw 118481
c lw 118514
c lw 118548
c lw 118553
c lw 118563
c lw 118659
c lw 118740
c lw 118792
c lw 118808
c lw 118838
c lw 118967
c lw 119043
c lw 119131
c lw 119326
c lw 119366
c lw 119380
c lw 119431
c lw 119435
c lw 119514
c lw 119589
c lw 119611
c lw 119705
c lw 120389
c lw 120394
c lw 121179
c lw 121227
c lw 121751
c lw 121862
c lw 121969
c lw 121994
c lw 122073
c lw 122173
c lw 122199
c lw 123008
c lw 123359
c lw 123372
c lw 123423
c lw 123493
c lw 123520
c lw 123616
c lw 123655
c lw 123671
c lw 123691
c lw 123747
c lw 123750
c lw 123751
c lw 123839
c lw 123856
c lw 123872
c lw 123922
c lw 123935
c lw 123943
c lw 123953
c lw 123959
c lw 123960
c lw 123961
c lw 123974
c lw 123983
c lw 124390
c lw 124518
c lw 124724
c lw 124739
c lw 124762
c lw 124804
c lw 124823
c lw 124831
c lw 124836
c lw 124856
c lw 124861
c lw 124932
c lw 124946
c lw 124959
c lw 124973
c lw 125186
c lw 125467
c lw 126092
c lw 126110
c lw 126217
c lw 126240
c lw 126599
c lw 126602
c lw 126625
c lw 126641
c lw 126643
c lw 126661
c lw 126663
c lw 126669
c lw 126695
c lw 126699
c lw 126720
c lw 126739
c lw 126757
c lw 126778
c lw 126780
c lw 126782
c lw 126784
c lw 126796
c lw 126798
c lw 126799
c lw 126808
c lw 126814
c lw 126822
c lw 126826
c lw 126839
c lw 126842
c lw 126845
c lw 126848
c lw 126850
c lw 126853
c lw 126855
c lw 126857
c lw 127871
c lw 127950
c lw 127989
c lw 128808
c lw 128978
c lw 129063
c lw 129085
c lw 129102
c lw 129181
c lw 129195
c lw 129208
c lw 129237
c lw 129316
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 
o 129316
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-8.net.wcnf 129316
82.552u 0.981s 1:23.74 99.7%	0+0k 0+0io 0pf+0w