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-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1349
c lw 2456
c lw 2916
c lw 3353
c lw 3432
c lw 3480
c lw 3684
c lw 3805
c lw 4396
c lw 4424
c lw 4621
c lw 4631
c lw 4739
c lw 4788
c lw 4818
c lw 4851
c lw 4862
c lw 5150
c lw 6322
c lw 6349
c lw 6635
c lw 6662
c lw 6729
c lw 6854
c lw 7019
c lw 7098
c lw 7099
c lw 7203
c lw 7231
c lw 7339
c lw 7366
c lw 7389
c lw 7428
c lw 7438
c lw 7453
c lw 7458
c lw 7491
c lw 7502
c lw 7530
c lw 7532
c lw 7546
c lw 7560
c lw 7595
c lw 7613
c lw 7630
c lw 7667
c lw 7694
c lw 7715
c lw 7738
c lw 7765
c lw 7790
c lw 7804
c lw 7805
c lw 7817
c lw 7822
c lw 7831
c lw 7854
c lw 7881
c lw 7920
c lw 7930
c lw 7945
c lw 7952
c lw 7962
c lw 7963
c lw 7972
c lw 7974
c lw 8712
c lw 8768
c lw 8952
c lw 9001
c lw 9008
c lw 9153
c lw 9468
c lw 9535
c lw 9680
c lw 9892
c lw 9893
c lw 9901
c lw 11118
c lw 11228
c lw 11263
c lw 11270
c lw 11278
c lw 11289
c lw 11316
c lw 11325
c lw 11327
c lw 11330
c lw 11333
c lw 11336
c lw 11337
c lw 11340
c lw 11341
c lw 11347
c lw 11354
c lw 11355
c lw 11364
c lw 11367
c lw 11369
c lw 11370
c lw 11372
c lw 11379
c lw 11381
c lw 11389
c lw 11393
c lw 11402
c lw 11415
c lw 11443
c lw 11529
c lw 11586
c lw 11688
c lw 11703
c lw 11720
c lw 11746
c lw 11748
c lw 11779
c lw 11782
c lw 11786
c lw 11787
c lw 11793
c lw 11800
c lw 11801
c lw 11803
c lw 11808
c lw 11810
c lw 11817
c lw 11819
c lw 11822
c lw 11824
c lw 11825
c lw 11827
c lw 11828
c lw 11834
c lw 11836
c lw 11844
c lw 11918
c lw 11919
c lw 11932
c lw 11938
c lw 11951
c lw 11955
c lw 11960
c lw 11968
c lw 11975
c lw 11993
c lw 12001
c lw 12003
c lw 12009
c lw 12010
c lw 12011
c lw 12012
c lw 12019
c lw 12025
c lw 12026
c lw 12030
c lw 12033
c lw 12038
c lw 12043
c lw 12047
c lw 12048
c lw 12054
c lw 12061
c lw 12062
c lw 12069
c lw 12071
c lw 12074
c lw 12076
c lw 12077
c lw 12078
c lw 12081
c lw 12083
c lw 12084
c lw 12085
c lw 12086
c lw 12088
c lw 12089
c lw 12090
c lw 12091
c lw 12092
c lw 12093
c lw 12096
c lw 12097
c lw 12203
c lw 12428
c lw 12441
c lw 12519
c lw 12595
c lw 12771
c lw 12791
c lw 12837
c lw 12838
c lw 12956
c lw 12957
c lw 12959
c lw 12960
c lw 12967
c lw 12973
c lw 12974
c lw 12978
c lw 12983
c lw 13218
c lw 13416
c lw 13418
c lw 13453
c lw 13492
c lw 13548
c lw 13556
c lw 13602
c lw 13603
c lw 13638
c lw 13687
c lw 13769
c lw 13793
c lw 13850
c lw 13868
c lw 13870
c lw 13882
c lw 13887
c lw 13973
c lw 13992
c lw 14038
c lw 14039
c lw 14137
c lw 14157
c lw 14161
c lw 14186
c lw 14207
c lw 14251
c lw 14276
c lw 14369
c lw 14390
c lw 14512
c lw 14576
c lw 14584
c lw 14586
c lw 14619
c lw 14621
c lw 14625
c lw 14646
c lw 14715
c lw 14804
c lw 14826
c lw 15208
c lw 15214
c lw 15216
c lw 15217
c lw 15218
c lw 15219
c lw 15220
c lw 15221
c lw 15222
c lw 15223
c lw 15226
c lw 15227
c lw 15228
c lw 15230
c lw 15231
c lw 15233
c lw 15236
c lw 15237
c lw 15239
c lw 15240
c lw 15241
c lw 15242
c lw 15243
c lw 15245
c lw 15246
c lw 15247
c lw 15464
c lw 15555
c lw 15668
c lw 16081
c lw 16371
c lw 16418
c lw 16443
c lw 16689
c lw 16738
c lw 17390
c lw 17733
c lw 17982
c lw 18064
c lw 18178
c lw 18180
c lw 18522
c lw 18687
c lw 18699
c lw 18715
c lw 18769
c lw 18773
c lw 18775
c lw 18776
c lw 18777
c lw 18778
c lw 18779
c lw 18780
c lw 18782
c lw 18783
c lw 18784
c lw 18786
c lw 18787
c lw 18788
c lw 18814
c lw 18815
c lw 18816
c lw 18817
c lw 18820
c lw 18827
c lw 18845
c lw 18851
c lw 18873
c lw 18875
c lw 18878
c lw 18879
c lw 18880
c lw 18881
c lw 18882
c lw 18883
c lw 18888
c lw 18889
c lw 18902
c lw 19051
c lw 19076
c lw 19099
c lw 19247
c lw 19278
c lw 19285
c lw 19900
c lw 19959
c lw 19967
c lw 19981
c lw 19998
c lw 20038
c lw 20201
c lw 20202
c lw 20216
c lw 20271
c lw 20312
c lw 20439
c lw 20491
c lw 20522
c lw 20529
c lw 20565
c lw 20569
c lw 20571
c lw 20572
c lw 20573
c lw 20574
c lw 20575
c lw 20576
c lw 20578
c lw 20579
c lw 20580
c lw 20582
c lw 20583
c lw 20584
c lw 20587
c lw 20610
c lw 20611
c lw 20612
c lw 20613
c lw 20615
c lw 20651
c lw 20703
c lw 20708
c lw 20774
c lw 20778
c lw 20779
c lw 20783
c lw 20784
c lw 20786
c lw 20804
c lw 20810
c lw 20822
c lw 20824
c lw 21875
c lw 21932
c lw 21952
c lw 22083
c lw 22225
c lw 22247
c lw 22271
c lw 22276
c lw 22311
c lw 22335
c lw 22515
c lw 22537
c lw 22679
c lw 22707
c lw 22758
c lw 22775
c lw 22810
c lw 22817
c lw 22955
c lw 22962
c lw 23011
c lw 23033
c lw 23093
c lw 23126
c lw 23128
c lw 23152
c lw 23154
c lw 23169
c lw 23174
c lw 23205
c lw 23222
c lw 23247
c lw 23254
c lw 23257
c lw 23270
c lw 23308
c lw 23315
c lw 23316
c lw 23325
c lw 23330
c lw 23333
c lw 23338
c lw 23340
c lw 23342
c lw 23347
c lw 23352
c lw 23355
c lw 23357
c lw 23358
c lw 23359
c lw 23360
c lw 23362
c lw 23364
c lw 23536
c lw 23746
c lw 23781
c lw 23788
c lw 23926
c lw 23933
c lw 23982
c lw 24004
c lw 24011
c lw 24023
c lw 24064
c lw 24068
c lw 24092
c lw 24662
c lw 25021
c lw 25031
c lw 25056
c lw 25114
c lw 25118
c lw 25146
c lw 25240
c lw 25395
c lw 25424
c lw 25513
c lw 25525
c lw 25548
c lw 25555
c lw 25564
c lw 25622
c lw 25638
c lw 25693
c lw 25700
c lw 25749
c lw 25757
c lw 26979
c lw 26984
c lw 27594
c lw 27604
c lw 27613
c lw 27620
c lw 27632
c lw 27673
c lw 27677
c lw 27701
c lw 27714
c lw 27720
c lw 27759
c lw 28194
c lw 28245
c lw 28442
c lw 28570
c lw 28597
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 
o 28597
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-3.net.wcnf 28597
538.170u 4.607s 9:03.05 99.9%	0+0k 0+0io 0pf+0w