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-40-2_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 865
c lw 1785
c lw 2334
c lw 2894
c lw 4274
c lw 4917
c lw 6126
c lw 6508
c lw 7637
c lw 7643
c lw 8352
c lw 8383
c lw 8432
c lw 8667
c lw 8719
c lw 8768
c lw 9003
c lw 9394
c lw 9443
c lw 9547
c lw 9578
c lw 10101
c lw 10307
c lw 10516
c lw 10623
c lw 11054
c lw 11129
c lw 11189
c lw 11296
c lw 11302
c lw 11320
c lw 11363
c lw 11452
c lw 11556
c lw 11686
c lw 11980
c lw 12220
c lw 12312
c lw 12392
c lw 12409
c lw 12410
c lw 12515
c lw 12565
c lw 12594
c lw 12904
c lw 12911
c lw 12916
c lw 12926
c lw 12976
c lw 13096
c lw 13104
c lw 13133
c lw 13202
c lw 13266
c lw 13316
c lw 13326
c lw 13373
c lw 13376
c lw 13381
c lw 13441
c lw 13616
c lw 13644
c lw 13645
c lw 13677
c lw 13691
c lw 13698
c lw 13718
c lw 13775
c lw 13804
c lw 13818
c lw 13826
c lw 13835
c lw 13879
c lw 13886
c lw 13939
c lw 13949
c lw 13973
c lw 13978
c lw 14047
c lw 14050
c lw 14111
c lw 14161
c lw 14297
c lw 14390
c lw 14393
c lw 14462
c lw 14472
c lw 14478
c lw 14488
c lw 14493
c lw 14507
c lw 14519
c lw 14522
c lw 14527
c lw 14569
c lw 14585
c lw 14587
c lw 14588
c lw 14589
c lw 14596
c lw 14610
c lw 14620
c lw 14628
c lw 14634
c lw 14641
c lw 14654
c lw 14657
c lw 14661
c lw 14905
c lw 15284
c lw 15299
c lw 15947
c lw 16003
c lw 16096
c lw 16098
c lw 16099
c lw 16133
c lw 16193
c lw 16432
c lw 16655
c lw 16739
c lw 16801
c lw 16992
c lw 16995
c lw 17153
c lw 17212
c lw 17530
c lw 17704
c lw 17820
c lw 17851
c lw 18011
c lw 18089
c lw 19533
c lw 19536
c lw 19621
c lw 19630
c lw 19639
c lw 19656
c lw 19659
c lw 19662
c lw 19672
c lw 19705
c lw 19715
c lw 19716
c lw 19722
c lw 19733
c lw 19734
c lw 20066
c lw 20067
c lw 20068
c lw 20069
c lw 20133
c lw 20136
c lw 20138
c lw 20140
c lw 20141
c lw 20145
c lw 20146
c lw 20153
c lw 20155
c lw 20159
c lw 20165
c lw 20167
c lw 20290
c lw 21495
c lw 21815
c lw 21928
c lw 21931
c lw 22093
c lw 22202
c lw 22284
c lw 22426
c lw 22433
c lw 22443
c lw 22446
c lw 22449
c lw 22459
c lw 22655
c lw 22694
c lw 22710
c lw 22719
c lw 22727
c lw 22811
c lw 23341
c lw 23358
c lw 23627
c lw 23886
c lw 23956
c lw 24147
c lw 24150
c lw 24153
c lw 24154
c lw 24163
c lw 24508
c lw 24605
c lw 24646
c lw 24743
c lw 24762
c lw 24860
c lw 25052
c lw 25180
c lw 25227
c lw 25276
c lw 25298
c lw 25321
c lw 25330
c lw 25351
c lw 25436
c lw 25775
c lw 26738
c lw 27203
c lw 27870
c lw 28017
c lw 28113
c lw 28207
c lw 28332
c lw 28505
c lw 28519
c lw 28541
c lw 28625
c lw 28715
c lw 28752
c lw 28842
c lw 28862
c lw 28898
c lw 28911
c lw 28979
c lw 28994
c lw 28997
c lw 29002
c lw 29005
c lw 29008
c lw 29009
c lw 29018
c lw 29029
c lw 29059
c lw 29413
c lw 29418
c lw 29421
c lw 29424
c lw 29425
c lw 29433
c lw 29434
c lw 29437
c lw 29442
c lw 29485
c lw 29534
c lw 29547
c lw 29607
c lw 29677
c lw 29682
c lw 29690
c lw 29691
c lw 29694
c lw 29697
c lw 29702
c lw 29732
c lw 29733
c lw 29736
c lw 29739
c lw 29750
c lw 29760
c lw 30082
c lw 30787
c lw 30795
c lw 31129
c lw 31318
c lw 31325
c lw 31330
c lw 31332
c lw 31333
c lw 31335
c lw 31431
c lw 31639
c lw 31786
c lw 31788
c lw 31866
c lw 31882
c lw 31918
c lw 31957
c lw 31976
c lw 31978
c lw 32019
c lw 32065
c lw 32125
c lw 32127
c lw 32161
c lw 32255
c lw 32263
c lw 32312
c lw 32425
c lw 32493
c lw 32648
c lw 33432
c lw 33489
c lw 33654
c lw 33919
c lw 33961
c lw 34001
c lw 34065
c lw 34222
c lw 34223
c lw 34362
c lw 34405
c lw 34546
c lw 34554
c lw 34555
c lw 34571
c lw 34573
c lw 34611
c lw 34696
c lw 34801
c lw 34930
c lw 34932
c lw 34952
c lw 34971
c lw 34973
c lw 34991
c lw 34995
c lw 35005
c lw 35006
c lw 35020
c lw 35062
c lw 35159
c lw 35258
c lw 35596
c lw 35597
c lw 35613
c lw 35621
c lw 35638
c lw 35760
c lw 35779
c lw 35802
c lw 35803
c lw 35804
c lw 35820
c lw 35822
c lw 35837
c lw 35842
c lw 35856
c lw 35864
c lw 35872
c lw 35914
c lw 35920
c lw 35944
c lw 35945
c lw 35947
c lw 35948
c lw 35951
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 
o 35951
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-9.net.wcnf 35951
198.601u 1.313s 3:20.32 99.7%	0+0k 0+0io 0pf+0w