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-160-1_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1033
c lw 2046
c lw 2230
c lw 2609
c lw 3543
c lw 4367
c lw 5878
c lw 6424
c lw 6843
c lw 7675
c lw 7927
c lw 8878
c lw 9497
c lw 10154
c lw 11968
c lw 12082
c lw 13404
c lw 13770
c lw 14750
c lw 16361
c lw 16925
c lw 18126
c lw 18372
c lw 19493
c lw 19850
c lw 20084
c lw 20215
c lw 20654
c lw 21012
c lw 22057
c lw 22149
c lw 22651
c lw 22997
c lw 23044
c lw 23232
c lw 23723
c lw 24053
c lw 24277
c lw 24313
c lw 24714
c lw 25052
c lw 25721
c lw 26867
c lw 27148
c lw 28319
c lw 29004
c lw 29723
c lw 29820
c lw 31230
c lw 31601
c lw 31957
c lw 32412
c lw 33041
c lw 33165
c lw 33223
c lw 33254
c lw 33397
c lw 33546
c lw 33800
c lw 33921
c lw 34166
c lw 34551
c lw 35844
c lw 36114
c lw 37491
c lw 37901
c lw 38552
c lw 39320
c lw 39717
c lw 39756
c lw 39847
c lw 40326
c lw 40447
c lw 40457
c lw 40815
c lw 41512
c lw 41530
c lw 41540
c lw 42416
c lw 42444
c lw 42481
c lw 43199
c lw 43548
c lw 43757
c lw 44122
c lw 44208
c lw 44224
c lw 44311
c lw 44762
c lw 44977
c lw 45004
c lw 45569
c lw 45907
c lw 46147
c lw 46459
c lw 46843
c lw 47318
c lw 47953
c lw 48063
c lw 48474
c lw 49103
c lw 49130
c lw 49270
c lw 49485
c lw 49801
c lw 50723
c lw 50769
c lw 51646
c lw 52892
c lw 52928
c lw 53055
c lw 53670
c lw 54449
c lw 54709
c lw 54932
c lw 55601
c lw 55973
c lw 56373
c lw 56659
c lw 56692
c lw 56900
c lw 56962
c lw 57260
c lw 57265
c lw 57472
c lw 57623
c lw 57843
c lw 58303
c lw 58482
c lw 59209
c lw 59210
c lw 59307
c lw 59678
c lw 59965
c lw 60252
c lw 60351
c lw 60568
c lw 60600
c lw 60692
c lw 60785
c lw 61182
c lw 61220
c lw 61309
c lw 62251
c lw 62520
c lw 62551
c lw 62576
c lw 62700
c lw 62844
c lw 62913
c lw 63306
c lw 63914
c lw 64041
c lw 64160
c lw 64207
c lw 64211
c lw 64219
c lw 64391
c lw 64881
c lw 64922
c lw 64925
c lw 64928
c lw 64930
c lw 64934
c lw 64969
c lw 65027
c lw 65164
c lw 65275
c lw 65444
c lw 65447
c lw 65450
c lw 65451
c lw 65453
c lw 66055
c lw 66223
c lw 66338
c lw 66407
c lw 66694
c lw 66744
c lw 67644
c lw 67793
c lw 68010
c lw 68056
c lw 68292
c lw 68653
c lw 68704
c lw 68786
c lw 69114
c lw 69915
c lw 69924
c lw 70396
c lw 70839
c lw 70947
c lw 71052
c lw 71092
c lw 71349
c lw 71690
c lw 71983
c lw 72178
c lw 72259
c lw 72589
c lw 72738
c lw 73000
c lw 73097
c lw 73136
c lw 73218
c lw 73700
c lw 73864
c lw 73882
c lw 74014
c lw 74044
c lw 74540
c lw 74565
c lw 74688
c lw 74720
c lw 74824
c lw 74839
c lw 74864
c lw 75289
c lw 75606
c lw 75748
c lw 75982
c lw 76358
c lw 76386
c lw 76457
c lw 76491
c lw 76764
c lw 77138
c lw 77310
c lw 77738
c lw 77839
c lw 77958
c lw 77984
c lw 78008
c lw 78026
c lw 78131
c lw 78162
c lw 78168
c lw 78170
c lw 78172
c lw 78252
c lw 78739
c lw 78781
c lw 78927
c lw 78944
c lw 79983
c lw 80235
c lw 80680
c lw 80684
c lw 80763
c lw 80916
c lw 81205
c lw 81207
c lw 81471
c lw 81557
c lw 82119
c lw 82291
c lw 82483
c lw 82858
c lw 83754
c lw 83843
c lw 83885
c lw 84055
c lw 84153
c lw 84282
c lw 84350
c lw 84352
c lw 84353
c lw 84410
c lw 84437
c lw 84528
c lw 84618
c lw 84710
c lw 84729
c lw 84847
c lw 84848
c lw 84850
c lw 84905
c lw 84930
c lw 84931
c lw 84933
c lw 84934
c lw 84935
c lw 84948
c lw 85536
c lw 85713
c lw 86304
c lw 86444
c lw 86629
c lw 86667
c lw 86714
c lw 86839
c lw 86847
c lw 86871
c lw 87061
c lw 87166
c lw 87184
c lw 87208
c lw 87210
c lw 87579
c lw 87694
c lw 87783
c lw 88867
c lw 88975
c lw 89914
c lw 90210
c lw 90530
c lw 90567
c lw 90688
c lw 90697
c lw 90996
c lw 90997
c lw 91105
c lw 91436
c lw 91491
c lw 92133
c lw 92136
c lw 92603
c lw 92640
c lw 92652
c lw 92685
c lw 92778
c lw 92783
c lw 92811
c lw 92864
c lw 93169
c lw 93170
c lw 93171
c lw 93172
c lw 93173
c lw 93185
c lw 93195
c lw 93196
c lw 93197
c lw 93208
c lw 93222
c lw 93240
c lw 93241
c lw 93243
c lw 93252
c lw 93283
c lw 93582
c lw 94338
c lw 94651
c lw 94659
c lw 94661
c lw 94664
c lw 94665
c lw 94671
c lw 94677
c lw 94678
c lw 94683
c lw 94684
c lw 94689
c lw 94702
c lw 94744
c lw 94762
c lw 94766
c lw 94775
c lw 94848
c lw 95079
c lw 95089
c lw 95267
c lw 95669
c lw 95894
c lw 96416
c lw 96476
c lw 96842
c lw 97574
c lw 97577
c lw 97923
c lw 98095
c lw 98388
c lw 98558
c lw 98704
c lw 98729
c lw 98925
c lw 99166
c lw 99712
c lw 99729
c lw 99739
c lw 99872
c lw 99977
c lw 100101
c lw 100204
c lw 100673
c lw 100770
c lw 100816
c lw 100971
c lw 101113
c lw 101702
c lw 101781
c lw 101995
c lw 102439
c lw 102860
c lw 102863
c lw 102871
c lw 102885
c lw 102896
c lw 102932
c lw 103569
c lw 103596
c lw 103611
c lw 103644
c lw 104010
c lw 104035
c lw 104053
c lw 104057
c lw 104059
c lw 105081
c lw 105082
c lw 105100
c lw 105170
c lw 105659
c lw 105812
c lw 105927
c lw 106138
c lw 106619
c lw 106812
c lw 107019
c lw 107150
c lw 107212
c lw 107648
c lw 108069
c lw 108255
c lw 108256
c lw 108264
c lw 108300
c lw 108989
c lw 110017
c lw 110076
c lw 110220
c lw 110513
c lw 110700
c lw 111067
c lw 111185
c lw 111591
c lw 111615
c lw 112076
c lw 112079
c lw 112081
c lw 112087
c lw 112089
c lw 112091
c lw 112092
c lw 112095
c lw 112192
c lw 112291
c lw 112567
c lw 112764
c lw 113661
c lw 113758
c lw 114001
c lw 114205
c lw 114422
c lw 114580
c lw 114588
c lw 114596
c lw 114599
c lw 114614
c lw 114725
c lw 115111
c lw 115251
c lw 115304
c lw 116270
c lw 116421
c lw 117203
c lw 117215
c lw 118201
c lw 118505
c lw 118689
c lw 118778
c lw 119354
c lw 119404
c lw 119568
c lw 119573
c lw 119581
c lw 119906
c lw 119907
c lw 119908
c lw 119909
c lw 119910
c lw 119911
c lw 119912
c lw 119915
c lw 119916
c lw 119919
c lw 119920
c lw 119924
c lw 119931
c lw 119932
c lw 119933
c lw 119945
c lw 119951
c lw 119952
c lw 119953
c lw 119955
c lw 119956
c lw 119964
c lw 119965
c lw 119974
c lw 119975
c lw 119976
c lw 120000
c lw 120001
c lw 120002
c lw 120003
c lw 120004
c lw 120005
c lw 120006
c lw 120007
c lw 120009
c lw 120010
c lw 120011
c lw 120012
c lw 120013
c lw 120014
c lw 120015
c lw 120016
c lw 120017
c lw 120018
c lw 120021
c lw 120023
c lw 120028
c lw 120029
c lw 120251
c lw 120267
c lw 120358
c lw 120426
c lw 120427
c lw 120434
c lw 120460
c lw 120547
c lw 120559
c lw 120564
c lw 120569
c lw 120584
c lw 120655
c lw 122034
c lw 122248
c lw 122476
c lw 122489
c lw 122571
c lw 122591
c lw 124088
c lw 124137
c lw 124192
c lw 124643
c lw 124723
c lw 125080
c lw 126158
c lw 126290
c lw 126376
c lw 126899
c lw 127714
c lw 127751
c lw 128318
c lw 129339
c lw 129372
c lw 130065
c lw 130170
c lw 130203
c lw 130216
c lw 130218
c lw 130374
c lw 130400
c lw 130499
c lw 130731
c lw 130769
c lw 130811
c lw 131132
c lw 131820
c lw 132787
c lw 132972
c lw 133165
c lw 134076
c lw 134332
c lw 134658
c lw 134679
c lw 134754
c lw 134829
c lw 135348
c lw 135750
c lw 135763
c lw 135785
c lw 135786
c lw 135949
c lw 136171
c lw 136304
c lw 136349
c lw 137090
c lw 137201
c lw 137334
c lw 137347
c lw 137355
c lw 137430
c lw 137648
c lw 137696
c lw 137697
c lw 137975
c lw 137983
c lw 137995
c lw 138001
c lw 138026
c lw 138027
c lw 138052
c lw 138404
c lw 138559
c lw 138695
c lw 139248
c lw 139268
c lw 139269
c lw 139270
c lw 139283
c lw 139285
c lw 139631
c lw 139911
c lw 140178
c lw 140607
c lw 140674
c lw 141339
c lw 141380
c lw 141490
c lw 141544
c lw 142387
c lw 142636
c lw 142657
c lw 142664
c lw 142668
c lw 142791
c lw 143141
c lw 143527
c lw 143657
c lw 143702
c lw 143934
c lw 143988
c lw 143996
c lw 144042
c lw 144048
c lw 144232
c lw 144244
c lw 144339
c lw 144734
c lw 144844
c lw 144865
c lw 144916
c lw 144923
c lw 145114
c lw 145115
c lw 145122
c lw 145123
c lw 145124
c lw 145125
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 -309 -310 -311 -312 -313 314 -315 316 -317 318 -319 320 -321 322 -323 324 -325 -326 -327 -328 329 -330 -331 -332 333 -334 -335 336 -337 -338 -339 340 -341 342 -343 -344 -345 346 -347 348 -349 -350 -351 352 -353 -354 355 -356 -357 -358 359 -360 -361 362 -363 -364 -365 366 -367 368 -369 370 -371 372 -373 -374 -375 376 -377 378 -379 -380 381 -382 -383 -384 -385 386 -387 -388 389 -390 -391 392 -393 -394 -395 -396 397 398 -399 -400 -401 402 -403 404 -405 406 -407 -408 
o 145125
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-7.net.wcnf 145125
362.696u 2.209s 11:35.30 52.4%	0+0k 0+0io 0pf+0w