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-80-2_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 793
c lw 1132
c lw 1173
c lw 1620
c lw 1735
c lw 2815
c lw 4494
c lw 5735
c lw 7089
c lw 8540
c lw 9159
c lw 10501
c lw 11497
c lw 12982
c lw 14130
c lw 14179
c lw 14190
c lw 15045
c lw 15856
c lw 16437
c lw 16445
c lw 16579
c lw 16838
c lw 17227
c lw 17418
c lw 17671
c lw 17768
c lw 17919
c lw 17933
c lw 17941
c lw 18367
c lw 18694
c lw 19069
c lw 19524
c lw 19735
c lw 19982
c lw 20048
c lw 20173
c lw 20213
c lw 20307
c lw 20560
c lw 20566
c lw 20604
c lw 20625
c lw 20665
c lw 20883
c lw 20894
c lw 21010
c lw 21112
c lw 21426
c lw 21449
c lw 21499
c lw 21502
c lw 21627
c lw 21710
c lw 21782
c lw 21817
c lw 21957
c lw 21966
c lw 21986
c lw 22965
c lw 23447
c lw 23480
c lw 23521
c lw 23689
c lw 23724
c lw 23769
c lw 23787
c lw 23903
c lw 24433
c lw 24502
c lw 24569
c lw 24580
c lw 24587
c lw 24616
c lw 24622
c lw 24636
c lw 24651
c lw 24667
c lw 24678
c lw 24685
c lw 24714
c lw 24720
c lw 24734
c lw 24749
c lw 24815
c lw 24890
c lw 25049
c lw 25056
c lw 25133
c lw 25672
c lw 25679
c lw 25810
c lw 25838
c lw 25856
c lw 25923
c lw 25970
c lw 26128
c lw 26367
c lw 26393
c lw 27023
c lw 27058
c lw 27085
c lw 27086
c lw 27152
c lw 27155
c lw 27163
c lw 27170
c lw 27181
c lw 27192
c lw 27199
c lw 27205
c lw 27219
c lw 27234
c lw 27250
c lw 27261
c lw 27268
c lw 27271
c lw 27297
c lw 27303
c lw 27317
c lw 27332
c lw 27384
c lw 27398
c lw 27413
c lw 27427
c lw 27433
c lw 27462
c lw 27464
c lw 27469
c lw 27479
c lw 27480
c lw 27493
c lw 27499
c lw 27528
c lw 27529
c lw 27535
c lw 27546
c lw 27562
c lw 27636
c lw 27977
c lw 27988
c lw 28116
c lw 28117
c lw 28242
c lw 28253
c lw 28269
c lw 28381
c lw 28382
c lw 28428
c lw 28449
c lw 28530
c lw 28687
c lw 28735
c lw 28756
c lw 28764
c lw 28769
c lw 28776
c lw 28802
c lw 28803
c lw 28836
c lw 28854
c lw 28882
c lw 28885
c lw 28907
c lw 28932
c lw 28969
c lw 28985
c lw 29950
c lw 30144
c lw 30168
c lw 30431
c lw 30447
c lw 30471
c lw 30589
c lw 30599
c lw 30625
c lw 30704
c lw 30802
c lw 30861
c lw 30965
c lw 31044
c lw 31073
c lw 31174
c lw 31504
c lw 31508
c lw 31569
c lw 31606
c lw 31839
c lw 32064
c lw 32091
c lw 32285
c lw 32320
c lw 32336
c lw 32347
c lw 32360
c lw 32478
c lw 32488
c lw 32572
c lw 32579
c lw 32588
c lw 32615
c lw 32644
c lw 32650
c lw 32654
c lw 32689
c lw 33074
c lw 33548
c lw 33945
c lw 34392
c lw 34421
c lw 34933
c lw 34956
c lw 35170
c lw 35264
c lw 35982
c lw 36106
c lw 36136
c lw 36166
c lw 36290
c lw 36529
c lw 36648
c lw 36869
c lw 36965
c lw 37399
c lw 37439
c lw 37589
c lw 37608
c lw 37935
c lw 38435
c lw 38465
c lw 38495
c lw 38619
c lw 38667
c lw 38722
c lw 39224
c lw 39622
c lw 39723
c lw 39741
c lw 39826
c lw 39886
c lw 39936
c lw 40088
c lw 40110
c lw 41000
c lw 41080
c lw 41102
c lw 41188
c lw 41195
c lw 41351
c lw 41424
c lw 41436
c lw 41445
c lw 41820
c lw 41823
c lw 41886
c lw 42017
c lw 42083
c lw 42146
c lw 42190
c lw 42218
c lw 42270
c lw 42277
c lw 42341
c lw 42372
c lw 42379
c lw 42403
c lw 42436
c lw 42458
c lw 42461
c lw 42567
c lw 42812
c lw 42819
c lw 42878
c lw 42922
c lw 42958
c lw 42975
c lw 42999
c lw 43027
c lw 43048
c lw 43058
c lw 43067
c lw 43070
c lw 43079
c lw 43086
c lw 43093
c lw 43096
c lw 43118
c lw 43133
c lw 43152
c lw 43154
c lw 43156
c lw 43159
c lw 43166
c lw 43168
c lw 43176
c lw 43178
c lw 43185
c lw 43199
c lw 43206
c lw 43209
c lw 43211
c lw 43214
c lw 43216
c lw 43217
c lw 43236
c lw 43239
c lw 43257
c lw 43269
c lw 43274
c lw 43275
c lw 43283
c lw 43284
c lw 43299
c lw 43300
c lw 43302
c lw 43304
c lw 43305
c lw 43308
c lw 43312
c lw 43319
c lw 43328
c lw 43331
c lw 43333
c lw 43336
c lw 43338
c lw 43339
c lw 43340
c lw 43352
c lw 43358
c lw 43361
c lw 43364
c lw 43379
c lw 43388
c lw 43391
c lw 43394
c lw 43401
c lw 43511
c lw 43522
c lw 43532
c lw 43540
c lw 43560
c lw 43570
c lw 43574
c lw 43575
c lw 43589
c lw 43611
c lw 43614
c lw 43621
c lw 43628
c lw 43632
c lw 43637
c lw 43640
c lw 43649
c lw 43650
c lw 43653
c lw 43655
c lw 43657
c lw 43660
c lw 43663
c lw 43665
c lw 44281
c lw 44732
c lw 45067
c lw 45758
c lw 45796
c lw 45817
c lw 45908
c lw 45973
c lw 46039
c lw 46048
c lw 46177
c lw 46438
c lw 46459
c lw 46520
c lw 46569
c lw 46594
c lw 46949
c lw 47271
c lw 47290
c lw 47497
c lw 47556
c lw 47598
c lw 48198
c lw 48202
c lw 48277
c lw 48330
c lw 48442
c lw 48491
c lw 48616
c lw 48619
c lw 48626
c lw 48674
c lw 48747
c lw 48797
c lw 48805
c lw 48893
c lw 48980
c lw 48989
c lw 49012
c lw 49019
c lw 49026
c lw 49199
c lw 49248
c lw 49560
c lw 49628
c lw 49713
c lw 49754
c lw 49765
c lw 49782
c lw 50091
c lw 50098
c lw 50100
c lw 50118
c lw 50119
c lw 50123
c lw 50125
c lw 50127
c lw 50146
c lw 50162
c lw 50171
c lw 50194
c lw 50222
c lw 50251
c lw 50652
c lw 50716
c lw 51122
c lw 51189
c lw 51723
c lw 52629
c lw 52633
c lw 52764
c lw 52950
c lw 53096
c lw 53222
c lw 53270
c lw 53279
c lw 53497
c lw 53501
c lw 53508
c lw 53511
c lw 53514
c lw 53519
c lw 53520
c lw 53521
c lw 53543
c lw 53556
c lw 53588
c lw 53610
c lw 53657
c lw 53658
c lw 53710
c lw 53714
c lw 53762
c lw 53783
c lw 53803
c lw 53832
c lw 53851
c lw 53854
c lw 53860
c lw 53861
c lw 53862
c lw 53872
c lw 53874
c lw 53884
c lw 53889
c lw 53892
c lw 53893
c lw 53900
c lw 53903
c lw 53906
c lw 53911
c lw 53912
c lw 53913
c lw 53914
c lw 53935
c lw 53949
c lw 54635
c lw 54821
c lw 55641
c lw 56165
c lw 56175
c lw 56279
c lw 56699
c lw 56742
c lw 56764
c lw 57711
c lw 57715
c lw 57752
c lw 57962
c lw 58017
c lw 58048
c lw 58184
c lw 58193
c lw 58204
c lw 58208
c lw 58217
c lw 58353
c lw 58384
c lw 58481
c lw 58512
c lw 58648
c lw 58756
c lw 59027
c lw 59086
c lw 59353
c lw 59513
c lw 59615
c lw 59927
c lw 59951
c lw 59977
c lw 60022
c lw 60046
c lw 60126
c lw 60240
c lw 60343
c lw 60383
c lw 60701
c lw 60839
c lw 60859
c lw 61042
c lw 61188
c lw 61490
c lw 61800
c lw 62491
c lw 62834
c lw 62941
c lw 63034
c lw 63049
c lw 63916
c lw 64178
c lw 64305
c lw 64366
c lw 65067
c lw 65144
c lw 65555
c lw 65564
c lw 65569
c lw 65811
c lw 65907
c lw 66099
c lw 66160
c lw 66251
c lw 66415
c lw 66511
c lw 66731
c lw 66971
c lw 66982
c lw 66989
c lw 66995
c lw 66998
c lw 67009
c lw 67018
c lw 67020
c lw 67024
c lw 67040
c lw 67051
c lw 67058
c lw 67061
c lw 67069
c lw 67076
c lw 67087
c lw 67099
c lw 67112
c lw 67115
c lw 67118
c lw 67122
c lw 67129
c lw 67133
c lw 67145
c lw 67153
c lw 67158
c lw 67160
c lw 67171
c lw 67173
c lw 67174
c lw 67180
c lw 67209
c lw 67210
c lw 67211
c lw 67219
c lw 67641
c lw 67892
c lw 67959
c lw 68221
c lw 68330
c lw 68539
c lw 68549
c lw 68567
c lw 68790
c lw 68857
c lw 68924
c lw 68943
c lw 68953
c lw 69006
c lw 69122
c lw 69176
c lw 69243
c lw 69256
c lw 69259
c lw 69262
c lw 69275
c lw 69287
c lw 69298
c lw 69304
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 
o 69304
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-9.net.wcnf 69304
510.800u 4.215s 8:36.18 99.7%	0+0k 0+0io 0pf+0w