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-1_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 678
c lw 1323
c lw 1617
c lw 3372
c lw 4052
c lw 5508
c lw 7161
c lw 7367
c lw 7903
c lw 8259
c lw 9324
c lw 10130
c lw 12009
c lw 13243
c lw 13328
c lw 13741
c lw 13868
c lw 14572
c lw 14606
c lw 14832
c lw 16350
c lw 16506
c lw 16826
c lw 16863
c lw 16891
c lw 17153
c lw 17431
c lw 17868
c lw 18014
c lw 18168
c lw 18491
c lw 18499
c lw 18857
c lw 19418
c lw 19720
c lw 19960
c lw 20109
c lw 20821
c lw 20969
c lw 22078
c lw 22240
c lw 22278
c lw 22812
c lw 23186
c lw 23753
c lw 24789
c lw 24893
c lw 25317
c lw 25321
c lw 25735
c lw 26022
c lw 26297
c lw 26334
c lw 26362
c lw 26624
c lw 26738
c lw 26887
c lw 27175
c lw 27329
c lw 27363
c lw 27408
c lw 27620
c lw 27621
c lw 28223
c lw 28231
c lw 28390
c lw 28430
c lw 28575
c lw 28933
c lw 29400
c lw 29485
c lw 29603
c lw 30096
c lw 30426
c lw 30639
c lw 30864
c lw 31031
c lw 31351
c lw 31471
c lw 31497
c lw 31645
c lw 31995
c lw 32813
c lw 32817
c lw 32931
c lw 33197
c lw 33747
c lw 33886
c lw 34115
c lw 34402
c lw 35122
c lw 35517
c lw 36103
c lw 36206
c lw 36262
c lw 36911
c lw 37265
c lw 37305
c lw 37321
c lw 37810
c lw 38279
c lw 38440
c lw 39268
c lw 39334
c lw 39379
c lw 39594
c lw 39707
c lw 39727
c lw 39994
c lw 40314
c lw 40505
c lw 40823
c lw 40827
c lw 40831
c lw 40888
c lw 41362
c lw 42063
c lw 42415
c lw 43141
c lw 43313
c lw 43474
c lw 43761
c lw 43807
c lw 43827
c lw 44518
c lw 44646
c lw 45696
c lw 46169
c lw 46269
c lw 46287
c lw 46302
c lw 46359
c lw 46498
c lw 46603
c lw 46670
c lw 46686
c lw 46697
c lw 46754
c lw 46758
c lw 46762
c lw 46763
c lw 46815
c lw 46820
c lw 46824
c lw 46828
c lw 46853
c lw 46857
c lw 46861
c lw 46866
c lw 46869
c lw 47320
c lw 47435
c lw 47651
c lw 47780
c lw 47915
c lw 48011
c lw 48071
c lw 48104
c lw 48275
c lw 48447
c lw 48670
c lw 48824
c lw 48940
c lw 49033
c lw 49052
c lw 49053
c lw 49528
c lw 49889
c lw 49958
c lw 50466
c lw 51333
c lw 51528
c lw 51651
c lw 51697
c lw 52526
c lw 52561
c lw 53305
c lw 53378
c lw 53551
c lw 53578
c lw 53910
c lw 53972
c lw 53976
c lw 53983
c lw 54031
c lw 54036
c lw 54051
c lw 54146
c lw 54217
c lw 55065
c lw 55755
c lw 55765
c lw 56334
c lw 56435
c lw 56491
c lw 57210
c lw 57378
c lw 57452
c lw 57631
c lw 57642
c lw 57688
c lw 57791
c lw 57962
c lw 58147
c lw 58298
c lw 58358
c lw 59185
c lw 60152
c lw 61435
c lw 61504
c lw 61648
c lw 61777
c lw 62015
c lw 62066
c lw 62076
c lw 62556
c lw 62636
c lw 62714
c lw 62839
c lw 63898
c lw 63917
c lw 63951
c lw 63986
c lw 63997
c lw 64167
c lw 64313
c lw 64340
c lw 64341
c lw 64358
c lw 64373
c lw 64375
c lw 64405
c lw 64409
c lw 64430
c lw 64431
c lw 64451
c lw 64463
c lw 64530
c lw 64622
c lw 64799
c lw 65986
c lw 66001
c lw 66024
c lw 66521
c lw 66840
c lw 66937
c lw 67003
c lw 67056
c lw 67128
c lw 67258
c lw 67263
c lw 67287
c lw 67424
c lw 67451
c lw 67460
c lw 67487
c lw 68235
c lw 68253
c lw 68478
c lw 68479
c lw 68484
c lw 68488
c lw 68490
c lw 68496
c lw 68500
c lw 68504
c lw 68512
c lw 68538
c lw 68542
c lw 68545
c lw 68547
c lw 68560
c lw 68562
c lw 68577
c lw 68588
c lw 68631
c lw 68633
c lw 68634
c lw 68639
c lw 68657
c lw 68847
c lw 69308
c lw 69498
c lw 69538
c lw 69542
c lw 69556
c lw 69558
c lw 69562
c lw 69613
c lw 69619
c lw 69625
c lw 69644
c lw 69672
c lw 69739
c lw 69815
c lw 69889
c lw 70054
c lw 70643
c lw 71635
c lw 71643
c lw 71744
c lw 71748
c lw 71753
c lw 72626
c lw 72940
c lw 73005
c lw 73344
c lw 73345
c lw 73346
c lw 73347
c lw 73348
c lw 73352
c lw 73353
c lw 73354
c lw 73355
c lw 73357
c lw 73361
c lw 73362
c lw 73364
c lw 73365
c lw 73366
c lw 73369
c lw 73370
c lw 73371
c lw 73373
c lw 73911
c lw 74257
c lw 74489
c lw 74888
c lw 75017
c lw 75251
c lw 75514
c lw 75692
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 
o 75692
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-8.net.wcnf 75692
60.599u 0.321s 1:01.04 99.7%	0+0k 0+0io 0pf+0w