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-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 563
c lw 1513
c lw 2846
c lw 3729
c lw 3780
c lw 5702
c lw 6611
c lw 8201
c lw 9412
c lw 10585
c lw 12217
c lw 13270
c lw 14251
c lw 14787
c lw 15800
c lw 16222
c lw 16612
c lw 17871
c lw 18182
c lw 19390
c lw 19913
c lw 20692
c lw 20701
c lw 20820
c lw 20960
c lw 20965
c lw 20983
c lw 21513
c lw 21994
c lw 22139
c lw 22963
c lw 23087
c lw 23373
c lw 23966
c lw 24889
c lw 25510
c lw 25845
c lw 25926
c lw 26366
c lw 26489
c lw 27049
c lw 27349
c lw 27534
c lw 27948
c lw 28550
c lw 28876
c lw 29141
c lw 29778
c lw 29811
c lw 30110
c lw 30205
c lw 30612
c lw 30859
c lw 30916
c lw 31060
c lw 31235
c lw 31733
c lw 32342
c lw 32586
c lw 32615
c lw 32620
c lw 32866
c lw 33042
c lw 33101
c lw 33786
c lw 34651
c lw 34965
c lw 35030
c lw 35800
c lw 35924
c lw 36073
c lw 36079
c lw 36707
c lw 37530
c lw 37573
c lw 37715
c lw 37735
c lw 37792
c lw 37811
c lw 38294
c lw 38497
c lw 38651
c lw 38995
c lw 39386
c lw 39608
c lw 39722
c lw 39887
c lw 40485
c lw 41045
c lw 41384
c lw 41569
c lw 41850
c lw 41874
c lw 42403
c lw 42456
c lw 42681
c lw 42782
c lw 43047
c lw 43377
c lw 43684
c lw 43717
c lw 43964
c lw 44731
c lw 45545
c lw 45552
c lw 45662
c lw 45702
c lw 46085
c lw 46150
c lw 46229
c lw 46543
c lw 46549
c lw 46604
c lw 46734
c lw 46972
c lw 47034
c lw 47054
c lw 47127
c lw 47171
c lw 47569
c lw 47896
c lw 47915
c lw 48000
c lw 48317
c lw 49090
c lw 49704
c lw 50578
c lw 51111
c lw 51356
c lw 52017
c lw 52020
c lw 53005
c lw 53017
c lw 53177
c lw 53563
c lw 53635
c lw 53906
c lw 54694
c lw 54736
c lw 54753
c lw 54895
c lw 55134
c lw 55693
c lw 56023
c lw 56721
c lw 56998
c lw 57130
c lw 57240
c lw 57452
c lw 58577
c lw 58652
c lw 58675
c lw 58740
c lw 58798
c lw 58805
c lw 58870
c lw 59724
c lw 59877
c lw 60017
c lw 60191
c lw 60242
c lw 60467
c lw 60782
c lw 60814
c lw 60817
c lw 61302
c lw 61335
c lw 61484
c lw 62762
c lw 62818
c lw 64065
c lw 64333
c lw 65085
c lw 65123
c lw 65200
c lw 65224
c lw 65490
c lw 66209
c lw 66286
c lw 66295
c lw 67246
c lw 67272
c lw 67342
c lw 68276
c lw 68609
c lw 68808
c lw 68853
c lw 69618
c lw 69764
c lw 69873
c lw 70026
c lw 70299
c lw 70505
c lw 71145
c lw 71520
c lw 71626
c lw 71656
c lw 71890
c lw 71895
c lw 71946
c lw 71948
c lw 72001
c lw 72171
c lw 72307
c lw 73474
c lw 73550
c lw 73672
c lw 74155
c lw 74334
c lw 74612
c lw 74761
c lw 75019
c lw 75170
c lw 75670
c lw 75672
c lw 75673
c lw 75768
c lw 76084
c lw 76111
c lw 76491
c lw 76624
c lw 76899
c lw 77266
c lw 77337
c lw 77343
c lw 77486
c lw 77880
c lw 78048
c lw 78148
c lw 78682
c lw 79045
c lw 79062
c lw 79317
c lw 79443
c lw 80159
c lw 80209
c lw 80305
c lw 80488
c lw 80977
c lw 81511
c lw 81742
c lw 81797
c lw 81800
c lw 81802
c lw 81803
c lw 81808
c lw 81821
c lw 81852
c lw 81853
c lw 81855
c lw 81872
c lw 81874
c lw 81903
c lw 81904
c lw 81927
c lw 81929
c lw 82019
c lw 82042
c lw 82088
c lw 82117
c lw 82120
c lw 82122
c lw 82123
c lw 82128
c lw 82141
c lw 82153
c lw 82209
c lw 82212
c lw 82213
c lw 82214
c lw 82215
c lw 82216
c lw 82218
c lw 82223
c lw 82332
c lw 82501
c lw 83062
c lw 83133
c lw 83134
c lw 83139
c lw 83154
c lw 83814
c lw 84316
c lw 84878
c lw 84977
c lw 85098
c lw 85466
c lw 85485
c lw 85490
c lw 85491
c lw 85493
c lw 85496
c lw 85593
c lw 85599
c lw 85635
c lw 85756
c lw 85783
c lw 86365
c lw 86446
c lw 87022
c lw 87513
c lw 87563
c lw 87609
c lw 87998
c lw 88002
c lw 88019
c lw 88082
c lw 88327
c lw 88410
c lw 90002
c lw 90846
c lw 90888
c lw 91002
c lw 91152
c lw 91343
c lw 91679
c lw 91738
c lw 91864
c lw 91932
c lw 92090
c lw 92222
c lw 92413
c lw 92535
c lw 92568
c lw 92610
c lw 92635
c lw 92726
c lw 93874
c lw 93968
c lw 94055
c lw 94379
c lw 94639
c lw 94783
c lw 95032
c lw 95764
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 
o 95764
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-2.net.wcnf 95764
20.113u 0.270s 0:20.40 99.9%	0+0k 0+0io 0pf+0w