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-100-1_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1383
c lw 2327
c lw 2792
c lw 4263
c lw 4529
c lw 6191
c lw 7596
c lw 8969
c lw 9612
c lw 11207
c lw 12895
c lw 14383
c lw 15488
c lw 16620
c lw 17978
c lw 19538
c lw 20792
c lw 21556
c lw 22416
c lw 22462
c lw 23122
c lw 24425
c lw 25124
c lw 26842
c lw 26954
c lw 27336
c lw 27467
c lw 27608
c lw 27916
c lw 29132
c lw 29919
c lw 30078
c lw 30428
c lw 30588
c lw 30680
c lw 30710
c lw 30835
c lw 31247
c lw 31593
c lw 31769
c lw 31894
c lw 32370
c lw 32490
c lw 32862
c lw 32870
c lw 32995
c lw 33710
c lw 33793
c lw 33936
c lw 34890
c lw 35284
c lw 35346
c lw 35726
c lw 35932
c lw 36384
c lw 37069
c lw 37256
c lw 37273
c lw 38110
c lw 38783
c lw 38988
c lw 39689
c lw 40002
c lw 40315
c lw 40390
c lw 40515
c lw 40535
c lw 42111
c lw 42253
c lw 42365
c lw 43116
c lw 43159
c lw 43871
c lw 44047
c lw 44066
c lw 44260
c lw 44520
c lw 45086
c lw 45726
c lw 46706
c lw 46780
c lw 46954
c lw 47207
c lw 47233
c lw 47338
c lw 47717
c lw 48207
c lw 49239
c lw 49617
c lw 49787
c lw 49899
c lw 50183
c lw 50193
c lw 50483
c lw 51061
c lw 51527
c lw 52221
c lw 53349
c lw 53443
c lw 53634
c lw 53693
c lw 53964
c lw 54777
c lw 54795
c lw 55003
c lw 55630
c lw 55879
c lw 55909
c lw 56192
c lw 56287
c lw 56470
c lw 56816
c lw 57290
c lw 57993
c lw 58118
c lw 58428
c lw 58594
c lw 58595
c lw 58801
c lw 58953
c lw 59228
c lw 60002
c lw 60282
c lw 60495
c lw 60617
c lw 60894
c lw 61066
c lw 61110
c lw 61293
c lw 61348
c lw 61511
c lw 61670
c lw 62048
c lw 62113
c lw 62362
c lw 63076
c lw 63083
c lw 63739
c lw 63917
c lw 63925
c lw 64297
c lw 64641
c lw 65746
c lw 66079
c lw 66141
c lw 66166
c lw 66778
c lw 66973
c lw 67969
c lw 68124
c lw 68129
c lw 68284
c lw 68406
c lw 68568
c lw 68624
c lw 68920
c lw 68957
c lw 69033
c lw 69079
c lw 69352
c lw 69514
c lw 69566
c lw 69567
c lw 69929
c lw 69988
c lw 70129
c lw 70395
c lw 70420
c lw 70550
c lw 71000
c lw 71513
c lw 71758
c lw 71776
c lw 71895
c lw 71899
c lw 72068
c lw 72233
c lw 72425
c lw 72428
c lw 72714
c lw 73362
c lw 73621
c lw 73625
c lw 74520
c lw 74778
c lw 74793
c lw 75278
c lw 75362
c lw 75431
c lw 75676
c lw 75735
c lw 76922
c lw 77026
c lw 77085
c lw 77087
c lw 77188
c lw 77495
c lw 77717
c lw 77739
c lw 77755
c lw 78039
c lw 78094
c lw 78133
c lw 78168
c lw 78312
c lw 78368
c lw 78949
c lw 79200
c lw 79203
c lw 79597
c lw 79932
c lw 80133
c lw 80326
c lw 80333
c lw 80446
c lw 80451
c lw 80693
c lw 80725
c lw 80945
c lw 80967
c lw 80972
c lw 81085
c lw 81087
c lw 81287
c lw 81368
c lw 81506
c lw 81711
c lw 81768
c lw 81787
c lw 81841
c lw 81870
c lw 82025
c lw 82060
c lw 82959
c lw 82965
c lw 83283
c lw 83360
c lw 83399
c lw 83415
c lw 83531
c lw 83558
c lw 83607
c lw 83986
c lw 84246
c lw 84768
c lw 85007
c lw 85034
c lw 85073
c lw 85117
c lw 85132
c lw 85152
c lw 85271
c lw 85371
c lw 85576
c lw 85728
c lw 86347
c lw 86530
c lw 86883
c lw 87534
c lw 87930
c lw 87976
c lw 87979
c lw 88025
c lw 88068
c lw 88119
c lw 88474
c lw 88595
c lw 88696
c lw 88791
c lw 89540
c lw 89542
c lw 89550
c lw 89801
c lw 90015
c lw 90225
c lw 90576
c lw 90832
c lw 91148
c lw 91779
c lw 91992
c lw 93277
c lw 93415
c lw 93849
c lw 94080
c lw 94126
c lw 95016
c lw 95049
c lw 95353
c lw 95465
c lw 95858
c lw 95928
c lw 95999
c lw 96677
c lw 96681
c lw 96812
c lw 96864
c lw 96868
c lw 97161
c lw 97406
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 
o 97406
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-8.net.wcnf 97406
11.519u 0.088s 0:11.63 99.6%	0+0k 0+0io 0pf+0w