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-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1123
c lw 3389
c lw 3803
c lw 4992
c lw 6642
c lw 6852
c lw 7537
c lw 8827
c lw 9146
c lw 9513
c lw 9776
c lw 10034
c lw 10769
c lw 11342
c lw 11929
c lw 12164
c lw 12290
c lw 12432
c lw 12929
c lw 12982
c lw 13785
c lw 13893
c lw 13972
c lw 14808
c lw 15345
c lw 15404
c lw 15724
c lw 16082
c lw 17015
c lw 17052
c lw 17073
c lw 17523
c lw 17956
c lw 17988
c lw 18223
c lw 18316
c lw 18458
c lw 18558
c lw 18714
c lw 19517
c lw 19596
c lw 20342
c lw 20913
c lw 21062
c lw 21095
c lw 21415
c lw 21976
c lw 22007
c lw 22043
c lw 22595
c lw 22613
c lw 22711
c lw 22755
c lw 22809
c lw 23379
c lw 23634
c lw 23922
c lw 24036
c lw 24767
c lw 24786
c lw 24803
c lw 25192
c lw 25424
c lw 25689
c lw 25728
c lw 26156
c lw 26401
c lw 26908
c lw 27523
c lw 27566
c lw 27633
c lw 27649
c lw 27662
c lw 27686
c lw 27715
c lw 27729
c lw 27896
c lw 27955
c lw 27975
c lw 28065
c lw 28388
c lw 28880
c lw 28894
c lw 29266
c lw 29484
c lw 29576
c lw 29588
c lw 29645
c lw 30500
c lw 30557
c lw 30847
c lw 30990
c lw 31200
c lw 31464
c lw 31542
c lw 31876
c lw 33263
c lw 33401
c lw 34085
c lw 34235
c lw 34689
c lw 34695
c lw 34953
c lw 35122
c lw 35946
c lw 36177
c lw 36189
c lw 36280
c lw 36306
c lw 36373
c lw 36391
c lw 36436
c lw 36474
c lw 36676
c lw 36865
c lw 37113
c lw 37502
c lw 37592
c lw 37789
c lw 37819
c lw 38411
c lw 38499
c lw 38592
c lw 40122
c lw 40237
c lw 40358
c lw 40538
c lw 40995
c lw 41045
c lw 41103
c lw 41644
c lw 41908
c lw 42112
c lw 42355
c lw 42797
c lw 43197
c lw 43399
c lw 43515
c lw 43553
c lw 43774
c lw 43950
c lw 43968
c lw 43976
c lw 44035
c lw 44042
c lw 44060
c lw 44140
c lw 44427
c lw 44439
c lw 44451
c lw 44480
c lw 44494
c lw 44497
c lw 44518
c lw 45155
c lw 45612
c lw 45692
c lw 46593
c lw 46969
c lw 47029
c lw 47031
c lw 47048
c lw 47368
c lw 47961
c lw 48013
c lw 48079
c lw 48086
c lw 48098
c lw 48120
c lw 48144
c lw 48148
c lw 48423
c lw 48644
c lw 48663
c lw 48666
c lw 48669
c lw 48680
c lw 48699
c lw 49496
c lw 49781
c lw 49969
c lw 50845
c lw 50998
c lw 51024
c lw 51175
c lw 51489
c lw 51617
c lw 52473
c lw 52890
c lw 52961
c lw 53171
c lw 53738
c lw 54450
c lw 54571
c lw 54645
c lw 55007
c lw 55128
c lw 55546
c lw 56275
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 
o 56275
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-10.net.wcnf 56275
10.066u 0.059s 0:10.13 99.8%	0+0k 0+0io 0pf+0w