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-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 767
c lw 2832
c lw 3111
c lw 5169
c lw 5488
c lw 5498
c lw 6883
c lw 8127
c lw 8839
c lw 9644
c lw 9953
c lw 10320
c lw 11710
c lw 13169
c lw 13303
c lw 15292
c lw 15804
c lw 15951
c lw 16704
c lw 17318
c lw 17641
c lw 18314
c lw 19159
c lw 19595
c lw 19973
c lw 20414
c lw 21527
c lw 21722
c lw 21904
c lw 22302
c lw 22821
c lw 23391
c lw 23602
c lw 23827
c lw 24124
c lw 25221
c lw 26283
c lw 26530
c lw 27854
c lw 28510
c lw 29021
c lw 29606
c lw 29734
c lw 29980
c lw 30004
c lw 30087
c lw 30683
c lw 31033
c lw 31096
c lw 31302
c lw 31515
c lw 32693
c lw 33370
c lw 33808
c lw 33812
c lw 34760
c lw 34944
c lw 35413
c lw 35690
c lw 35927
c lw 36166
c lw 36960
c lw 37371
c lw 37592
c lw 37985
c lw 38230
c lw 38527
c lw 38557
c lw 39300
c lw 39323
c lw 39570
c lw 39608
c lw 39702
c lw 39832
c lw 40302
c lw 40377
c lw 40667
c lw 40813
c lw 41146
c lw 41323
c lw 41332
c lw 42018
c lw 42596
c lw 42976
c lw 44168
c lw 44362
c lw 44700
c lw 44828
c lw 45015
c lw 45457
c lw 45674
c lw 46251
c lw 46299
c lw 46300
c lw 46539
c lw 46729
c lw 46889
c lw 46952
c lw 47047
c lw 47158
c lw 47371
c lw 47479
c lw 47482
c lw 47802
c lw 47817
c lw 48008
c lw 48167
c lw 48666
c lw 48743
c lw 48898
c lw 49023
c lw 49049
c lw 49598
c lw 49652
c lw 50118
c lw 50507
c lw 50599
c lw 50743
c lw 50765
c lw 50881
c lw 51166
c lw 51477
c lw 51550
c lw 51687
c lw 51756
c lw 53060
c lw 53110
c lw 53149
c lw 53286
c lw 53359
c lw 53961
c lw 54403
c lw 54431
c lw 54559
c lw 55177
c lw 55508
c lw 55528
c lw 55755
c lw 55878
c lw 56619
c lw 56687
c lw 56874
c lw 57369
c lw 57385
c lw 57761
c lw 58048
c lw 58156
c lw 58807
c lw 59022
c lw 59027
c lw 59046
c lw 59504
c lw 59706
c lw 59802
c lw 60127
c lw 60338
c lw 60643
c lw 60675
c lw 61655
c lw 61812
c lw 61866
c lw 62269
c lw 62621
c lw 62625
c lw 62628
c lw 62883
c lw 62901
c lw 62925
c lw 63360
c lw 63500
c lw 63561
c lw 63757
c lw 63772
c lw 63783
c lw 63788
c lw 64256
c lw 64323
c lw 64560
c lw 65271
c lw 65534
c lw 65543
c lw 66027
c lw 66266
c lw 66309
c lw 66432
c lw 66505
c lw 66592
c lw 66596
c lw 66741
c lw 66744
c lw 66751
c lw 66946
c lw 67399
c lw 67417
c lw 67654
c lw 67745
c lw 67891
c lw 67968
c lw 67990
c lw 68290
c lw 68361
c lw 68474
c lw 68492
c lw 68625
c lw 68826
c lw 69338
c lw 69371
c lw 69491
c lw 69558
c lw 69913
c lw 70208
c lw 70329
c lw 70660
c lw 70675
c lw 70785
c lw 71048
c lw 71498
c lw 71532
c lw 71642
c lw 71734
c lw 71743
c lw 71839
c lw 72478
c lw 72504
c lw 72923
c lw 73661
c lw 73689
c lw 74081
c lw 74262
c lw 74456
c lw 74682
c lw 74953
c lw 75081
c lw 75690
c lw 75795
c lw 76013
c lw 76309
c lw 76363
c lw 76402
c lw 76921
c lw 77485
c lw 77626
c lw 78052
c lw 78343
c lw 78385
c lw 78690
c lw 78748
c lw 79295
c lw 79431
c lw 79639
c lw 79662
c lw 79795
c lw 80058
c lw 80097
c lw 80098
c lw 80112
c lw 80135
c lw 80199
c lw 80344
c lw 80474
c lw 80485
c lw 80571
c lw 80582
c lw 80632
c lw 80854
c lw 80993
c lw 81027
c lw 81299
c lw 81355
c lw 81513
c lw 81531
c lw 82127
c lw 82181
c lw 82474
c lw 82615
c lw 82970
c lw 83109
c lw 83168
c lw 83171
c lw 83622
c lw 84043
c lw 84054
c lw 84212
c lw 85043
c lw 85083
c lw 85165
c lw 85198
c lw 85308
c lw 85312
c lw 85848
c lw 85888
c lw 85905
c lw 86698
c lw 86732
c lw 86759
c lw 87095
c lw 87207
c lw 88028
c lw 88094
c lw 88204
c lw 88318
c lw 88351
c lw 89270
c lw 89585
c lw 89643
c lw 89939
c lw 90028
c lw 90029
c lw 90035
c lw 90060
c lw 90091
c lw 90109
c lw 90122
c lw 90147
c lw 90153
c lw 90154
c lw 90157
c lw 90170
c lw 90381
c lw 90429
c lw 90906
c lw 91363
c lw 91866
c lw 92011
c lw 92113
c lw 92357
c lw 93309
c lw 93459
c lw 93636
c lw 93702
c lw 94399
c lw 94599
c lw 95167
c lw 95256
c lw 95534
c lw 96434
c lw 96568
c lw 97038
c lw 97084
c lw 97421
c lw 97968
c lw 98086
c lw 98170
c lw 98303
c lw 99423
c lw 99900
c lw 99917
c lw 99960
c lw 99992
c lw 100014
c lw 100205
c lw 100209
c lw 100382
c lw 100562
c lw 100583
c lw 101539
c lw 101619
c lw 101629
c lw 101860
c lw 102244
c lw 102642
c lw 103359
c lw 103562
c lw 103808
c lw 103978
c lw 104608
c lw 104634
c lw 104714
c lw 104742
c lw 104791
c lw 105080
c lw 105243
c lw 105398
c lw 105758
c lw 106263
c lw 106308
c lw 106344
c lw 106678
c lw 107200
c lw 107298
c lw 107355
c lw 107419
c lw 107476
c lw 107554
c lw 107574
c lw 107597
c lw 107599
c lw 107666
c lw 107675
c lw 107697
c lw 107708
c lw 107730
c lw 107792
c lw 107844
c lw 107846
c lw 107853
c lw 107855
c lw 107858
c lw 107861
c lw 107863
c lw 107868
c lw 107870
c lw 107876
c lw 107879
c lw 107880
c lw 107881
c lw 108178
c lw 108222
c lw 108291
c lw 108459
c lw 109369
c lw 109620
c lw 109805
c lw 110001
c lw 110541
c lw 110720
c lw 110850
c lw 110956
c lw 111430
c lw 111451
c lw 111751
c lw 111795
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 
o 111795
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-10.net.wcnf 111795
44.211u 0.500s 0:44.86 99.6%	0+0k 0+0io 0pf+0w