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-50-2_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 779
c lw 1465
c lw 2229
c lw 2779
c lw 3615
c lw 4581
c lw 5704
c lw 7079
c lw 8346
c lw 8821
c lw 8894
c lw 10001
c lw 10474
c lw 10750
c lw 12052
c lw 12141
c lw 12274
c lw 12763
c lw 13373
c lw 13955
c lw 14481
c lw 14514
c lw 14620
c lw 14965
c lw 15138
c lw 16136
c lw 16232
c lw 16496
c lw 16509
c lw 16559
c lw 16592
c lw 16759
c lw 16765
c lw 16835
c lw 16931
c lw 17639
c lw 18266
c lw 18298
c lw 18299
c lw 18870
c lw 19117
c lw 19130
c lw 19265
c lw 19419
c lw 19586
c lw 19980
c lw 20414
c lw 20427
c lw 20576
c lw 20637
c lw 20650
c lw 20652
c lw 20654
c lw 20664
c lw 20667
c lw 20717
c lw 20730
c lw 20735
c lw 20919
c lw 20928
c lw 20998
c lw 21042
c lw 21066
c lw 21067
c lw 21070
c lw 21533
c lw 21758
c lw 21928
c lw 21943
c lw 22264
c lw 22353
c lw 22514
c lw 22739
c lw 22852
c lw 22895
c lw 23016
c lw 23037
c lw 23039
c lw 23177
c lw 23355
c lw 23370
c lw 23395
c lw 23400
c lw 23410
c lw 23411
c lw 23419
c lw 23420
c lw 23422
c lw 23446
c lw 23537
c lw 23539
c lw 23545
c lw 23552
c lw 23565
c lw 23636
c lw 23777
c lw 23790
c lw 23827
c lw 23830
c lw 23848
c lw 23906
c lw 23919
c lw 23956
c lw 23963
c lw 23978
c lw 24020
c lw 24095
c lw 24098
c lw 24117
c lw 24183
c lw 24203
c lw 24280
c lw 24299
c lw 24323
c lw 24329
c lw 24331
c lw 24335
c lw 24342
c lw 24355
c lw 24356
c lw 24357
c lw 24358
c lw 24359
c lw 24361
c lw 24366
c lw 24368
c lw 24369
c lw 24887
c lw 24947
c lw 24948
c lw 24949
c lw 24952
c lw 24955
c lw 24966
c lw 24968
c lw 24973
c lw 24978
c lw 24980
c lw 24982
c lw 24983
c lw 24984
c lw 24986
c lw 24993
c lw 24995
c lw 25005
c lw 25006
c lw 25008
c lw 25010
c lw 25016
c lw 25018
c lw 25019
c lw 25021
c lw 25027
c lw 25028
c lw 25096
c lw 25105
c lw 25227
c lw 25229
c lw 25230
c lw 25231
c lw 25254
c lw 25294
c lw 25315
c lw 25336
c lw 25763
c lw 25833
c lw 25839
c lw 25936
c lw 26077
c lw 26080
c lw 26085
c lw 26106
c lw 26108
c lw 26424
c lw 27355
c lw 27407
c lw 27880
c lw 28494
c lw 28551
c lw 28661
c lw 28823
c lw 28827
c lw 28836
c lw 28837
c lw 28838
c lw 28840
c lw 28841
c lw 28842
c lw 28843
c lw 28844
c lw 28845
c lw 28846
c lw 28847
c lw 28848
c lw 28849
c lw 28854
c lw 28922
c lw 28963
c lw 29093
c lw 29169
c lw 29329
c lw 29354
c lw 29360
c lw 29418
c lw 29422
c lw 29457
c lw 29488
c lw 29490
c lw 29509
c lw 29584
c lw 30367
c lw 30669
c lw 31013
c lw 31028
c lw 31029
c lw 31031
c lw 31077
c lw 31101
c lw 31147
c lw 31736
c lw 31853
c lw 31884
c lw 31916
c lw 32057
c lw 32091
c lw 32318
c lw 32346
c lw 32376
c lw 32396
c lw 32981
c lw 33124
c lw 33338
c lw 33359
c lw 33451
c lw 33452
c lw 33472
c lw 33482
c lw 33487
c lw 33488
c lw 33498
c lw 33518
c lw 33563
c lw 33650
c lw 33715
c lw 33967
c lw 34073
c lw 34398
c lw 34523
c lw 34627
c lw 34749
c lw 35098
c lw 35110
c lw 35135
c lw 35245
c lw 35257
c lw 35270
c lw 35348
c lw 35455
c lw 35474
c lw 35561
c lw 35572
c lw 35642
c lw 35786
c lw 35807
c lw 35817
c lw 35837
c lw 35882
c lw 35883
c lw 35893
c lw 35904
c lw 35974
c lw 35975
c lw 35995
c lw 36008
c lw 36063
c lw 36080
c lw 36082
c lw 36083
c lw 36112
c lw 36162
c lw 36307
c lw 36565
c lw 36784
c lw 36797
c lw 36875
c lw 36957
c lw 37122
c lw 37763
c lw 37804
c lw 37868
c lw 37876
c lw 38290
c lw 38340
c lw 38372
c lw 38390
c lw 38495
c lw 38561
c lw 38688
c lw 38716
c lw 38724
c lw 38790
c lw 39230
c lw 39632
c lw 39750
c lw 39786
c lw 39829
c lw 39857
c lw 39865
c lw 39931
c lw 39932
c lw 39974
c lw 40010
c lw 40144
c lw 40360
c lw 40471
c lw 40507
c lw 40509
c lw 40624
c lw 40625
c lw 40690
c lw 40764
c lw 40861
c lw 41007
c lw 41147
c lw 41341
c lw 41380
c lw 41408
c lw 41421
c lw 41474
c lw 41491
c lw 41510
c lw 41518
c lw 41519
c lw 41527
c lw 41529
c lw 41561
c lw 41870
c lw 41883
c lw 41901
c lw 41925
c lw 41957
c lw 42007
c lw 42020
c lw 42112
c lw 42151
c lw 42334
c lw 42566
c lw 42583
c lw 42655
c lw 42735
c lw 43236
c lw 43267
c lw 43336
c lw 44088
c lw 44094
c lw 44095
c lw 44126
c lw 44173
c lw 44195
c lw 44212
c lw 44242
c lw 44253
c lw 44558
c lw 44595
c lw 44706
c lw 44724
c lw 44764
c lw 44906
c lw 44933
c lw 44988
c lw 45123
c lw 45196
c lw 45212
c lw 45482
c lw 45870
c lw 46180
c lw 46289
c lw 46410
c lw 46761
c lw 46891
c lw 47002
c lw 47011
c lw 47042
c lw 47079
c lw 47238
c lw 47252
c lw 47363
c lw 47372
c lw 47465
c lw 47504
c lw 47518
c lw 47530
c lw 47565
c lw 47650
c lw 47951
c lw 48022
c lw 48053
c lw 48303
c lw 48312
c lw 48330
c lw 48331
c lw 48340
c lw 48344
c lw 48347
c lw 48364
c lw 48368
c lw 48373
c lw 48391
c lw 48392
c lw 48395
c lw 48399
c lw 48400
c lw 48401
c lw 48410
c lw 48413
c lw 48415
c lw 48437
c lw 48440
c lw 48447
c lw 48449
c lw 48450
c lw 48451
c lw 48455
c lw 48458
c lw 48459
c lw 48467
c lw 48472
c lw 48475
c lw 48477
c lw 48478
c lw 48482
c lw 48485
c lw 48486
c lw 48488
c lw 48490
c lw 48491
c lw 48499
c lw 48500
c lw 48502
c lw 48503
c lw 48506
c lw 48507
c lw 48509
c lw 48510
c lw 48512
c lw 48513
c lw 48514
c lw 48516
c lw 48519
c lw 48520
c lw 48521
c lw 48527
c lw 48528
c lw 48536
c lw 48537
c lw 48539
c lw 48540
c lw 48541
c lw 48560
c lw 48571
c lw 48576
c lw 48577
c lw 48578
c lw 48580
c lw 48583
c lw 48590
c lw 48592
c lw 48593
c lw 48594
c lw 48598
c lw 48601
c lw 48602
c lw 48604
c lw 48609
c lw 48610
c lw 48612
c lw 48618
c lw 48620
c lw 48622
c lw 48623
c lw 48626
c lw 48627
c lw 48629
c lw 48630
c lw 48635
c lw 48636
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 
o 48636
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-1.net.wcnf 48636
361.066u 2.666s 6:04.49 99.7%	0+0k 0+0io 0pf+0w