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-80-1_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 61
c lw 1318
c lw 2146
c lw 3387
c lw 4078
c lw 4520
c lw 5628
c lw 6007
c lw 7453
c lw 7990
c lw 8066
c lw 8925
c lw 9490
c lw 9867
c lw 10590
c lw 10663
c lw 10838
c lw 10909
c lw 11820
c lw 12387
c lw 12616
c lw 13580
c lw 14483
c lw 14980
c lw 15487
c lw 15709
c lw 16409
c lw 16540
c lw 16956
c lw 17143
c lw 17611
c lw 17665
c lw 18376
c lw 18740
c lw 19051
c lw 19566
c lw 20050
c lw 20379
c lw 20676
c lw 21011
c lw 21172
c lw 21211
c lw 21285
c lw 21405
c lw 21618
c lw 21967
c lw 22471
c lw 23074
c lw 23081
c lw 23588
c lw 23810
c lw 24224
c lw 24317
c lw 24918
c lw 25031
c lw 25325
c lw 25388
c lw 25545
c lw 26046
c lw 26100
c lw 26546
c lw 27202
c lw 27347
c lw 27733
c lw 28046
c lw 28333
c lw 28516
c lw 28995
c lw 29208
c lw 29246
c lw 29557
c lw 29694
c lw 29882
c lw 29902
c lw 30611
c lw 31142
c lw 31234
c lw 31260
c lw 31390
c lw 32232
c lw 32478
c lw 32546
c lw 33033
c lw 33766
c lw 33907
c lw 34358
c lw 34477
c lw 35326
c lw 35402
c lw 35632
c lw 35953
c lw 36358
c lw 36546
c lw 36595
c lw 36736
c lw 36818
c lw 37013
c lw 37139
c lw 37515
c lw 37914
c lw 38118
c lw 38760
c lw 39005
c lw 40405
c lw 40680
c lw 41008
c lw 41151
c lw 41176
c lw 41215
c lw 41918
c lw 42010
c lw 42287
c lw 42627
c lw 42643
c lw 43344
c lw 43587
c lw 43688
c lw 44494
c lw 44780
c lw 45176
c lw 45430
c lw 45450
c lw 45460
c lw 45555
c lw 45742
c lw 45873
c lw 45911
c lw 46158
c lw 46697
c lw 47854
c lw 48524
c lw 48595
c lw 48612
c lw 48675
c lw 48693
c lw 48931
c lw 49139
c lw 49199
c lw 49331
c lw 49396
c lw 49417
c lw 49647
c lw 49712
c lw 49783
c lw 50692
c lw 50935
c lw 51067
c lw 51094
c lw 51151
c lw 51696
c lw 51722
c lw 51805
c lw 52018
c lw 52206
c lw 52273
c lw 52330
c lw 52760
c lw 52765
c lw 52790
c lw 52829
c lw 52963
c lw 53370
c lw 53536
c lw 54090
c lw 54354
c lw 54673
c lw 54786
c lw 55009
c lw 55145
c lw 56066
c lw 56097
c lw 56170
c lw 56210
c lw 56351
c lw 56514
c lw 56549
c lw 56662
c lw 57193
c lw 57263
c lw 57323
c lw 57428
c lw 57482
c lw 57538
c lw 57693
c lw 57700
c lw 58184
c lw 58744
c lw 59493
c lw 59595
c lw 59797
c lw 59816
c lw 59835
c lw 59882
c lw 59894
c lw 59915
c lw 60097
c lw 60385
c lw 60393
c lw 60565
c lw 60778
c lw 60910
c lw 60993
c lw 61011
c lw 61174
c lw 61712
c lw 62454
c lw 62485
c lw 62510
c lw 62564
c lw 63728
c lw 63853
c lw 64006
c lw 64033
c lw 64052
c lw 64094
c lw 64197
c lw 64265
c lw 64307
c lw 64354
c lw 64390
c lw 64409
c lw 64475
c lw 64943
c lw 65482
c lw 65668
c lw 65704
c lw 66589
c lw 66982
c lw 67688
c lw 68079
c lw 68384
c lw 68670
c lw 68752
c lw 68753
c lw 68767
c lw 69120
c lw 69720
c lw 70248
c lw 70303
c lw 70407
c lw 70411
c lw 70420
c lw 70430
c lw 70477
c lw 70514
c lw 70515
c lw 70540
c lw 70560
c lw 70567
c lw 70576
c lw 70650
c lw 70857
c lw 70928
c lw 71642
c lw 71772
c lw 71783
c lw 71827
c lw 71873
c lw 71877
c lw 71880
c lw 71886
c lw 72070
c lw 72345
c lw 72686
c lw 72822
c lw 73279
c lw 73284
c lw 73288
c lw 73289
c lw 73292
c lw 73296
c lw 73298
c lw 73301
c lw 73304
c lw 73315
c lw 73317
c lw 73322
c lw 73323
c lw 73326
c lw 73327
c lw 73340
c lw 73349
c lw 73352
c lw 73354
c lw 73356
c lw 73357
c lw 73362
c lw 73367
c lw 73368
c lw 73371
c lw 73374
c lw 73376
c lw 73377
c lw 73378
c lw 73380
c lw 73383
c lw 73384
c lw 73387
c lw 73388
c lw 73389
c lw 73390
c lw 73391
c lw 73392
c lw 73393
c lw 73394
c lw 73395
c lw 73396
c lw 73397
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 
o 73397
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-5.net.wcnf 73397
24.461u 0.222s 0:24.73 99.7%	0+0k 0+0io 0pf+0w