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-40-2_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 951
c lw 1232
c lw 1692
c lw 3118
c lw 3165
c lw 3341
c lw 4230
c lw 4755
c lw 5069
c lw 5220
c lw 5520
c lw 6012
c lw 6048
c lw 6213
c lw 6530
c lw 6640
c lw 6742
c lw 6820
c lw 6925
c lw 6972
c lw 7083
c lw 7135
c lw 7165
c lw 7172
c lw 7239
c lw 7311
c lw 7343
c lw 7673
c lw 8031
c lw 8204
c lw 8212
c lw 8271
c lw 8468
c lw 8500
c lw 8509
c lw 8521
c lw 8540
c lw 8547
c lw 8572
c lw 8668
c lw 8703
c lw 8757
c lw 8764
c lw 8789
c lw 8796
c lw 8815
c lw 8827
c lw 8836
c lw 8839
c lw 8865
c lw 8868
c lw 8879
c lw 8894
c lw 8918
c lw 8924
c lw 8932
c lw 9026
c lw 9044
c lw 9074
c lw 9075
c lw 9105
c lw 9235
c lw 9457
c lw 9462
c lw 9487
c lw 9488
c lw 9492
c lw 9518
c lw 9527
c lw 9536
c lw 9546
c lw 9551
c lw 9553
c lw 9559
c lw 9566
c lw 9578
c lw 9582
c lw 9585
c lw 9594
c lw 9597
c lw 9604
c lw 9606
c lw 9609
c lw 9616
c lw 9618
c lw 9625
c lw 9628
c lw 9630
c lw 9633
c lw 9654
c lw 9665
c lw 9666
c lw 9668
c lw 9669
c lw 9675
c lw 9683
c lw 9692
c lw 9700
c lw 9708
c lw 9715
c lw 9734
c lw 9746
c lw 9766
c lw 9779
c lw 9815
c lw 9987
c lw 10132
c lw 10137
c lw 10167
c lw 10168
c lw 10238
c lw 10288
c lw 10290
c lw 10335
c lw 10565
c lw 10855
c lw 10915
c lw 10930
c lw 10945
c lw 10949
c lw 10951
c lw 10963
c lw 10967
c lw 10974
c lw 10979
c lw 11000
c lw 11004
c lw 11005
c lw 11012
c lw 11016
c lw 11018
c lw 11019
c lw 11020
c lw 11025
c lw 11035
c lw 11042
c lw 11044
c lw 11045
c lw 11051
c lw 11053
c lw 11077
c lw 11079
c lw 11082
c lw 11083
c lw 11084
c lw 11088
c lw 11102
c lw 11103
c lw 11104
c lw 11105
c lw 11111
c lw 11112
c lw 11113
c lw 11114
c lw 11118
c lw 11122
c lw 11123
c lw 11124
c lw 11126
c lw 11127
c lw 11129
c lw 11133
c lw 11135
c lw 11138
c lw 11145
c lw 11147
c lw 11150
c lw 11151
c lw 11153
c lw 11154
c lw 11155
c lw 11157
c lw 11159
c lw 11161
c lw 11162
c lw 11164
c lw 11166
c lw 11170
c lw 11171
c lw 11172
c lw 11176
c lw 11177
c lw 11181
c lw 11183
c lw 11185
c lw 11194
c lw 11195
c lw 11197
c lw 11198
c lw 11202
c lw 11204
c lw 11209
c lw 11212
c lw 11217
c lw 11221
c lw 11225
c lw 11229
c lw 11231
c lw 11234
c lw 11240
c lw 11241
c lw 11242
c lw 11248
c lw 11249
c lw 11251
c lw 11252
c lw 11254
c lw 11256
c lw 11261
c lw 11263
c lw 11271
c lw 11280
c lw 11284
c lw 11287
c lw 11289
c lw 11292
c lw 11297
c lw 11299
c lw 11349
c lw 11368
c lw 11372
c lw 11373
c lw 11398
c lw 11403
c lw 11404
c lw 11405
c lw 11406
c lw 11410
c lw 11414
c lw 11415
c lw 11416
c lw 11418
c lw 11419
c lw 11421
c lw 11425
c lw 11427
c lw 11430
c lw 11437
c lw 11439
c lw 11442
c lw 11443
c lw 11445
c lw 11446
c lw 11447
c lw 11449
c lw 11451
c lw 11453
c lw 11454
c lw 11456
c lw 11458
c lw 11462
c lw 11463
c lw 11464
c lw 11468
c lw 11469
c lw 11473
c lw 11475
c lw 11477
c lw 11486
c lw 11487
c lw 11489
c lw 11490
c lw 11494
c lw 11496
c lw 11501
c lw 11504
c lw 11509
c lw 11513
c lw 11517
c lw 11518
c lw 11519
c lw 11521
c lw 11522
c lw 11523
c lw 11524
c lw 11525
c lw 11526
c lw 11527
c lw 11528
c lw 11530
c lw 11531
c lw 11533
c lw 11534
c lw 11535
c lw 11536
c lw 11538
c lw 11542
c lw 11543
c lw 11546
c lw 11550
c lw 11553
c lw 11555
c lw 11558
c lw 11559
c lw 11560
c lw 11562
c lw 11563
c lw 11565
c lw 11566
c lw 11569
c lw 11570
c lw 11572
c lw 11573
c lw 11574
c lw 11575
c lw 11576
c lw 11577
c lw 11578
c lw 11580
c lw 11582
c lw 11585
c lw 11587
c lw 11591
c lw 11592
c lw 11593
c lw 11595
c lw 11597
c lw 11598
c lw 11676
c lw 11677
c lw 11678
c lw 11680
c lw 11682
c lw 11683
c lw 11684
c lw 11685
c lw 11687
c lw 11689
c lw 11691
c lw 11692
c lw 11693
c lw 11694
c lw 11698
c lw 11699
c lw 11702
c lw 11703
c lw 11704
c lw 11707
c lw 11708
c lw 11709
c lw 11710
c lw 11711
c lw 11712
c lw 11713
c lw 11714
c lw 11715
c lw 11716
c lw 11717
c lw 11718
c lw 11719
c lw 11721
c lw 11722
c lw 11723
c lw 11725
c lw 11726
c lw 11727
c lw 11728
c lw 11729
c lw 11730
c lw 11731
c lw 11732
c lw 11733
c lw 11734
c lw 11735
c lw 11737
c lw 11738
c lw 11739
c lw 11741
c lw 11743
c lw 11745
c lw 11746
c lw 11748
c lw 11749
c lw 11750
c lw 11751
c lw 11752
c lw 11753
c lw 11754
c lw 11756
c lw 11757
c lw 11758
c lw 11759
c lw 11760
c lw 11761
c lw 11762
c lw 11764
c lw 12125
c lw 12126
c lw 12127
c lw 12130
c lw 12131
c lw 12132
c lw 12133
c lw 12134
c lw 12135
c lw 12137
c lw 12138
c lw 12139
c lw 12140
c lw 12141
c lw 12142
c lw 12143
c lw 12144
c lw 12146
c lw 12148
c lw 12149
c lw 12153
c lw 12154
c lw 12155
c lw 12156
c lw 12157
c lw 12158
c lw 12160
c lw 12162
c lw 12167
c lw 12169
c lw 12175
c lw 12184
c lw 12188
c lw 12191
c lw 12193
c lw 12196
c lw 12201
c lw 12203
c lw 12235
c lw 12237
c lw 12245
c lw 12264
c lw 12268
c lw 12269
c lw 12288
c lw 12294
c lw 12299
c lw 12300
c lw 12301
c lw 12302
c lw 12306
c lw 12310
c lw 12311
c lw 12312
c lw 12314
c lw 12315
c lw 12317
c lw 12321
c lw 12323
c lw 12324
c lw 12326
c lw 12331
c lw 12418
c lw 12517
c lw 12661
c lw 12740
c lw 12897
c lw 12903
c lw 12968
c lw 13047
c lw 13311
c lw 13318
c lw 13358
c lw 13479
c lw 13516
c lw 13582
c lw 13601
c lw 13620
c lw 13789
c lw 13904
c lw 13913
c lw 14118
c lw 14180
c lw 14198
c lw 14777
c lw 15065
c lw 15075
c lw 15084
c lw 15114
c lw 15199
c lw 15248
c lw 15284
c lw 15384
c lw 15581
c lw 15668
c lw 15671
c lw 15678
c lw 15689
c lw 15697
c lw 15701
c lw 15864
c lw 15879
c lw 15910
c lw 15937
c lw 15938
c lw 15940
c lw 15944
c lw 15946
c lw 15947
c lw 15949
c lw 15950
c lw 15951
c lw 15955
c lw 15957
c lw 15959
c lw 15960
c lw 15961
c lw 15962
c lw 15967
c lw 15973
c lw 15976
c lw 16039
c lw 16049
c lw 16105
c lw 16112
c lw 16119
c lw 16212
c lw 16259
c lw 16859
c lw 16932
c lw 16957
c lw 17332
c lw 17357
c lw 17366
c lw 17446
c lw 17821
c lw 17846
c lw 17917
c lw 17925
c lw 18227
c lw 18457
c lw 18534
c lw 18559
c lw 18568
c lw 18578
c lw 18613
c lw 18639
c lw 18648
c lw 18698
c lw 18727
c lw 18794
c lw 18951
c lw 19028
c lw 19038
c lw 19291
c lw 19464
c lw 19503
c lw 19506
c lw 19962
c lw 19983
c lw 20148
c lw 20175
c lw 20368
c lw 20450
c lw 20466
c lw 20591
c lw 20648
c lw 20675
c lw 20696
c lw 20725
c lw 20762
c lw 20775
c lw 20816
c lw 20861
c lw 20891
c lw 21054
c lw 21103
c lw 21116
c lw 21134
c lw 21153
c lw 21182
c lw 21203
c lw 21222
c lw 21230
c lw 21231
c lw 21337
c lw 21343
c lw 21384
c lw 21400
c lw 21429
c lw 21459
c lw 21472
c lw 21487
c lw 21490
c lw 21495
c lw 21509
c lw 21538
c lw 21559
c lw 21578
c lw 21599
c lw 21634
c lw 21766
c lw 21827
c lw 21887
c lw 21888
c lw 21948
c lw 22049
c lw 22057
c lw 22117
c lw 22118
c lw 22147
c lw 22162
c lw 22178
c lw 22227
c lw 22230
c lw 22239
c lw 22242
c lw 22271
c lw 22343
c lw 22357
c lw 22805
c lw 22819
c lw 22820
c lw 22830
c lw 22839
c lw 22869
c lw 22885
c lw 22900
c lw 22902
c lw 22929
c lw 22930
c lw 22957
c lw 22958
c lw 22960
c lw 23465
c lw 23770
c lw 23849
c lw 24080
c lw 24081
c lw 24083
c lw 24243
c lw 24328
c lw 24507
c lw 24591
c lw 24730
c lw 24948
c lw 24984
c lw 25163
c lw 25202
c lw 25248
c lw 25272
c lw 25302
c lw 25306
c lw 25318
c lw 25333
c lw 25335
c lw 25355
c lw 25362
c lw 25363
c lw 25379
c lw 25408
c lw 25619
c lw 25639
c lw 25653
c lw 25674
c lw 25759
c lw 25885
c lw 26076
c lw 26189
c lw 26228
c lw 26284
c lw 26302
c lw 26319
c lw 26396
c lw 26438
c lw 26449
c lw 26459
c lw 26503
c lw 26558
c lw 26754
c lw 26861
c lw 26919
c lw 26978
c lw 27000
c lw 27022
c lw 27246
c lw 27640
c lw 27652
c lw 28603
c lw 28752
c lw 28788
c lw 28967
c lw 29124
c lw 29189
c lw 29411
c lw 29635
c lw 29777
c lw 29872
c lw 30099
c lw 30224
c lw 30557
c lw 30577
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 
o 30577
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-5.net.wcnf 30577
848.415u 6.261s 14:14.94 99.9%	0+0k 0+0io 0pf+0w