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-30-2_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 610
c lw 2136
c lw 2744
c lw 4140
c lw 5264
c lw 6435
c lw 7362
c lw 7563
c lw 7780
c lw 7799
c lw 7895
c lw 7972
c lw 8113
c lw 8882
c lw 8959
c lw 9407
c lw 10048
c lw 10718
c lw 10791
c lw 10838
c lw 11131
c lw 11144
c lw 11150
c lw 11157
c lw 11199
c lw 11272
c lw 11654
c lw 11816
c lw 11836
c lw 11994
c lw 12027
c lw 12033
c lw 12069
c lw 12146
c lw 12282
c lw 12357
c lw 12361
c lw 12371
c lw 12438
c lw 12449
c lw 12458
c lw 12490
c lw 12529
c lw 12582
c lw 12676
c lw 12716
c lw 12866
c lw 12877
c lw 12958
c lw 13066
c lw 13260
c lw 13424
c lw 13497
c lw 13714
c lw 13722
c lw 13732
c lw 13747
c lw 13813
c lw 13834
c lw 13846
c lw 13857
c lw 13869
c lw 13878
c lw 13879
c lw 13890
c lw 13979
c lw 13987
c lw 13991
c lw 13995
c lw 14221
c lw 14263
c lw 14289
c lw 14367
c lw 14371
c lw 14376
c lw 14381
c lw 14398
c lw 14399
c lw 14414
c lw 14418
c lw 14420
c lw 14423
c lw 14424
c lw 14425
c lw 14436
c lw 14438
c lw 14442
c lw 14446
c lw 14448
c lw 14455
c lw 14456
c lw 14457
c lw 14458
c lw 14459
c lw 14463
c lw 14465
c lw 14467
c lw 14469
c lw 14470
c lw 14472
c lw 14474
c lw 14476
c lw 14477
c lw 14478
c lw 14479
c lw 14481
c lw 14483
c lw 14484
c lw 14487
c lw 14488
c lw 14489
c lw 14490
c lw 14491
c lw 14493
c lw 14502
c lw 14514
c lw 14532
c lw 14540
c lw 14550
c lw 14553
c lw 14568
c lw 14785
c lw 14788
c lw 14789
c lw 14794
c lw 14799
c lw 14805
c lw 14810
c lw 14816
c lw 14823
c lw 14831
c lw 14841
c lw 14862
c lw 14866
c lw 14951
c lw 14952
c lw 14953
c lw 14954
c lw 14955
c lw 14956
c lw 14957
c lw 14958
c lw 14959
c lw 14960
c lw 14961
c lw 14962
c lw 14963
c lw 14964
c lw 14965
c lw 14967
c lw 14968
c lw 14969
c lw 14970
c lw 14974
c lw 14975
c lw 14976
c lw 14977
c lw 14979
c lw 14980
c lw 14981
c lw 14983
c lw 14984
c lw 14987
c lw 14988
c lw 14989
c lw 14990
c lw 14991
c lw 14992
c lw 14993
c lw 14994
c lw 14997
c lw 15002
c lw 15006
c lw 15007
c lw 15011
c lw 15012
c lw 15015
c lw 15019
c lw 15020
c lw 15021
c lw 15022
c lw 15023
c lw 15024
c lw 15025
c lw 15026
c lw 15027
c lw 15028
c lw 15029
c lw 15030
c lw 15031
c lw 15032
c lw 15033
c lw 15034
c lw 15035
c lw 15036
c lw 15037
c lw 15038
c lw 15039
c lw 15040
c lw 15041
c lw 15042
c lw 15043
c lw 15044
c lw 15045
c lw 15046
c lw 15047
c lw 15048
c lw 15049
c lw 15050
c lw 15051
c lw 15052
c lw 15053
c lw 15055
c lw 15056
c lw 15057
c lw 15058
c lw 15060
c lw 15061
c lw 15062
c lw 15063
c lw 15064
c lw 15065
c lw 15066
c lw 15067
c lw 15068
c lw 15069
c lw 15070
c lw 15071
c lw 15072
c lw 15073
c lw 15074
c lw 15075
c lw 15076
c lw 15077
c lw 15078
c lw 15079
c lw 15080
c lw 15081
c lw 15082
c lw 15083
c lw 15084
c lw 15085
c lw 15086
c lw 15087
c lw 15088
c lw 15089
c lw 15090
c lw 15091
c lw 15092
c lw 15093
c lw 15094
c lw 15095
c lw 15096
c lw 15097
c lw 15098
c lw 15099
c lw 15100
c lw 15101
c lw 15102
c lw 15103
c lw 15104
c lw 15105
c lw 15109
c lw 15110
c lw 15115
c lw 15118
c lw 15119
c lw 15122
c lw 15123
c lw 15124
c lw 15125
c lw 15126
c lw 15127
c lw 15128
c lw 15129
c lw 15130
c lw 15214
c lw 15215
c lw 15216
c lw 15217
c lw 15289
c lw 15362
c lw 15442
c lw 15459
c lw 15504
c lw 15597
c lw 15630
c lw 15669
c lw 15678
c lw 15789
c lw 15800
c lw 15827
c lw 15873
c lw 15907
c lw 15916
c lw 15955
c lw 16019
c lw 16021
c lw 16046
c lw 16325
c lw 16627
c lw 18092
c lw 18350
c lw 18376
c lw 18389
c lw 18411
c lw 18450
c lw 18726
c lw 19245
c lw 19400
c lw 19416
c lw 19483
c lw 19557
c lw 19853
c lw 19941
c lw 19951
c lw 20016
c lw 20017
c lw 20023
c lw 20039
c lw 20124
c lw 20142
c lw 20208
c lw 20209
c lw 20292
c lw 20304
c lw 20344
c lw 20394
c lw 20715
c lw 20768
c lw 20931
c lw 20941
c lw 20956
c lw 21029
c lw 21033
c lw 21043
c lw 21126
c lw 21199
c lw 21244
c lw 21246
c lw 21256
c lw 21544
c lw 21562
c lw 21564
c lw 21610
c lw 21611
c lw 21617
c lw 21644
c lw 21645
c lw 21649
c lw 21650
c lw 21767
c lw 21979
c lw 22044
c lw 22101
c lw 22207
c lw 22232
c lw 22325
c lw 22868
c lw 22872
c lw 22881
c lw 22887
c lw 22903
c lw 22921
c lw 22931
c lw 22932
c lw 22943
c lw 22948
c lw 22954
c lw 22961
c lw 22963
c lw 22964
c lw 22966
c lw 22971
c lw 22988
c lw 23000
c lw 23006
c lw 23196
c lw 23199
c lw 23573
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 
o 23573
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-1.net.wcnf 23573
385.833u 1.794s 6:27.72 99.9%	0+0k 0+0io 0pf+0w