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-60-1_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1620
c lw 2886
c lw 2973
c lw 4158
c lw 4889
c lw 4986
c lw 5322
c lw 5722
c lw 6265
c lw 7399
c lw 8243
c lw 8700
c lw 9410
c lw 9969
c lw 10464
c lw 10897
c lw 11039
c lw 11755
c lw 12298
c lw 12541
c lw 13273
c lw 14079
c lw 14739
c lw 14853
c lw 14986
c lw 15166
c lw 15600
c lw 16913
c lw 16985
c lw 17793
c lw 17944
c lw 18448
c lw 18468
c lw 18949
c lw 18968
c lw 19353
c lw 19990
c lw 20098
c lw 20542
c lw 20854
c lw 20903
c lw 20911
c lw 21300
c lw 21502
c lw 21678
c lw 22210
c lw 22226
c lw 22885
c lw 23001
c lw 23323
c lw 23566
c lw 23664
c lw 24355
c lw 24385
c lw 24669
c lw 24747
c lw 24889
c lw 25003
c lw 25183
c lw 25334
c lw 25539
c lw 25734
c lw 25993
c lw 26602
c lw 26610
c lw 26831
c lw 27264
c lw 27299
c lw 27482
c lw 27843
c lw 27979
c lw 28069
c lw 28608
c lw 28735
c lw 29304
c lw 29355
c lw 29380
c lw 29404
c lw 29916
c lw 30211
c lw 30373
c lw 30443
c lw 30541
c lw 30730
c lw 30820
c lw 30864
c lw 31561
c lw 31710
c lw 32248
c lw 32738
c lw 32750
c lw 32762
c lw 32802
c lw 32905
c lw 33083
c lw 33560
c lw 34420
c lw 34430
c lw 34442
c lw 34465
c lw 34504
c lw 34627
c lw 34761
c lw 34789
c lw 35261
c lw 35267
c lw 35406
c lw 35495
c lw 35638
c lw 35650
c lw 35667
c lw 35879
c lw 36005
c lw 36034
c lw 36976
c lw 37413
c lw 37502
c lw 37629
c lw 37899
c lw 37948
c lw 37979
c lw 38229
c lw 38294
c lw 38313
c lw 38379
c lw 38480
c lw 39195
c lw 39630
c lw 40661
c lw 41218
c lw 41509
c lw 41634
c lw 41670
c lw 41714
c lw 41781
c lw 42021
c lw 42349
c lw 43348
c lw 43448
c lw 43602
c lw 43861
c lw 43866
c lw 43895
c lw 43897
c lw 43975
c lw 44047
c lw 44121
c lw 44164
c lw 44227
c lw 44262
c lw 44274
c lw 44284
c lw 44297
c lw 44298
c lw 44300
c lw 44661
c lw 44866
c lw 44910
c lw 45208
c lw 45266
c lw 45310
c lw 45358
c lw 45360
c lw 45361
c lw 45720
c lw 45833
c lw 46083
c lw 46282
c lw 46290
c lw 47089
c lw 47105
c lw 47126
c lw 47169
c lw 47174
c lw 47190
c lw 47209
c lw 47272
c lw 47280
c lw 47314
c lw 47764
c lw 48047
c lw 48112
c lw 48172
c lw 49275
c lw 49304
c lw 49385
c lw 49479
c lw 50388
c lw 50643
c lw 50652
c lw 50655
c lw 50660
c lw 50662
c lw 50666
c lw 50668
c lw 50694
c lw 50716
c lw 50745
c lw 50769
c lw 50771
c lw 50808
c lw 50810
c lw 50814
c lw 50819
c lw 50958
c lw 51594
c lw 51609
c lw 51883
c lw 51912
c lw 51927
c lw 51931
c lw 51958
c lw 51980
c lw 51988
c lw 52049
c lw 53148
c lw 53160
c lw 53213
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 
o 53213
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-7.net.wcnf 53213
11.883u 0.100s 0:11.98 100.0%	0+0k 0+0io 0pf+0w