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-100-1_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1236
c lw 1582
c lw 2579
c lw 3982
c lw 4120
c lw 5674
c lw 5855
c lw 6854
c lw 8736
c lw 9671
c lw 10266
c lw 11763
c lw 12190
c lw 12951
c lw 13631
c lw 15118
c lw 15133
c lw 15867
c lw 15984
c lw 16555
c lw 17075
c lw 17174
c lw 17782
c lw 18087
c lw 18212
c lw 18752
c lw 18943
c lw 19804
c lw 20003
c lw 20164
c lw 20186
c lw 20290
c lw 20527
c lw 20633
c lw 21542
c lw 21675
c lw 21836
c lw 23054
c lw 23174
c lw 24109
c lw 24243
c lw 24468
c lw 24926
c lw 25664
c lw 25881
c lw 25974
c lw 26012
c lw 26881
c lw 27225
c lw 27744
c lw 28376
c lw 28417
c lw 28748
c lw 28986
c lw 29185
c lw 29558
c lw 29867
c lw 30066
c lw 30227
c lw 30249
c lw 30264
c lw 30353
c lw 31257
c lw 31572
c lw 32185
c lw 32309
c lw 32371
c lw 32912
c lw 33184
c lw 33406
c lw 33449
c lw 34057
c lw 34079
c lw 34420
c lw 34751
c lw 35046
c lw 35216
c lw 35299
c lw 35355
c lw 36276
c lw 36326
c lw 36779
c lw 36822
c lw 36939
c lw 36964
c lw 36980
c lw 37628
c lw 37860
c lw 37874
c lw 39051
c lw 39063
c lw 39245
c lw 40083
c lw 40086
c lw 40399
c lw 40579
c lw 40722
c lw 40787
c lw 40938
c lw 41016
c lw 41159
c lw 41224
c lw 41313
c lw 41629
c lw 41959
c lw 42305
c lw 42543
c lw 42964
c lw 42981
c lw 43573
c lw 43741
c lw 44173
c lw 44320
c lw 44411
c lw 44848
c lw 44979
c lw 45876
c lw 46452
c lw 46467
c lw 46883
c lw 46898
c lw 47026
c lw 47190
c lw 47336
c lw 47454
c lw 47549
c lw 47864
c lw 49157
c lw 49926
c lw 50416
c lw 50649
c lw 50833
c lw 50957
c lw 51340
c lw 51504
c lw 51629
c lw 51886
c lw 52228
c lw 52463
c lw 52559
c lw 52659
c lw 53003
c lw 53051
c lw 53476
c lw 53541
c lw 53602
c lw 53759
c lw 54062
c lw 54067
c lw 54279
c lw 55039
c lw 55052
c lw 55373
c lw 56263
c lw 56319
c lw 56332
c lw 56414
c lw 56420
c lw 56563
c lw 56947
c lw 57289
c lw 57395
c lw 57512
c lw 57959
c lw 58097
c lw 58274
c lw 58465
c lw 58548
c lw 59456
c lw 59731
c lw 60416
c lw 60477
c lw 61108
c lw 61217
c lw 61465
c lw 61780
c lw 61863
c lw 62038
c lw 62142
c lw 62198
c lw 62281
c lw 62287
c lw 62309
c lw 62348
c lw 62352
c lw 62600
c lw 63208
c lw 63456
c lw 63562
c lw 63567
c lw 63759
c lw 64150
c lw 64278
c lw 64283
c lw 64299
c lw 64316
c lw 64399
c lw 64519
c lw 64615
c lw 65311
c lw 65407
c lw 65476
c lw 65888
c lw 66722
c lw 67039
c lw 68126
c lw 68301
c lw 68603
c lw 69056
c lw 69092
c lw 69274
c lw 69473
c lw 69976
c lw 70537
c lw 70872
c lw 71297
c lw 71496
c lw 71702
c lw 71858
c lw 72513
c lw 72644
c lw 72988
c lw 73114
c lw 73152
c lw 73153
c lw 73177
c lw 73182
c lw 73228
c lw 73235
c lw 73391
c lw 73446
c lw 73476
c lw 73631
c lw 74461
c lw 74539
c lw 75132
c lw 75539
c lw 76202
c lw 76446
c lw 77496
c lw 77644
c lw 77659
c lw 77993
c lw 78011
c lw 78047
c lw 78984
c lw 79064
c lw 79223
c lw 79755
c lw 79781
c lw 79825
c lw 79865
c lw 79972
c lw 80055
c lw 80268
c lw 80358
c lw 80735
c lw 80878
c lw 80970
c lw 81468
c lw 81960
c lw 82172
c lw 82385
c lw 82488
c lw 82707
c lw 82723
c lw 83206
c lw 83380
c lw 83452
c lw 83717
c lw 83758
c lw 84046
c lw 84888
c lw 84937
c lw 86065
c lw 86255
c lw 86313
c lw 86435
c lw 86586
c lw 86623
c lw 86776
c lw 86966
c lw 87649
c lw 87852
c lw 88005
c lw 88737
c lw 89384
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 
o 89384
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-7.net.wcnf 89384
9.688u 0.101s 0:09.81 99.6%	0+0k 0+0io 0pf+0w