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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 888
c lw 978
c lw 1123
c lw 2458
c lw 3058
c lw 3396
c lw 4011
c lw 4743
c lw 5569
c lw 6214
c lw 7882
c lw 8007
c lw 8152
c lw 8897
c lw 10139
c lw 10269
c lw 10289
c lw 10567
c lw 10651
c lw 11621
c lw 12285
c lw 12331
c lw 13095
c lw 13548
c lw 14674
c lw 15817
c lw 15884
c lw 16062
c lw 16353
c lw 17448
c lw 17831
c lw 18001
c lw 18535
c lw 19213
c lw 19691
c lw 19998
c lw 20250
c lw 21132
c lw 21913
c lw 22334
c lw 22567
c lw 23133
c lw 23283
c lw 23288
c lw 23340
c lw 23511
c lw 24360
c lw 24476
c lw 24646
c lw 25664
c lw 26199
c lw 26663
c lw 26828
c lw 27023
c lw 27549
c lw 28238
c lw 28539
c lw 29279
c lw 29413
c lw 30256
c lw 30813
c lw 31104
c lw 31599
c lw 31775
c lw 31892
c lw 31971
c lw 32241
c lw 32444
c lw 33119
c lw 33193
c lw 34495
c lw 34644
c lw 34685
c lw 35293
c lw 35305
c lw 35991
c lw 36341
c lw 36380
c lw 36431
c lw 36501
c lw 36911
c lw 36950
c lw 37064
c lw 37113
c lw 38052
c lw 38167
c lw 38289
c lw 38357
c lw 38375
c lw 38398
c lw 38421
c lw 38530
c lw 38774
c lw 38961
c lw 39192
c lw 39640
c lw 39692
c lw 40039
c lw 40185
c lw 40455
c lw 40492
c lw 40744
c lw 41111
c lw 41141
c lw 41720
c lw 42090
c lw 42639
c lw 42795
c lw 42852
c lw 43060
c lw 43293
c lw 43528
c lw 43859
c lw 43868
c lw 43966
c lw 44009
c lw 44131
c lw 44302
c lw 44556
c lw 44675
c lw 45353
c lw 45408
c lw 46066
c lw 46176
c lw 46286
c lw 47028
c lw 47396
c lw 47870
c lw 47899
c lw 47922
c lw 48031
c lw 48127
c lw 48489
c lw 48586
c lw 49145
c lw 49185
c lw 49257
c lw 49686
c lw 50295
c lw 50760
c lw 52124
c lw 52437
c lw 52540
c lw 52635
c lw 52775
c lw 52871
c lw 53412
c lw 53465
c lw 53582
c lw 53664
c lw 53824
c lw 54119
c lw 54197
c lw 54766
c lw 54932
c lw 54975
c lw 55764
c lw 55805
c lw 56327
c lw 56509
c lw 56519
c lw 56585
c lw 57070
c lw 57630
c lw 57779
c lw 58973
c lw 59196
c lw 59580
c lw 60605
c lw 60634
c lw 60929
c lw 61053
c lw 61316
c lw 61490
c lw 61660
c lw 62562
c lw 62611
c lw 62676
c lw 62688
c lw 63258
c lw 63418
c lw 63605
c lw 63627
c lw 63630
c lw 63805
c lw 63813
c lw 63825
c lw 63913
c lw 64506
c lw 64519
c lw 65526
c lw 65703
c lw 65745
c lw 65800
c lw 65829
c lw 65940
c lw 66759
c lw 66883
c lw 67107
c lw 67302
c lw 68421
c lw 68604
c lw 68781
c lw 68862
c lw 68997
c lw 69004
c lw 69025
c lw 69158
c lw 69280
c lw 69286
c lw 70281
c lw 70588
c lw 70611
c lw 70619
c lw 70623
c lw 70713
c lw 70724
c lw 70839
c lw 70871
c lw 70929
c lw 70933
c lw 70941
c lw 70964
c lw 71008
c lw 71086
c lw 71208
c lw 71252
c lw 71299
c lw 71362
c lw 71403
c lw 71532
c lw 72024
c lw 72124
c lw 72305
c lw 72314
c lw 72376
c lw 72386
c lw 72396
c lw 72415
c lw 72444
c lw 73139
c lw 73146
c lw 73899
c lw 73933
c lw 74081
c lw 74909
c lw 75121
c lw 75381
c lw 75531
c lw 76311
c lw 76615
c lw 76637
c lw 76638
c lw 76650
c lw 76915
c lw 76944
c lw 77441
c lw 78188
c lw 79337
c lw 79344
c lw 79596
c lw 80041
c lw 80733
c lw 80968
c lw 81873
c lw 81987
c lw 82220
c lw 82226
c lw 82285
c lw 82289
c lw 82318
c lw 82339
c lw 82378
c lw 82501
c lw 82540
c lw 82557
c lw 82561
c lw 82590
c lw 82594
c lw 82653
c lw 82812
c lw 82829
c lw 82833
c lw 82868
c lw 82981
c lw 83401
c lw 83704
c lw 83947
c lw 84921
c lw 85571
c lw 85931
c lw 85990
c lw 86339
c lw 86452
c lw 86892
c lw 87318
c lw 87712
c lw 87814
c lw 87862
c lw 88022
c lw 88278
c lw 88400
c lw 88422
c lw 88490
c lw 88920
c lw 89024
c lw 89135
c lw 90213
c lw 90284
c lw 90508
c lw 90509
c lw 90518
c lw 90524
c lw 91021
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 
o 91021
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-1.net.wcnf 91021
12.736u 0.180s 0:12.98 99.4%	0+0k 0+0io 0pf+0w