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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 941
c lw 2615
c lw 3526
c lw 3957
c lw 4823
c lw 5236
c lw 6140
c lw 6261
c lw 6268
c lw 6530
c lw 6718
c lw 6947
c lw 7489
c lw 8193
c lw 8218
c lw 8225
c lw 8498
c lw 8585
c lw 8626
c lw 8738
c lw 9277
c lw 9424
c lw 9885
c lw 10143
c lw 10320
c lw 10376
c lw 10398
c lw 10475
c lw 10536
c lw 10586
c lw 10605
c lw 11797
c lw 11915
c lw 12109
c lw 12176
c lw 12212
c lw 12231
c lw 12408
c lw 12456
c lw 13157
c lw 13641
c lw 13679
c lw 14001
c lw 14316
c lw 14814
c lw 14884
c lw 15126
c lw 15128
c lw 15238
c lw 15307
c lw 15418
c lw 15579
c lw 15827
c lw 15854
c lw 15995
c lw 16108
c lw 16423
c lw 16665
c lw 16786
c lw 17023
c lw 17033
c lw 17222
c lw 17265
c lw 17591
c lw 17624
c lw 17702
c lw 17708
c lw 17717
c lw 17777
c lw 17782
c lw 17785
c lw 17809
c lw 17832
c lw 17835
c lw 18020
c lw 18045
c lw 18090
c lw 18192
c lw 18202
c lw 18203
c lw 18248
c lw 18260
c lw 18320
c lw 18321
c lw 18341
c lw 18344
c lw 18367
c lw 18400
c lw 18439
c lw 18478
c lw 18484
c lw 18493
c lw 18505
c lw 18506
c lw 18516
c lw 18551
c lw 18560
c lw 18569
c lw 18578
c lw 18584
c lw 18590
c lw 18593
c lw 18602
c lw 18618
c lw 18656
c lw 18657
c lw 18663
c lw 18671
c lw 18740
c lw 18791
c lw 18811
c lw 18850
c lw 18851
c lw 18855
c lw 18861
c lw 18925
c lw 18928
c lw 18939
c lw 18952
c lw 18982
c lw 18988
c lw 18992
c lw 19003
c lw 20420
c lw 20746
c lw 20793
c lw 20814
c lw 20841
c lw 20849
c lw 20871
c lw 20897
c lw 20917
c lw 20959
c lw 21081
c lw 21094
c lw 21101
c lw 21154
c lw 21165
c lw 21277
c lw 21418
c lw 21476
c lw 21504
c lw 21746
c lw 21805
c lw 21835
c lw 21871
c lw 22196
c lw 22355
c lw 22381
c lw 22393
c lw 22427
c lw 22456
c lw 22534
c lw 22621
c lw 22824
c lw 22892
c lw 23074
c lw 23080
c lw 23159
c lw 23946
c lw 24233
c lw 24521
c lw 24676
c lw 24683
c lw 24687
c lw 24688
c lw 24714
c lw 24789
c lw 24803
c lw 24828
c lw 24847
c lw 24862
c lw 24873
c lw 24876
c lw 24898
c lw 24904
c lw 24905
c lw 24912
c lw 24928
c lw 24940
c lw 24962
c lw 24971
c lw 24974
c lw 24983
c lw 24998
c lw 25021
c lw 25026
c lw 25031
c lw 25035
c lw 25085
c lw 25123
c lw 25145
c lw 25176
c lw 25198
c lw 25201
c lw 25234
c lw 25293
c lw 25386
c lw 25457
c lw 25551
c lw 25690
c lw 25734
c lw 25823
c lw 26065
c lw 26165
c lw 26196
c lw 26254
c lw 26298
c lw 26304
c lw 26337
c lw 26381
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 
o 26381
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-9.net.wcnf 26381
44.762u 0.320s 0:45.18 99.7%	0+0k 0+0io 0pf+0w