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-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1699
c lw 3487
c lw 4804
c lw 6829
c lw 7868
c lw 8407
c lw 8748
c lw 9184
c lw 10064
c lw 11290
c lw 12254
c lw 13025
c lw 13895
c lw 14281
c lw 15327
c lw 16319
c lw 16329
c lw 16900
c lw 17488
c lw 18434
c lw 18503
c lw 19097
c lw 20217
c lw 20268
c lw 20722
c lw 20765
c lw 20851
c lw 20855
c lw 21168
c lw 21507
c lw 22148
c lw 22461
c lw 22511
c lw 22751
c lw 23206
c lw 24804
c lw 25533
c lw 26454
c lw 27196
c lw 28256
c lw 28543
c lw 29171
c lw 29371
c lw 30135
c lw 30362
c lw 30678
c lw 30943
c lw 31390
c lw 31537
c lw 31815
c lw 32728
c lw 32959
c lw 33238
c lw 33268
c lw 34506
c lw 34748
c lw 34775
c lw 35027
c lw 35078
c lw 35103
c lw 35267
c lw 35465
c lw 35765
c lw 35879
c lw 36560
c lw 36597
c lw 36618
c lw 37737
c lw 38513
c lw 38800
c lw 39044
c lw 39406
c lw 39563
c lw 39574
c lw 39982
c lw 40925
c lw 41411
c lw 41923
c lw 42736
c lw 42868
c lw 43432
c lw 43775
c lw 43826
c lw 44050
c lw 45058
c lw 45264
c lw 45405
c lw 45575
c lw 45640
c lw 46683
c lw 46978
c lw 47036
c lw 47258
c lw 47605
c lw 47760
c lw 48251
c lw 48626
c lw 48725
c lw 48817
c lw 49058
c lw 49094
c lw 49101
c lw 49401
c lw 49578
c lw 49809
c lw 49843
c lw 50050
c lw 50063
c lw 50144
c lw 50152
c lw 50183
c lw 50823
c lw 50879
c lw 50901
c lw 51424
c lw 51879
c lw 52032
c lw 52261
c lw 52326
c lw 52720
c lw 52967
c lw 53657
c lw 53887
c lw 53909
c lw 53967
c lw 53996
c lw 54341
c lw 54421
c lw 54425
c lw 54476
c lw 54926
c lw 55314
c lw 55838
c lw 55872
c lw 56384
c lw 57542
c lw 57607
c lw 57710
c lw 57967
c lw 58647
c lw 58781
c lw 58957
c lw 59076
c lw 59117
c lw 59638
c lw 59772
c lw 59906
c lw 59924
c lw 60670
c lw 60821
c lw 61127
c lw 61206
c lw 61285
c lw 62134
c lw 62237
c lw 62608
c lw 62810
c lw 63071
c lw 63253
c lw 63347
c lw 63588
c lw 64084
c lw 64292
c lw 64421
c lw 64437
c lw 64634
c lw 64643
c lw 64891
c lw 64989
c lw 65088
c lw 65180
c lw 65235
c lw 66139
c lw 66172
c lw 66286
c lw 66526
c lw 66567
c lw 66808
c lw 66810
c lw 66973
c lw 68038
c lw 68241
c lw 68518
c lw 68925
c lw 69390
c lw 69473
c lw 69579
c lw 70018
c lw 70039
c lw 70619
c lw 70795
c lw 70826
c lw 71028
c lw 71630
c lw 71770
c lw 72343
c lw 73050
c lw 73187
c lw 73334
c lw 73734
c lw 73752
c lw 73994
c lw 74141
c lw 74250
c lw 74410
c lw 74519
c lw 74541
c lw 74559
c lw 74592
c lw 74666
c lw 74743
c lw 74758
c lw 74910
c lw 75114
c lw 75313
c lw 75347
c lw 75566
c lw 75727
c lw 75816
c lw 76210
c lw 76682
c lw 76698
c lw 77111
c lw 77148
c lw 77483
c lw 77658
c lw 77970
c lw 78017
c lw 78168
c lw 78472
c lw 78641
c lw 78761
c lw 78890
c lw 79074
c lw 79177
c lw 79311
c lw 79927
c lw 80108
c lw 80382
c lw 80409
c lw 80412
c lw 80430
c lw 80533
c lw 80598
c lw 80735
c lw 81895
c lw 82025
c lw 82374
c lw 82459
c lw 82463
c lw 82471
c lw 82517
c lw 82550
c lw 83118
c lw 83203
c lw 83388
c lw 83540
c lw 83956
c lw 84163
c lw 84186
c lw 84717
c lw 84751
c lw 84919
c lw 85017
c lw 85153
c lw 85280
c lw 85399
c lw 85416
c lw 85424
c lw 85445
c lw 85458
c lw 85460
c lw 85878
c lw 85898
c lw 85901
c lw 86018
c lw 86040
c lw 86708
c lw 86799
c lw 87675
c lw 87693
c lw 87696
c lw 87702
c lw 87719
c lw 87911
c lw 87944
c lw 87948
c lw 87986
c lw 88017
c lw 88041
c lw 88255
c lw 88287
c lw 88291
c lw 88309
c lw 88310
c lw 88312
c lw 88424
c lw 88428
c lw 88527
c lw 88545
c lw 88548
c lw 88554
c lw 88572
c lw 88573
c lw 88583
c lw 88628
c lw 89743
c lw 89840
c lw 89871
c lw 89929
c lw 89955
c lw 89983
c lw 89990
c lw 90026
c lw 90452
c lw 90545
c lw 90546
c lw 90547
c lw 90548
c lw 90551
c lw 90563
c lw 90690
c lw 91557
c lw 92408
c lw 92588
c lw 92591
c lw 92699
c lw 92786
c lw 92888
c lw 93267
c lw 93640
c lw 93954
c lw 94267
c lw 94527
c lw 95037
c lw 95166
c lw 95997
c lw 96377
c lw 96452
c lw 96811
c lw 96824
c lw 96858
c lw 97023
c lw 97384
c lw 97387
c lw 97414
c lw 97479
c lw 97492
c lw 97526
c lw 97576
c lw 97654
c lw 97705
c lw 98100
c lw 99116
c lw 99197
c lw 99321
c lw 99796
c lw 99845
c lw 100357
c lw 100637
c lw 101424
c lw 101497
c lw 101498
c lw 102049
c lw 102248
c lw 102748
c lw 103471
c lw 103958
c lw 104206
c lw 104311
c lw 104574
c lw 104744
c lw 104751
c lw 104798
c lw 104806
c lw 104930
c lw 104954
c lw 105029
c lw 105112
c lw 105147
c lw 105182
c lw 105186
c lw 105193
c lw 105200
c lw 105258
c lw 105610
c lw 105794
c lw 105986
c lw 106351
c lw 106429
c lw 106558
c lw 106565
c lw 106591
c lw 106650
c lw 106666
c lw 107109
c lw 107783
c lw 108161
c lw 108219
c lw 108589
c lw 108612
c lw 108867
c lw 108893
c lw 109429
c lw 110611
c lw 110766
c lw 110876
c lw 110901
c lw 110999
c lw 111091
c lw 111440
c lw 111773
c lw 111816
c lw 111817
c lw 111818
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 
o 111818
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-8.net.wcnf 111818
38.107u 0.498s 0:38.76 99.5%	0+0k 0+0io 0pf+0w