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-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1379
c lw 2241
c lw 3212
c lw 3989
c lw 4622
c lw 4950
c lw 6693
c lw 7442
c lw 8868
c lw 9411
c lw 11283
c lw 11327
c lw 11834
c lw 12617
c lw 13907
c lw 15370
c lw 16066
c lw 16948
c lw 18143
c lw 20169
c lw 20183
c lw 20358
c lw 20532
c lw 20620
c lw 21183
c lw 21366
c lw 21643
c lw 23191
c lw 23898
c lw 24789
c lw 25169
c lw 25492
c lw 25576
c lw 26212
c lw 27262
c lw 27809
c lw 27872
c lw 28043
c lw 28346
c lw 28646
c lw 28817
c lw 28991
c lw 29111
c lw 29435
c lw 30664
c lw 31297
c lw 32027
c lw 32137
c lw 32182
c lw 33422
c lw 33839
c lw 34022
c lw 34225
c lw 35200
c lw 35520
c lw 35700
c lw 36106
c lw 36230
c lw 36842
c lw 37222
c lw 37545
c lw 37629
c lw 37900
c lw 38043
c lw 38265
c lw 38305
c lw 38954
c lw 38975
c lw 39275
c lw 39439
c lw 39487
c lw 39733
c lw 39800
c lw 40940
c lw 41311
c lw 41335
c lw 41343
c lw 41406
c lw 41710
c lw 41907
c lw 42326
c lw 42395
c lw 42790
c lw 43214
c lw 43586
c lw 43768
c lw 43806
c lw 44208
c lw 44436
c lw 45507
c lw 45565
c lw 46238
c lw 46372
c lw 46653
c lw 46923
c lw 47107
c lw 48052
c lw 48069
c lw 48185
c lw 48485
c lw 48659
c lw 48976
c lw 49003
c lw 49096
c lw 49107
c lw 49319
c lw 49338
c lw 50260
c lw 50346
c lw 51110
c lw 51547
c lw 51564
c lw 52313
c lw 52526
c lw 52597
c lw 52605
c lw 52898
c lw 53480
c lw 54079
c lw 54411
c lw 54536
c lw 54949
c lw 55070
c lw 55354
c lw 56221
c lw 56536
c lw 56553
c lw 57502
c lw 57673
c lw 57679
c lw 57913
c lw 58024
c lw 58145
c lw 58156
c lw 59247
c lw 59300
c lw 59320
c lw 59499
c lw 59595
c lw 60615
c lw 60839
c lw 60897
c lw 61332
c lw 61658
c lw 61776
c lw 62380
c lw 62825
c lw 63208
c lw 63386
c lw 63560
c lw 63582
c lw 63815
c lw 63987
c lw 64046
c lw 64131
c lw 65194
c lw 65210
c lw 65375
c lw 65827
c lw 65878
c lw 65956
c lw 66266
c lw 66482
c lw 66547
c lw 67406
c lw 67526
c lw 67753
c lw 67869
c lw 68066
c lw 68155
c lw 68192
c lw 68468
c lw 68481
c lw 68803
c lw 69514
c lw 69625
c lw 69645
c lw 70073
c lw 70796
c lw 71099
c lw 71810
c lw 71948
c lw 72264
c lw 72792
c lw 72849
c lw 72960
c lw 73179
c lw 73281
c lw 73507
c lw 73687
c lw 73741
c lw 73749
c lw 73919
c lw 73956
c lw 74462
c lw 74638
c lw 74893
c lw 75199
c lw 75213
c lw 75220
c lw 75540
c lw 75585
c lw 75679
c lw 76314
c lw 76346
c lw 76384
c lw 76441
c lw 76448
c lw 76536
c lw 76812
c lw 77082
c lw 77165
c lw 77240
c lw 77613
c lw 78033
c lw 78167
c lw 78507
c lw 78823
c lw 79472
c lw 79607
c lw 79920
c lw 79975
c lw 80145
c lw 80425
c lw 80546
c lw 80679
c lw 81516
c lw 81596
c lw 81654
c lw 81814
c lw 82057
c lw 82092
c lw 82128
c lw 82298
c lw 82433
c lw 82466
c lw 82691
c lw 83524
c lw 83561
c lw 83610
c lw 83929
c lw 83933
c lw 84308
c lw 84846
c lw 85308
c lw 85685
c lw 87103
c lw 87283
c lw 87453
c lw 87495
c lw 87582
c lw 87589
c lw 87722
c lw 87735
c lw 88396
c lw 89107
c lw 89177
c lw 89613
c lw 89639
c lw 89808
c lw 90016
c lw 90516
c lw 90517
c lw 90678
c lw 90744
c lw 90891
c lw 91006
c lw 91044
c lw 91411
c lw 91684
c lw 91687
c lw 91821
c lw 92480
c lw 92629
c lw 93073
c lw 93240
c lw 93395
c lw 94266
c lw 94336
c lw 94551
c lw 94552
c lw 94713
c lw 94751
c lw 95118
c lw 95134
c lw 95688
c lw 96253
c lw 96407
c lw 96449
c lw 96596
c lw 96611
c lw 96938
c lw 97013
c lw 97021
c lw 97068
c lw 97167
c lw 97603
c lw 98499
c lw 98614
c lw 98748
c lw 98825
c lw 98909
c lw 99751
c lw 99996
c lw 99997
c lw 100011
c lw 100171
c lw 100318
c lw 100383
c lw 100423
c lw 100752
c lw 100817
c lw 101256
c lw 101371
c lw 101473
c lw 102021
c lw 102088
c lw 102153
c lw 103054
c lw 103074
c lw 103237
c lw 103651
c lw 103678
c lw 104050
c lw 104635
c lw 104682
c lw 105067
c lw 105094
c lw 105173
c lw 106467
c lw 106643
c lw 106646
c lw 106736
c lw 106787
c lw 107031
c lw 107547
c lw 107648
c lw 107670
c lw 107791
c lw 107881
c lw 108128
c lw 108361
c lw 108389
c lw 108649
c lw 108992
c lw 108995
c lw 109254
c lw 109262
c lw 109641
c lw 109818
c lw 110017
c lw 110060
c lw 110138
c lw 111020
c lw 112174
c lw 112322
c lw 112662
c lw 112805
c lw 112953
c lw 112960
c lw 112969
c lw 114145
c lw 114148
c lw 115157
c lw 115305
c lw 115446
c lw 115728
c lw 115737
c lw 115778
c lw 115943
c lw 115950
c lw 115956
c lw 115961
c lw 116188
c lw 116446
c lw 117275
c lw 117808
c lw 118156
c lw 119047
c lw 119089
c lw 119427
c lw 120313
c lw 121304
c lw 121461
c lw 121541
c lw 121633
c lw 121878
c lw 122016
c lw 123192
c lw 123248
c lw 123475
c lw 124117
c lw 124144
c lw 124207
c lw 124215
c lw 124238
c lw 124252
c lw 124301
c lw 124309
c lw 124315
c lw 124324
c lw 124397
c lw 125311
c lw 125636
c lw 126262
c lw 126389
c lw 126980
c lw 127427
c lw 127447
c lw 127699
c lw 127973
c lw 128275
c lw 128388
c lw 128593
c lw 128612
c lw 128638
c lw 128657
c lw 128716
c lw 128727
c lw 128940
c lw 129238
c lw 129262
c lw 129301
c lw 129333
c lw 130025
c lw 130487
c lw 131120
c lw 131832
c lw 131856
c lw 132077
c lw 132114
c lw 132493
c lw 132768
c lw 132996
c lw 133825
c lw 134034
c lw 134058
c lw 134071
c lw 134283
c lw 134298
c lw 134550
c lw 135068
c lw 136047
c lw 136062
c lw 136261
c lw 136265
c lw 136319
c lw 136542
c lw 136699
c lw 136718
c lw 136723
c lw 136798
c lw 136807
c lw 136839
c lw 136848
c lw 138043
c lw 138789
c lw 139230
c lw 139419
c lw 139433
c lw 139965
c lw 140367
c lw 140502
c lw 141484
c lw 141862
c lw 142360
c lw 143173
c lw 143259
c lw 143367
c lw 144056
c lw 144263
c lw 144325
c lw 144388
c lw 145005
c lw 145130
c lw 145792
c lw 145911
c lw 146076
c lw 147154
c lw 147230
c lw 147391
c lw 147464
c lw 147498
c lw 147503
c lw 147576
c lw 147628
c lw 148805
c lw 148939
c lw 149075
c lw 149142
c lw 149175
c lw 150161
c lw 150360
c lw 150363
c lw 150364
c lw 150640
c lw 150691
c lw 150693
c lw 150837
c lw 150959
c lw 151164
c lw 151216
c lw 151349
c lw 151471
c lw 151481
c lw 151554
c lw 152940
c lw 153156
c lw 153520
c lw 153574
c lw 153590
c lw 153784
c lw 154803
c lw 155212
c lw 156187
c lw 156362
c lw 157346
c lw 157615
c lw 157764
c lw 157819
c lw 157869
c lw 158072
c lw 158078
c lw 158080
c lw 158099
c lw 158104
c lw 158106
c lw 158110
c lw 158112
c lw 158113
c lw 158114
c lw 158115
c lw 158116
c lw 158117
c lw 158118
c lw 158146
c lw 158240
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 
o 158240
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-3.net.wcnf 158240
94.045u 0.803s 1:35.05 99.7%	0+0k 0+0io 0pf+0w