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-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1575
c lw 2698
c lw 3394
c lw 3652
c lw 4612
c lw 5269
c lw 5733
c lw 5903
c lw 6057
c lw 6059
c lw 6272
c lw 6528
c lw 6677
c lw 6691
c lw 6737
c lw 7016
c lw 7018
c lw 7133
c lw 7292
c lw 7424
c lw 7436
c lw 7685
c lw 7770
c lw 7994
c lw 8010
c lw 8029
c lw 8049
c lw 8051
c lw 8068
c lw 8158
c lw 8270
c lw 8276
c lw 8378
c lw 8381
c lw 8518
c lw 8556
c lw 8803
c lw 8827
c lw 8909
c lw 9508
c lw 9574
c lw 9610
c lw 9612
c lw 10035
c lw 10038
c lw 10299
c lw 10512
c lw 10567
c lw 10576
c lw 10711
c lw 10815
c lw 10829
c lw 10937
c lw 11017
c lw 11102
c lw 11195
c lw 11283
c lw 11362
c lw 11507
c lw 11512
c lw 11525
c lw 11538
c lw 11686
c lw 11720
c lw 12080
c lw 12482
c lw 13410
c lw 14296
c lw 14596
c lw 14829
c lw 14951
c lw 15168
c lw 15202
c lw 15206
c lw 15234
c lw 15256
c lw 15270
c lw 15272
c lw 15556
c lw 16200
c lw 16369
c lw 16771
c lw 16914
c lw 16931
c lw 16940
c lw 17039
c lw 17056
c lw 17141
c lw 17182
c lw 17221
c lw 17269
c lw 17304
c lw 17342
c lw 17465
c lw 17584
c lw 17591
c lw 17686
c lw 17699
c lw 17968
c lw 18579
c lw 18804
c lw 18843
c lw 18956
c lw 18962
c lw 18979
c lw 20126
c lw 20187
c lw 20325
c lw 20437
c lw 20616
c lw 20677
c lw 20683
c lw 20733
c lw 20736
c lw 20747
c lw 20849
c lw 20888
c lw 20897
c lw 20900
c lw 20910
c lw 21026
c lw 21163
c lw 21244
c lw 21345
c lw 21440
c lw 21447
c lw 21453
c lw 21511
c lw 21514
c lw 21515
c lw 21575
c lw 21579
c lw 21587
c lw 21776
c lw 21864
c lw 21874
c lw 21875
c lw 21881
c lw 21882
c lw 21925
c lw 21931
c lw 21983
c lw 21984
c lw 21989
c lw 21990
c lw 21992
c lw 21993
c lw 21996
c lw 22000
c lw 22001
c lw 22007
c lw 22008
c lw 22023
c lw 22032
c lw 22033
c lw 22034
c lw 22035
c lw 22039
c lw 22040
c lw 22042
c lw 22047
c lw 22106
c lw 22110
c lw 22113
c lw 22121
c lw 22125
c lw 22131
c lw 22183
c lw 22190
c lw 22264
c lw 22914
c lw 22989
c lw 23202
c lw 23252
c lw 23415
c lw 23541
c lw 23686
c lw 23852
c lw 23926
c lw 23933
c lw 23985
c lw 23991
c lw 23995
c lw 24003
c lw 24006
c lw 24010
c lw 24065
c lw 24069
c lw 24222
c lw 24242
c lw 24363
c lw 25025
c lw 25058
c lw 25078
c lw 25191
c lw 25199
c lw 25316
c lw 25738
c lw 26125
c lw 26252
c lw 26317
c lw 26321
c lw 26332
c lw 26402
c lw 26417
c lw 26425
c lw 26451
c lw 26516
c lw 26518
c lw 26530
c lw 26538
c lw 26558
c lw 26566
c lw 26569
c lw 26575
c lw 26581
c lw 26582
c lw 26592
c lw 26595
c lw 26617
c lw 26624
c lw 26627
c lw 26632
c lw 26651
c lw 26657
c lw 26659
c lw 26665
c lw 26671
c lw 26673
c lw 26678
c lw 26679
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 
o 26679
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-10.net.wcnf 26679
41.364u 0.324s 0:42.00 99.2%	0+0k 0+0io 0pf+0w